@consiliency/agent-board-schema 1.2.0

package/tests/agent_board_v1_invariants.test.sql

@@ -0,0 +1,298 @@
+create extension if not exists pgtap with schema extensions;
+set search_path = extensions, public, agent_board;
+
+begin;
+
+select plan(17);
+
+insert into agent_board.agents(id, agent_type, handle, display_name)
+values
+  ('10000000-0000-0000-0000-000000000101', 'agent', 'v1_creator', 'V1 Creator'),
+  ('10000000-0000-0000-0000-000000000102', 'agent', 'v1_delegate', 'V1 Delegate')
+on conflict (id) do nothing;
+
+insert into agent_board.threads(id, thread_type, created_by_agent_id, subject)
+values
+  ('10000000-0000-0000-0000-000000000201', 'coordination', '10000000-0000-0000-0000-000000000101', 'V1 invariant thread'),
+  ('10000000-0000-0000-0000-000000000202', 'coordination', '10000000-0000-0000-0000-000000000101', 'V1 other thread');
+
+create temporary table v1_root_task on commit drop as
+select *
+  from agent_board.create_task(
+    '10000000-0000-0000-0000-000000000201',
+    '10000000-0000-0000-0000-000000000101',
+    'Root task',
+    'Primary root task',
+    null,
+    null,
+    'high',
+    'distributed',
+    '{}'::jsonb
+  );
+
+select is(
+  (select root_task_id::text from v1_root_task),
+  (select task_id::text from v1_root_task),
+  'create_task self-roots root tasks'
+);
+
+create temporary table v1_child_task on commit drop as
+select *
+  from agent_board.create_task(
+    '10000000-0000-0000-0000-000000000201',
+    '10000000-0000-0000-0000-000000000101',
+    'Child task',
+    'Child under root',
+    '10000000-0000-0000-0000-000000000102',
+    (select task_id from v1_root_task),
+    'medium',
+    'distributed',
+    '{}'::jsonb
+  );
+
+select is(
+  (select parent_task_id::text from v1_child_task),
+  (select task_id::text from v1_root_task),
+  'child tasks preserve parent_task_id'
+);
+
+select is(
+  (select root_task_id::text from v1_child_task),
+  (select task_id::text from v1_root_task),
+  'child tasks inherit the canonical root_task_id'
+);
+
+create temporary table v1_message_one on commit drop as
+select *
+  from agent_board.post_message(
+    '10000000-0000-0000-0000-000000000201',
+    '10000000-0000-0000-0000-000000000101',
+    'First invariant message',
+    'comment',
+    null,
+    '{}'::jsonb
+  );
+
+create temporary table v1_message_two on commit drop as
+select *
+  from agent_board.post_message(
+    '10000000-0000-0000-0000-000000000201',
+    '10000000-0000-0000-0000-000000000101',
+    'Second invariant message',
+    'comment',
+    null,
+    '{}'::jsonb
+  );
+
+select is(
+  (select message_sequence from v1_message_one),
+  1::bigint,
+  'post_message starts thread-local sequences at one'
+);
+
+select is(
+  (select message_sequence from v1_message_two),
+  2::bigint,
+  'post_message increments thread-local sequences monotonically'
+);
+
+select is(
+  (select last_message_sequence from agent_board.threads where id = '10000000-0000-0000-0000-000000000201'),
+  2::bigint,
+  'threads.last_message_sequence tracks the latest inserted message'
+);
+
+create temporary table v1_event_two on commit drop as
+select *
+  from agent_board.append_task_event(
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000101',
+    'commented',
+    jsonb_build_object('note', 'second event')
+  );
+
+create temporary table v1_event_three on commit drop as
+select *
+  from agent_board.append_task_event(
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000101',
+    'status_changed',
+    jsonb_build_object('status', 'in_progress'),
+    'in_progress'
+  );
+
+select is(
+  (select event_sequence from v1_event_two),
+  2::bigint,
+  'append_task_event advances task-local event sequences to two'
+);
+
+select is(
+  (select event_sequence from v1_event_three),
+  3::bigint,
+  'append_task_event advances task-local event sequences monotonically'
+);
+
+create temporary table v1_expired_claim on commit drop as
+select *
+  from agent_board.acquire_claim(
+    '10000000-0000-0000-0000-000000000101',
+    'repo_file',
+    'README.md',
+    now() - interval '1 minute',
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000201',
+    '{}'::jsonb
+  );
+
+create temporary table v1_reused_claim on commit drop as
+select *
+  from agent_board.acquire_claim(
+    '10000000-0000-0000-0000-000000000102',
+    'repo_file',
+    'README.md',
+    now() + interval '10 minutes',
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000201',
+    '{}'::jsonb
+  );
+
+select is(
+  (select status from agent_board.claims where id = (select claim_id from v1_expired_claim)),
+  'expired',
+  'acquire_claim expires stale active claims before reusing the resource'
+);
+
+select is(
+  (select agent_id::text from v1_reused_claim),
+  '10000000-0000-0000-0000-000000000102',
+  'acquire_claim reassigns an expired resource to the next claimant'
+);
+
+create temporary table v1_active_claim on commit drop as
+select *
+  from agent_board.acquire_claim(
+    '10000000-0000-0000-0000-000000000101',
+    'file',
+    'src/index.ts',
+    now() + interval '10 minutes',
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000201',
+    '{}'::jsonb
+  );
+
+select throws_ok(
+  $$select *
+      from agent_board.acquire_claim(
+        '10000000-0000-0000-0000-000000000102',
+        'file',
+        'src/index.ts',
+        now() + interval '10 minutes',
+        null,
+        '10000000-0000-0000-0000-000000000201'::uuid,
+        '{}'::jsonb
+      )$$,
+  '23505',
+  'conflicting active claim',
+  'conflicting active claims are rejected while the lease is still live'
+);
+
+create temporary table v1_delegation on commit drop as
+select *
+  from agent_board.delegate_task(
+    (select task_id from v1_root_task),
+    '10000000-0000-0000-0000-000000000101',
+    'Delegated child task',
+    'Delegated details',
+    '10000000-0000-0000-0000-000000000102',
+    'high',
+    'handoff note',
+    '{}'::jsonb
+  );
+
+select is(
+  (select parent_task_id::text from v1_delegation),
+  (select task_id::text from v1_root_task),
+  'delegate_task preserves the parent task id on the delegation edge'
+);
+
+select is(
+  (select root_task_id::text from v1_delegation),
+  (select task_id::text from v1_root_task),
+  'delegate_task preserves the canonical root task id on delegated children'
+);
+
+select is(
+  (select child_event_sequence from v1_delegation),
+  1::bigint,
+  'delegate_task creates delegated child tasks with a created event at sequence one'
+);
+
+select is(
+  (select parent_event_sequence from v1_delegation),
+  (
+    select max(event_sequence)
+      from agent_board.task_events
+     where task_id = (select task_id from v1_root_task)
+  ),
+  'delegate_task appends the latest parent task event in sequence order'
+);
+
+insert into agent_board.tasks(
+  id,
+  thread_id,
+  created_by_agent_id,
+  root_task_id,
+  title
+)
+values (
+  '10000000-0000-0000-0000-000000000301'::uuid,
+  '10000000-0000-0000-0000-000000000201'::uuid,
+  '10000000-0000-0000-0000-000000000101'::uuid,
+  '10000000-0000-0000-0000-000000000301'::uuid,
+  'Known root for cross-thread rejection'
+);
+
+select throws_ok(
+  $$select *
+      from agent_board.create_task(
+        '10000000-0000-0000-0000-000000000202',
+        '10000000-0000-0000-0000-000000000101',
+        'Cross-thread child',
+        'Should fail',
+        null,
+        '10000000-0000-0000-0000-000000000301'::uuid,
+        'medium',
+        'distributed',
+        '{}'::jsonb
+      )$$,
+  '22023',
+  'parent task not found in thread',
+  'create_task rejects parent_task_id values from another thread'
+);
+
+select throws_ok(
+  $$insert into agent_board.tasks(
+      id,
+      thread_id,
+      created_by_agent_id,
+      parent_task_id,
+      root_task_id,
+      title
+    )
+    values (
+      '10000000-0000-0000-0000-000000000401'::uuid,
+      '10000000-0000-0000-0000-000000000201'::uuid,
+      '10000000-0000-0000-0000-000000000101'::uuid,
+      '10000000-0000-0000-0000-000000000401'::uuid,
+      '10000000-0000-0000-0000-000000000401'::uuid,
+      'Self-linked task'
+    )$$,
+  '23514',
+  NULL,
+  'tasks_not_self_parent rejects self-linked task shapes'
+);
+
+select * from finish();
+
+rollback;