@consiliency/agent-board-schema 1.60.0 → 1.64.0

package/tests/isolation/specs/claimpolicy_writer_keyshare.spec

@@ -56,8 +56,6 @@ teardown
   delete from agent_board.threads where id = '40500000-0000-4000-8000-000000000060';
   delete from agent_board.board_membership_events where board_id in (
     select id from agent_board.boards where slug = 'cpr-ks-board');
-  delete from agent_board.board_memberships where board_id in (
-    select id from agent_board.boards where slug = 'cpr-ks-board');
   delete from agent_board.boards where slug = 'cpr-ks-board';
   delete from agent_board.agents where id = '40500000-0000-4000-8000-000000000005';
   delete from auth.users where id = '40500000-0000-4000-8000-0000000000e1';

package/tests/isolation/specs/consent_approval_lock.spec

@@ -53,7 +53,6 @@ setup
 teardown
 {
   delete from agent_board.board_membership_events where board_id = '115b0000-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships     where board_id = '115b0000-0000-4000-8000-000000000001';
   delete from agent_board.boards                where id       = '115b0000-0000-4000-8000-000000000001';
   delete from agent_board.agents                where id in ('115a0000-0000-4000-8000-000000000001','115a0000-0000-4000-8000-000000000002');
 }

package/tests/isolation/specs/consent_emit_actual_state.spec

@@ -37,7 +37,6 @@ setup
 teardown
 {
   delete from agent_board.board_membership_events where board_id = '105b0000-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships     where board_id = '105b0000-0000-4000-8000-000000000001';
   delete from agent_board.boards                where id       = '105b0000-0000-4000-8000-000000000001';
   delete from agent_board.agents                where id       = '105a0000-0000-4000-8000-000000000001';
 }

package/tests/isolation/specs/grant_target_role_race.spec

