hzl-core 0.1.0

package/dist/__tests__/projections/rebuild-equivalence.test.js

@@ -0,0 +1,276 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import fs from 'fs';
+import path from 'path';
+import os from 'os';
+import { createConnection } from '../../db/connection.js';
+import { EventStore } from '../../events/store.js';
+import { ProjectionEngine } from '../../projections/engine.js';
+import { TasksCurrentProjector } from '../../projections/tasks-current.js';
+import { DependenciesProjector } from '../../projections/dependencies.js';
+import { TagsProjector } from '../../projections/tags.js';
+import { SearchProjector } from '../../projections/search.js';
+import { CommentsCheckpointsProjector } from '../../projections/comments-checkpoints.js';
+import { rebuildAllProjections } from '../../projections/rebuild.js';
+import { TaskService } from '../../services/task-service.js';
+import { TaskStatus } from '../../events/types.js';
+describe('Projection Rebuild Equivalence Tests', () => {
+    let tempDir;
+    let dbPath;
+    let db;
+    let eventStore;
+    let projectionEngine;
+    let taskService;
+    function setupProjectors(engine) {
+        engine.register(new TasksCurrentProjector());
+        engine.register(new DependenciesProjector());
+        engine.register(new TagsProjector());
+        engine.register(new SearchProjector());
+        engine.register(new CommentsCheckpointsProjector());
+    }
+    function captureProjectionState(database) {
+        return {
+            tasks: database.prepare('SELECT * FROM tasks_current ORDER BY task_id').all(),
+            dependencies: database
+                .prepare('SELECT * FROM task_dependencies ORDER BY task_id, depends_on_id')
+                .all(),
+            tags: database.prepare('SELECT * FROM task_tags ORDER BY task_id, tag').all(),
+            comments: database.prepare('SELECT * FROM task_comments ORDER BY event_rowid').all(),
+            checkpoints: database
+                .prepare('SELECT * FROM task_checkpoints ORDER BY event_rowid')
+                .all(),
+            search: database
+                .prepare('SELECT task_id, title, description FROM task_search ORDER BY task_id')
+                .all(),
+        };
+    }
+    beforeEach(() => {
+        tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'hzl-rebuild-'));
+        dbPath = path.join(tempDir, 'test.db');
+        db = createConnection(dbPath);
+        eventStore = new EventStore(db);
+        projectionEngine = new ProjectionEngine(db);
+        setupProjectors(projectionEngine);
+        taskService = new TaskService(db, eventStore, projectionEngine);
+    });
+    afterEach(() => {
+        db.close();
+        fs.rmSync(tempDir, { recursive: true, force: true });
+    });
+    describe('incremental vs full rebuild equivalence', () => {
+        it('full rebuild produces identical state to incremental application', () => {
+            const task1 = taskService.createTask({
+                title: 'Task 1',
+                project: 'inbox',
+                tags: ['urgent', 'backend'],
+                priority: 2,
+            });
+            const task2 = taskService.createTask({
+                title: 'Task 2',
+                project: 'inbox',
+                depends_on: [task1.task_id],
+            });
+            taskService.setStatus(task1.task_id, TaskStatus.Ready);
+            taskService.claimTask(task1.task_id, {
+                author: 'agent-1',
+                lease_until: '2026-02-01T00:00:00Z',
+            });
+            taskService.addComment(task1.task_id, 'Working on it');
+            taskService.addCheckpoint(task1.task_id, 'step1', { progress: 50 });
+            taskService.completeTask(task1.task_id);
+            taskService.setStatus(task2.task_id, TaskStatus.Ready);
+            taskService.claimTask(task2.task_id, { author: 'agent-2' });
+            const incrementalState = captureProjectionState(db);
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_dependencies');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM task_checkpoints');
+            db.exec('DELETE FROM task_search');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const rebuiltState = captureProjectionState(db);
+            expect(rebuiltState.tasks).toEqual(incrementalState.tasks);
+            expect(rebuiltState.dependencies).toEqual(incrementalState.dependencies);
+            expect(rebuiltState.tags).toEqual(incrementalState.tags);
+            expect(rebuiltState.comments).toEqual(incrementalState.comments);
+            expect(rebuiltState.checkpoints).toEqual(incrementalState.checkpoints);
+            expect(rebuiltState.search).toEqual(incrementalState.search);
+        });
+        it('handles complex event sequences correctly', () => {
+            const tasks = [];
+            for (let i = 0; i < 10; i++) {
+                const task = taskService.createTask({
+                    title: `Task ${i}`,
+                    project: i % 2 === 0 ? 'project-a' : 'project-b',
+                    tags: [`tag${i % 3}`],
+                    priority: i % 4,
+                });
+                tasks.push(task.task_id);
+            }
+            for (let i = 1; i < tasks.length; i++) {
+                db.prepare('INSERT INTO task_dependencies (task_id, depends_on_id) VALUES (?, ?)').run(tasks[i], tasks[i - 1]);
+            }
+            taskService.setStatus(tasks[0], TaskStatus.Ready);
+            taskService.claimTask(tasks[0], { author: 'agent-1' });
+            taskService.addComment(tasks[0], 'Comment 1');
+            taskService.addComment(tasks[0], 'Comment 2');
+            taskService.addCheckpoint(tasks[0], 'checkpoint1');
+            taskService.completeTask(tasks[0]);
+            taskService.setStatus(tasks[1], TaskStatus.Ready);
+            taskService.claimTask(tasks[1], { author: 'agent-2' });
+            taskService.releaseTask(tasks[1], { reason: 'Blocked' });
+            taskService.claimTask(tasks[1], { author: 'agent-3' });
+            taskService.archiveTask(tasks[5], { reason: 'No longer needed' });
+            const originalState = captureProjectionState(db);
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_dependencies');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM task_checkpoints');
+            db.exec('DELETE FROM task_search');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const rebuiltState = captureProjectionState(db);
+            expect(rebuiltState.tasks).toEqual(originalState.tasks);
+            expect(rebuiltState.comments).toEqual(originalState.comments);
+            expect(rebuiltState.checkpoints).toEqual(originalState.checkpoints);
+        });
+    });
+    describe('partial corruption recovery', () => {
+        it('recovers from corrupted tasks_current projection', () => {
+            const task = taskService.createTask({ title: 'Test', project: 'inbox' });
+            taskService.setStatus(task.task_id, TaskStatus.Ready);
+            db.exec('DELETE FROM tasks_current');
+            const corruptedCount = db
+                .prepare('SELECT COUNT(*) as count FROM tasks_current')
+                .get();
+            expect(corruptedCount.count).toBe(0);
+            rebuildAllProjections(db, projectionEngine);
+            const recoveredTask = db
+                .prepare('SELECT * FROM tasks_current WHERE task_id = ?')
+                .get(task.task_id);
+            expect(recoveredTask).toBeDefined();
+            expect(recoveredTask.status).toBe('ready');
+        });
+        it('recovers from corrupted dependencies projection', () => {
+            const task1 = taskService.createTask({ title: 'Task 1', project: 'inbox' });
+            const task2 = taskService.createTask({
+                title: 'Task 2',
+                project: 'inbox',
+                depends_on: [task1.task_id],
+            });
+            db.exec('DELETE FROM task_dependencies');
+            rebuildAllProjections(db, projectionEngine);
+            const dep = db
+                .prepare('SELECT * FROM task_dependencies WHERE task_id = ?')
+                .get(task2.task_id);
+            expect(dep).toBeDefined();
+        });
+        it('recovers from corrupted tags projection', () => {
+            const task = taskService.createTask({
+                title: 'Tagged',
+                project: 'inbox',
+                tags: ['tag1', 'tag2'],
+            });
+            db.exec('DELETE FROM task_tags');
+            rebuildAllProjections(db, projectionEngine);
+            const tags = db
+                .prepare('SELECT tag FROM task_tags WHERE task_id = ? ORDER BY tag')
+                .all(task.task_id);
+            expect(tags.map((t) => t.tag)).toEqual(['tag1', 'tag2']);
+        });
+        it('recovers from corrupted search index', () => {
+            const task = taskService.createTask({
+                title: 'Searchable task',
+                project: 'inbox',
+                description: 'With description',
+            });
+            db.exec('DELETE FROM task_search');
+            rebuildAllProjections(db, projectionEngine);
+            const results = db
+                .prepare("SELECT task_id FROM task_search WHERE task_search MATCH 'Searchable'")
+                .all();
+            expect(results.map((r) => r.task_id)).toContain(task.task_id);
+        });
+    });
+    describe('rebuild idempotency', () => {
+        it('multiple rebuilds produce identical results', () => {
+            const task = taskService.createTask({
+                title: 'Task',
+                project: 'inbox',
+                tags: ['tag'],
+            });
+            taskService.setStatus(task.task_id, TaskStatus.Ready);
+            taskService.addComment(task.task_id, 'Comment');
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const state1 = captureProjectionState(db);
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const state2 = captureProjectionState(db);
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const state3 = captureProjectionState(db);
+            expect(state1).toEqual(state2);
+            expect(state2).toEqual(state3);
+        });
+    });
+    describe('projection_state tracking', () => {
+        it('updates projection_state after rebuild', () => {
+            taskService.createTask({ title: 'Task', project: 'inbox' });
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM projection_state');
+            rebuildAllProjections(db, projectionEngine);
+            const states = db
+                .prepare('SELECT * FROM projection_state ORDER BY name')
+                .all();
+            expect(states.length).toBeGreaterThan(0);
+            const lastEventIds = states.map((s) => s.last_event_id);
+            const uniqueIds = new Set(lastEventIds);
+            expect(uniqueIds.size).toBe(1);
+        });
+        it('incremental rebuild from last known position', () => {
+            const task1 = taskService.createTask({ title: 'Task 1', project: 'inbox' });
+            const position1 = db
+                .prepare('SELECT MAX(id) as max_id FROM events')
+                .get();
+            taskService.createTask({ title: 'Task 2', project: 'inbox' });
+            taskService.setStatus(task1.task_id, TaskStatus.Ready);
+            const baselineEvents = projectionEngine
+                .getEventsSince(0, 1000)
+                .filter((event) => event.rowid <= position1.max_id);
+            db.exec('DELETE FROM projection_state');
+            db.exec('DELETE FROM tasks_current');
+            db.exec('DELETE FROM task_dependencies');
+            db.exec('DELETE FROM task_tags');
+            db.exec('DELETE FROM task_comments');
+            db.exec('DELETE FROM task_checkpoints');
+            db.exec('DELETE FROM task_search');
+            for (const event of baselineEvents) {
+                projectionEngine.applyEvent(event);
+            }
+            for (const projector of projectionEngine.getProjectors()) {
+                db.prepare('INSERT INTO projection_state (name, last_event_id, updated_at) VALUES (?, ?, ?)').run(projector.name, position1.max_id, new Date().toISOString());
+            }
+            const newEvents = projectionEngine.getEventsSince(position1.max_id, 1000);
+            expect(newEvents.length).toBe(2);
+            for (const event of newEvents) {
+                projectionEngine.applyEvent(event);
+            }
+            const task1State = db
+                .prepare('SELECT status FROM tasks_current WHERE task_id = ?')
+                .get(task1.task_id);
+            expect(task1State.status).toBe('ready');
+        });
+    });
+});
+//# sourceMappingURL=rebuild-equivalence.test.js.map

