Implements Spec 093 (SCOPE-001) workspace isolation at the data layer. What changed - Adds `workspace_id` to 12 tenant-owned tables and enforces correct binding. - Model write-path enforcement derives workspace from tenant + rejects mismatches. - Prevents `tenant_id` changes (immutability) on tenant-owned records. - Adds queued backfill command + job (`tenantpilot:backfill-workspace-ids`) with OperationRun + AuditLog observability. - Enforces DB constraints (NOT NULL + FK `workspace_id` → `workspaces.id` + composite FK `(tenant_id, workspace_id)` → `tenants(id, workspace_id)`), plus audit_logs invariant. UI / operator visibility - Monitor backfill runs in **Monitoring → Operations** (OperationRun). Tests - `vendor/bin/sail artisan test --compact tests/Feature/WorkspaceIsolation` Notes - Backfill is queued: ensure a queue worker is running (`vendor/bin/sail artisan queue:work`). Spec package - `specs/093-scope-001-workspace-id-isolation/` (plan, tasks, contracts, quickstart, research) Co-authored-by: Ahmed Darrazi <ahmed.darrazi@live.de> Reviewed-on: #112
47 lines
1.4 KiB
PHP
47 lines
1.4 KiB
PHP
<?php
|
|
|
|
declare(strict_types=1);
|
|
|
|
namespace App\Support\WorkspaceIsolation;
|
|
|
|
use RuntimeException;
|
|
|
|
class WorkspaceIsolationViolation extends RuntimeException
|
|
{
|
|
public static function missingTenantId(string $modelClass): self
|
|
{
|
|
return new self(sprintf('%s must include a tenant_id.', $modelClass));
|
|
}
|
|
|
|
public static function tenantNotFound(string $modelClass, int $tenantId): self
|
|
{
|
|
return new self(sprintf('%s references missing tenant_id %d.', $modelClass, $tenantId));
|
|
}
|
|
|
|
public static function tenantWorkspaceMissing(string $modelClass, int $tenantId): self
|
|
{
|
|
return new self(sprintf('%s tenant_id %d has no workspace_id mapping.', $modelClass, $tenantId));
|
|
}
|
|
|
|
public static function workspaceMismatch(string $modelClass, int $tenantId, int $expectedWorkspaceId, int $actualWorkspaceId): self
|
|
{
|
|
return new self(sprintf(
|
|
'%s tenant_id %d requires workspace_id %d, received %d.',
|
|
$modelClass,
|
|
$tenantId,
|
|
$expectedWorkspaceId,
|
|
$actualWorkspaceId,
|
|
));
|
|
}
|
|
|
|
public static function tenantImmutable(string $modelClass, int $originalTenantId, int $updatedTenantId): self
|
|
{
|
|
return new self(sprintf(
|
|
'%s tenant_id is immutable (%d -> %d).',
|
|
$modelClass,
|
|
$originalTenantId,
|
|
$updatedTenantId,
|
|
));
|
|
}
|
|
}
|