@consiliency/agent-board-schema 1.53.0 → 1.55.0

package/tests/isolation/expected/enroll_token_fleet_abort.out

@@ -0,0 +1,81 @@
+Parsed test spec with 4 sessions
+
+starting permutation: hold_begin hold_handle a_begin a_onboard b_begin b_onboard hold_rollback a_rollback b_commit check
+count
+-----
+    1
+(1 row)
+
+step hold_begin: BEGIN;
+step hold_handle: 
+  insert into agent_board.agents(id, agent_type, kind, handle, display_name, status)
+  values ('52100000-0000-0000-0000-0000000000ff', 'agent', 'agent', 'tok521-wrong-handle', 'Tok521 Hold', 'active');
+
+step a_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step a_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-wrong-handle',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+ <waiting ...>
+step b_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step b_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k2'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k2'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+ <waiting ...>
+step hold_rollback: ROLLBACK;
+step a_onboard: <... completed>
+ERROR:  server-assigned handle does not match the authorized handle
+step b_onboard: <... completed>
+agent_handle|identity_disposition
+------------+--------------------
+tok521-agent|created             
+(1 row)
+
+step a_rollback: ROLLBACK;
+step b_commit: COMMIT;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      0|      1|         1|K2            |        1|          1|       1
+(1 row)
+

package/tests/isolation/expected/enroll_token_pk_backstop.out

@@ -0,0 +1,36 @@
+Parsed test spec with 3 sessions
+
+starting permutation: a_begin a_bind b_begin b_bind a_commit b_rollback check
+?column?
+--------
+       1
+(1 row)
+
+step a_begin: BEGIN;
+step a_bind: select agent_board._enroll_token_bind(repeat('a', 64), now() + interval '1 hour', 'sha256:tok521-fp-a');
+_enroll_token_bind
+------------------
+                  
+(1 row)
+
+step b_begin: BEGIN;
+step b_bind: 
+  do $$ begin
+  perform agent_board._enroll_token_bind(repeat('a', 64), now() + interval '1 hour', 'sha256:tok521-fp-b');
+  exception when others then
+    raise exception 'SQLSTATE %: %', sqlstate, sqlerrm using errcode = sqlstate;
+  end $$;
+ <waiting ...>
+step a_commit: COMMIT;
+step b_bind: <... completed>
+ERROR:  SQLSTATE 23505: duplicate key value violates unique constraint "enroll_token_uses_pkey"
+step b_rollback: ROLLBACK;
+step check: 
+  select token_sha256 = repeat('a', 64) as is_t, agent_public_key_fingerprint
+    from agent_board.enroll_token_uses order by 1, 2;
+
+is_t|agent_public_key_fingerprint
+----+----------------------------
+t   |sha256:tok521-fp-a          
+(1 row)
+

package/tests/isolation/expected/enroll_token_placement.out

@@ -0,0 +1,86 @@
+Parsed test spec with 4 sessions
+
+starting permutation: guard_begin guard_lock fleet_begin fleet_onboard ident_begin ident_enroll guard_commit fleet_commit ident_rollback check
+count
+-----
+    1
+(1 row)
+
+step guard_begin: BEGIN;
+step guard_lock: 
+  select 1 as locked from agent_board.board_memberships bm
+   where bm.board_id = (select id from agent_board.boards where slug='tok521-board')
+     and bm.agent_id = '52100000-0000-0000-0000-000000000001'
+   for update;
+
+locked
+------
+     1
+(1 row)
+
+step fleet_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step fleet_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k2'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k2'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+ <waiting ...>
+step ident_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step ident_enroll: 
+  do $$ begin
+  perform agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+  exception when others then
+    raise exception 'SQLSTATE %: %', sqlstate, sqlerrm using errcode = sqlstate;
+  end $$;
+ <waiting ...>
+step guard_commit: COMMIT;
+step fleet_onboard: <... completed>
+agent_handle|identity_disposition
+------------+--------------------
+tok521-agent|created             
+(1 row)
+
+step fleet_commit: COMMIT;
+step ident_enroll: <... completed>
+ERROR:  SQLSTATE MBT01: enroll token already bound to a different key
+step ident_rollback: ROLLBACK;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      0|      1|         1|K2            |        1|          1|       1
+(1 row)
+

package/tests/isolation/expected/enroll_token_rollback_unstrands.out

@@ -0,0 +1,59 @@
+Parsed test spec with 3 sessions
+
+starting permutation: a_begin a_enroll b_begin b_enroll a_rollback b_commit check
+step a_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step a_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step b_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step b_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k2'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k2'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+ <waiting ...>
+step a_rollback: ROLLBACK;
+step b_enroll: <... completed>
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step b_commit: COMMIT;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to
+------+-------+-------+----------+--------------
+     1|      0|      1|         1|K2            
+(1 row)
+

package/tests/isolation/expected/enroll_token_route_race_fleet_first.out

@@ -0,0 +1,72 @@
+Parsed test spec with 3 sessions
+
+starting permutation: fleet_begin fleet_onboard ident_begin ident_enroll fleet_commit ident_rollback check
+count
+-----
+    1
+(1 row)
+
+step fleet_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step fleet_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+
+agent_handle|identity_disposition
+------------+--------------------
+tok521-agent|created             
+(1 row)
+
+step ident_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step ident_enroll: 
+  do $$ begin
+  perform agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k2'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k2'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+  exception when others then
+    raise exception 'SQLSTATE %: %', sqlstate, sqlerrm using errcode = sqlstate;
+  end $$;
+ <waiting ...>
+step fleet_commit: COMMIT;
+step ident_enroll: <... completed>
+ERROR:  SQLSTATE MBT01: enroll token already bound to a different key
+step ident_rollback: ROLLBACK;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      1|      0|         1|K1            |        1|          1|       1
+(1 row)
+