package/dist/__tests__/projections/rebuild-equivalence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rebuild-equivalence.test.js","sourceRoot":"","sources":["../../../src/__tests__/projections/rebuild-equivalence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IACnB,IAAI,EAAqB,CAAC;IAC1B,IAAI,UAAsB,CAAC;IAC3B,IAAI,gBAAkC,CAAC;IACvC,IAAI,WAAwB,CAAC;IAE7B,SAAS,eAAe,CAAC,MAAwB;QAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,QAAQ,CAAC,IAAI,eAAe,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,IAAI,4BAA4B,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,SAAS,sBAAsB,CAAC,QAA2B;QAQzD,OAAO;YACL,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC,GAAG,EAAE;YAC7E,YAAY,EAAE,QAAQ;iBACnB,OAAO,CAAC,iEAAiE,CAAC;iBAC1E,GAAG,EAAE;YACR,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,GAAG,EAAE;YAC7E,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,kDAAkD,CAAC,CAAC,GAAG,EAAE;YACpF,WAAW,EAAE,QAAQ;iBAClB,OAAO,CAAC,qDAAqD,CAAC;iBAC9D,GAAG,EAAE;YACR,MAAM,EAAE,QAAQ;iBACb,OAAO,CAAC,sEAAsE,CAAC;iBAC/E,GAAG,EAAE;SACT,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,GAAG,EAAE;QACd,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QACjE,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACvC,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC9B,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAChC,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAC5C,eAAe,CAAC,gBAAgB,CAAC,CAAC;QAClC,WAAW,GAAG,IAAI,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;gBACnC,KAAK,EAAE,QAAQ;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC3B,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;gBACnC,KAAK,EAAE,QAAQ;gBACf,OAAO,EAAE,OAAO;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;aAC5B,CAAC,CAAC;YAEH,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACvD,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE;gBACnC,MAAM,EAAE,SAAS;gBACjB,WAAW,EAAE,sBAAsB;aACpC,CAAC,CAAC;YACH,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YACvD,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;YACpE,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAExC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACvD,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAE5D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAEpD,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACzC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YACnC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YAExC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,YAAY,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAEhD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC3D,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACzE,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YACjE,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACvE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC;oBAClC,KAAK,EAAE,QAAQ,CAAC,EAAE;oBAClB,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;oBAChD,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;oBACrB,QAAQ,EAAE,CAAC,GAAG,CAAC;iBAChB,CAAC,CAAC;gBACH,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC;YAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,EAAE,CAAC,OAAO,CAAC,sEAAsE,CAAC,CAAC,GAAG,CACpF,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CACb,CAAC;YACJ,CAAC;YAED,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YAClD,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACvD,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YAC9C,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YAC9C,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;YACnD,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAEnC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YAClD,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACvD,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAEvD,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;YAElE,MAAM,aAAa,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAEjD,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACzC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YACnC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,YAAY,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAEhD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC9D,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YACzE,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YAEtD,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAErC,MAAM,cAAc,GAAG,EAAE;iBACtB,OAAO,CAAC,6CAA6C,CAAC;iBACtD,GAAG,EAAuB,CAAC;YAC9B,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAErC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,aAAa,GAAG,EAAE;iBACrB,OAAO,CAAC,+CAA+C,CAAC;iBACxD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAQ,CAAC;YAC5B,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAC5E,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;gBACnC,KAAK,EAAE,QAAQ;gBACf,OAAO,EAAE,OAAO;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;aAC5B,CAAC,CAAC;YAEH,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAEzC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CAAC,mDAAmD,CAAC;iBAC5D,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC;gBAClC,KAAK,EAAE,QAAQ;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;aACvB,CAAC,CAAC;YAEH,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAEjC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,IAAI,GAAG,EAAE;iBACZ,OAAO,CAAC,0DAA0D,CAAC;iBACnE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAsB,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC;gBAClC,KAAK,EAAE,iBAAiB;gBACxB,OAAO,EAAE,OAAO;gBAChB,WAAW,EAAE,kBAAkB;aAChC,CAAC,CAAC;YAEH,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAEnC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,OAAO,GAAG,EAAE;iBACf,OAAO,CAAC,sEAAsE,CAAC;iBAC/E,GAAG,EAA2B,CAAC;YAClC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC;gBAClC,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,CAAC,KAAK,CAAC;aACd,CAAC,CAAC;YACH,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACtD,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAEhD,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAE1C,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAE1C,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;YAE1C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAE5D,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,qBAAqB,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YAE5C,MAAM,MAAM,GAAG,EAAE;iBACd,OAAO,CAAC,8CAA8C,CAAC;iBACvD,GAAG,EAA+C,CAAC;YACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAEzC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACxD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;YACxC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAE5E,MAAM,SAAS,GAAG,EAAE;iBACjB,OAAO,CAAC,sCAAsC,CAAC;iBAC/C,GAAG,EAAwB,CAAC;YAE/B,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAC9D,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YAEvD,MAAM,cAAc,GAAG,gBAAgB;iBACpC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;iBACvB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC;YAEtD,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACzC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACrC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;YACxC,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAEnC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACnC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC;YAED,KAAK,MAAM,SAAS,IAAI,gBAAgB,CAAC,aAAa,EAAE,EAAE,CAAC;gBACzD,EAAE,CAAC,OAAO,CACR,iFAAiF,CAClF,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YACpE,CAAC;YAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC1E,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEjC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;gBAC9B,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACrC,CAAC;YAED,MAAM,UAAU,GAAG,EAAE;iBAClB,OAAO,CAAC,oDAAoD,CAAC;iBAC7D,GAAG,CAAC,KAAK,CAAC,OAAO,CAAuB,CAAC;YAC5C,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/properties/invariants.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=invariants.test.d.ts.map