@@ -0,0 +1,206 @@
+# #674 (plans/plan-674-grant-target-role.md §5.4): grant_board_role reads the target's
+# CURRENT role in ONE step-6 statement that locks the target's active row
+# FOR NO KEY UPDATE OF t and LEFT JOINs the grantor's active row unlocked. Every session
+# uses explicit BEGIN/COMMIT (or ROLLBACK); claims are transaction-local, so they are set
+# in the begin step. Authenticated grants pass no p_grantor_agent_id (the host shape).
+#
+# Board B (created by O). Roles at setup:
+#   O owner, A1 admin, M member, V observer, G member.
+# One admin-preset invite link on B, minted by O through create_invite_link (max_uses 5).
+#
+#   I-1  M redeems the admin link (rank-max lifts M to admin, row held) while A1 grants
+#        M -> observer. A1 BLOCKS at step 6; after M commits, the locked read sees admin,
+#        and C-B refuses (D6b). M stays admin.                         (pins M7)
+#   I-2  O removes M (update_board_membership, held) while A1 grants M -> observer. A1
+#        blocks; after O commits, A1 gets P0002 (no all-null row).
+#   I-3  O demotes A1 to member (held) while A1 grants M -> observer. A1 blocks on the
+#        board advisory lock; after O commits, step 6 sees A1 as member and C-A refuses
+#        (D6a). Reverse order: both succeed.
+#   I-4  O posts on B (post_board_message fan-out inserts delivery_recipients naming M's
+#        membership: FOR KEY SHARE on M's row, held) while O's second session grants
+#        M -> observer. The grant completes WITHOUT blocking.          (pins M7b)
+#   I-5  G redeems the admin link (G's own row raised to admin, held) while G's second
+#        session grants V -> member. It does NOT block (g is unlocked), reads G's committed
+#        role member, and C-A refuses (D6a). After G commits, a retry succeeds.
+
+setup
+{
+  insert into auth.users(id) values
+    ('67410000-0000-4000-8000-000000000001'),
+    ('67410000-0000-4000-8000-000000000002'),
+    ('67410000-0000-4000-8000-000000000003'),
+    ('67410000-0000-4000-8000-000000000004'),
+    ('67410000-0000-4000-8000-000000000005');
+  insert into agent_board.agents(id, agent_type, handle, display_name, status, auth_user_id) values
+    ('67420000-0000-4000-8000-000000000001', 'agent', 'g674-iso-o',  'G674 O',  'active', '67410000-0000-4000-8000-000000000001'),
+    ('67420000-0000-4000-8000-000000000002', 'agent', 'g674-iso-a1', 'G674 A1', 'active', '67410000-0000-4000-8000-000000000002'),
+    ('67420000-0000-4000-8000-000000000003', 'agent', 'g674-iso-m',  'G674 M',  'active', '67410000-0000-4000-8000-000000000003'),
+    ('67420000-0000-4000-8000-000000000004', 'agent', 'g674-iso-v',  'G674 V',  'active', '67410000-0000-4000-8000-000000000004'),
+    ('67420000-0000-4000-8000-000000000005', 'agent', 'g674-iso-g',  'G674 G',  'active', '67410000-0000-4000-8000-000000000005');
+  insert into agent_board.boards(id, slug, name, created_by_agent_id, visibility)
+  values ('67430000-0000-4000-8000-000000000001', 'g674-iso-board', 'G674 isolation board',
+          '67420000-0000-4000-8000-000000000001', 'private');
+  insert into agent_board.board_memberships(board_id, agent_id, membership_state, role, created_by_agent_id) values
+    ('67430000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000001', 'joined', 'owner',    '67420000-0000-4000-8000-000000000001'),
+    ('67430000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000002', 'joined', 'admin',    '67420000-0000-4000-8000-000000000001'),
+    ('67430000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000003', 'joined', 'member',   '67420000-0000-4000-8000-000000000001'),
+    ('67430000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000004', 'joined', 'observer', '67420000-0000-4000-8000-000000000001'),
+    ('67430000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000005', 'joined', 'member',   '67420000-0000-4000-8000-000000000001');
+  insert into agent_board.threads(id, created_by_agent_id, subject, board_id)
+  values ('67440000-0000-4000-8000-000000000001', '67420000-0000-4000-8000-000000000001', 'g674 iso thread',
+          '67430000-0000-4000-8000-000000000001');
+  -- The admin-preset link, minted by O through the real RPC (service path, O supplied).
+  select count(*) from agent_board.create_invite_link('67430000-0000-4000-8000-000000000001', 'admin', 'joined', 5,
+    null, '67420000-0000-4000-8000-000000000001', jsonb_build_object());
+}
+
+teardown
+{
+  delete from agent_board.board_invite_redemptions where invite_id in
+    (select id from agent_board.board_invite_tokens where board_id = '67430000-0000-4000-8000-000000000001');
+  delete from agent_board.board_invite_tokens where board_id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.delivery_recipients where board_id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.inbox_items where board_id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.callback_outbox_events where board_id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.messages where thread_id = '67440000-0000-4000-8000-000000000001';
+  delete from agent_board.threads where id = '67440000-0000-4000-8000-000000000001';
+  delete from agent_board.board_membership_events where board_id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.boards where id = '67430000-0000-4000-8000-000000000001';
+  delete from agent_board.agents where id::text like '67420000-0000-4000-8000-00000000000_';
+  delete from auth.users where id::text like '67410000-0000-4000-8000-00000000000_';
+}
+
+# M, redeeming the admin link (I-1).
+session "m"
+step "m_begin" {
+  BEGIN;
+  select set_config('g674.code', (select code from agent_board.board_invite_tokens
+    where board_id = '67430000-0000-4000-8000-000000000001' and preset_role = 'admin'), true) is not null as have_code;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000003';
+}
+step "m_redeem" { select role, membership_state from agent_board.redeem_invite_link(current_setting('g674.code')); }
+step "m_commit" { COMMIT; }
+
+# A1, the admin grantor (I-1, I-2, I-3).
+session "a"
+step "a_begin" {
+  BEGIN;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000002';
+}
+step "a_grant_m_observer" {
+  select role from agent_board.grant_board_role('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000003', 'observer');
+}
+step "a_commit" { COMMIT; }
+step "a_rollback" { ROLLBACK; }
+
+# O, the owner (I-2 eviction, I-3 demotion of A1, I-4 grantor).
+session "o"
+step "o_begin" {
+  BEGIN;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000001';
+}
+step "o_remove_m" {
+  select membership_state from agent_board.update_board_membership('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000003', 'removed');
+}
+step "o_demote_a" {
+  select role from agent_board.grant_board_role('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000002', 'member');
+}
+step "o_grant_m_observer" {
+  select role from agent_board.grant_board_role('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000003', 'observer');
+}
+step "o_commit" { COMMIT; }
+
+# O's second session, posting on B (I-4): the fan-out FK-inserts delivery_recipients rows
+# naming each recipient's membership, which takes FOR KEY SHARE on M's row.
+session "p"
+step "p_begin" {
+  BEGIN;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000001';
+}
+step "p_post" {
+  select count(*) > 0 as posted from agent_board.post_board_message('67440000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000001', '67430000-0000-4000-8000-000000000001', 'g674 iso', 'fan-out to M');
+}
+# RESET ROLE (still inside the open transaction, which keeps every lock it took) so this
+# count reads M's uncommitted delivery row past the recipient-scoped RLS O is under.
+step "p_holds_m_fk" {
+  RESET ROLE;
+  select count(*) as m_delivery_rows from agent_board.delivery_recipients dr
+    join agent_board.board_memberships bm on bm.id = dr.board_membership_id
+   where bm.board_id = '67430000-0000-4000-8000-000000000001' and bm.agent_id = '67420000-0000-4000-8000-000000000003';
+}
+step "p_commit" { COMMIT; }
+
+# G, redeeming the admin link for its OWN row (I-5).
+session "g"
+step "g_begin" {
+  BEGIN;
+  select set_config('g674.code', (select code from agent_board.board_invite_tokens
+    where board_id = '67430000-0000-4000-8000-000000000001' and preset_role = 'admin'), true) is not null as have_code;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000005';
+}
+step "g_redeem" { select role, membership_state from agent_board.redeem_invite_link(current_setting('g674.code')); }
+step "g_commit" { COMMIT; }
+
+# G's second session, the grantor in I-5.
+session "g2"
+step "g2_begin" {
+  BEGIN;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000005';
+}
+step "g2_grant_v_member" {
+  select role from agent_board.grant_board_role('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000004', 'member');
+}
+step "g2_rollback" { ROLLBACK; }
+step "g2_retry_begin" {
+  BEGIN;
+  SET LOCAL ROLE authenticated;
+  SET LOCAL "request.jwt.claim.role" = 'authenticated';
+  SET LOCAL "request.jwt.claim.sub" = '67410000-0000-4000-8000-000000000005';
+}
+step "g2_retry_grant_v_member" {
+  select role from agent_board.grant_board_role('67430000-0000-4000-8000-000000000001',
+    '67420000-0000-4000-8000-000000000004', 'member');
+}
+step "g2_commit" { COMMIT; }
+
+session "check"
+step "check" {
+  select a.handle, bm.role, bm.membership_state
+    from agent_board.board_memberships bm join agent_board.agents a on a.id = bm.agent_id
+   where bm.board_id = '67430000-0000-4000-8000-000000000001'
+   order by a.handle, bm.membership_state;
+}
+
+# I-1: the target is promoted through the product while it is being demoted.
+permutation "m_begin" "m_redeem" "a_begin" "a_grant_m_observer" "m_commit" "a_rollback" "check"
+# I-2: eviction during a grant.
+permutation "o_begin" "o_remove_m" "a_begin" "a_grant_m_observer" "o_commit" "a_rollback" "check"
+# I-3: two grants on one board, advisory-serialised. Demotion first: the grantor's role is
+# read AFTER the advisory wait (C-A refuses). Grant first: both succeed.
+permutation "o_begin" "o_demote_a" "a_begin" "a_grant_m_observer" "o_commit" "a_rollback" "check"
+permutation "a_begin" "a_grant_m_observer" "o_begin" "o_demote_a" "a_commit" "o_commit" "check"
+# I-4: FK-share non-interference -- the grant completes without blocking. The poster commits
+# BEFORE the grantor so that a grant which DID block (M7b, FOR UPDATE) is released and the
+# golden diff shows `<waiting ...>`/`<... completed>` instead of a truncated run.
+permutation "p_begin" "p_post" "p_holds_m_fk" "o_begin" "o_grant_m_observer" "p_commit" "o_commit" "check"
+# I-5: a concurrent raise of the grantor is seen as the older, lower rank (refusal), never
+# a wrongful allow; the retry after commit succeeds.
+permutation "g_begin" "g_redeem" "g2_begin" "g2_grant_v_member" "g2_rollback" "g_commit" "g2_retry_begin" "g2_retry_grant_v_member" "g2_commit" "check"

