@opengeni/db 1.0.1 → 3.1.0-canary.0

package/drizzle/0276_onboarding_proposal_initiating_human_guc.sql

@@ -0,0 +1,198 @@
+-- deployment-mode: rolling
+SET lock_timeout = '5s';
+SET statement_timeout = '60s';
+
+-- The onboarding-proposal draft validation trigger bound a knowledge-proposal
+-- draft to `current_setting('opengeni.subject_id')`. On the real first-party
+-- MCP path that GUC carries the *service* subject (`worker:first-party-mcp`)
+-- while the frozen human travels in `opengeni.initiating_human_subject_id`,
+-- so every real agent `remember` rule call failed the draft check with
+-- SQLSTATE 23514 regardless of workspace state. Compare against the canonical
+-- initiating-human GUC first (the pattern every authority migration since
+-- 0225 uses), falling back to `opengeni.subject_id` for direct human writers
+-- that never set the initiating-human GUC. The rest of the function body is
+-- byte-identical to migration 0269.
+
+CREATE OR REPLACE FUNCTION workspace_instruction_policy_validate_onboarding_proposal()
+RETURNS trigger LANGUAGE plpgsql AS $$
+BEGIN
+  IF NEW.baseline_revision_id IS NULL THEN
+    IF EXISTS (
+      SELECT 1 FROM workspace_instruction_policy_heads head
+      WHERE head.account_id = NEW.account_id
+        AND head.workspace_id = NEW.workspace_id
+        AND head.kind = NEW.kind
+        AND head.scope = NEW.scope
+        AND head.role_key IS NOT DISTINCT FROM NEW.role_key
+    ) THEN
+      RAISE EXCEPTION 'instruction-policy proposal must capture the exact active head baseline'
+        USING ERRCODE = '23514';
+    END IF;
+    IF NOT (
+      (
+        NEW.baseline_activation_version = 0
+        AND NOT EXISTS (
+          SELECT 1 FROM workspace_instruction_policy_heads head
+          WHERE head.account_id = NEW.account_id
+            AND head.workspace_id = NEW.workspace_id
+            AND head.kind = NEW.kind
+            AND head.scope = NEW.scope
+            AND head.role_key IS NOT DISTINCT FROM NEW.role_key
+        )
+        AND NOT EXISTS (
+          SELECT 1 FROM workspace_instruction_policy_deactivation_events event
+          WHERE event.account_id = NEW.account_id
+            AND event.workspace_id = NEW.workspace_id
+            AND event.kind = NEW.kind
+            AND event.scope = NEW.scope
+            AND event.role_key IS NOT DISTINCT FROM NEW.role_key
+        )
+      ) OR (
+        NEW.baseline_activation_version > 0
+        AND NOT EXISTS (
+          SELECT 1 FROM workspace_instruction_policy_heads head
+          WHERE head.account_id = NEW.account_id
+            AND head.workspace_id = NEW.workspace_id
+            AND head.kind = NEW.kind
+            AND head.scope = NEW.scope
+            AND head.role_key IS NOT DISTINCT FROM NEW.role_key
+        )
+        AND EXISTS (
+          SELECT 1 FROM workspace_instruction_policy_deactivation_events event
+          WHERE event.account_id = NEW.account_id
+            AND event.workspace_id = NEW.workspace_id
+            AND event.kind = NEW.kind
+            AND event.scope = NEW.scope
+            AND event.role_key IS NOT DISTINCT FROM NEW.role_key
+            AND event.activation_version = NEW.baseline_activation_version
+            AND NOT EXISTS (
+              SELECT 1 FROM workspace_instruction_policy_deactivation_events newer
+              WHERE newer.account_id = event.account_id
+                AND newer.workspace_id = event.workspace_id
+                AND newer.kind = event.kind
+                AND newer.scope = event.scope
+                AND newer.role_key IS NOT DISTINCT FROM event.role_key
+                AND newer.activation_version > event.activation_version
+            )
+        )
+      )
+    ) THEN
+      RAISE EXCEPTION 'instruction-policy proposal must capture the exact inactive boundary'
+        USING ERRCODE = '23514';
+    END IF;
+  ELSIF NOT EXISTS (
+    SELECT 1 FROM workspace_instruction_policy_heads head
+    WHERE head.account_id = NEW.account_id
+      AND head.workspace_id = NEW.workspace_id
+      AND head.kind = NEW.kind
+      AND head.scope = NEW.scope
+      AND head.role_key IS NOT DISTINCT FROM NEW.role_key
+      AND head.revision_id = NEW.baseline_revision_id
+      AND head.revision = NEW.baseline_revision
+      AND head.content_hash = NEW.baseline_content_hash
+      AND head.activation_version = NEW.baseline_activation_version
+      AND head.activated_at = NEW.baseline_activated_at
+  ) THEN
+    RAISE EXCEPTION 'instruction-policy proposal must capture the exact active head baseline'
+      USING ERRCODE = '23514';
+  END IF;
+
+  IF NEW.baseline_revision_id IS NOT NULL AND NOT EXISTS (
+    SELECT 1 FROM workspace_instruction_policy_revisions revision
+    WHERE revision.id = NEW.baseline_revision_id
+      AND revision.account_id = NEW.account_id
+      AND revision.workspace_id = NEW.workspace_id
+      AND revision.kind = NEW.kind
+      AND revision.scope = NEW.scope
+      AND revision.role_key IS NOT DISTINCT FROM NEW.role_key
+      AND revision.revision = NEW.baseline_revision
+      AND revision.content_hash = NEW.baseline_content_hash
+  ) THEN
+    RAISE EXCEPTION 'instruction-policy proposal has an invalid baseline revision'
+      USING ERRCODE = '23514';
+  END IF;
+
+  IF NOT EXISTS (
+    SELECT 1 FROM workspace_instruction_policy_revisions revision
+    WHERE revision.id = NEW.draft_revision_id
+      AND revision.operation_id = NEW.operation_id
+      AND revision.request_fingerprint = NEW.request_fingerprint
+      AND revision.account_id = NEW.account_id
+      AND revision.workspace_id = NEW.workspace_id
+      AND revision.kind = NEW.kind
+      AND revision.scope = NEW.scope
+      AND revision.role_key IS NOT DISTINCT FROM NEW.role_key
+      AND revision.revision = NEW.draft_revision
+      AND revision.content_hash = NEW.draft_content_hash
+      AND revision.supersedes_revision_id IS NOT DISTINCT FROM NEW.baseline_revision_id
+      AND revision.created_by_subject_id = NEW.created_by_subject_id
+      AND (
+        (
+          revision.provenance_source = 'onboarding'
+          AND revision.provenance_source_id = NEW.id::text
+        ) OR (
+          revision.provenance_source = 'knowledge_proposal'
+          AND revision.provenance_source_id = NEW.source_id
+          AND NEW.source_version = NEW.draft_content_hash
+          AND EXISTS (
+            SELECT 1 FROM knowledge_change_proposals proposal
+            WHERE proposal.id::text = NEW.source_id
+              AND proposal.account_id = NEW.account_id
+              AND proposal.scope_kind = 'workspace'
+              AND proposal.scope_workspace_id = NEW.workspace_id
+              AND proposal.scope_subject_id IS NULL
+              AND proposal.target_kind = 'instruction_policy'
+              AND proposal.target_scope = NEW.scope
+              AND proposal.target_key IS NOT DISTINCT FROM CASE
+                WHEN NEW.scope = 'role' THEN NEW.role_key
+                ELSE NULL
+              END
+              AND proposal.content_hash = NEW.source_version
+              AND proposal.actor_kind = 'service'
+              AND proposal.actor_subject_id = NEW.created_by_subject_id
+              AND proposal.initiating_human_subject_id = COALESCE(
+                NULLIF(current_setting('opengeni.initiating_human_subject_id', true), ''),
+                current_setting('opengeni.subject_id', true)
+              )
+              AND proposal.claim_id IS NOT NULL
+              AND proposal.evidence_id IS NOT NULL
+              AND proposal.status = 'proposed'
+          )
+        )
+      )
+  ) THEN
+    RAISE EXCEPTION 'instruction-policy proposal must identify its exact inactive draft'
+      USING ERRCODE = '23514';
+  END IF;
+
+  IF EXISTS (
+    SELECT 1 FROM workspace_instruction_policy_heads head
+    WHERE head.account_id = NEW.account_id
+      AND head.workspace_id = NEW.workspace_id
+      AND head.revision_id = NEW.draft_revision_id
+  ) OR EXISTS (
+    SELECT 1 FROM workspace_instruction_policy_activation_events event
+    WHERE event.account_id = NEW.account_id
+      AND event.workspace_id = NEW.workspace_id
+      AND event.new_revision_id = NEW.draft_revision_id
+  ) THEN
+    RAISE EXCEPTION 'instruction-policy proposal must identify a never-activated inactive draft'
+      USING ERRCODE = '23514';
+  END IF;
+  RETURN NEW;
+END;
+$$;
+
+
+-- CREATE OR REPLACE drops the previously pinned search_path; re-pin it exactly
+-- as migration 0269's hardening block did.
+DO $onboarding_proposal_initiating_human_hardening$
+DECLARE
+  target_schema text := current_schema();
+BEGIN
+  EXECUTE format(
+    'ALTER FUNCTION %I.workspace_instruction_policy_validate_onboarding_proposal() '
+      || 'SET search_path = pg_catalog, %I, pg_temp', target_schema, target_schema
+  );
+END
+$onboarding_proposal_initiating_human_hardening$;

