@consiliency/agent-board-schema 1.60.0 → 1.64.0

package/tests/isolation/expected/last_owner_departure.out

@@ -0,0 +1,562 @@
+Parsed test spec with 3 sessions
+
+starting permutation: a_begin a_leave b_begin b_leave a_commit b_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001');
+
+membership_state
+----------------
+left            
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002');
+ <waiting ...>
+step a_commit: commit;
+step b_leave: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step b_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: b_begin b_leave a_begin a_leave b_commit a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002');
+
+membership_state
+----------------
+left            
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001');
+ <waiting ...>
+step b_commit: commit;
+step a_leave: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: a_begin a_demote b_begin b_demote a_commit b_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001','member');
+
+role  
+------
+member
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002','member');
+ <waiting ...>
+step a_commit: commit;
+step b_demote: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step b_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: b_begin b_demote a_begin a_demote b_commit a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002','member');
+
+role  
+------
+member
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001','member');
+ <waiting ...>
+step b_commit: commit;
+step a_demote: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: a_begin a_leave b_begin b_demote a_commit b_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001');
+
+membership_state
+----------------
+left            
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002','member');
+ <waiting ...>
+step a_commit: commit;
+step b_demote: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step b_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: b_begin b_demote a_begin a_leave b_commit a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_demote: 
+  select role from agent_board.grant_board_role(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002','member');
+
+role  
+------
+member
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step a_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000001');
+ <waiting ...>
+step b_commit: commit;
+step a_leave: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: a_begin a_raw b_begin b_raw a_commit b_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+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';
+
+_lock_board_authority_ceiling
+-----------------------------
+                             
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+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';
+
+ERROR:  last_active_board_owner: acquire board authority lock before owner transition
+step a_commit: commit;
+step b_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: b_begin b_lock b_raw a_begin a_raw b_commit a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_lock: 
+  reset role;
+  select agent_board._lock_board_authority_ceiling('67520000-0000-4000-8000-000000000099');
+
+_lock_board_authority_ceiling
+-----------------------------
+                             
+(1 row)
+
+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 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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+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';
+ <waiting ...>
+step b_commit: commit;
+step a_raw: <... completed>
+_lock_board_authority_ceiling
+-----------------------------
+                             
+(1 row)
+
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: a_repeatable a_leave_code a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+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;
+
+error_code
+----------
+     25001
+(1 row)
+
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            2
+(1 row)
+
+
+starting permutation: a_session_begin a_session_leave a_session_unlock b_begin b_leave a_commit b_commit owners
+step a_session_begin: 
+  begin;
+  select pg_advisory_lock(hashtextextended(
+    'agent_board.board_authority_ceilings:67520000-0000-4000-8000-000000000099',0));
+
+pg_advisory_lock
+----------------
+                
+(1 row)
+
+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));
+
+pg_advisory_unlock
+------------------
+t                 
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002');
+ <waiting ...>
+step a_commit: commit;
+step b_leave: <... completed>
+ERROR:  last_active_board_owner: cannot remove the last active owner
+step b_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+
+
+starting permutation: a_repeatable a_snapshot b_begin b_leave a_leave_code b_commit a_commit owners
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+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');
+
+snapshot_owners
+---------------
+              1
+(1 row)
+
+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;
+
+authenticated
+-------------
+t            
+(1 row)
+
+step b_leave: 
+  select membership_state from agent_board.leave_board(
+    '67520000-0000-4000-8000-000000000099','67510000-0000-4000-8000-000000000002');
+
+membership_state
+----------------
+left            
+(1 row)
+
+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;
+ <waiting ...>
+step b_commit: commit;
+step a_leave_code: <... completed>
+error_code
+----------
+     25001
+(1 row)
+
+step a_commit: commit;
+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');
+
+active_owners
+-------------
+            1
+(1 row)
+