@jamesaphoenix/tx-core 0.4.2 → 0.4.4

package/dist/repo/edge-repo.js

@@ -1,227 +0,0 @@
-import { Context, Effect, Layer } from "effect";
-import { SqliteClient } from "../db.js";
-import { DatabaseError, EdgeNotFoundError } from "../errors.js";
-import { rowToEdge } from "../mappers/edge.js";
-export class EdgeRepository extends Context.Tag("EdgeRepository")() {
-}
-export const EdgeRepositoryLive = Layer.effect(EdgeRepository, Effect.gen(function* () {
-    const db = yield* SqliteClient;
-    return {
-        create: (input) => Effect.try({
-            try: () => {
-                const result = db.prepare(`INSERT INTO learning_edges
-               (edge_type, source_type, source_id, target_type, target_id, weight, metadata)
-               VALUES (?, ?, ?, ?, ?, ?, ?)`).run(input.edgeType, input.sourceType, input.sourceId, input.targetType, input.targetId, input.weight ?? 1.0, JSON.stringify(input.metadata ?? {}));
-                const row = db.prepare("SELECT * FROM learning_edges WHERE id = ?").get(result.lastInsertRowid);
-                return rowToEdge(row);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findById: (id) => Effect.try({
-            try: () => {
-                const row = db.prepare("SELECT * FROM learning_edges WHERE id = ? AND invalidated_at IS NULL").get(id);
-                return row ? rowToEdge(row) : null;
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findBySource: (sourceType, sourceId) => Effect.try({
-            try: () => {
-                const rows = db.prepare(`SELECT * FROM learning_edges
-               WHERE source_type = ? AND source_id = ? AND invalidated_at IS NULL
-               ORDER BY created_at ASC`).all(sourceType, sourceId);
-                return rows.map(rowToEdge);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findByTarget: (targetType, targetId) => Effect.try({
-            try: () => {
-                const rows = db.prepare(`SELECT * FROM learning_edges
-               WHERE target_type = ? AND target_id = ? AND invalidated_at IS NULL
-               ORDER BY created_at ASC`).all(targetType, targetId);
-                return rows.map(rowToEdge);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findByMultipleSources: (sourceType, sourceIds) => Effect.try({
-            try: () => {
-                // Return empty map for empty input
-                if (sourceIds.length === 0) {
-                    return new Map();
-                }
-                // Build IN clause with placeholders
-                const placeholders = sourceIds.map(() => "?").join(", ");
-                const rows = db.prepare(`SELECT * FROM learning_edges
-               WHERE source_type = ? AND source_id IN (${placeholders}) AND invalidated_at IS NULL
-               ORDER BY weight DESC, created_at ASC`).all(sourceType, ...sourceIds);
-                // Group edges by source_id
-                const result = new Map();
-                // Initialize all requested sourceIds with empty arrays
-                for (const sourceId of sourceIds) {
-                    result.set(sourceId, []);
-                }
-                // Populate with actual edges
-                for (const row of rows) {
-                    const edge = rowToEdge(row);
-                    const existing = result.get(row.source_id);
-                    if (existing) {
-                        existing.push(edge);
-                    }
-                }
-                return result;
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findByEdgeType: (edgeType) => Effect.try({
-            try: () => {
-                const rows = db.prepare(`SELECT * FROM learning_edges
-               WHERE edge_type = ? AND invalidated_at IS NULL
-               ORDER BY weight DESC, created_at ASC`).all(edgeType);
-                return rows.map(rowToEdge);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        countByType: () => Effect.try({
-            try: () => {
-                const rows = db.prepare(`SELECT edge_type, COUNT(*) as count FROM learning_edges
-               WHERE invalidated_at IS NULL
-               GROUP BY edge_type`).all();
-                const result = new Map();
-                for (const row of rows) {
-                    result.set(row.edge_type, row.count);
-                }
-                return result;
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findNeighbors: (nodeType, nodeId, options = {}) => Effect.try({
-            try: () => {
-                const direction = options.direction ?? "both";
-                const edgeTypes = options.edgeTypes;
-                const neighbors = [];
-                // Build edge type filter clause
-                const edgeTypeFilter = edgeTypes && edgeTypes.length > 0
-                    ? `AND edge_type IN (${edgeTypes.map(() => "?").join(", ")})`
-                    : "";
-                const edgeTypeParams = edgeTypes ?? [];
-                // Outgoing edges (this node is the source)
-                if (direction === "outgoing" || direction === "both") {
-                    const outgoingRows = db.prepare(`SELECT * FROM learning_edges
-                 WHERE source_type = ? AND source_id = ? AND invalidated_at IS NULL
-                 ${edgeTypeFilter}
-                 ORDER BY weight DESC, created_at ASC`).all(nodeType, nodeId, ...edgeTypeParams);
-                    for (const row of outgoingRows) {
-                        neighbors.push({
-                            nodeType: row.target_type,
-                            nodeId: row.target_id,
-                            edgeType: row.edge_type,
-                            weight: row.weight,
-                            direction: "outgoing"
-                        });
-                    }
-                }
-                // Incoming edges (this node is the target)
-                if (direction === "incoming" || direction === "both") {
-                    const incomingRows = db.prepare(`SELECT * FROM learning_edges
-                 WHERE target_type = ? AND target_id = ? AND invalidated_at IS NULL
-                 ${edgeTypeFilter}
-                 ORDER BY weight DESC, created_at ASC`).all(nodeType, nodeId, ...edgeTypeParams);
-                    for (const row of incomingRows) {
-                        neighbors.push({
-                            nodeType: row.source_type,
-                            nodeId: row.source_id,
-                            edgeType: row.edge_type,
-                            weight: row.weight,
-                            direction: "incoming"
-                        });
-                    }
-                }
-                return neighbors;
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        findPath: (fromType, fromId, toType, toId, maxDepth = 5) => Effect.try({
-            try: () => {
-                // BFS for shortest path
-                const visited = new Set([`${fromType}:${fromId}`]);
-                let frontier = [{ type: fromType, id: fromId, path: [] }];
-                for (let depth = 0; depth < maxDepth; depth++) {
-                    const nextFrontier = [];
-                    for (const { type, id, path } of frontier) {
-                        // Get outgoing edges
-                        const rows = db.prepare(`SELECT * FROM learning_edges
-                   WHERE source_type = ? AND source_id = ? AND invalidated_at IS NULL`).all(type, id);
-                        for (const row of rows) {
-                            const edge = rowToEdge(row);
-                            // Found target
-                            if (row.target_type === toType && row.target_id === toId) {
-                                return [...path, edge];
-                            }
-                            const key = `${row.target_type}:${row.target_id}`;
-                            if (!visited.has(key)) {
-                                visited.add(key);
-                                nextFrontier.push({
-                                    type: row.target_type,
-                                    id: row.target_id,
-                                    path: [...path, edge]
-                                });
-                            }
-                        }
-                    }
-                    frontier = nextFrontier;
-                    if (frontier.length === 0)
-                        break;
-                }
-                return null; // No path found
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        update: (id, input) => Effect.try({
-            try: () => {
-                const updates = [];
-                const values = [];
-                if (input.weight !== undefined) {
-                    updates.push("weight = ?");
-                    values.push(input.weight);
-                }
-                if (input.metadata !== undefined) {
-                    updates.push("metadata = ?");
-                    values.push(JSON.stringify(input.metadata));
-                }
-                if (updates.length === 0) {
-                    const row = db.prepare("SELECT * FROM learning_edges WHERE id = ? AND invalidated_at IS NULL").get(id);
-                    return row ? rowToEdge(row) : null;
-                }
-                values.push(id);
-                const result = db.prepare(`UPDATE learning_edges SET ${updates.join(", ")} WHERE id = ? AND invalidated_at IS NULL`).run(...values);
-                if (result.changes === 0) {
-                    return null;
-                }
-                const row = db.prepare("SELECT * FROM learning_edges WHERE id = ?").get(id);
-                return rowToEdge(row);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        }),
-        invalidate: (id) => Effect.try({
-            try: () => {
-                const result = db.prepare("UPDATE learning_edges SET invalidated_at = datetime('now') WHERE id = ? AND invalidated_at IS NULL").run(id);
-                if (result.changes === 0) {
-                    throw new EdgeNotFoundError({ id });
-                }
-                return true;
-            },
-            catch: (cause) => {
-                if (cause instanceof EdgeNotFoundError)
-                    throw cause;
-                throw new DatabaseError({ cause });
-            }
-        }),
-        findAll: () => Effect.try({
-            try: () => {
-                const rows = db.prepare("SELECT * FROM learning_edges WHERE invalidated_at IS NULL ORDER BY created_at ASC").all();
-                return rows.map(rowToEdge);
-            },
-            catch: (cause) => new DatabaseError({ cause })
-        })
-    };
-}));
-//# sourceMappingURL=edge-repo.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"edge-repo.js","sourceRoot":"","sources":["../../src/repo/edge-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,iBAAiB,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAW9C,MAAM,OAAO,cAAe,SAAQ,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EA6B9D;CAAG;AAEN,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,CAAC,MAAM,CAC5C,cAAc,EACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,YAAY,CAAA;IAE9B,OAAO;QACL,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB;;4CAE8B,CAC/B,CAAC,GAAG,CACH,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,MAAM,IAAI,GAAG,EACnB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CACrC,CAAA;gBACD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAY,CAAA;gBAC1G,OAAO,SAAS,CAAC,GAAG,CAAC,CAAA;YACvB,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CACf,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,sEAAsE,CACvE,CAAC,GAAG,CAAC,EAAE,CAAwB,CAAA;gBAChC,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YACpC,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,YAAY,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;;uCAEyB,CAC1B,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAc,CAAA;gBACxC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,YAAY,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;;uCAEyB,CAC1B,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAc,CAAA;gBACxC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5B,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,SAAS,EAAE,EAAE,CAC/C,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,mCAAmC;gBACnC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,OAAO,IAAI,GAAG,EAA2B,CAAA;gBAC3C,CAAC;gBAED,oCAAoC;gBACpC,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACxD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;yDAC2C,YAAY;oDACjB,CACvC,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,SAAS,CAAc,CAAA;gBAE5C,2BAA2B;gBAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;gBAExC,uDAAuD;gBACvD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;oBACjC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;gBAC1B,CAAC;gBAED,6BAA6B;gBAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;oBAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBAC1C,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBACrB,CAAC;gBACH,CAAC;gBAED,OAAO,MAA8C,CAAA;YACvD,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;;oDAEsC,CACvC,CAAC,GAAG,CAAC,QAAQ,CAAc,CAAA;gBAC5B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,WAAW,EAAE,GAAG,EAAE,CAChB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;;kCAEoB,CACrB,CAAC,GAAG,EAAiD,CAAA;gBAEtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;gBAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAqB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;gBAClD,CAAC;gBACD,OAAO,MAAuC,CAAA;YAChD,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAA;gBAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;gBACnC,MAAM,SAAS,GAAmB,EAAE,CAAA;gBAEpC,gCAAgC;gBAChC,MAAM,cAAc,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;oBACtD,CAAC,CAAC,qBAAqB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBAC7D,CAAC,CAAC,EAAE,CAAA;gBACN,MAAM,cAAc,GAAG,SAAS,IAAI,EAAE,CAAA;gBAEtC,2CAA2C;gBAC3C,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;oBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAC7B;;mBAEG,cAAc;sDACqB,CACvC,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAAc,CAAA;oBAEvD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;wBAC/B,SAAS,CAAC,IAAI,CAAC;4BACb,QAAQ,EAAE,GAAG,CAAC,WAAuB;4BACrC,MAAM,EAAE,GAAG,CAAC,SAAS;4BACrB,QAAQ,EAAE,GAAG,CAAC,SAAqB;4BACnC,MAAM,EAAE,GAAG,CAAC,MAAM;4BAClB,SAAS,EAAE,UAAU;yBACtB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBAED,2CAA2C;gBAC3C,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;oBACrD,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAC7B;;mBAEG,cAAc;sDACqB,CACvC,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAAc,CAAA;oBAEvD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;wBAC/B,SAAS,CAAC,IAAI,CAAC;4BACb,QAAQ,EAAE,GAAG,CAAC,WAAuB;4BACrC,MAAM,EAAE,GAAG,CAAC,SAAS;4BACrB,QAAQ,EAAE,GAAG,CAAC,SAAqB;4BACnC,MAAM,EAAE,GAAG,CAAC,MAAM;4BAClB,SAAS,EAAE,UAAU;yBACtB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBAED,OAAO,SAAS,CAAA;YAClB,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,CAAC,EAAE,EAAE,CACzD,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,wBAAwB;gBACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,IAAI,MAAM,EAAE,CAAC,CAAC,CAAA;gBAM1D,IAAI,QAAQ,GAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;gBAErE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC9C,MAAM,YAAY,GAAe,EAAE,CAAA;oBAEnC,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,QAAQ,EAAE,CAAC;wBAC1C,qBAAqB;wBACrB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;sFACoE,CACrE,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAc,CAAA;wBAE5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;4BACvB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;4BAE3B,eAAe;4BACf,IAAI,GAAG,CAAC,WAAW,KAAK,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gCACzD,OAAO,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAA;4BACxB,CAAC;4BAED,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,SAAS,EAAE,CAAA;4BACjD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gCACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gCAChB,YAAY,CAAC,IAAI,CAAC;oCAChB,IAAI,EAAE,GAAG,CAAC,WAAuB;oCACjC,EAAE,EAAE,GAAG,CAAC,SAAS;oCACjB,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC;iCACtB,CAAC,CAAA;4BACJ,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,QAAQ,GAAG,YAAY,CAAA;oBACvB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;wBAAE,MAAK;gBAClC,CAAC;gBAED,OAAO,IAAI,CAAA,CAAC,gBAAgB;YAC9B,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CACpB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,OAAO,GAAa,EAAE,CAAA;gBAC5B,MAAM,MAAM,GAAc,EAAE,CAAA;gBAE5B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC/B,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;oBAC1B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;gBAC3B,CAAC;gBACD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACjC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;oBAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAA;gBAC7C,CAAC;gBAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACzB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,sEAAsE,CACvE,CAAC,GAAG,CAAC,EAAE,CAAwB,CAAA;oBAChC,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACpC,CAAC;gBAED,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACf,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,6BAA6B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAC1F,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;gBAEhB,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;oBACzB,OAAO,IAAI,CAAA;gBACb,CAAC;gBAED,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC,GAAG,CAAC,EAAE,CAAY,CAAA;gBACtF,OAAO,SAAS,CAAC,GAAG,CAAC,CAAA;YACvB,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC;SAC/C,CAAC;QAEJ,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,oGAAoG,CACrG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACT,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;oBACzB,MAAM,IAAI,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;gBACrC,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;YACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;gBACf,IAAI,KAAK,YAAY,iBAAiB;oBAAE,MAAM,KAAK,CAAA;gBACnD,MAAM,IAAI,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;YACpC,CAAC;SACF,CAAC;QAEJ,OAAO,EAAE,GAAG,EAAE,CACZ,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,mFAAmF,CACpF,CAAC,GAAG,EAAe,CAAA;gBACpB,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAC5B,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"}

package/dist/services/anchor-service.d.ts

@@ -1,147 +0,0 @@
-import { Context, Effect, Layer } from "effect";
-import { AnchorRepository } from "../repo/anchor-repo.js";
-import { LearningRepository } from "../repo/learning-repo.js";
-import { AnchorNotFoundError, ValidationError, DatabaseError, LearningNotFoundError } from "../errors.js";
-import type { Anchor, AnchorWithFreshness, AnchorStatus, AnchorType, InvalidationLog, InvalidationSource } from "@jamesaphoenix/tx-types";
-/** Verification result for an anchor */
-export interface AnchorVerificationResult {
-    readonly anchorId: number;
-    readonly previousStatus: AnchorStatus;
-    readonly newStatus: AnchorStatus;
-    readonly verified: boolean;
-    readonly reason?: string;
-}
-/** Result of batch verification */
-export interface BatchVerificationResult {
-    readonly total: number;
-    readonly verified: number;
-    readonly drifted: number;
-    readonly invalid: number;
-}
-/** Graph status summary */
-export interface GraphStatusResult {
-    readonly total: number;
-    readonly valid: number;
-    readonly drifted: number;
-    readonly invalid: number;
-    readonly pinned: number;
-    readonly recentInvalidations: readonly InvalidationLog[];
-}
-/** Prune result */
-export interface PruneResult {
-    readonly deleted: number;
-}
-/** Anchor input with type-specific validation */
-export interface TypedAnchorInput {
-    readonly learningId: number;
-    readonly anchorType: AnchorType;
-    readonly filePath: string;
-    /** Value depends on type: glob pattern, content hash, symbol FQName, or line range string */
-    readonly value: string;
-    /** Symbol fully-qualified name (for symbol anchors) */
-    readonly symbolFqname?: string;
-    /** Start line (for line_range anchors) */
-    readonly lineStart?: number;
-    /** End line (for line_range anchors) */
-    readonly lineEnd?: number;
-    /** Content hash for verification */
-    readonly contentHash?: string;
-    /** Content preview for self-healing comparison (max ~500 chars) */
-    readonly contentPreview?: string;
-}
-declare const AnchorService_base: Context.TagClass<AnchorService, "AnchorService", {
-    /**
-     * Create an anchor with type-specific validation.
-     * Supports: glob, hash, symbol, line_range
-     */
-    readonly createAnchor: (input: TypedAnchorInput) => Effect.Effect<Anchor, ValidationError | LearningNotFoundError | DatabaseError>;
-    /**
-     * Verify an anchor's validity.
-     * Checks if the file/content still matches what the anchor references.
-     */
-    readonly verifyAnchor: (anchorId: number) => Effect.Effect<AnchorVerificationResult, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Update an anchor's status (valid, drifted, invalid).
-     */
-    readonly updateAnchorStatus: (anchorId: number, status: AnchorStatus, reason?: string, detectedBy?: InvalidationSource) => Effect.Effect<Anchor, AnchorNotFoundError | ValidationError | DatabaseError>;
-    /**
-     * Log a status change for an anchor.
-     * Creates an entry in the invalidation_log table.
-     */
-    readonly logStatusChange: (anchorId: number, oldStatus: AnchorStatus, newStatus: AnchorStatus, reason: string, detectedBy?: InvalidationSource, oldHash?: string | null, newHash?: string | null, similarity?: number | null) => Effect.Effect<InvalidationLog, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Find all anchors for a given file path.
-     */
-    readonly findAnchorsForFile: (filePath: string) => Effect.Effect<readonly Anchor[], DatabaseError>;
-    /**
-     * Find all anchors for a learning.
-     */
-    readonly findAnchorsForLearning: (learningId: number) => Effect.Effect<readonly Anchor[], DatabaseError>;
-    /**
-     * Get an anchor by ID.
-     */
-    readonly get: (id: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Get an anchor with lazy verification.
-     * If anchor is stale (verified_at > now - TTL), runs verification first.
-     * Returns anchor with freshness information.
-     */
-    readonly getWithVerification: (id: number, options?: {
-        baseDir?: string;
-    }) => Effect.Effect<AnchorWithFreshness, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Soft delete an anchor (set status='invalid' and log the change).
-     * Use hardDelete for actual removal.
-     */
-    readonly remove: (id: number, reason?: string) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Hard delete an anchor (actual removal from database).
-     * Used by prune operations. Prefer soft delete via remove().
-     */
-    readonly hardDelete: (id: number) => Effect.Effect<void, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Find all drifted anchors.
-     */
-    readonly findDrifted: () => Effect.Effect<readonly Anchor[], DatabaseError>;
-    /**
-     * Find all invalid anchors.
-     */
-    readonly findInvalid: () => Effect.Effect<readonly Anchor[], DatabaseError>;
-    /**
-     * Verify all anchors for a file (batch operation).
-     */
-    readonly verifyAnchorsForFile: (filePath: string) => Effect.Effect<BatchVerificationResult, DatabaseError>;
-    /**
-     * Pin an anchor (prevents auto-invalidation).
-     */
-    readonly pin: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Unpin an anchor.
-     */
-    readonly unpin: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Manually invalidate an anchor with a reason.
-     */
-    readonly invalidate: (anchorId: number, reason: string, detectedBy?: InvalidationSource) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Restore a soft-deleted (invalid) anchor to valid status.
-     */
-    readonly restore: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
-    /**
-     * Hard delete old invalid anchors.
-     */
-    readonly prune: (olderThanDays: number) => Effect.Effect<PruneResult, DatabaseError>;
-    /**
-     * Get graph status summary.
-     */
-    readonly getStatus: () => Effect.Effect<GraphStatusResult, DatabaseError>;
-    /**
-     * Verify all anchors (batch operation).
-     */
-    readonly verifyAll: () => Effect.Effect<BatchVerificationResult, DatabaseError>;
-}>;
-export declare class AnchorService extends AnchorService_base {
-}
-export declare const AnchorServiceLive: Layer.Layer<AnchorService, never, LearningRepository | AnchorRepository>;
-export {};
-//# sourceMappingURL=anchor-service.d.ts.map

package/dist/services/anchor-service.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"anchor-service.d.ts","sourceRoot":"","sources":["../../src/services/anchor-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AAEzG,OAAO,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,YAAY,EAAqB,UAAU,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE5J,wCAAwC;AACxC,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,mCAAmC;AACnC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,mBAAmB,EAAE,SAAS,eAAe,EAAE,CAAA;CACzD;AAED,mBAAmB;AACnB,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,iDAAiD;AACjD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,uDAAuD;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,wCAAwC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,oCAAoC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CACjC;;IAQG;;;OAGG;2BACoB,CAAC,KAAK,EAAE,gBAAgB,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,GAAG,qBAAqB,GAAG,aAAa,CAAC;IAElI;;;OAGG;2BACoB,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAEzH;;OAEG;iCAC0B,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,kBAAkB,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,eAAe,GAAG,aAAa,CAAC;IAEvM;;;OAGG;8BACuB,CACxB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,YAAY,EACvB,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE,MAAM,EACd,UAAU,CAAC,EAAE,kBAAkB,EAC/B,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,EACvB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,KACvB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAExE;;OAEG;iCAC0B,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC;IAElG;;OAEG;qCAC8B,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC;IAExG;;OAEG;kBACW,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAExF;;;;OAIG;kCAC2B,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAErJ;;;OAGG;qBACc,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAE5G;;;OAGG;yBACkB,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAE7F;;OAEG;0BACmB,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC;IAE3E;;OAEG;0BACmB,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,EAAE,aAAa,CAAC;IAE3E;;OAEG;mCAC4B,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;IAE1G;;OAEG;kBACW,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAE9F;;OAEG;oBACa,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAEhG;;OAEG;yBACkB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,kBAAkB,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAEtJ;;OAEG;sBACe,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,aAAa,CAAC;IAElG;;OAEG;oBACa,CAAC,aAAa,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;IAEpF;;OAEG;wBACiB,MAAM,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAEzE;;OAEG;wBACiB,MAAM,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,aAAa,CAAC;;AArHnF,qBAAa,aAAc,SAAQ,kBAuHhC;CAAG;AA6IN,eAAO,MAAM,iBAAiB,0EAgf7B,CAAA"}