package/tests/isolation/expected/enroll_token_route_race_identity_first.out

@@ -0,0 +1,72 @@
+Parsed test spec with 3 sessions
+
+starting permutation: ident_begin ident_enroll fleet_begin fleet_onboard ident_commit fleet_rollback check
+count
+-----
+    1
+(1 row)
+
+step ident_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step ident_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step fleet_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step fleet_onboard: 
+  do $$ begin
+  perform agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k2'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k2'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+  exception when others then
+    raise exception 'SQLSTATE %: %', sqlstate, sqlerrm using errcode = sqlstate;
+  end $$;
+ <waiting ...>
+step ident_commit: COMMIT;
+step fleet_onboard: <... completed>
+ERROR:  SQLSTATE MBT01: enroll token already bound to a different key
+step fleet_rollback: ROLLBACK;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      1|      0|         1|K1            |        0|          0|       0
+(1 row)
+

package/tests/isolation/expected/enroll_token_same_key_fleet_then_identity.out

@@ -0,0 +1,73 @@
+Parsed test spec with 3 sessions
+
+starting permutation: fleet_begin fleet_onboard ident_begin ident_enroll fleet_commit ident_commit check
+count
+-----
+    1
+(1 row)
+
+step fleet_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step fleet_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+
+agent_handle|identity_disposition
+------------+--------------------
+tok521-agent|created             
+(1 row)
+
+step ident_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step ident_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+ <waiting ...>
+step fleet_commit: COMMIT;
+step ident_enroll: <... completed>
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step ident_commit: COMMIT;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      1|      0|         1|K1            |        1|          1|       1
+(1 row)
+

package/tests/isolation/expected/enroll_token_same_key_identity_then_fleet.out

@@ -0,0 +1,73 @@
+Parsed test spec with 3 sessions
+
+starting permutation: ident_begin ident_enroll fleet_begin fleet_onboard ident_commit fleet_commit check
+count
+-----
+    1
+(1 row)
+
+step ident_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step ident_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step fleet_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step fleet_onboard: 
+  select agent_handle, identity_disposition
+    from agent_board.onboard_federated_fleet_agent(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[],
+      (select code from agent_board.board_invite_tokens where created_by_agent_id='52100000-0000-0000-0000-000000000001'),
+      (select id from agent_board.boards where slug='tok521-board'),
+      '52100000-0000-0000-0000-000000000003', 'codex', 'phase-loop',
+      'message-board', 'sha256:tok521-repo', 'worker', 'phase_worker',
+      'tok521-agent'
+    );
+ <waiting ...>
+step ident_commit: COMMIT;
+step fleet_onboard: <... completed>
+agent_handle|identity_disposition
+------------+--------------------
+tok521-agent|reused              
+(1 row)
+
+step fleet_commit: COMMIT;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to,
+    (select count(*) from agent_board.fleet_harness_registrations where machine_id='52100000-0000-0000-0000-000000000003') as harnesses,
+    (select count(*) from agent_board.fleet_repo_scopes r join agent_board.fleet_harness_registrations h on h.id = r.harness_registration_id
+      where h.machine_id='52100000-0000-0000-0000-000000000003') as repo_scopes,
+    (select count(*) from agent_board.fleet_machine_agents where machine_id='52100000-0000-0000-0000-000000000003') as bindings;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to|harnesses|repo_scopes|bindings
+------+-------+-------+----------+--------------+---------+-----------+--------
+     1|      1|      0|         1|K1            |        1|          1|       1
+(1 row)
+

package/tests/isolation/expected/enroll_token_same_key_resume.out

@@ -0,0 +1,59 @@
+Parsed test spec with 3 sessions
+
+starting permutation: a_begin a_enroll b_begin b_enroll a_commit b_commit check
+step a_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step a_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step b_begin: BEGIN; SET LOCAL "request.jwt.claim.role" = 'service_role';
+step b_enroll: 
+  select agent_handle
+    from agent_board.enroll_federated_identity(
+      'https://tok521-iso.test', 'message-board', 'tok521-human',
+      jsonb_build_object('iss','https://tok521-iso.test','aud','message-board','sub','tok521-human'),
+      'tok521-agent',
+      public.test_pubkey('tok521-k1'), 'raw_ed25519_base64url',
+      public.test_key_fingerprint('tok521-k1'),
+      true, repeat('a', 64), now() + interval '1 hour', null, 'agent',
+      ARRAY['board:send'], ARRAY[]::text[], null
+    );
+ <waiting ...>
+step a_commit: COMMIT;
+step b_enroll: <... completed>
+agent_handle
+------------
+tok521-agent
+(1 row)
+
+step b_commit: COMMIT;
+step check: 
+  select
+    (select count(*) from agent_board.agents where handle like 'tok521-agent%') as agents,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k1')) as k1_keys,
+    (select count(*) from agent_board.agent_signing_keys where fingerprint = public.test_key_fingerprint('tok521-k2')) as k2_keys,
+    (select count(*) from agent_board.enroll_token_uses) as token_rows,
+    (select case u.agent_public_key_fingerprint
+              when public.test_key_fingerprint('tok521-k1') then 'K1'
+              when public.test_key_fingerprint('tok521-k2') then 'K2'
+              else 'other' end
+       from agent_board.enroll_token_uses u where u.token_sha256 = repeat('a', 64)) as token_bound_to;
+
+agents|k1_keys|k2_keys|token_rows|token_bound_to
+------+-------+-------+----------+--------------
+     1|      1|      0|         1|K1            
+(1 row)
+