package/drizzle/0277_workspace_writer_authority_attribution.sql

@@ -0,0 +1,393 @@
+-- deployment-mode: rolling
+-- Migration 0277: every admitted persistable /workspace writer and every
+-- retained process carries its own exact authority tuple - causal initiator,
+-- initiating human, organization membership (the grant identity) and its
+-- observed authorization revision, plus the session tenancy epoch/visibility
+-- and owning membership that were true when the operation was admitted.
+--
+-- Before this migration only the `turn` actor was attributable, through
+-- `session_turn_attempts` (migration 0222) and `session_turns` (migration
+-- 0096). `direct` (API request) and `process` (retained yielded shell) actors
+-- recorded no owner, no causal initiator, no visibility and no authority
+-- epoch, so organization offboarding (migration 0263) had nothing to fence and
+-- `docs/organization-tenancy.md` explicitly deferred that attribution. This is
+-- that attribution; it stores identities and epochs only and never a secret
+-- value.
+--
+-- Rolling window. The new columns are nullable or carry the explicit
+-- `legacy_unattributed` / `unattributed-legacy` sentinels, so a pre-0277
+-- API/worker image keeps inserting admissions and retained processes exactly
+-- as before and lands on the sentinel. Historical and mixed-window rows are
+-- promoted only where the frozen turn/attempt snapshot makes the authority
+-- unambiguous; nothing is inferred for a `direct` or `process` row that never
+-- had an owner. A sentinel row is refused by NEW admission in the post-0277
+-- application (fail closed), but the live provider process behind it is never
+-- terminated by this migration or by that refusal - the user sees a typed
+-- rejection on the next write instead of losing a running shell.
+
+SET LOCAL lock_timeout = '5s';
+SET LOCAL statement_timeout = '10min';
+
+-- 1. Expand -------------------------------------------------------------
+
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  ADD COLUMN IF NOT EXISTS "initiator_kind" text NOT NULL DEFAULT 'legacy_unattributed',
+  ADD COLUMN IF NOT EXISTS "initiator_subject_id" text NOT NULL DEFAULT 'unattributed-legacy',
+  ADD COLUMN IF NOT EXISTS "initiating_human_subject_id" text,
+  ADD COLUMN IF NOT EXISTS "initiator_organization_membership_id" uuid,
+  ADD COLUMN IF NOT EXISTS "initiator_authorization_revision" bigint,
+  ADD COLUMN IF NOT EXISTS "authority_epoch" integer,
+  ADD COLUMN IF NOT EXISTS "authority_visibility" text,
+  ADD COLUMN IF NOT EXISTS "authority_owner_organization_membership_id" uuid;
+
+ALTER TABLE "sandbox_retained_processes"
+  ADD COLUMN IF NOT EXISTS "initiator_kind" text NOT NULL DEFAULT 'legacy_unattributed',
+  ADD COLUMN IF NOT EXISTS "initiator_subject_id" text NOT NULL DEFAULT 'unattributed-legacy',
+  ADD COLUMN IF NOT EXISTS "initiating_human_subject_id" text,
+  ADD COLUMN IF NOT EXISTS "initiator_organization_membership_id" uuid,
+  ADD COLUMN IF NOT EXISTS "initiator_authorization_revision" bigint,
+  ADD COLUMN IF NOT EXISTS "authority_epoch" integer,
+  ADD COLUMN IF NOT EXISTS "authority_visibility" text,
+  ADD COLUMN IF NOT EXISTS "authority_owner_organization_membership_id" uuid;
+
+-- The grant identity is a real membership row in the same organization. It is
+-- never cascaded away: offboarding keeps the membership row (revoked) exactly
+-- so retained authority evidence stays resolvable.
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  ADD CONSTRAINT "sandbox_workspace_mutation_admissions_initiator_membership_fk"
+    FOREIGN KEY ("initiator_organization_membership_id", "account_id")
+    REFERENCES "organization_memberships" ("id", "account_id")
+    ON DELETE RESTRICT NOT VALID,
+  ADD CONSTRAINT "sandbox_workspace_mutation_admissions_authority_owner_fk"
+    FOREIGN KEY ("authority_owner_organization_membership_id", "account_id")
+    REFERENCES "organization_memberships" ("id", "account_id")
+    ON DELETE RESTRICT NOT VALID;
+
+ALTER TABLE "sandbox_retained_processes"
+  ADD CONSTRAINT "sandbox_retained_processes_initiator_membership_fk"
+    FOREIGN KEY ("initiator_organization_membership_id", "account_id")
+    REFERENCES "organization_memberships" ("id", "account_id")
+    ON DELETE RESTRICT NOT VALID,
+  ADD CONSTRAINT "sandbox_retained_processes_authority_owner_fk"
+    FOREIGN KEY ("authority_owner_organization_membership_id", "account_id")
+    REFERENCES "organization_memberships" ("id", "account_id")
+    ON DELETE RESTRICT NOT VALID;
+
+-- 2. Promote the unambiguous historical rows ----------------------------
+-- The retained-process identity constraint trigger is INITIALLY DEFERRED.
+-- Fire it per-row instead: a deferred event queued by this backfill would
+-- otherwise make the later ALTER TABLE in this same transaction fail with
+-- "pending trigger events" on any deployment that has retained processes.
+-- The promotion touches only the new authority columns, so the re-validation
+-- against the parent admission is unaffected.
+SET CONSTRAINTS "sandbox_retained_processes_identity_v2" IMMEDIATE;
+
+-- Only a `turn` actor has a frozen accepted-authority snapshot. Copy it
+-- verbatim: the attempt owns tenancy epoch/visibility/owner membership and the
+-- logical turn owns the causal initiator. Nothing here derives an owner from
+-- the session creator, the current membership table, or provenance metadata.
+
+UPDATE "sandbox_workspace_mutation_admissions" AS admission
+SET
+  -- A turn frozen before migration 0096 carries the subject sentinel with the
+  -- default 'service' kind. That is honestly "no causal initiator", so it is
+  -- normalized to the explicit sentinel rather than promoted to a real one.
+  "initiator_kind" = CASE
+    WHEN turn."initiator_subject_id" = 'unattributed-legacy' THEN 'legacy_unattributed'
+    ELSE turn."initiator_kind"
+  END,
+  "initiator_subject_id" = turn."initiator_subject_id",
+  "initiating_human_subject_id" = CASE
+    WHEN turn."initiator_subject_id" = 'unattributed-legacy' THEN NULL
+    ELSE turn."initiating_human_subject_id"
+  END,
+  "authority_epoch" = attempt."authority_epoch",
+  "authority_visibility" = attempt."authority_visibility",
+  "authority_owner_organization_membership_id" =
+    attempt."authority_owner_organization_membership_id"
+FROM "session_turn_attempts" AS attempt
+JOIN "session_turns" AS turn
+  ON turn."workspace_id" = attempt."workspace_id"
+  AND turn."id" = attempt."turn_id"
+WHERE admission."actor_kind" = 'turn'
+  AND admission."initiator_kind" = 'legacy_unattributed'
+  AND attempt."workspace_id" = admission."workspace_id"
+  AND attempt."id" = admission."attempt_id"
+  AND admission."turn_id" = attempt."turn_id";
+
+UPDATE "sandbox_retained_processes" AS process
+SET
+  -- A turn frozen before migration 0096 carries the subject sentinel with the
+  -- default 'service' kind. That is honestly "no causal initiator", so it is
+  -- normalized to the explicit sentinel rather than promoted to a real one.
+  "initiator_kind" = CASE
+    WHEN turn."initiator_subject_id" = 'unattributed-legacy' THEN 'legacy_unattributed'
+    ELSE turn."initiator_kind"
+  END,
+  "initiator_subject_id" = turn."initiator_subject_id",
+  "initiating_human_subject_id" = CASE
+    WHEN turn."initiator_subject_id" = 'unattributed-legacy' THEN NULL
+    ELSE turn."initiating_human_subject_id"
+  END,
+  "authority_epoch" = attempt."authority_epoch",
+  "authority_visibility" = attempt."authority_visibility",
+  "authority_owner_organization_membership_id" =
+    attempt."authority_owner_organization_membership_id"
+FROM "session_turn_attempts" AS attempt
+JOIN "session_turns" AS turn
+  ON turn."workspace_id" = attempt."workspace_id"
+  AND turn."id" = attempt."turn_id"
+WHERE process."owner_actor_kind" = 'turn'
+  AND process."initiator_kind" = 'legacy_unattributed'
+  AND attempt."workspace_id" = process."workspace_id"
+  AND attempt."id" = process."owner_attempt_id"
+  AND process."owner_turn_id" = attempt."turn_id";
+
+-- The membership that authorized a promoted human initiator is resolvable
+-- exactly (organization_memberships is unique per account+subject). A machine
+-- or service initiator legitimately has none. The observed revision is audit
+-- evidence, not a fence: a role change is not a revocation.
+UPDATE "sandbox_workspace_mutation_admissions" AS admission
+SET
+  "initiator_organization_membership_id" = membership."id",
+  "initiator_authorization_revision" = membership."authorization_revision"
+FROM "organization_memberships" AS membership
+WHERE admission."initiator_kind" <> 'legacy_unattributed'
+  AND admission."initiating_human_subject_id" IS NOT NULL
+  AND admission."initiator_organization_membership_id" IS NULL
+  AND membership."account_id" = admission."account_id"
+  AND membership."subject_id" = admission."initiating_human_subject_id";
+
+UPDATE "sandbox_retained_processes" AS process
+SET
+  "initiator_organization_membership_id" = membership."id",
+  "initiator_authorization_revision" = membership."authorization_revision"
+FROM "organization_memberships" AS membership
+WHERE process."initiator_kind" <> 'legacy_unattributed'
+  AND process."initiating_human_subject_id" IS NOT NULL
+  AND process."initiator_organization_membership_id" IS NULL
+  AND membership."account_id" = process."account_id"
+  AND membership."subject_id" = process."initiating_human_subject_id";
+
+-- 3. Contract -----------------------------------------------------------
+-- The tuple has two INDEPENDENT halves, and conflating them was the mistake
+-- worth avoiding: a legacy turn frozen before migration 0096 legitimately has
+-- no causal initiator while still having a perfectly real session tenancy
+-- epoch and visibility. Requiring both together would fence ordinary turn work
+-- on those sessions for no security gain.
+--
+--   * initiator half - either a complete causal identity, or the explicit
+--     `legacy_unattributed` sentinel with every initiator field absent, so a
+--     partial grant can never masquerade as a whole one.
+--   * tenancy half - either the complete epoch/visibility/owner triple, or
+--     nothing. A private session must name its owning membership, exactly as
+--     `sessions` and `session_turn_attempts` already require.
+--
+-- Only a MISSING TENANCY HALF marks a row as predating this migration, and
+-- that is the condition that fails a retained process closed.
+
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  ADD CONSTRAINT "sandbox_workspace_mutation_admissions_initiator_check"
+  CHECK (
+    (
+      "initiator_kind" = 'legacy_unattributed'
+      AND "initiator_subject_id" = 'unattributed-legacy'
+      AND "initiating_human_subject_id" IS NULL
+      AND "initiator_organization_membership_id" IS NULL
+      AND "initiator_authorization_revision" IS NULL
+    ) OR (
+      "initiator_kind" IN ('subject', 'service')
+      AND length(btrim("initiator_subject_id")) BETWEEN 1 AND 1024
+      AND "initiator_subject_id" <> 'unattributed-legacy'
+      AND (
+        "initiating_human_subject_id" IS NULL
+        OR length(btrim("initiating_human_subject_id")) BETWEEN 1 AND 1024
+      )
+      AND (
+        "initiator_organization_membership_id" IS NULL
+        OR "initiating_human_subject_id" IS NOT NULL
+      )
+      AND (
+        "initiator_authorization_revision" IS NULL
+        OR (
+          "initiator_authorization_revision" > 0
+          AND "initiator_organization_membership_id" IS NOT NULL
+        )
+      )
+    )
+  ) NOT VALID;
+
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  ADD CONSTRAINT "sandbox_workspace_mutation_admissions_tenancy_check"
+  CHECK (
+    (
+      "authority_epoch" IS NULL
+      AND "authority_visibility" IS NULL
+      AND "authority_owner_organization_membership_id" IS NULL
+    ) OR (
+      "authority_epoch" IS NOT NULL
+      AND "authority_visibility" IS NOT NULL
+      AND "authority_epoch" > 0
+      AND "authority_visibility" IN ('user_private', 'workspace_shared')
+      AND (
+        "authority_visibility" <> 'user_private'
+        OR "authority_owner_organization_membership_id" IS NOT NULL
+      )
+    )
+  ) NOT VALID;
+
+ALTER TABLE "sandbox_retained_processes"
+  ADD CONSTRAINT "sandbox_retained_processes_initiator_check"
+  CHECK (
+    (
+      "initiator_kind" = 'legacy_unattributed'
+      AND "initiator_subject_id" = 'unattributed-legacy'
+      AND "initiating_human_subject_id" IS NULL
+      AND "initiator_organization_membership_id" IS NULL
+      AND "initiator_authorization_revision" IS NULL
+    ) OR (
+      "initiator_kind" IN ('subject', 'service')
+      AND length(btrim("initiator_subject_id")) BETWEEN 1 AND 1024
+      AND "initiator_subject_id" <> 'unattributed-legacy'
+      AND (
+        "initiating_human_subject_id" IS NULL
+        OR length(btrim("initiating_human_subject_id")) BETWEEN 1 AND 1024
+      )
+      AND (
+        "initiator_organization_membership_id" IS NULL
+        OR "initiating_human_subject_id" IS NOT NULL
+      )
+      AND (
+        "initiator_authorization_revision" IS NULL
+        OR (
+          "initiator_authorization_revision" > 0
+          AND "initiator_organization_membership_id" IS NOT NULL
+        )
+      )
+    )
+  ) NOT VALID;
+
+ALTER TABLE "sandbox_retained_processes"
+  ADD CONSTRAINT "sandbox_retained_processes_tenancy_check"
+  CHECK (
+    (
+      "authority_epoch" IS NULL
+      AND "authority_visibility" IS NULL
+      AND "authority_owner_organization_membership_id" IS NULL
+    ) OR (
+      "authority_epoch" IS NOT NULL
+      AND "authority_visibility" IS NOT NULL
+      AND "authority_epoch" > 0
+      AND "authority_visibility" IN ('user_private', 'workspace_shared')
+      AND (
+        "authority_visibility" <> 'user_private'
+        OR "authority_owner_organization_membership_id" IS NOT NULL
+      )
+    )
+  ) NOT VALID;
+
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  VALIDATE CONSTRAINT "sandbox_workspace_mutation_admissions_initiator_check";
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  VALIDATE CONSTRAINT "sandbox_workspace_mutation_admissions_tenancy_check";
+ALTER TABLE "sandbox_retained_processes"
+  VALIDATE CONSTRAINT "sandbox_retained_processes_initiator_check";
+ALTER TABLE "sandbox_retained_processes"
+  VALIDATE CONSTRAINT "sandbox_retained_processes_tenancy_check";
+
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  VALIDATE CONSTRAINT "sandbox_workspace_mutation_admissions_initiator_membership_fk";
+ALTER TABLE "sandbox_workspace_mutation_admissions"
+  VALIDATE CONSTRAINT "sandbox_workspace_mutation_admissions_authority_owner_fk";
+ALTER TABLE "sandbox_retained_processes"
+  VALIDATE CONSTRAINT "sandbox_retained_processes_initiator_membership_fk";
+ALTER TABLE "sandbox_retained_processes"
+  VALIDATE CONSTRAINT "sandbox_retained_processes_authority_owner_fk";
+
+-- 4. The grant-identity seam --------------------------------------------
+-- `organization_memberships` stays FORCE-RLS with no runtime DML and no
+-- runtime SELECT (migration 0263). Admission still has to answer one narrow
+-- question inside its own transaction - "is this exact subject's grant still
+-- live, and which membership is it?" - so expose exactly that and nothing
+-- more: an id, a lifecycle status and an authorization revision, fenced to the
+-- caller's own tenant. No role, no personal workspace, no retention state, no
+-- other subject's row, and never a secret value.
+--
+-- The existing 0263 assertion cannot serve this: it is scoped to the CURRENT
+-- RLS subject, while a workspace writer must resolve the initiator frozen on
+-- an accepted turn - a subject the worker's transaction is not acting as.
+
+CREATE FUNCTION resolve_workspace_writer_grant_identity(
+  p_account_id uuid,
+  p_subject_id text
+) RETURNS TABLE(membership_id uuid, membership_status text, authorization_revision bigint)
+LANGUAGE sql
+STABLE
+SECURITY DEFINER
+SET search_path FROM CURRENT
+AS $body$
+  SELECT membership.id, membership.status, membership.authorization_revision
+  FROM organization_memberships membership
+  WHERE p_account_id IS NOT NULL
+    AND p_subject_id IS NOT NULL
+    AND membership.account_id = p_account_id
+    -- Tenant fence: a caller can only resolve grants inside the organization
+    -- its own RLS context already establishes.
+    AND membership.account_id = opengeni_private.current_account_id()
+    AND membership.subject_id = p_subject_id
+$body$;
+
+REVOKE ALL ON FUNCTION resolve_workspace_writer_grant_identity(uuid,text) FROM PUBLIC;
+
+DO $workspace_writer_grant_seam$
+DECLARE
+  data_schema text := pg_catalog.current_schema();
+BEGIN
+  EXECUTE format(
+    'ALTER FUNCTION %I.resolve_workspace_writer_grant_identity(uuid,text) '
+      || 'SET search_path = pg_catalog, %I, pg_temp',
+    data_schema, data_schema
+  );
+  -- Same conditional grant as migration 0263: dedicated-schema/embedded
+  -- deployments replay this ledger without the opengeni_app role because the
+  -- host runs OpenGeni's queries over its own role and never uses it.
+  IF EXISTS (SELECT 1 FROM pg_roles WHERE rolname = 'opengeni_app') THEN
+    EXECUTE format(
+      'GRANT EXECUTE ON FUNCTION %I.resolve_workspace_writer_grant_identity(uuid,text) '
+        || 'TO opengeni_app',
+      data_schema
+    );
+  END IF;
+END
+$workspace_writer_grant_seam$;
+
+-- 5. Revocation sweep support -------------------------------------------
+-- Membership revocation and workspace-membership removal need the live
+-- unsettled writers owned by one exact grant identity, cheaply.
+
+CREATE INDEX IF NOT EXISTS "sandbox_workspace_mutation_admissions_initiator_idx"
+  ON "sandbox_workspace_mutation_admissions"
+    ("account_id", "initiator_organization_membership_id")
+  WHERE "settled_at" IS NULL;
+
+CREATE INDEX IF NOT EXISTS "sandbox_retained_processes_initiator_idx"
+  ON "sandbox_retained_processes"
+    ("account_id", "initiator_organization_membership_id")
+  WHERE "state" = 'active';
+
+CREATE INDEX IF NOT EXISTS "sandbox_retained_processes_initiating_human_idx"
+  ON "sandbox_retained_processes" ("account_id", "initiating_human_subject_id")
+  WHERE "state" = 'active';
+
+COMMENT ON COLUMN "sandbox_workspace_mutation_admissions"."initiator_kind" IS
+  'Causal principal kind for this admission: subject | service, or the '
+  'legacy_unattributed sentinel for a pre-0277 row whose authority was never '
+  'recorded. The sentinel is refused by new admission and is never written by '
+  'a post-0277 writer.';
+COMMENT ON COLUMN "sandbox_workspace_mutation_admissions"."authority_epoch" IS
+  'Session tenancy authority epoch observed when the operation was admitted. '
+  'Identity and epoch only - never a secret value.';
+COMMENT ON COLUMN "sandbox_retained_processes"."initiator_kind" IS
+  'Causal principal kind frozen when the process was retained. A '
+  'legacy_unattributed process keeps running; only its next workspace mutation '
+  'is refused.';