package/dist/__tests__/properties/invariants.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/properties/invariants.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/properties/invariants.test.js

@@ -0,0 +1,314 @@
+import { describe, it } from 'vitest';
+import * as fc from 'fast-check';
+import { createConnection } from '../../db/connection.js';
+import { EventStore } from '../../events/store.js';
+import { ProjectionEngine } from '../../projections/engine.js';
+import { TasksCurrentProjector } from '../../projections/tasks-current.js';
+import { DependenciesProjector } from '../../projections/dependencies.js';
+import { TagsProjector } from '../../projections/tags.js';
+import { rebuildAllProjections } from '../../projections/rebuild.js';
+import { TaskService } from '../../services/task-service.js';
+import { ValidationService } from '../../services/validation-service.js';
+import { TaskStatus } from '../../events/types.js';
+const taskTitleArb = fc
+    .string({ minLength: 1, maxLength: 100 })
+    .filter((s) => s.trim().length > 0);
+const projectNameArb = fc
+    .string({ minLength: 1, maxLength: 50 })
+    .filter((s) => /^[a-z0-9-]+$/.test(s));
+const tagArb = fc
+    .string({ minLength: 1, maxLength: 30 })
+    .filter((s) => /^[a-z0-9-]+$/.test(s));
+const priorityArb = fc.integer({ min: 0, max: 3 });
+describe('Property-Based Tests', () => {
+    function withIsolatedServices(fn) {
+        const db = createConnection(':memory:');
+        const eventStore = new EventStore(db);
+        const engine = new ProjectionEngine(db);
+        engine.register(new TasksCurrentProjector());
+        engine.register(new DependenciesProjector());
+        engine.register(new TagsProjector());
+        const taskService = new TaskService(db, eventStore, engine);
+        const validationService = new ValidationService(db);
+        try {
+            return fn({ db, taskService, validationService });
+        }
+        finally {
+            db.close();
+        }
+    }
+    describe('event replay determinism', () => {
+        it('replaying same events always produces same state', () => {
+            fc.assert(fc.property(fc.array(fc.record({
+                title: taskTitleArb,
+                project: projectNameArb,
+                tags: fc.array(tagArb, { maxLength: 5 }),
+                priority: priorityArb,
+            }), { minLength: 1, maxLength: 20 }), (taskSpecs) => withIsolatedServices(({ db, taskService }) => {
+                const taskIds = [];
+                for (const spec of taskSpecs) {
+                    try {
+                        const task = taskService.createTask({
+                            title: spec.title,
+                            project: spec.project || 'inbox',
+                            tags: spec.tags,
+                            priority: spec.priority,
+                        });
+                        taskIds.push(task.task_id);
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                if (taskIds.length === 0)
+                    return true;
+                const state1 = db
+                    .prepare('SELECT task_id, title, project, status, tags, priority FROM tasks_current ORDER BY task_id')
+                    .all();
+                db.exec('DELETE FROM tasks_current');
+                db.exec('DELETE FROM task_tags');
+                db.exec('DELETE FROM projection_state');
+                const engine = new ProjectionEngine(db);
+                engine.register(new TasksCurrentProjector());
+                engine.register(new TagsProjector());
+                rebuildAllProjections(db, engine);
+                const state2 = db
+                    .prepare('SELECT task_id, title, project, status, tags, priority FROM tasks_current ORDER BY task_id')
+                    .all();
+                return JSON.stringify(state1) === JSON.stringify(state2);
+            })), { numRuns: 50 });
+        });
+    });
+    describe('invariant: no duplicate task IDs', () => {
+        it('task IDs are always unique', () => {
+            fc.assert(fc.property(fc.array(taskTitleArb, { minLength: 1, maxLength: 50 }), (titles) => withIsolatedServices(({ taskService }) => {
+                const taskIds = new Set();
+                for (const title of titles) {
+                    try {
+                        const task = taskService.createTask({ title, project: 'inbox' });
+                        if (taskIds.has(task.task_id)) {
+                            return false;
+                        }
+                        taskIds.add(task.task_id);
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                return true;
+            })), { numRuns: 100 });
+        });
+    });
+    describe('invariant: valid status transitions', () => {
+        it('status transitions follow state machine rules', () => {
+            fc.assert(fc.property(fc.array(fc.oneof(fc.constant('create'), fc.constant('setReady'), fc.constant('claim'), fc.constant('complete'), fc.constant('release'), fc.constant('archive')), { minLength: 1, maxLength: 30 }), (actions) => withIsolatedServices(({ taskService }) => {
+                const taskIds = [];
+                const taskStates = new Map();
+                for (const action of actions) {
+                    try {
+                        switch (action) {
+                            case 'create': {
+                                const task = taskService.createTask({ title: 'Task', project: 'inbox' });
+                                taskIds.push(task.task_id);
+                                taskStates.set(task.task_id, TaskStatus.Backlog);
+                                break;
+                            }
+                            case 'setReady': {
+                                if (taskIds.length === 0)
+                                    break;
+                                const taskId = taskIds[Math.floor(Math.random() * taskIds.length)];
+                                const currentStatus = taskStates.get(taskId);
+                                if (currentStatus === TaskStatus.Backlog) {
+                                    taskService.setStatus(taskId, TaskStatus.Ready);
+                                    taskStates.set(taskId, TaskStatus.Ready);
+                                }
+                                break;
+                            }
+                            case 'claim': {
+                                if (taskIds.length === 0)
+                                    break;
+                                const taskId = taskIds[Math.floor(Math.random() * taskIds.length)];
+                                const currentStatus = taskStates.get(taskId);
+                                if (currentStatus === TaskStatus.Ready) {
+                                    taskService.claimTask(taskId, { author: 'agent' });
+                                    taskStates.set(taskId, TaskStatus.InProgress);
+                                }
+                                break;
+                            }
+                            case 'complete': {
+                                if (taskIds.length === 0)
+                                    break;
+                                const taskId = taskIds[Math.floor(Math.random() * taskIds.length)];
+                                const currentStatus = taskStates.get(taskId);
+                                if (currentStatus === TaskStatus.InProgress) {
+                                    taskService.completeTask(taskId);
+                                    taskStates.set(taskId, TaskStatus.Done);
+                                }
+                                break;
+                            }
+                            case 'release': {
+                                if (taskIds.length === 0)
+                                    break;
+                                const taskId = taskIds[Math.floor(Math.random() * taskIds.length)];
+                                const currentStatus = taskStates.get(taskId);
+                                if (currentStatus === TaskStatus.InProgress) {
+                                    taskService.releaseTask(taskId);
+                                    taskStates.set(taskId, TaskStatus.Ready);
+                                }
+                                break;
+                            }
+                            case 'archive': {
+                                if (taskIds.length === 0)
+                                    break;
+                                const taskId = taskIds[Math.floor(Math.random() * taskIds.length)];
+                                const currentStatus = taskStates.get(taskId);
+                                if (currentStatus !== TaskStatus.Archived) {
+                                    taskService.archiveTask(taskId);
+                                    taskStates.set(taskId, TaskStatus.Archived);
+                                }
+                                break;
+                            }
+                        }
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                for (const taskId of taskIds) {
+                    const task = taskService.getTaskById(taskId);
+                    if (task) {
+                        const validStatuses = Object.values(TaskStatus);
+                        if (!validStatuses.includes(task.status)) {
+                            return false;
+                        }
+                    }
+                }
+                return true;
+            })), { numRuns: 100 });
+        });
+    });
+    describe('invariant: no dependency cycles', () => {
+        it('adding dependencies never creates cycles', () => {
+            const depAttemptArb = fc
+                .record({
+                taskIndex: fc.integer({ min: 1, max: 9 }),
+                depIndex: fc.integer({ min: 0, max: 8 }),
+            })
+                .map(({ taskIndex, depIndex }) => ({
+                taskIndex,
+                depIndex: Math.min(depIndex, taskIndex - 1),
+            }));
+            fc.assert(fc.property(fc.array(depAttemptArb, { minLength: 1, maxLength: 20 }), (depAttempts) => withIsolatedServices(({ db, taskService, validationService }) => {
+                const taskIds = [];
+                for (let i = 0; i < 10; i++) {
+                    const task = taskService.createTask({ title: `Task ${i}`, project: 'inbox' });
+                    taskIds.push(task.task_id);
+                }
+                for (const { taskIndex, depIndex } of depAttempts) {
+                    if (taskIndex === depIndex)
+                        continue;
+                    const taskId = taskIds[taskIndex];
+                    const depId = taskIds[depIndex];
+                    try {
+                        db.prepare('INSERT OR IGNORE INTO task_dependencies (task_id, depends_on_id) VALUES (?, ?)').run(taskId, depId);
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                const validation = validationService.validate();
+                return validation.cycles.length === 0;
+            })), { numRuns: 50 });
+        });
+    });
+    describe('invariant: claim requires ready status', () => {
+        it('only ready tasks can be claimed', () => {
+            fc.assert(fc.property(fc.array(fc.oneof(fc.constant('backlog'), fc.constant('ready'), fc.constant('in_progress'), fc.constant('done'), fc.constant('archived')), { minLength: 1, maxLength: 10 }), (statuses) => withIsolatedServices(({ taskService }) => {
+                for (const status of statuses) {
+                    const task = taskService.createTask({ title: 'Task', project: 'inbox' });
+                    try {
+                        if (status !== 'backlog') {
+                            taskService.setStatus(task.task_id, TaskStatus.Ready);
+                        }
+                        if (status === 'in_progress') {
+                            taskService.claimTask(task.task_id, { author: 'agent' });
+                        }
+                        if (status === 'done') {
+                            taskService.setStatus(task.task_id, TaskStatus.Ready);
+                            taskService.claimTask(task.task_id, { author: 'agent' });
+                            taskService.completeTask(task.task_id);
+                        }
+                        if (status === 'archived') {
+                            taskService.archiveTask(task.task_id);
+                        }
+                    }
+                    catch {
+                        continue;
+                    }
+                    const canClaim = status === 'ready';
+                    try {
+                        taskService.claimTask(task.task_id, { author: 'new-agent' });
+                        if (!canClaim) {
+                            return false;
+                        }
+                    }
+                    catch {
+                        if (canClaim) {
+                            return false;
+                        }
+                    }
+                }
+                return true;
+            })), { numRuns: 50 });
+        });
+    });
+    describe('invariant: event count matches operations', () => {
+        it('event count equals number of successful operations', () => {
+            fc.assert(fc.property(fc.integer({ min: 1, max: 50 }), (taskCount) => withIsolatedServices(({ db, taskService }) => {
+                let operationCount = 0;
+                for (let i = 0; i < taskCount; i++) {
+                    try {
+                        taskService.createTask({ title: `Task ${i}`, project: 'inbox' });
+                        operationCount++;
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                const eventCount = db
+                    .prepare('SELECT COUNT(*) as count FROM events')
+                    .get();
+                return eventCount.count === operationCount;
+            })), { numRuns: 50 });
+        });
+    });
+    describe('invariant: projection consistency', () => {
+        it('tasks_current always reflects latest event state', () => {
+            fc.assert(fc.property(fc.array(taskTitleArb, { minLength: 1, maxLength: 20 }), (titles) => withIsolatedServices(({ db, taskService }) => {
+                const taskIds = [];
+                for (const title of titles) {
+                    try {
+                        const task = taskService.createTask({ title, project: 'inbox' });
+                        taskIds.push(task.task_id);
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                for (const taskId of taskIds) {
+                    const inProjection = db
+                        .prepare('SELECT COUNT(*) as count FROM tasks_current WHERE task_id = ?')
+                        .get(taskId);
+                    if (inProjection.count !== 1) {
+                        return false;
+                    }
+                }
+                const projectionCount = db
+                    .prepare('SELECT COUNT(*) as count FROM tasks_current')
+                    .get();
+                return projectionCount.count === taskIds.length;
+            })), { numRuns: 50 });
+        });
+    });
+});
+//# sourceMappingURL=invariants.test.js.map

package/dist/__tests__/properties/invariants.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.test.js","sourceRoot":"","sources":["../../../src/__tests__/properties/invariants.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAU,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,MAAM,YAAY,GAAG,EAAE;KACpB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;KACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACtC,MAAM,cAAc,GAAG,EAAE;KACtB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;KACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,EAAE;KACd,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;KACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAEnD,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,SAAS,oBAAoB,CAC3B,EAIO;QAEP,MAAM,EAAE,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;QACrC,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,iBAAiB,GAAG,IAAI,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAEpD,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,KAAK,EAAE,CAAC;QACb,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,CAAC;gBACR,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBACxC,QAAQ,EAAE,WAAW;aACtB,CAAC,EACF,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC,EACD,CAAC,SAAS,EAAE,EAAE,CACZ,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;oBAC7B,IAAI,CAAC;wBACH,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC;4BAClC,KAAK,EAAE,IAAI,CAAC,KAAK;4BACjB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,OAAO;4BAChC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;yBACxB,CAAC,CAAC;wBACH,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC7B,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAEtC,MAAM,MAAM,GAAG,EAAE;qBACd,OAAO,CACN,4FAA4F,CAC7F;qBACA,GAAG,EAAE,CAAC;gBAET,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;gBACrC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;gBACjC,EAAE,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;gBAExC,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,CAAC,QAAQ,CAAC,IAAI,qBAAqB,EAAE,CAAC,CAAC;gBAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC;gBACrC,qBAAqB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAElC,MAAM,MAAM,GAAG,EAAE;qBACd,OAAO,CACN,4FAA4F,CAC7F;qBACA,GAAG,EAAE,CAAC;gBAET,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC,CACL,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC9E,oBAAoB,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;gBAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,IAAI,CAAC;wBACH,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;wBACjE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;4BAC9B,OAAO,KAAK,CAAC;wBACf,CAAC;wBACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC5B,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CACH,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACrB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EACvB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EACpB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EACvB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CACvB,EACD,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC,EACD,CAAC,OAAO,EAAE,EAAE,CACV,oBAAoB,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACvC,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,MAAM,UAAU,GAA4B,IAAI,GAAG,EAAE,CAAC;gBAEtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,IAAI,CAAC;wBACH,QAAQ,MAAM,EAAE,CAAC;4BACf,KAAK,QAAQ,CAAC,CAAC,CAAC;gCACd,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;gCACzE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gCAC3B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;gCACjD,MAAM;4BACR,CAAC;4BACD,KAAK,UAAU,CAAC,CAAC,CAAC;gCAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oCAAE,MAAM;gCAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gCACnE,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCAC7C,IAAI,aAAa,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;oCACzC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;oCAChD,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;gCAC3C,CAAC;gCACD,MAAM;4BACR,CAAC;4BACD,KAAK,OAAO,CAAC,CAAC,CAAC;gCACb,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oCAAE,MAAM;gCAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gCACnE,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCAC7C,IAAI,aAAa,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;oCACvC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;oCACnD,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;gCAChD,CAAC;gCACD,MAAM;4BACR,CAAC;4BACD,KAAK,UAAU,CAAC,CAAC,CAAC;gCAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oCAAE,MAAM;gCAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gCACnE,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCAC7C,IAAI,aAAa,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;oCAC5C,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oCACjC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;gCAC1C,CAAC;gCACD,MAAM;4BACR,CAAC;4BACD,KAAK,SAAS,CAAC,CAAC,CAAC;gCACf,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oCAAE,MAAM;gCAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gCACnE,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCAC7C,IAAI,aAAa,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;oCAC5C,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;oCAChC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;gCAC3C,CAAC;gCACD,MAAM;4BACR,CAAC;4BACD,KAAK,SAAS,CAAC,CAAC,CAAC;gCACf,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oCAAE,MAAM;gCAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gCACnE,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gCAC7C,IAAI,aAAa,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;oCAC1C,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;oCAChC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;gCAC9C,CAAC;gCACD,MAAM;4BACR,CAAC;wBACH,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;oBAC7C,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;wBAChD,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;4BACzC,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CACL,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,aAAa,GAAG,EAAE;iBACrB,MAAM,CAAC;gBACN,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;gBACzC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;aACzC,CAAC;iBACD,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;gBACjC,SAAS;gBACT,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,GAAG,CAAC,CAAC;aAC5C,CAAC,CAAC,CAAC;YAEN,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EACxD,CAAC,WAAW,EAAE,EAAE,CACd,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE;gBAC9D,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;oBAC9E,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC7B,CAAC;gBAED,KAAK,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,WAAW,EAAE,CAAC;oBAClD,IAAI,SAAS,KAAK,QAAQ;wBAAE,SAAS;oBACrC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;oBAClC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAChC,IAAI,CAAC;wBACH,EAAE,CAAC,OAAO,CACR,gFAAgF,CACjF,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACvB,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,CAAC;gBAChD,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;YACxC,CAAC,CAAC,CACL,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EACpB,EAAE,CAAC,QAAQ,CAAC,aAAa,CAAC,EAC1B,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EACnB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CACxB,EACD,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC,EACD,CAAC,QAAQ,EAAE,EAAE,CACX,oBAAoB,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACvC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;oBAEzE,IAAI,CAAC;wBACH,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;wBACxD,CAAC;wBACD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;4BAC7B,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;wBAC3D,CAAC;wBACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;4BACtB,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;4BACtD,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;4BACzD,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBACzC,CAAC;wBACD,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;4BAC1B,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBACxC,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;oBAED,MAAM,QAAQ,GAAG,MAAM,KAAK,OAAO,CAAC;oBACpC,IAAI,CAAC;wBACH,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;wBAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;4BACd,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,IAAI,QAAQ,EAAE,CAAC;4BACb,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CACL,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CACzD,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC3C,IAAI,cAAc,GAAG,CAAC,CAAC;gBAEvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;oBACnC,IAAI,CAAC;wBACH,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;wBACjE,cAAc,EAAE,CAAC;oBACnB,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,MAAM,UAAU,GAAG,EAAE;qBAClB,OAAO,CAAC,sCAAsC,CAAC;qBAC/C,GAAG,EAAuB,CAAC;gBAC9B,OAAO,UAAU,CAAC,KAAK,KAAK,cAAc,CAAC;YAC7C,CAAC,CAAC,CACH,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC9E,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,IAAI,CAAC;wBACH,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;wBACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC7B,CAAC;oBAAC,MAAM,CAAC;wBACP,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;oBAC7B,MAAM,YAAY,GAAG,EAAE;yBACpB,OAAO,CAAC,+DAA+D,CAAC;yBACxE,GAAG,CAAC,MAAM,CAAsB,CAAC;oBACpC,IAAI,YAAY,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;wBAC7B,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;gBAED,MAAM,eAAe,GAAG,EAAE;qBACvB,OAAO,CAAC,6CAA6C,CAAC;qBACtD,GAAG,EAAuB,CAAC;gBAC9B,OAAO,eAAe,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC,CACH,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}