TenantAtlas/specs/071-tenant-selection-workspace-scope/plan.md

Plan — 071 Workspace-scoped tenant selection

Tech

• Laravel 12
• Filament v5 + Livewire v4

Approach

1. Update the Filament tenant provider on User (getTenants() and getDefaultTenant()) to optionally filter by the current workspace id from WorkspaceContext.
2. Add a feature test asserting /admin/choose-tenant only shows tenants from the selected workspace.
3. Run Pint and targeted tests.

Files

• app/Models/User.php
• tests/Feature/Filament/ChooseTenantIsWorkspaceScopedTest.php