@jamesaphoenix/tx-core 0.4.2 → 0.4.4

package/dist/repo/dep-repo.js

@@ -1,7 +1,16 @@
 import { Context, Effect, Layer } from "effect";
 import { SqliteClient } from "../db.js";
-import { DatabaseError } from "../errors.js";
+import { DatabaseError, DependencyNotFoundError, UnexpectedRowCountError } from "../errors.js";
 import { rowToDependency } from "../mappers/task.js";
+import { DEFAULT_QUERY_LIMIT } from "../utils/sql.js";
+// Shared frozen empty array to avoid allocating new arrays for IDs with no dependencies
+const EMPTY_TASK_IDS = Object.freeze([]);
+/**
+ * Maximum recursion depth for dependency graph traversal.
+ * Prevents unbounded recursive CTEs from hitting SQLite's internal
+ * 1000-level recursion limit on deep dependency chains.
+ */
+const MAX_DEPENDENCY_DEPTH = 100;
 export class DependencyRepository extends Context.Tag("DependencyRepository")() {
 }
 export const DependencyRepositoryLive = Layer.effect(DependencyRepository, Effect.gen(function* () {
@@ -9,15 +18,25 @@ export const DependencyRepositoryLive = Layer.effect(DependencyRepository, Effec
     return {
         insert: (blockerId, blockedId) => Effect.try({
             try: () => {
-                db.prepare("INSERT INTO task_dependencies (blocker_id, blocked_id, created_at) VALUES (?, ?, ?)").run(blockerId, blockedId, new Date().toISOString());
+                const result = db.prepare("INSERT INTO task_dependencies (blocker_id, blocked_id, created_at) VALUES (?, ?, ?)").run(blockerId, blockedId, new Date().toISOString());
+                if (result.changes !== 1) {
+                    throw new UnexpectedRowCountError({
+                        operation: "dependency insert",
+                        expected: 1,
+                        actual: result.changes
+                    });
+                }
             },
             catch: (cause) => new DatabaseError({ cause })
         }),
-        remove: (blockerId, blockedId) => Effect.try({
-            try: () => {
-                db.prepare("DELETE FROM task_dependencies WHERE blocker_id = ? AND blocked_id = ?").run(blockerId, blockedId);
-            },
-            catch: (cause) => new DatabaseError({ cause })
+        remove: (blockerId, blockedId) => Effect.gen(function* () {
+            const result = yield* Effect.try({
+                try: () => db.prepare("DELETE FROM task_dependencies WHERE blocker_id = ? AND blocked_id = ?").run(blockerId, blockedId),
+                catch: (cause) => new DatabaseError({ cause })
+            });
+            if (result.changes === 0) {
+                yield* Effect.fail(new DependencyNotFoundError({ blockerId, blockedId }));
+            }
         }),
         getBlockerIds: (blockedId) => Effect.try({
             try: () => {
@@ -40,14 +59,20 @@ export const DependencyRepositoryLive = Layer.effect(DependencyRepository, Effec
                     return result;
                 const placeholders = blockedIds.map(() => "?").join(",");
                 const rows = db.prepare(`SELECT blocked_id, blocker_id FROM task_dependencies WHERE blocked_id IN (${placeholders})`).all(...blockedIds);
-                // Initialize all requested IDs with empty arrays
-                for (const id of blockedIds) {
-                    result.set(id, []);
-                }
-                // Group by blocked_id
+                // Group rows by blocked_id in a temporary mutable map
+                const grouped = new Map();
                 for (const row of rows) {
-                    const existing = result.get(row.blocked_id) ?? [];
-                    result.set(row.blocked_id, [...existing, row.blocker_id]);
+                    const existing = grouped.get(row.blocked_id);
+                    if (existing) {
+                        existing.push(row.blocker_id);
+                    }
+                    else {
+                        grouped.set(row.blocked_id, [row.blocker_id]);
+                    }
+                }
+                // Populate result: use grouped array or shared empty array
+                for (const id of blockedIds) {
+                    result.set(id, grouped.get(id) ?? EMPTY_TASK_IDS);
                 }
                 return result;
             },
@@ -60,44 +85,146 @@ export const DependencyRepositoryLive = Layer.effect(DependencyRepository, Effec
                     return result;
                 const placeholders = blockerIds.map(() => "?").join(",");
                 const rows = db.prepare(`SELECT blocker_id, blocked_id FROM task_dependencies WHERE blocker_id IN (${placeholders})`).all(...blockerIds);
-                // Initialize all requested IDs with empty arrays
-                for (const id of blockerIds) {
-                    result.set(id, []);
-                }
-                // Group by blocker_id
+                // Group rows by blocker_id in a temporary mutable map
+                const grouped = new Map();
                 for (const row of rows) {
-                    const existing = result.get(row.blocker_id) ?? [];
-                    result.set(row.blocker_id, [...existing, row.blocked_id]);
+                    const existing = grouped.get(row.blocker_id);
+                    if (existing) {
+                        existing.push(row.blocked_id);
+                    }
+                    else {
+                        grouped.set(row.blocker_id, [row.blocked_id]);
+                    }
+                }
+                // Populate result: use grouped array or shared empty array
+                for (const id of blockerIds) {
+                    result.set(id, grouped.get(id) ?? EMPTY_TASK_IDS);
                 }
                 return result;
             },
             catch: (cause) => new DatabaseError({ cause })
         }),
-        // BFS cycle detection: can we reach toId by following blocker chains from fromId?
-        hasPath: (fromId, toId) => Effect.try({
+        // Cycle detection using recursive CTE: can we reach toId by following blocker chains from fromId?
+        // Uses UNION (not UNION ALL) to automatically prevent infinite recursion on existing cycles
+        // Depth-limited to MAX_DEPENDENCY_DEPTH to prevent hitting SQLite's internal 1000-level limit
+        hasPath: (fromId, toId) => Effect.gen(function* () {
+            // Special case: same ID
+            if (fromId === toId)
+                return true;
+            // Recursive CTE performs BFS in a single query
+            // UNION deduplicates visited nodes, preventing infinite loops
+            // depth tracking prevents unbounded recursion on deep chains
+            const result = yield* Effect.try({
+                try: () => db.prepare(`
+                WITH RECURSIVE reachable(id, depth) AS (
+                  -- Base case: direct blockers of fromId (depth 1)
+                  SELECT blocker_id, 1 FROM task_dependencies WHERE blocked_id = ?
+                  UNION
+                  -- Recursive case: follow blocker chain, bounded by depth limit
+                  SELECT d.blocker_id, r.depth + 1
+                  FROM task_dependencies d
+                  JOIN reachable r ON d.blocked_id = r.id
+                  WHERE r.depth < ?
+                )
+                SELECT
+                  MAX(CASE WHEN id = ? THEN 1 ELSE 0 END) AS found,
+                  MAX(depth) AS max_depth
+                FROM reachable
+              `).get(fromId, MAX_DEPENDENCY_DEPTH, toId),
+                catch: (cause) => new DatabaseError({ cause })
+            });
+            const pathFound = result?.found === 1;
+            const depthLimitHit = result?.max_depth != null && result.max_depth >= MAX_DEPENDENCY_DEPTH;
+            if (depthLimitHit) {
+                yield* Effect.logWarning(`Dependency depth limit (${MAX_DEPENDENCY_DEPTH}) reached checking path from ${fromId} to ${toId}. Graph may have unexplored deeper chains.`);
+            }
+            return pathFound;
+        }),
+        getAll: (limit) => Effect.try({
             try: () => {
-                const visited = new Set();
-                const queue = [fromId];
-                while (queue.length > 0) {
-                    const current = queue.shift();
-                    if (current === toId)
-                        return true;
-                    if (visited.has(current))
-                        continue;
-                    visited.add(current);
-                    const rows = db.prepare("SELECT blocker_id FROM task_dependencies WHERE blocked_id = ?").all(current);
-                    queue.push(...rows.map(r => r.blocker_id));
-                }
-                return false;
+                const rows = db.prepare("SELECT blocker_id, blocked_id, created_at FROM task_dependencies LIMIT ?").all(limit ?? DEFAULT_QUERY_LIMIT);
+                return rows.map(rowToDependency);
             },
             catch: (cause) => new DatabaseError({ cause })
         }),
-        getAll: () => Effect.try({
+        removeByTaskIds: (taskIds) => Effect.try({
             try: () => {
-                const rows = db.prepare("SELECT blocker_id, blocked_id, created_at FROM task_dependencies").all();
-                return rows.map(rowToDependency);
+                if (taskIds.length === 0)
+                    return;
+                const placeholders = taskIds.map(() => "?").join(",");
+                db.prepare(`DELETE FROM task_dependencies WHERE blocker_id IN (${placeholders}) OR blocked_id IN (${placeholders})`).run(...taskIds, ...taskIds);
             },
             catch: (cause) => new DatabaseError({ cause })
+        }),
+        insertWithCycleCheck: (blockerId, blockedId) => Effect.gen(function* () {
+            const txResult = yield* Effect.try({
+                try: () => {
+                    // BEGIN IMMEDIATE acquires write lock immediately, preventing other writers
+                    // from modifying the dependency graph until we commit/rollback
+                    db.exec("BEGIN IMMEDIATE");
+                    try {
+                        // Special case: same ID always indicates a cycle
+                        if (blockerId === blockedId) {
+                            db.exec("ROLLBACK");
+                            return { _tag: "wouldCycle", depthLimitHit: false };
+                        }
+                        // Check if dependency already exists (idempotent)
+                        const existing = db.prepare("SELECT 1 FROM task_dependencies WHERE blocker_id = ? AND blocked_id = ? LIMIT 1").get(blockerId, blockedId);
+                        if (existing != null) {
+                            db.exec("ROLLBACK");
+                            return { _tag: "alreadyExists", depthLimitHit: false };
+                        }
+                        // Check if adding this dependency would create a cycle
+                        // Uses depth-limited recursive CTE to detect if blockedId can already reach blockerId
+                        const cycleCheck = db.prepare(`
+                  WITH RECURSIVE reachable(id, depth) AS (
+                    SELECT blocker_id, 1 FROM task_dependencies WHERE blocked_id = ?
+                    UNION
+                    SELECT d.blocker_id, r.depth + 1
+                    FROM task_dependencies d
+                    JOIN reachable r ON d.blocked_id = r.id
+                    WHERE r.depth < ?
+                  )
+                  SELECT
+                    MAX(CASE WHEN id = ? THEN 1 ELSE 0 END) AS found,
+                    MAX(depth) AS max_depth
+                  FROM reachable
+                `).get(blockerId, MAX_DEPENDENCY_DEPTH, blockedId);
+                        const depthLimitHit = cycleCheck?.max_depth != null && cycleCheck.max_depth >= MAX_DEPENDENCY_DEPTH;
+                        if (cycleCheck?.found === 1) {
+                            db.exec("ROLLBACK");
+                            return { _tag: "wouldCycle", depthLimitHit };
+                        }
+                        // No cycle detected - safe to insert
+                        const result = db.prepare("INSERT INTO task_dependencies (blocker_id, blocked_id, created_at) VALUES (?, ?, ?)").run(blockerId, blockedId, new Date().toISOString());
+                        if (result.changes !== 1) {
+                            db.exec("ROLLBACK");
+                            throw new UnexpectedRowCountError({
+                                operation: "dependency insert (with cycle check)",
+                                expected: 1,
+                                actual: result.changes
+                            });
+                        }
+                        db.exec("COMMIT");
+                        return { _tag: "inserted", depthLimitHit };
+                    }
+                    catch (e) {
+                        // Ensure rollback on any error
+                        try {
+                            db.exec("ROLLBACK");
+                        }
+                        catch {
+                            // Ignore rollback errors (transaction may already be rolled back)
+                        }
+                        throw e;
+                    }
+                },
+                catch: (cause) => new DatabaseError({ cause })
+            });
+            if (txResult.depthLimitHit) {
+                yield* Effect.logWarning(`Dependency depth limit (${MAX_DEPENDENCY_DEPTH}) reached during cycle check for ${blockerId} → ${blockedId}. Insert proceeded but deeper cycles may exist.`);
+            }
+            return { _tag: txResult._tag };
         })
     };
 }));

package/dist/repo/dep-repo.js.map

@@ -1 +1 @@
-{"version":3,"file":"dep-repo.js","sourceRoot":"","sources":["../../src/repo/dep-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAGpD,MAAM,OAAO,oBAAqB,SAAQ,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAY1E;CAAG;AAEN,MAAM,CAAC,MAAM,wBAAwB,GAAG,KAAK,CAAC,MAAM,CAClD,oBAAoB,EACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAE9B,OAAO;QACL,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,EAAE,CAAC,OAAO,CACR,qFAAqF,CACtF,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;YACvD,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,EAAE,CAAC,OAAO,CACR,uEAAuE,CACxE,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;YAC7B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,aAAa,EAAE,CAAC,SAAS,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+DAA+D,CAChE,CAAC,GAAG,CAAC,SAAS,CAAkC,CAAA;gBACjD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAoB,CAAC,CAAA;YAC9C,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,cAAc,EAAE,CAAC,SAAS,EAAE,EAAE,CAC5B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+DAA+D,CAChE,CAAC,GAAG,CAAC,SAAS,CAAkC,CAAA;gBACjD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAoB,CAAC,CAAA;YAC9C,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,oBAAoB,EAAE,CAAC,UAAU,EAAE,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;gBACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAA;gBAE1C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,6EAA6E,YAAY,GAAG,CAC7F,CAAC,GAAG,CAAC,GAAG,UAAU,CAAsD,CAAA;gBAEzE,iDAAiD;gBACjD,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;gBACpB,CAAC;gBAED,sBAAsB;gBACtB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;oBACjD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,CAAC,UAAoB,CAAC,CAAC,CAAA;gBACrE,CAAC;gBAED,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,qBAAqB,EAAE,CAAC,UAAU,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;gBACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAA;gBAE1C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,6EAA6E,YAAY,GAAG,CAC7F,CAAC,GAAG,CAAC,GAAG,UAAU,CAAsD,CAAA;gBAEzE,iDAAiD;gBACjD,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;gBACpB,CAAC;gBAED,sBAAsB;gBACtB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;oBACjD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,CAAC,UAAoB,CAAC,CAAC,CAAA;gBACrE,CAAC;gBAED,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,kFAAkF;QAClF,OAAO,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;gBACjC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAA;gBAEtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;oBAC9B,IAAI,OAAO,KAAK,IAAI;wBAAE,OAAO,IAAI,CAAA;oBACjC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,SAAQ;oBAClC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;oBAEpB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+DAA+D,CAChE,CAAC,GAAG,CAAC,OAAO,CAAkC,CAAA;oBAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;gBAC5C,CAAC;gBAED,OAAO,KAAK,CAAA;YACd,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,kEAAkE,CACnE,CAAC,GAAG,EAAqB,CAAA;gBAC1B,OAAO,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;YAClC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}
+{"version":3,"file":"dep-repo.js","sourceRoot":"","sources":["../../src/repo/dep-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,aAAa,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAC9F,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAGrD,wFAAwF;AACxF,MAAM,cAAc,GAAsB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAE3D;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,GAAG,CAAA;AAUhC,MAAM,OAAO,oBAAqB,SAAQ,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EA0B1E;CAAG;AAEN,MAAM,CAAC,MAAM,wBAAwB,GAAG,KAAK,CAAC,MAAM,CAClD,oBAAoB,EACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAE9B,OAAO;QACL,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,qFAAqF,CACtF,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;gBACrD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;oBACzB,MAAM,IAAI,uBAAuB,CAAC;wBAChC,SAAS,EAAE,mBAAmB;wBAC9B,QAAQ,EAAE,CAAC;wBACX,MAAM,EAAE,MAAM,CAAC,OAAO;qBACvB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,CAC/B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAC/B,GAAG,EAAE,GAAG,EAAE,CACR,EAAE,CAAC,OAAO,CACR,uEAAuE,CACxE,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC;gBAC7B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YACF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;YAC3E,CAAC;QACH,CAAC,CAAC;QAEJ,aAAa,EAAE,CAAC,SAAS,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+DAA+D,CAChE,CAAC,GAAG,CAAC,SAAS,CAAkC,CAAA;gBACjD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAoB,CAAC,CAAA;YAC9C,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,cAAc,EAAE,CAAC,SAAS,EAAE,EAAE,CAC5B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+DAA+D,CAChE,CAAC,GAAG,CAAC,SAAS,CAAkC,CAAA;gBACjD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAoB,CAAC,CAAA;YAC9C,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,oBAAoB,EAAE,CAAC,UAAU,EAAE,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;gBACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAA;gBAE1C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,6EAA6E,YAAY,GAAG,CAC7F,CAAC,GAAG,CAAC,GAAG,UAAU,CAAsD,CAAA;gBAEzE,sDAAsD;gBACtD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;gBAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;oBAC5C,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAA;oBACzC,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC,CAAA;oBACzD,CAAC;gBACH,CAAC;gBAED,2DAA2D;gBAC3D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAA;gBACnD,CAAC;gBAED,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,qBAAqB,EAAE,CAAC,UAAU,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAA;gBACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,MAAM,CAAA;gBAE1C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,6EAA6E,YAAY,GAAG,CAC7F,CAAC,GAAG,CAAC,GAAG,UAAU,CAAsD,CAAA;gBAEzE,sDAAsD;gBACtD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;gBAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;oBAC5C,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAA;oBACzC,CAAC;yBAAM,CAAC;wBACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC,CAAA;oBACzD,CAAC;gBACH,CAAC;gBAED,2DAA2D;gBAC3D,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;oBAC5B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAA;gBACnD,CAAC;gBAED,OAAO,MAAM,CAAA;YACf,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,kGAAkG;QAClG,4FAA4F;QAC5F,8FAA8F;QAC9F,OAAO,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,wBAAwB;YACxB,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAEhC,+CAA+C;YAC/C,8DAA8D;YAC9D,6DAA6D;YAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBAC/B,GAAG,EAAE,GAAG,EAAE,CACR,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;eAeV,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,EAAE,IAAI,CAAmE;gBAC9G,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YAEF,MAAM,SAAS,GAAG,MAAM,EAAE,KAAK,KAAK,CAAC,CAAA;YACrC,MAAM,aAAa,GAAG,MAAM,EAAE,SAAS,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,IAAI,oBAAoB,CAAA;YAE3F,IAAI,aAAa,EAAE,CAAC;gBAClB,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,2BAA2B,oBAAoB,gCAAgC,MAAM,OAAO,IAAI,4CAA4C,CAC7I,CAAA;YACH,CAAC;YAED,OAAO,SAAS,CAAA;QAClB,CAAC,CAAC;QAEJ,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,0EAA0E,CAC3E,CAAC,GAAG,CAAC,KAAK,IAAI,mBAAmB,CAAoB,CAAA;gBACtD,OAAO,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;YAClC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,eAAe,EAAE,CAAC,OAAO,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAM;gBAChC,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACrD,EAAE,CAAC,OAAO,CACR,sDAAsD,YAAY,uBAAuB,YAAY,GAAG,CACzG,CAAC,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAA;YAC/B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACjC,GAAG,EAAE,GAAG,EAAE;oBACR,4EAA4E;oBAC5E,+DAA+D;oBAC/D,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;oBAC1B,IAAI,CAAC;wBACH,iDAAiD;wBACjD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;4BAC5B,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;4BACnB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,EAAW,CAAA;wBAC9D,CAAC;wBAED,kDAAkD;wBAClD,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CACzB,iFAAiF,CAClF,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;wBAE3B,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;4BACrB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;4BACnB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,aAAa,EAAE,KAAK,EAAW,CAAA;wBACjE,CAAC;wBAED,uDAAuD;wBACvD,sFAAsF;wBACtF,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;;;;iBAa7B,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,oBAAoB,EAAE,SAAS,CAAmE,CAAA;wBAEpH,MAAM,aAAa,GAAG,UAAU,EAAE,SAAS,IAAI,IAAI,IAAI,UAAU,CAAC,SAAS,IAAI,oBAAoB,CAAA;wBAEnG,IAAI,UAAU,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;4BAC5B,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;4BACnB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAW,CAAA;wBACvD,CAAC;wBAED,qCAAqC;wBACrC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,qFAAqF,CACtF,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;wBAErD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;4BACzB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;4BACnB,MAAM,IAAI,uBAAuB,CAAC;gCAChC,SAAS,EAAE,sCAAsC;gCACjD,QAAQ,EAAE,CAAC;gCACX,MAAM,EAAE,MAAM,CAAC,OAAO;6BACvB,CAAC,CAAA;wBACJ,CAAC;wBAED,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;wBACjB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAW,CAAA;oBACrD,CAAC;oBAAC,OAAO,CAAC,EAAE,CAAC;wBACX,+BAA+B;wBAC/B,IAAI,CAAC;4BACH,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBACrB,CAAC;wBAAC,MAAM,CAAC;4BACP,kEAAkE;wBACpE,CAAC;wBACD,MAAM,CAAC,CAAA;oBACT,CAAC;gBACH,CAAC;gBACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;aAC/C,CAAC,CAAA;YAEF,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,2BAA2B,oBAAoB,oCAAoC,SAAS,MAAM,SAAS,iDAAiD,CAC7J,CAAA;YACH,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAgC,CAAA;QAC9D,CAAC,CAAC;KACL,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/repo/doc-repo.d.ts

@@ -0,0 +1,59 @@
+import { Context, Effect, Layer } from "effect";
+import { SqliteClient } from "../db.js";
+import { DatabaseError } from "../errors.js";
+import type { Doc, DocKind, DocStatus, DocLink, DocLinkType, TaskDocLink, TaskDocLinkType, Invariant, InvariantCheck, UpsertInvariantInput } from "@jamesaphoenix/tx-types";
+/** Input for inserting a new doc row. */
+export type InsertDocInput = {
+    readonly hash: string;
+    readonly kind: DocKind;
+    readonly name: string;
+    readonly title: string;
+    readonly version: number;
+    readonly filePath: string;
+    readonly parentDocId: number | null;
+    readonly metadata?: string;
+};
+/** Input for updating an existing doc row. */
+export type UpdateDocInput = {
+    readonly hash?: string;
+    readonly title?: string;
+    readonly status?: DocStatus;
+    readonly lockedAt?: string;
+    readonly metadata?: string;
+};
+declare const DocRepository_base: Context.TagClass<DocRepository, "DocRepository", {
+    readonly insert: (input: InsertDocInput) => Effect.Effect<Doc, DatabaseError>;
+    readonly findById: (id: number) => Effect.Effect<Doc | null, DatabaseError>;
+    readonly findByName: (name: string, version?: number) => Effect.Effect<Doc | null, DatabaseError>;
+    readonly findAll: (filter?: {
+        kind?: DocKind;
+        status?: DocStatus;
+    }) => Effect.Effect<readonly Doc[], DatabaseError>;
+    readonly update: (id: number, input: UpdateDocInput) => Effect.Effect<void, DatabaseError>;
+    readonly lock: (id: number, lockedAt: string) => Effect.Effect<void, DatabaseError>;
+    readonly remove: (id: number) => Effect.Effect<void, DatabaseError>;
+    readonly createLink: (fromDocId: number, toDocId: number, linkType: DocLinkType) => Effect.Effect<DocLink, DatabaseError>;
+    readonly getLinksFrom: (docId: number) => Effect.Effect<readonly DocLink[], DatabaseError>;
+    readonly getLinksTo: (docId: number) => Effect.Effect<readonly DocLink[], DatabaseError>;
+    readonly getAllLinks: () => Effect.Effect<readonly DocLink[], DatabaseError>;
+    readonly createTaskLink: (taskId: string, docId: number, linkType: TaskDocLinkType) => Effect.Effect<TaskDocLink, DatabaseError>;
+    readonly getTaskLinksForDoc: (docId: number) => Effect.Effect<readonly TaskDocLink[], DatabaseError>;
+    readonly getDocForTask: (taskId: string) => Effect.Effect<Doc | null, DatabaseError>;
+    readonly getUnlinkedTaskIds: () => Effect.Effect<readonly string[], DatabaseError>;
+    readonly upsertInvariant: (input: UpsertInvariantInput) => Effect.Effect<Invariant, DatabaseError>;
+    readonly findInvariantById: (id: string) => Effect.Effect<Invariant | null, DatabaseError>;
+    readonly findInvariants: (filter?: {
+        docId?: number;
+        subsystem?: string;
+        enforcement?: string;
+    }) => Effect.Effect<readonly Invariant[], DatabaseError>;
+    readonly deprecateInvariantsNotIn: (docId: number, activeIds: readonly string[]) => Effect.Effect<void, DatabaseError>;
+    readonly insertInvariantCheck: (invariantId: string, passed: boolean, details: string | null, durationMs: number | null) => Effect.Effect<InvariantCheck, DatabaseError>;
+    readonly getInvariantChecks: (invariantId: string, limit?: number) => Effect.Effect<readonly InvariantCheck[], DatabaseError>;
+    readonly countInvariantsByDoc: (docId: number) => Effect.Effect<number, DatabaseError>;
+}>;
+export declare class DocRepository extends DocRepository_base {
+}
+export declare const DocRepositoryLive: Layer.Layer<DocRepository, never, SqliteClient>;
+export {};
+//# sourceMappingURL=doc-repo.d.ts.map

package/dist/repo/doc-repo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc-repo.d.ts","sourceRoot":"","sources":["../../src/repo/doc-repo.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,aAAa,EAAoB,MAAM,cAAc,CAAA;AAQ9D,OAAO,KAAK,EACV,GAAG,EACH,OAAO,EACP,SAAS,EACT,OAAO,EACP,WAAW,EACX,WAAW,EACX,eAAe,EACf,SAAS,EACT,cAAc,EAMd,oBAAoB,EACrB,MAAM,yBAAyB,CAAA;AAEhC,yCAAyC;AACzC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED,8CAA8C;AAC9C,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B,CAAA;;qBAMoB,CAAC,KAAK,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC;uBAC1D,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,aAAa,CAAC;yBACtD,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,aAAa,CAAC;sBAC/E,CAAC,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,SAAS,CAAA;KAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,EAAE,EAAE,aAAa,CAAC;qBAClG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;mBAC3E,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;qBAClE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;yBAG9C,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC;2BAClG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,OAAO,EAAE,EAAE,aAAa,CAAC;yBACrE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,OAAO,EAAE,EAAE,aAAa,CAAC;0BAClE,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,OAAO,EAAE,EAAE,aAAa,CAAC;6BAGnD,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;iCACnG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,WAAW,EAAE,EAAE,aAAa,CAAC;4BAC5E,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,aAAa,CAAC;iCACvD,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC;8BAGxD,CAAC,KAAK,EAAE,oBAAoB,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC;gCACtE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,IAAI,EAAE,aAAa,CAAC;6BACjE,CAAC,MAAM,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,SAAS,EAAE,EAAE,aAAa,CAAC;uCACnH,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;mCACvF,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,aAAa,CAAC;iCAC3I,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,cAAc,EAAE,EAAE,aAAa,CAAC;mCAC9F,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;;AA/B1F,qBAAa,aAAc,SAAQ,kBAiChC;CAAG;AAEN,eAAO,MAAM,iBAAiB,iDA+V7B,CAAA"}

package/dist/repo/doc-repo.js

@@ -0,0 +1,276 @@
+import { Context, Effect, Layer } from "effect";
+import { SqliteClient } from "../db.js";
+import { DatabaseError, EntityFetchError } from "../errors.js";
+import { rowToDoc, rowToDocLink, rowToTaskDocLink, rowToInvariant, rowToInvariantCheck, } from "../mappers/doc.js";
+export class DocRepository extends Context.Tag("DocRepository")() {
+}
+export const DocRepositoryLive = Layer.effect(DocRepository, Effect.gen(function* () {
+    const db = yield* SqliteClient;
+    return {
+        insert: (input) => Effect.try({
+            try: () => {
+                const now = new Date().toISOString();
+                const result = db.prepare(`INSERT INTO docs (hash, kind, name, title, version, status, file_path, parent_doc_id, created_at, metadata)
+               VALUES (?, ?, ?, ?, ?, 'changing', ?, ?, ?, ?)`).run(input.hash, input.kind, input.name, input.title, input.version, input.filePath, input.parentDocId, now, input.metadata ?? "{}");
+                const row = db.prepare("SELECT * FROM docs WHERE id = ?").get(result.lastInsertRowid);
+                if (!row) {
+                    throw new EntityFetchError({ entity: "doc", id: result.lastInsertRowid, operation: "insert" });
+                }
+                return rowToDoc(row);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        findById: (id) => Effect.try({
+            try: () => {
+                const row = db.prepare("SELECT * FROM docs WHERE id = ?").get(id);
+                return row ? rowToDoc(row) : null;
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        findByName: (name, version) => Effect.try({
+            try: () => {
+                const row = version !== undefined
+                    ? db.prepare("SELECT * FROM docs WHERE name = ? AND version = ?").get(name, version)
+                    : db.prepare("SELECT * FROM docs WHERE name = ? ORDER BY version DESC LIMIT 1").get(name);
+                return row ? rowToDoc(row) : null;
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        findAll: (filter) => Effect.try({
+            try: () => {
+                let sql = "SELECT * FROM docs";
+                const params = [];
+                const conditions = [];
+                if (filter?.kind) {
+                    conditions.push("kind = ?");
+                    params.push(filter.kind);
+                }
+                if (filter?.status) {
+                    conditions.push("status = ?");
+                    params.push(filter.status);
+                }
+                if (conditions.length > 0) {
+                    sql += " WHERE " + conditions.join(" AND ");
+                }
+                sql += " ORDER BY kind, name, version";
+                const rows = db.prepare(sql).all(...params);
+                return rows.map(rowToDoc);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        update: (id, input) => Effect.try({
+            try: () => {
+                const sets = [];
+                const params = [];
+                if (input.hash !== undefined) {
+                    sets.push("hash = ?");
+                    params.push(input.hash);
+                }
+                if (input.title !== undefined) {
+                    sets.push("title = ?");
+                    params.push(input.title);
+                }
+                if (input.status !== undefined) {
+                    sets.push("status = ?");
+                    params.push(input.status);
+                }
+                if (input.lockedAt !== undefined) {
+                    sets.push("locked_at = ?");
+                    params.push(input.lockedAt);
+                }
+                if (input.metadata !== undefined) {
+                    sets.push("metadata = ?");
+                    params.push(input.metadata);
+                }
+                if (sets.length === 0)
+                    return;
+                params.push(id);
+                db.prepare(`UPDATE docs SET ${sets.join(", ")} WHERE id = ?`).run(...params);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        lock: (id, lockedAt) => Effect.try({
+            try: () => {
+                db.prepare("UPDATE docs SET status = 'locked', locked_at = ? WHERE id = ?").run(lockedAt, id);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        remove: (id) => Effect.try({
+            try: () => {
+                // CASCADE on doc_links, task_doc_links, invariants handled by FK constraints
+                db.prepare("DELETE FROM docs WHERE id = ?").run(id);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        // Doc links
+        createLink: (fromDocId, toDocId, linkType) => Effect.try({
+            try: () => {
+                const now = new Date().toISOString();
+                const result = db.prepare("INSERT INTO doc_links (from_doc_id, to_doc_id, link_type, created_at) VALUES (?, ?, ?, ?)").run(fromDocId, toDocId, linkType, now);
+                const row = db.prepare("SELECT * FROM doc_links WHERE id = ?").get(result.lastInsertRowid);
+                if (!row) {
+                    throw new EntityFetchError({ entity: "doc_link", id: result.lastInsertRowid, operation: "insert" });
+                }
+                return rowToDocLink(row);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getLinksFrom: (docId) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM doc_links WHERE from_doc_id = ?").all(docId);
+                return rows.map(rowToDocLink);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getLinksTo: (docId) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM doc_links WHERE to_doc_id = ?").all(docId);
+                return rows.map(rowToDocLink);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getAllLinks: () => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM doc_links ORDER BY created_at").all();
+                return rows.map(rowToDocLink);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        // Task-doc links
+        createTaskLink: (taskId, docId, linkType) => Effect.try({
+            try: () => {
+                const now = new Date().toISOString();
+                const result = db.prepare("INSERT INTO task_doc_links (task_id, doc_id, link_type, created_at) VALUES (?, ?, ?, ?)").run(taskId, docId, linkType, now);
+                const row = db.prepare("SELECT * FROM task_doc_links WHERE id = ?").get(result.lastInsertRowid);
+                if (!row) {
+                    throw new EntityFetchError({ entity: "task_doc_link", id: result.lastInsertRowid, operation: "insert" });
+                }
+                return rowToTaskDocLink(row);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getTaskLinksForDoc: (docId) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM task_doc_links WHERE doc_id = ?").all(docId);
+                return rows.map(rowToTaskDocLink);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getDocForTask: (taskId) => Effect.try({
+            try: () => {
+                const row = db.prepare(`SELECT d.* FROM docs d
+               JOIN task_doc_links tdl ON tdl.doc_id = d.id
+               WHERE tdl.task_id = ?
+               ORDER BY d.version DESC LIMIT 1`).get(taskId);
+                return row ? rowToDoc(row) : null;
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getUnlinkedTaskIds: () => Effect.try({
+            try: () => {
+                const rows = db.prepare(`SELECT t.id FROM tasks t
+               LEFT JOIN task_doc_links tdl ON tdl.task_id = t.id
+               WHERE tdl.id IS NULL
+               ORDER BY t.id`).all();
+                return rows.map(r => r.id);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        // Invariants
+        upsertInvariant: (input) => Effect.try({
+            try: () => {
+                const now = new Date().toISOString();
+                db.prepare(`INSERT INTO invariants (id, rule, enforcement, doc_id, subsystem, test_ref, lint_rule, prompt_ref, status, created_at, metadata)
+               VALUES (?, ?, ?, ?, ?, ?, ?, ?, 'active', ?, '{}')
+               ON CONFLICT(id) DO UPDATE SET
+                 rule = excluded.rule,
+                 enforcement = excluded.enforcement,
+                 doc_id = excluded.doc_id,
+                 subsystem = excluded.subsystem,
+                 test_ref = excluded.test_ref,
+                 lint_rule = excluded.lint_rule,
+                 prompt_ref = excluded.prompt_ref,
+                 status = 'active'`).run(input.id, input.rule, input.enforcement, input.docId, input.subsystem ?? null, input.testRef ?? null, input.lintRule ?? null, input.promptRef ?? null, now);
+                const row = db.prepare("SELECT * FROM invariants WHERE id = ?").get(input.id);
+                if (!row) {
+                    throw new EntityFetchError({ entity: "invariant", id: input.id, operation: "insert" });
+                }
+                return rowToInvariant(row);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        findInvariantById: (id) => Effect.try({
+            try: () => {
+                const row = db.prepare("SELECT * FROM invariants WHERE id = ?").get(id);
+                return row ? rowToInvariant(row) : null;
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        findInvariants: (filter) => Effect.try({
+            try: () => {
+                let sql = "SELECT * FROM invariants";
+                const params = [];
+                const conditions = [];
+                if (filter?.docId !== undefined) {
+                    conditions.push("doc_id = ?");
+                    params.push(filter.docId);
+                }
+                if (filter?.subsystem) {
+                    conditions.push("subsystem = ?");
+                    params.push(filter.subsystem);
+                }
+                if (filter?.enforcement) {
+                    conditions.push("enforcement = ?");
+                    params.push(filter.enforcement);
+                }
+                if (conditions.length > 0) {
+                    sql += " WHERE " + conditions.join(" AND ");
+                }
+                sql += " ORDER BY id";
+                const rows = db.prepare(sql).all(...params);
+                return rows.map(rowToInvariant);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        deprecateInvariantsNotIn: (docId, activeIds) => Effect.try({
+            try: () => {
+                if (activeIds.length === 0) {
+                    // Deprecate all invariants for this doc
+                    db.prepare("UPDATE invariants SET status = 'deprecated' WHERE doc_id = ? AND status = 'active'").run(docId);
+                    return;
+                }
+                const placeholders = activeIds.map(() => "?").join(", ");
+                db.prepare(`UPDATE invariants SET status = 'deprecated'
+               WHERE doc_id = ? AND status = 'active' AND id NOT IN (${placeholders})`).run(docId, ...activeIds);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        insertInvariantCheck: (invariantId, passed, details, durationMs) => Effect.try({
+            try: () => {
+                const now = new Date().toISOString();
+                const result = db.prepare("INSERT INTO invariant_checks (invariant_id, passed, details, checked_at, duration_ms) VALUES (?, ?, ?, ?, ?)").run(invariantId, passed ? 1 : 0, details, now, durationMs);
+                const row = db.prepare("SELECT * FROM invariant_checks WHERE id = ?").get(result.lastInsertRowid);
+                if (!row) {
+                    throw new EntityFetchError({ entity: "invariant_check", id: result.lastInsertRowid, operation: "insert" });
+                }
+                return rowToInvariantCheck(row);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        getInvariantChecks: (invariantId, limit = 20) => Effect.try({
+            try: () => {
+                const rows = db.prepare("SELECT * FROM invariant_checks WHERE invariant_id = ? ORDER BY checked_at DESC LIMIT ?").all(invariantId, limit);
+                return rows.map(rowToInvariantCheck);
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+        countInvariantsByDoc: (docId) => Effect.try({
+            try: () => {
+                const result = db.prepare("SELECT COUNT(*) as cnt FROM invariants WHERE doc_id = ? AND status = 'active'").get(docId);
+                return result.cnt;
+            },
+            catch: (cause) => new DatabaseError({ cause })
+        }),
+    };
+}));
+//# sourceMappingURL=doc-repo.js.map