package/tests/isolation/specs/hosted_delegate_add_tombstone_race.spec

@@ -48,7 +48,6 @@ setup
 teardown
 {
   delete from agent_board.board_membership_events where board_id = '16591300-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships where board_id = '16591300-0000-4000-8000-000000000001';
   delete from agent_board.boards where id = '16591300-0000-4000-8000-000000000001';
   delete from agent_board.agent_credentials
    where agent_id in (select agent_id from agent_board.delegate_instances where instance_id like 'iso\_at\_%');

package/tests/isolation/specs/hosted_delegate_tombstone_revoke_race.spec

@@ -74,7 +74,6 @@ teardown
   delete from agent_board.fleet_revocation_events where revoked_by_agent_id = '16591000-0000-4000-8000-000000000001';
   delete from agent_board.fleet_human_revocations where issuer = 'https://iso-tr.test';
   delete from agent_board.board_membership_events where board_id = '16591200-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships where board_id = '16591200-0000-4000-8000-000000000001';
   delete from agent_board.boards where id = '16591200-0000-4000-8000-000000000001';
   delete from agent_board.agent_credentials
    where agent_id in (select agent_id from agent_board.delegate_instances where instance_id like 'iso\_tr\_%');

package/tests/isolation/specs/hosted_delegate_withdraw_evict_race.spec

@@ -60,7 +60,6 @@ setup
 teardown
 {
   delete from agent_board.board_membership_events where board_id = '16322000-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships where board_id = '16322000-0000-4000-8000-000000000001';
   delete from agent_board.boards where id = '16322000-0000-4000-8000-000000000001';
   delete from agent_board.agent_credentials
    where agent_id in (select agent_id from agent_board.delegate_instances where instance_id like 'iso\_wd\_%');

package/tests/isolation/specs/last_owner_departure.spec

@@ -0,0 +1,137 @@
+# Consiliency/message-board#675: two active owners independently leave/demote.
+# The second RPC waits on the FIRST lock (board authority advisory), then reads
+# the committed owner's exit and refuses. No timing sleeps; each permutation
+# finishes with exactly one owner. The same spec on schema 1.63.0 ends at zero.
+setup
+{
+  create function public.roleguard_isolation_refusal(p_statement text)
+  returns text language plpgsql as $probe$
+  begin
+    execute p_statement;
+    return 'UNEXPECTED_SUCCESS';
+  exception when others then
+    return sqlstate;
+  end;
+  $probe$;
+  insert into auth.users(id,instance_id,aud,role,email)
+  select ('67500000-0000-0000-0000-'||lpad(n::text,12,'0'))::uuid,
+    '00000000-0000-0000-0000-000000000000','authenticated','authenticated',
+    'last-owner-'||n||'@test.invalid' from generate_series(1,2) n;
+  insert into agent_board.agents(id,agent_type,kind,handle,display_name,status,auth_user_id)
+  select ('67510000-0000-4000-8000-'||lpad(n::text,12,'0'))::uuid,
+    'agent','agent','last-owner-'||n,'Last Owner '||n,'active',
+    ('67500000-0000-0000-0000-'||lpad(n::text,12,'0'))::uuid from generate_series(1,2) n;
+  insert into agent_board.boards(id,slug,name,created_by_agent_id)
+  values ('67520000-0000-4000-8000-000000000099','last-owner-race','Last Owner Race',
+    '67510000-0000-4000-8000-000000000001');
+  insert into agent_board.board_memberships(board_id,agent_id,role,membership_state,created_by_agent_id)
+  select '67520000-0000-4000-8000-000000000099',id,'owner','joined',
+    '67510000-0000-4000-8000-000000000001' from agent_board.agents where handle like 'last-owner-%';
+}
+
+teardown
+{
+  drop function public.roleguard_isolation_refusal(text);
+  delete from agent_board.board_membership_events
+   where board_id='67520000-0000-4000-8000-000000000099';
+  delete from agent_board.boards where id='67520000-0000-4000-8000-000000000099';
+  delete from agent_board.agents where handle like 'last-owner-%';
+  delete from auth.users where email like 'last-owner-%@test.invalid';
+}
+
+session "a"
+step "a_begin" {
+  begin;
+  set local role authenticated;
+  select set_config('request.jwt.claims', json_build_object('role','authenticated','sub','67500000-0000-0000-0000-000000000001')::text,true) is not null as authenticated;
+}
+step "a_leave" {
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001');
+}
+step "a_demote" {
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001','member');
+}
+step "a_commit" { commit; }
+step "a_repeatable" {
+  begin isolation level repeatable read;
+  set local role authenticated;
+  select set_config('request.jwt.claims', json_build_object('role','authenticated','sub','67500000-0000-0000-0000-000000000001')::text,true) is not null as authenticated;
+}
+step "a_snapshot" {
+  select count(*) as snapshot_owners from agent_board.board_memberships where board_id='67520000-0000-4000-8000-000000000099' and role='owner' and membership_state in ('joined','subscribed');
+}
+step "a_leave_code" {
+  select public.roleguard_isolation_refusal($probe$
+    select agent_board.leave_board(
+      '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001')
+  $probe$) as error_code;
+}
+step "a_raw" {
+  reset role;
+  select agent_board._lock_board_authority_ceiling('67520000-0000-4000-8000-000000000099');
+  update agent_board.board_memberships set membership_state='left',left_at=now()
+   where board_id='67520000-0000-4000-8000-000000000099'
+     and agent_id='67510000-0000-4000-8000-000000000001';
+}
+step "a_session_begin" {
+  begin;
+  select pg_advisory_lock(hashtextextended(
+    'agent_board.board_authority_ceilings:67520000-0000-4000-8000-000000000099',0));
+}
+step "a_session_leave" {
+  update agent_board.board_memberships set membership_state='left',left_at=now()
+   where board_id='67520000-0000-4000-8000-000000000099'
+     and agent_id='67510000-0000-4000-8000-000000000001';
+}
+step "a_session_unlock" {
+  select pg_advisory_unlock(hashtextextended(
+    'agent_board.board_authority_ceilings:67520000-0000-4000-8000-000000000099',0));
+}
+
+session "b"
+step "b_begin" {
+  begin;
+  set local role authenticated;
+  select set_config('request.jwt.claims', json_build_object('role','authenticated','sub','67500000-0000-0000-0000-000000000002')::text,true) is not null as authenticated;
+}
+step "b_leave" {
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002');
+}
+step "b_demote" {
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002','member');
+}
+step "b_commit" { commit; }
+step "b_raw" {
+  reset role;
+  delete from agent_board.board_memberships
+   where board_id='67520000-0000-4000-8000-000000000099'
+     and agent_id='67510000-0000-4000-8000-000000000002';
+}
+step "b_lock" {
+  reset role;
+  select agent_board._lock_board_authority_ceiling('67520000-0000-4000-8000-000000000099');
+}
+
+session "check"
+step "owners" {
+  select count(*) as active_owners from agent_board.board_memberships
+   where board_id='67520000-0000-4000-8000-000000000099'
+     and role='owner' and membership_state in ('joined','subscribed');
+}
+
+permutation "a_begin" "a_leave" "b_begin" "b_leave" "a_commit" "b_commit" "owners"
+permutation "b_begin" "b_leave" "a_begin" "a_leave" "b_commit" "a_commit" "owners"
+permutation "a_begin" "a_demote" "b_begin" "b_demote" "a_commit" "b_commit" "owners"
+permutation "b_begin" "b_demote" "a_begin" "a_demote" "b_commit" "a_commit" "owners"
+permutation "a_begin" "a_leave" "b_begin" "b_demote" "a_commit" "b_commit" "owners"
+permutation "b_begin" "b_demote" "a_begin" "a_leave" "b_commit" "a_commit" "owners"
+permutation "a_begin" "a_raw" "b_begin" "b_raw" "a_commit" "b_commit" "owners"
+permutation "b_begin" "b_lock" "b_raw" "a_begin" "a_raw" "b_commit" "a_commit" "owners"
+permutation "a_repeatable" "a_leave_code" "a_commit" "owners"
+permutation "a_session_begin" "a_session_leave" "a_session_unlock" "b_begin" "b_leave" "a_commit" "b_commit" "owners"
+
+permutation "a_repeatable" "a_snapshot" "b_begin" "b_leave" "a_leave_code" "b_commit" "a_commit" "owners"

package/tests/isolation/specs/ledger_authority_revoke.spec

@@ -112,8 +112,6 @@ teardown
    where board_id = '27720000-0000-4000-8000-000000000001';
   delete from agent_board.board_membership_events
    where board_id in (select id from agent_board.boards where slug like 'k280-iso-%');
-  delete from agent_board.board_memberships
-   where board_id in (select id from agent_board.boards where slug like 'k280-iso-%');
   delete from agent_board.boards where slug like 'k280-iso-%';
   delete from agent_board.board_membership_events
    where board_id = '27720000-0000-4000-8000-000000000001';
@@ -127,7 +125,6 @@ teardown
   delete from agent_board.agent_signing_keys
    where agent_id in (select id from agent_board.agents where handle like 'k276iso-%');
   delete from agent_board.board_authority_ceilings where board_id='27720000-0000-4000-8000-000000000001';
-  delete from agent_board.board_memberships where board_id='27720000-0000-4000-8000-000000000001';
   delete from agent_board.boards where id='27720000-0000-4000-8000-000000000001';
   delete from agent_board.agents where handle like 'k276iso-%';
   delete from auth.users where id in (

package/tests/isolation/specs/onboarding_ceiling_lock_order.spec

@@ -103,9 +103,6 @@ teardown
   delete from agent_board.board_authority_ceilings where board_id in (
     select id from agent_board.boards where slug='onboard-ceiling-board'
   );
-  delete from agent_board.board_memberships where board_id in (
-    select id from agent_board.boards where slug='onboard-ceiling-board'
-  );
   delete from agent_board.enrollment_federation_audit where agent_id in (
     select id from agent_board.agents where handle='onboard-ceiling-agent'
   );

package/tests/isolation/specs/outbox_wake_ordering.spec

@@ -114,7 +114,6 @@ teardown
   delete from agent_board.callback_outbox_events where board_id in ('18701000-0000-4000-8000-00000000000a', '18701000-0000-4000-8000-00000000000b');
   delete from agent_board.callback_subscriptions  where board_id in ('18701000-0000-4000-8000-00000000000a', '18701000-0000-4000-8000-00000000000b');
   delete from agent_board.callback_endpoints      where endpoint_url like 'https://example.test/iso187/%';
-  delete from agent_board.board_memberships       where board_id in ('18701000-0000-4000-8000-00000000000a', '18701000-0000-4000-8000-00000000000b');
   delete from agent_board.messages                where thread_id in ('18702000-0000-4000-8000-00000000000a', '18702000-0000-4000-8000-00000000000b');
   delete from agent_board.threads                 where id in ('18702000-0000-4000-8000-00000000000a', '18702000-0000-4000-8000-00000000000b');
   delete from agent_board.boards                  where id in ('18701000-0000-4000-8000-00000000000a', '18701000-0000-4000-8000-00000000000b');

package/tests/isolation/specs/session_identity_limits.spec

@@ -0,0 +1,81 @@
+# Concurrent mints from a 59-row mixed rolling-hour census share the true root
+# lock. Expired legacy grants and revoked session mints still consume the hour.
+setup
+{
+  grant usage on schema extensions to service_role;
+  insert into auth.users(id) values ('77000000-0000-4000-8000-000000000001');
+  insert into agent_board.agents(id, agent_type, handle, display_name, status, owner_user_id)
+  values ('78000000-0000-4000-8000-000000000001', 'agent', 'sid-limits-root', 'SID limits root', 'active',
+    '77000000-0000-4000-8000-000000000001');
+  insert into agent_board.session_identities(agent_id, root_agent_id, depth)
+  values ('78000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001', 0);
+  insert into agent_board.delegation_policies(id, root_agent_id, mode, max_active_children, allowed_scopes, child_ttl_ceiling)
+  values ('79000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001', 'root_minted', 200, '[]', interval '8 hours');
+  do $$ declare n integer; child uuid; begin
+    for n in 1..59 loop
+      child := gen_random_uuid();
+      insert into agent_board.agents(id, agent_type, handle, display_name, status, owner_user_id, parent_agent_id, root_agent_id)
+      values (child, 'agent', 'sid-limits-history-' || n, 'SID limits history', case when n <= 30 then 'active' else 'revoked' end,
+        '77000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001');
+      insert into agent_board.session_identities(agent_id, parent_agent_id, root_agent_id, depth, identity_kind, harness, tombstoned_at, tombstone_reason)
+      values (child, '78000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001', 1,
+        case when n <= 30 then 'legacy' else 'session' end, case when n <= 30 then null else 'codex' end,
+        case when n <= 30 then null else now() end, case when n <= 30 then null else 'revoked' end);
+      insert into agent_board.delegation_grants(child_agent_id, root_agent_id, parent_agent_id, delegation_policy_id, granted_scopes, grant_expires_at, revoked_at)
+      values (child, '78000000-0000-4000-8000-000000000001', '78000000-0000-4000-8000-000000000001',
+        '79000000-0000-4000-8000-000000000001', '[]', now() - interval '1 hour', case when n <= 30 then null else now() end);
+    end loop;
+  end $$;
+}
+
+teardown
+{
+  do $$ declare v_auth_ids uuid[]; begin
+    select array_agg(auth_user_id) into v_auth_ids from agent_board.agents
+      where root_agent_id = '78000000-0000-4000-8000-000000000001' and auth_user_id is not null;
+    delete from agent_board.session_id_aliases where root_agent_id = '78000000-0000-4000-8000-000000000001';
+    delete from agent_board.session_identities where root_agent_id = '78000000-0000-4000-8000-000000000001';
+    delete from agent_board.agents where root_agent_id = '78000000-0000-4000-8000-000000000001';
+    delete from agent_board.agents where id = '78000000-0000-4000-8000-000000000001';
+    delete from auth.users where id = any(v_auth_ids) or id = '77000000-0000-4000-8000-000000000001';
+  end $$;
+}
+
+session "a"
+step "a_begin" { BEGIN; SET LOCAL ROLE service_role; SET LOCAL "request.jwt.claim.role" = 'service_role'; }
+step "a_mint" {
+  do $$ begin
+    perform * from agent_board.mint_delegated_child('78000000-0000-4000-8000-000000000001', 'sid-limit-a', '[]',
+      public.test_pubkey('sid-limit-a'), interval '1 hour', false, 'codex', 'limit-a');
+  end $$;
+}
+step "a_commit" { COMMIT; }
+
+session "b"
+step "b_begin" { BEGIN; SET LOCAL ROLE service_role; SET LOCAL "request.jwt.claim.role" = 'service_role'; }
+step "b_mint" {
+  do $$ begin
+    perform * from agent_board.mint_delegated_child('78000000-0000-4000-8000-000000000001', 'sid-limit-b', '[]',
+      public.test_pubkey('sid-limit-b'), interval '1 hour', false, 'codex', 'limit-b');
+  end $$;
+}
+step "b_duplicate" {
+  do $$ begin
+    perform * from agent_board.mint_delegated_child('78000000-0000-4000-8000-000000000001', 'sid-limit-b', '[]',
+      public.test_pubkey('sid-limit-b'), interval '1 hour', false, 'codex', 'limit-a');
+  end $$;
+}
+step "b_commit" { COMMIT; }
+
+session "check"
+step "check" {
+  select count(*) as mixed_hourly, count(*) filter (where revoked_at is not null) as tombstoned_hourly
+  from agent_board.delegation_grants where root_agent_id = '78000000-0000-4000-8000-000000000001';
+  select count(*) as new_principals from agent_board.agents where handle in ('sid-limit-a', 'sid-limit-b');
+  select count(*) as aliases from agent_board.session_id_aliases where root_agent_id = '78000000-0000-4000-8000-000000000001';
+}
+
+permutation "a_begin" "a_mint" "b_begin" "b_mint" "a_commit" "b_commit" "check"
+permutation "b_begin" "b_mint" "a_begin" "a_mint" "b_commit" "a_commit" "check"
+permutation "a_begin" "a_mint" "b_begin" "b_duplicate" "a_commit" "b_commit" "check"
+permutation "b_begin" "b_duplicate" "a_begin" "a_mint" "b_commit" "a_commit" "check"

package/tests/isolation/specs/session_identity_links.spec

@@ -0,0 +1,82 @@
+# Two verified service-role links serialize on one live Claude identity. Both
+# commit orders and idempotent/different aliases are observable without sleeps.
+setup
+{
+  insert into auth.users(id) values ('71000000-0000-4000-8000-000000000001');
+  insert into agent_board.agents(id, agent_type, handle, display_name, status, auth_user_id, parent_agent_id, root_agent_id)
+  values
+    ('72000000-0000-4000-8000-000000000001', 'agent', 'sid-links-root', 'SID links root', 'active', null, null, null),
+    ('72000000-0000-4000-8000-000000000003', 'agent', 'sid-links-coowner', 'SID links coowner', 'active', null, null, null),
+    ('72000000-0000-4000-8000-000000000002', 'agent', 'sid-links-child', 'SID links child', 'active', '71000000-0000-4000-8000-000000000001',
+      '72000000-0000-4000-8000-000000000001', '72000000-0000-4000-8000-000000000001');
+  insert into agent_board.session_identities(agent_id, parent_agent_id, root_agent_id, depth, identity_kind, harness,
+    approved_risky_digest, current_risky_digest, holder_secret_hash, last_heartbeat)
+  values
+    ('72000000-0000-4000-8000-000000000001', null, '72000000-0000-4000-8000-000000000001', 0, 'legacy', null, 'approved', 'approved', null, null),
+    ('72000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000001', '72000000-0000-4000-8000-000000000001', 1, 'session', 'claude',
+      'approved', 'approved', extensions.digest('isolation-holder', 'sha256'), now());
+  insert into agent_board.session_id_aliases(id, identity_agent_id, root_agent_id, harness, session_id)
+  values ('73000000-0000-4000-8000-000000000001', '72000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000001', 'claude', 'original');
+  update agent_board.session_identities set lease_alias_id = '73000000-0000-4000-8000-000000000001'
+  where agent_id = '72000000-0000-4000-8000-000000000002';
+  insert into agent_board.delegation_policies(id, root_agent_id, mode, allowed_scopes)
+  values ('74000000-0000-4000-8000-000000000001', '72000000-0000-4000-8000-000000000001', 'root_minted', '["read","write"]');
+  insert into agent_board.delegation_grants(child_agent_id, root_agent_id, parent_agent_id, delegation_policy_id, granted_scopes, grant_expires_at)
+  values ('72000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000001',
+    '72000000-0000-4000-8000-000000000001', '74000000-0000-4000-8000-000000000001', '["read","write"]', now() + interval '8 hours');
+  insert into agent_board.boards(id, slug, name, created_by_agent_id)
+  values ('74000000-0000-4000-8000-000000000002', 'sid-links-room', 'SID links room', '72000000-0000-4000-8000-000000000001');
+  insert into agent_board.board_memberships(board_id, agent_id, membership_state, role) values
+    ('74000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000001', 'joined', 'owner'),
+    ('74000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000003', 'joined', 'owner'),
+    ('74000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000002', 'joined', 'admin');
+}
+
+teardown
+{
+  delete from agent_board.board_membership_events where board_id = '74000000-0000-4000-8000-000000000002';
+  delete from agent_board.boards where id = '74000000-0000-4000-8000-000000000002';
+  delete from agent_board.delegation_grants where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  delete from agent_board.delegation_policies where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  update agent_board.session_identities set lease_alias_id = null where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  delete from agent_board.session_id_aliases where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  delete from agent_board.session_identities where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  delete from agent_board.agents where id = '72000000-0000-4000-8000-000000000002';
+  delete from agent_board.agents where id = '72000000-0000-4000-8000-000000000001';
+  delete from agent_board.agents where id = '72000000-0000-4000-8000-000000000003';
+  delete from auth.users where id = '71000000-0000-4000-8000-000000000001';
+}
+
+session "a"
+step "a_begin" { BEGIN; SET LOCAL ROLE service_role; SET LOCAL "request.jwt.claim.role" = 'service_role'; SET LOCAL "request.jwt.claim.sub" = '71000000-0000-4000-8000-000000000001'; }
+step "a_link" { select agent_board.link_session_alias('72000000-0000-4000-8000-000000000002', '0', 'continued-a'); }
+step "a_commit" { COMMIT; }
+step "a_rebegin" { BEGIN; SET LOCAL ROLE service_role; SET LOCAL "request.jwt.claim.role" = 'service_role'; SET LOCAL "request.jwt.claim.sub" = '71000000-0000-4000-8000-000000000001'; }
+step "a_relink" { select agent_board.link_session_alias('72000000-0000-4000-8000-000000000002', '0', 'continued-a'); }
+step "a_recommit" { COMMIT; }
+
+session "b"
+step "b_begin" { BEGIN; SET LOCAL ROLE service_role; SET LOCAL "request.jwt.claim.role" = 'service_role'; SET LOCAL "request.jwt.claim.sub" = '71000000-0000-4000-8000-000000000001'; }
+step "b_same" { select agent_board.link_session_alias('72000000-0000-4000-8000-000000000002', '0', 'continued-a'); }
+step "b_other" { select agent_board.link_session_alias('72000000-0000-4000-8000-000000000002', '0', 'continued-b'); }
+step "b_narrow" {
+  select role from agent_board.grant_board_role('74000000-0000-4000-8000-000000000002', '72000000-0000-4000-8000-000000000001', 'observer', '72000000-0000-4000-8000-000000000001');
+  select allowed_scopes from agent_board.upsert_delegation_policy('72000000-0000-4000-8000-000000000001', 'root_minted', '["read"]', 200, interval '8 hours', true);
+}
+step "b_commit" { COMMIT; }
+
+session "check"
+step "check" {
+  select count(*) as aliases, count(distinct identity_agent_id) as identities
+  from agent_board.session_id_aliases where root_agent_id = '72000000-0000-4000-8000-000000000001';
+  select credential_epoch, holder_secret_hash = extensions.digest('isolation-holder', 'sha256') as unchanged_holder
+  from agent_board.session_identities where agent_id = '72000000-0000-4000-8000-000000000002';
+  select granted_scopes, role from agent_board.delegation_grants g join agent_board.board_memberships bm on bm.agent_id = g.child_agent_id
+  where g.child_agent_id = '72000000-0000-4000-8000-000000000002' and bm.board_id = '74000000-0000-4000-8000-000000000002';
+}
+
+permutation "a_begin" "a_link" "b_begin" "b_same" "a_commit" "b_commit" "check"
+permutation "b_begin" "b_same" "a_begin" "a_link" "b_commit" "a_commit" "check"
+permutation "a_begin" "a_link" "b_begin" "b_other" "a_commit" "b_commit" "check"
+permutation "a_begin" "a_link" "b_begin" "b_narrow" "a_commit" "b_commit" "a_rebegin" "a_relink" "a_recommit" "check"
+permutation "b_begin" "b_narrow" "a_begin" "a_link" "b_commit" "a_commit" "check"