@jamesaphoenix/tx-core 0.4.3 → 0.4.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/db.d.ts.map +1 -1
- package/dist/db.js +8 -2
- package/dist/db.js.map +1 -1
- package/dist/layer.d.ts +3 -3
- package/dist/services/auto-sync-service.d.ts +1 -1
- package/dist/services/cycle-scan-service.d.ts.map +1 -1
- package/dist/services/cycle-scan-service.js +6 -2
- package/dist/services/cycle-scan-service.js.map +1 -1
- package/dist/services/learning-service.d.ts +1 -1
- package/dist/services/orchestrator-service.d.ts +1 -1
- package/dist/services/orchestrator-service.d.ts.map +1 -1
- package/dist/services/orchestrator-service.js +14 -13
- package/dist/services/orchestrator-service.js.map +1 -1
- package/dist/services/retriever-service.d.ts +2 -2
- package/dist/services/sync-service.d.ts.map +1 -1
- package/dist/services/sync-service.js +9 -8
- package/dist/services/sync-service.js.map +1 -1
- package/dist/services/task-service.d.ts.map +1 -1
- package/dist/services/task-service.js +3 -2
- package/dist/services/task-service.js.map +1 -1
- package/dist/services/worker-process.d.ts +1 -1
- package/dist/services/worker-process.d.ts.map +1 -1
- package/dist/services/worker-process.js +9 -2
- package/dist/services/worker-process.js.map +1 -1
- package/dist/worker/run-worker.d.ts +1 -1
- package/package.json +1 -1
- package/dist/mappers/anchor.d.ts +0 -28
- package/dist/mappers/anchor.d.ts.map +0 -1
- package/dist/mappers/anchor.js +0 -105
- package/dist/mappers/anchor.js.map +0 -1
- package/dist/mappers/candidate.d.ts +0 -25
- package/dist/mappers/candidate.d.ts.map +0 -1
- package/dist/mappers/candidate.js +0 -83
- package/dist/mappers/candidate.js.map +0 -1
- package/dist/mappers/edge.d.ts +0 -19
- package/dist/mappers/edge.d.ts.map +0 -1
- package/dist/mappers/edge.js +0 -81
- package/dist/mappers/edge.js.map +0 -1
- package/dist/repo/anchor-repo.d.ts +0 -52
- package/dist/repo/anchor-repo.d.ts.map +0 -1
- package/dist/repo/anchor-repo.js +0 -245
- package/dist/repo/anchor-repo.js.map +0 -1
- package/dist/repo/candidate-repo.d.ts +0 -16
- package/dist/repo/candidate-repo.d.ts.map +0 -1
- package/dist/repo/candidate-repo.js +0 -164
- package/dist/repo/candidate-repo.js.map +0 -1
- package/dist/repo/compaction-repo.d.ts +0 -41
- package/dist/repo/compaction-repo.d.ts.map +0 -1
- package/dist/repo/compaction-repo.js +0 -84
- package/dist/repo/compaction-repo.js.map +0 -1
- package/dist/repo/edge-repo.d.ts +0 -26
- package/dist/repo/edge-repo.d.ts.map +0 -1
- package/dist/repo/edge-repo.js +0 -258
- package/dist/repo/edge-repo.js.map +0 -1
- package/dist/services/anchor-service.d.ts +0 -147
- package/dist/services/anchor-service.d.ts.map +0 -1
- package/dist/services/anchor-service.js +0 -540
- package/dist/services/anchor-service.js.map +0 -1
- package/dist/services/anchor-verification.d.ts +0 -102
- package/dist/services/anchor-verification.d.ts.map +0 -1
- package/dist/services/anchor-verification.js +0 -817
- package/dist/services/anchor-verification.js.map +0 -1
- package/dist/services/ast-grep-service.d.ts +0 -58
- package/dist/services/ast-grep-service.d.ts.map +0 -1
- package/dist/services/ast-grep-service.js +0 -427
- package/dist/services/ast-grep-service.js.map +0 -1
- package/dist/services/candidate-extractor-service.d.ts +0 -56
- package/dist/services/candidate-extractor-service.d.ts.map +0 -1
- package/dist/services/candidate-extractor-service.js +0 -365
- package/dist/services/candidate-extractor-service.js.map +0 -1
- package/dist/services/compaction-service.d.ts +0 -105
- package/dist/services/compaction-service.d.ts.map +0 -1
- package/dist/services/compaction-service.js +0 -369
- package/dist/services/compaction-service.js.map +0 -1
- package/dist/services/edge-service.d.ts +0 -78
- package/dist/services/edge-service.d.ts.map +0 -1
- package/dist/services/edge-service.js +0 -158
- package/dist/services/edge-service.js.map +0 -1
- package/dist/services/feedback-tracker.d.ts +0 -64
- package/dist/services/feedback-tracker.d.ts.map +0 -1
- package/dist/services/feedback-tracker.js +0 -110
- package/dist/services/feedback-tracker.js.map +0 -1
- package/dist/services/graph-expansion.d.ts +0 -158
- package/dist/services/graph-expansion.d.ts.map +0 -1
- package/dist/services/graph-expansion.js +0 -487
- package/dist/services/graph-expansion.js.map +0 -1
- package/dist/services/promotion-service.d.ts +0 -67
- package/dist/services/promotion-service.d.ts.map +0 -1
- package/dist/services/promotion-service.js +0 -151
- package/dist/services/promotion-service.js.map +0 -1
- package/dist/services/swarm-verification.d.ts +0 -104
- package/dist/services/swarm-verification.d.ts.map +0 -1
- package/dist/services/swarm-verification.js +0 -406
- package/dist/services/swarm-verification.js.map +0 -1
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"edge-repo.d.ts","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,EAAoB,MAAM,cAAc,CAAA;AAGjF,OAAO,KAAK,EACV,IAAI,EAEJ,QAAQ,EACR,QAAQ,EACR,eAAe,EACf,eAAe,EACf,YAAY,EACb,MAAM,yBAAyB,CAAA;;qBAKX,CAAC,KAAK,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC;uBAC5D,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,EAAE,aAAa,CAAC;2BACrD,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;2BACzF,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;oCAChF,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC,EAAE,aAAa,CAAC;6BACjI,CAAC,QAAQ,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;0BACxE,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC;4BAC/D,CACtB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE;QACR,SAAS,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,MAAM,CAAA;QAC5C,SAAS,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAA;KAChC,KACE,MAAM,CAAC,MAAM,CAAC,SAAS,YAAY,EAAE,EAAE,aAAa,CAAC;uBACvC,CACjB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,QAAQ,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,GAAG,IAAI,EAAE,aAAa,CAAC;qBACxC,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,EAAE,aAAa,CAAC;yBAC7E,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,GAAG,aAAa,CAAC;sBAC5E,CAAC,KAAK,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,CAAC;;AA3BvF,qBAAa,cAAe,SAAQ,mBA6BjC;CAAG;AAEN,eAAO,MAAM,kBAAkB,kDA2U9B,CAAA"}
|
package/dist/repo/edge-repo.js
DELETED
|
@@ -1,258 +0,0 @@
|
|
|
1
|
-
import { Context, Effect, Layer } from "effect";
|
|
2
|
-
import { SqliteClient } from "../db.js";
|
|
3
|
-
import { DatabaseError, EdgeNotFoundError, EntityFetchError } from "../errors.js";
|
|
4
|
-
import { rowToEdge } from "../mappers/edge.js";
|
|
5
|
-
import { DEFAULT_QUERY_LIMIT } from "../utils/sql.js";
|
|
6
|
-
export class EdgeRepository extends Context.Tag("EdgeRepository")() {
|
|
7
|
-
}
|
|
8
|
-
export const EdgeRepositoryLive = Layer.effect(EdgeRepository, Effect.gen(function* () {
|
|
9
|
-
const db = yield* SqliteClient;
|
|
10
|
-
return {
|
|
11
|
-
create: (input) => Effect.try({
|
|
12
|
-
try: () => {
|
|
13
|
-
const result = db.prepare(`INSERT INTO learning_edges
|
|
14
|
-
(edge_type, source_type, source_id, target_type, target_id, weight, metadata)
|
|
15
|
-
VALUES (?, ?, ?, ?, ?, ?, ?)`).run(input.edgeType, input.sourceType, input.sourceId, input.targetType, input.targetId, input.weight ?? 1.0, JSON.stringify(input.metadata ?? {}));
|
|
16
|
-
const row = db.prepare("SELECT * FROM learning_edges WHERE id = ?").get(result.lastInsertRowid);
|
|
17
|
-
if (!row) {
|
|
18
|
-
throw new EntityFetchError({
|
|
19
|
-
entity: "edge",
|
|
20
|
-
id: result.lastInsertRowid,
|
|
21
|
-
operation: "insert"
|
|
22
|
-
});
|
|
23
|
-
}
|
|
24
|
-
return rowToEdge(row);
|
|
25
|
-
},
|
|
26
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
27
|
-
}),
|
|
28
|
-
findById: (id) => Effect.try({
|
|
29
|
-
try: () => {
|
|
30
|
-
const row = db.prepare("SELECT * FROM learning_edges WHERE id = ? AND invalidated_at IS NULL").get(id);
|
|
31
|
-
return row ? rowToEdge(row) : null;
|
|
32
|
-
},
|
|
33
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
34
|
-
}),
|
|
35
|
-
findBySource: (sourceType, sourceId) => Effect.try({
|
|
36
|
-
try: () => {
|
|
37
|
-
const rows = db.prepare(`SELECT * FROM learning_edges
|
|
38
|
-
WHERE source_type = ? AND source_id = ? AND invalidated_at IS NULL
|
|
39
|
-
ORDER BY created_at ASC`).all(sourceType, sourceId);
|
|
40
|
-
return rows.map(rowToEdge);
|
|
41
|
-
},
|
|
42
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
43
|
-
}),
|
|
44
|
-
findByTarget: (targetType, targetId) => Effect.try({
|
|
45
|
-
try: () => {
|
|
46
|
-
const rows = db.prepare(`SELECT * FROM learning_edges
|
|
47
|
-
WHERE target_type = ? AND target_id = ? AND invalidated_at IS NULL
|
|
48
|
-
ORDER BY created_at ASC`).all(targetType, targetId);
|
|
49
|
-
return rows.map(rowToEdge);
|
|
50
|
-
},
|
|
51
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
52
|
-
}),
|
|
53
|
-
findByMultipleSources: (sourceType, sourceIds) => Effect.try({
|
|
54
|
-
try: () => {
|
|
55
|
-
// Return empty map for empty input
|
|
56
|
-
if (sourceIds.length === 0) {
|
|
57
|
-
return new Map();
|
|
58
|
-
}
|
|
59
|
-
// Build IN clause with placeholders
|
|
60
|
-
const placeholders = sourceIds.map(() => "?").join(", ");
|
|
61
|
-
const rows = db.prepare(`SELECT * FROM learning_edges
|
|
62
|
-
WHERE source_type = ? AND source_id IN (${placeholders}) AND invalidated_at IS NULL
|
|
63
|
-
ORDER BY weight DESC, created_at ASC`).all(sourceType, ...sourceIds);
|
|
64
|
-
// Group edges by source_id
|
|
65
|
-
const result = new Map();
|
|
66
|
-
// Initialize all requested sourceIds with empty arrays
|
|
67
|
-
for (const sourceId of sourceIds) {
|
|
68
|
-
result.set(sourceId, []);
|
|
69
|
-
}
|
|
70
|
-
// Populate with actual edges
|
|
71
|
-
for (const row of rows) {
|
|
72
|
-
const edge = rowToEdge(row);
|
|
73
|
-
const existing = result.get(row.source_id);
|
|
74
|
-
if (existing) {
|
|
75
|
-
existing.push(edge);
|
|
76
|
-
}
|
|
77
|
-
}
|
|
78
|
-
return result;
|
|
79
|
-
},
|
|
80
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
81
|
-
}),
|
|
82
|
-
findByEdgeType: (edgeType) => Effect.try({
|
|
83
|
-
try: () => {
|
|
84
|
-
const rows = db.prepare(`SELECT * FROM learning_edges
|
|
85
|
-
WHERE edge_type = ? AND invalidated_at IS NULL
|
|
86
|
-
ORDER BY weight DESC, created_at ASC`).all(edgeType);
|
|
87
|
-
return rows.map(rowToEdge);
|
|
88
|
-
},
|
|
89
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
90
|
-
}),
|
|
91
|
-
countByType: () => Effect.try({
|
|
92
|
-
try: () => {
|
|
93
|
-
const rows = db.prepare(`SELECT edge_type, COUNT(*) as count FROM learning_edges
|
|
94
|
-
WHERE invalidated_at IS NULL
|
|
95
|
-
GROUP BY edge_type`).all();
|
|
96
|
-
const result = new Map();
|
|
97
|
-
for (const row of rows) {
|
|
98
|
-
result.set(row.edge_type, row.count);
|
|
99
|
-
}
|
|
100
|
-
return result;
|
|
101
|
-
},
|
|
102
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
103
|
-
}),
|
|
104
|
-
findNeighbors: (nodeType, nodeId, options = {}) => Effect.try({
|
|
105
|
-
try: () => {
|
|
106
|
-
const direction = options.direction ?? "both";
|
|
107
|
-
const edgeTypes = options.edgeTypes;
|
|
108
|
-
const neighbors = [];
|
|
109
|
-
// Build edge type filter clause
|
|
110
|
-
const edgeTypeFilter = edgeTypes && edgeTypes.length > 0
|
|
111
|
-
? `AND edge_type IN (${edgeTypes.map(() => "?").join(", ")})`
|
|
112
|
-
: "";
|
|
113
|
-
const edgeTypeParams = edgeTypes ?? [];
|
|
114
|
-
// Outgoing edges (this node is the source)
|
|
115
|
-
if (direction === "outgoing" || direction === "both") {
|
|
116
|
-
const outgoingRows = db.prepare(`SELECT * FROM learning_edges
|
|
117
|
-
WHERE source_type = ? AND source_id = ? AND invalidated_at IS NULL
|
|
118
|
-
${edgeTypeFilter}
|
|
119
|
-
ORDER BY weight DESC, created_at ASC`).all(nodeType, nodeId, ...edgeTypeParams);
|
|
120
|
-
for (const row of outgoingRows) {
|
|
121
|
-
neighbors.push({
|
|
122
|
-
nodeType: row.target_type,
|
|
123
|
-
nodeId: row.target_id,
|
|
124
|
-
edgeType: row.edge_type,
|
|
125
|
-
weight: row.weight,
|
|
126
|
-
direction: "outgoing"
|
|
127
|
-
});
|
|
128
|
-
}
|
|
129
|
-
}
|
|
130
|
-
// Incoming edges (this node is the target)
|
|
131
|
-
if (direction === "incoming" || direction === "both") {
|
|
132
|
-
const incomingRows = db.prepare(`SELECT * FROM learning_edges
|
|
133
|
-
WHERE target_type = ? AND target_id = ? AND invalidated_at IS NULL
|
|
134
|
-
${edgeTypeFilter}
|
|
135
|
-
ORDER BY weight DESC, created_at ASC`).all(nodeType, nodeId, ...edgeTypeParams);
|
|
136
|
-
for (const row of incomingRows) {
|
|
137
|
-
neighbors.push({
|
|
138
|
-
nodeType: row.source_type,
|
|
139
|
-
nodeId: row.source_id,
|
|
140
|
-
edgeType: row.edge_type,
|
|
141
|
-
weight: row.weight,
|
|
142
|
-
direction: "incoming"
|
|
143
|
-
});
|
|
144
|
-
}
|
|
145
|
-
}
|
|
146
|
-
return neighbors;
|
|
147
|
-
},
|
|
148
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
149
|
-
}),
|
|
150
|
-
findPath: (fromType, fromId, toType, toId, maxDepth = 5) => Effect.try({
|
|
151
|
-
try: () => {
|
|
152
|
-
// Recursive CTE performs BFS in a single query (eliminates N+1 pattern)
|
|
153
|
-
// Uses UNION ALL with delimiter-based visited tracking to prevent cycles
|
|
154
|
-
// Similar pattern to hasPath CTE in dep-repo.ts
|
|
155
|
-
const result = db.prepare(`
|
|
156
|
-
WITH RECURSIVE bfs(node_type, node_id, depth, edge_path, visited) AS (
|
|
157
|
-
-- Base case: starting node at depth 0
|
|
158
|
-
SELECT ?, ?, 0, '',
|
|
159
|
-
'|' || ? || ':' || ? || '|'
|
|
160
|
-
|
|
161
|
-
UNION ALL
|
|
162
|
-
|
|
163
|
-
-- Recursive case: follow outgoing edges from current frontier
|
|
164
|
-
SELECT
|
|
165
|
-
e.target_type,
|
|
166
|
-
e.target_id,
|
|
167
|
-
b.depth + 1,
|
|
168
|
-
CASE WHEN b.edge_path = ''
|
|
169
|
-
THEN CAST(e.id AS TEXT)
|
|
170
|
-
ELSE b.edge_path || ',' || CAST(e.id AS TEXT)
|
|
171
|
-
END,
|
|
172
|
-
b.visited || e.target_type || ':' || e.target_id || '|'
|
|
173
|
-
FROM learning_edges e
|
|
174
|
-
JOIN bfs b ON e.source_type = b.node_type
|
|
175
|
-
AND e.source_id = b.node_id
|
|
176
|
-
WHERE e.invalidated_at IS NULL
|
|
177
|
-
AND b.depth < ?
|
|
178
|
-
AND instr(b.visited, '|' || e.target_type || ':' || e.target_id || '|') = 0
|
|
179
|
-
)
|
|
180
|
-
SELECT edge_path FROM bfs
|
|
181
|
-
WHERE node_type = ? AND node_id = ?
|
|
182
|
-
AND edge_path != ''
|
|
183
|
-
ORDER BY depth ASC
|
|
184
|
-
LIMIT 1
|
|
185
|
-
`).get(fromType, fromId, // CTE base: starting node
|
|
186
|
-
fromType, fromId, // CTE base: initial visited set
|
|
187
|
-
maxDepth, // depth limit
|
|
188
|
-
toType, toId // final filter: target node
|
|
189
|
-
);
|
|
190
|
-
if (!result)
|
|
191
|
-
return null;
|
|
192
|
-
// Fetch full edge objects in a single query
|
|
193
|
-
const edgeIds = result.edge_path.split(',').map(Number);
|
|
194
|
-
const placeholders = edgeIds.map(() => '?').join(', ');
|
|
195
|
-
const edgeRows = db.prepare(`SELECT * FROM learning_edges WHERE id IN (${placeholders})`).all(...edgeIds);
|
|
196
|
-
// Maintain path order from CTE traversal
|
|
197
|
-
const edgeMap = new Map(edgeRows.map(row => [row.id, rowToEdge(row)]));
|
|
198
|
-
return edgeIds.map(id => edgeMap.get(id)).filter((e) => e != null);
|
|
199
|
-
},
|
|
200
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
201
|
-
}),
|
|
202
|
-
update: (id, input) => Effect.try({
|
|
203
|
-
try: () => {
|
|
204
|
-
const updates = [];
|
|
205
|
-
const values = [];
|
|
206
|
-
if (input.weight !== undefined) {
|
|
207
|
-
updates.push("weight = ?");
|
|
208
|
-
values.push(input.weight);
|
|
209
|
-
}
|
|
210
|
-
if (input.metadata !== undefined) {
|
|
211
|
-
updates.push("metadata = ?");
|
|
212
|
-
values.push(JSON.stringify(input.metadata));
|
|
213
|
-
}
|
|
214
|
-
if (updates.length === 0) {
|
|
215
|
-
const row = db.prepare("SELECT * FROM learning_edges WHERE id = ? AND invalidated_at IS NULL").get(id);
|
|
216
|
-
return row ? rowToEdge(row) : null;
|
|
217
|
-
}
|
|
218
|
-
values.push(id);
|
|
219
|
-
const result = db.prepare(`UPDATE learning_edges SET ${updates.join(", ")} WHERE id = ? AND invalidated_at IS NULL`).run(...values);
|
|
220
|
-
if (result.changes === 0) {
|
|
221
|
-
return null;
|
|
222
|
-
}
|
|
223
|
-
const row = db.prepare("SELECT * FROM learning_edges WHERE id = ?").get(id);
|
|
224
|
-
if (!row) {
|
|
225
|
-
throw new EntityFetchError({
|
|
226
|
-
entity: "edge",
|
|
227
|
-
id,
|
|
228
|
-
operation: "update"
|
|
229
|
-
});
|
|
230
|
-
}
|
|
231
|
-
return rowToEdge(row);
|
|
232
|
-
},
|
|
233
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
234
|
-
}),
|
|
235
|
-
invalidate: (id) => Effect.try({
|
|
236
|
-
try: () => {
|
|
237
|
-
const result = db.prepare("UPDATE learning_edges SET invalidated_at = datetime('now') WHERE id = ? AND invalidated_at IS NULL").run(id);
|
|
238
|
-
if (result.changes === 0) {
|
|
239
|
-
throw new EdgeNotFoundError({ id });
|
|
240
|
-
}
|
|
241
|
-
return true;
|
|
242
|
-
},
|
|
243
|
-
catch: (cause) => {
|
|
244
|
-
if (cause instanceof EdgeNotFoundError)
|
|
245
|
-
throw cause;
|
|
246
|
-
throw new DatabaseError({ cause });
|
|
247
|
-
}
|
|
248
|
-
}),
|
|
249
|
-
findAll: (limit) => Effect.try({
|
|
250
|
-
try: () => {
|
|
251
|
-
const rows = db.prepare("SELECT * FROM learning_edges WHERE invalidated_at IS NULL ORDER BY created_at ASC LIMIT ?").all(limit ?? DEFAULT_QUERY_LIMIT);
|
|
252
|
-
return rows.map(rowToEdge);
|
|
253
|
-
},
|
|
254
|
-
catch: (cause) => new DatabaseError({ cause })
|
|
255
|
-
})
|
|
256
|
-
};
|
|
257
|
-
}));
|
|
258
|
-
//# sourceMappingURL=edge-repo.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"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,gBAAgB,EAAE,MAAM,cAAc,CAAA;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAA;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAWrD,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,CAAwB,CAAA;gBACtH,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,MAAM,IAAI,gBAAgB,CAAC;wBACzB,MAAM,EAAE,MAAM;wBACd,EAAE,EAAE,MAAM,CAAC,eAAyB;wBACpC,SAAS,EAAE,QAAQ;qBACpB,CAAC,CAAA;gBACJ,CAAC;gBACD,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,wEAAwE;gBACxE,yEAAyE;gBACzE,gDAAgD;gBAChD,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;aA8BzB,CAAC,CAAC,GAAG,CACJ,QAAQ,EAAE,MAAM,EAAI,0BAA0B;gBAC9C,QAAQ,EAAE,MAAM,EAAI,gCAAgC;gBACpD,QAAQ,EAAY,cAAc;gBAClC,MAAM,EAAE,IAAI,CAAQ,4BAA4B;iBACZ,CAAA;gBAEtC,IAAI,CAAC,MAAM;oBAAE,OAAO,IAAI,CAAA;gBAExB,4CAA4C;gBAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBACvD,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtD,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CACzB,6CAA6C,YAAY,GAAG,CAC7D,CAAC,GAAG,CAAC,GAAG,OAAO,CAAc,CAAA;gBAE9B,yCAAyC;gBACzC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;gBACtE,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAA;YAC/E,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,CAAwB,CAAA;gBAClG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,MAAM,IAAI,gBAAgB,CAAC;wBACzB,MAAM,EAAE,MAAM;wBACd,EAAE;wBACF,SAAS,EAAE,QAAQ;qBACpB,CAAC,CAAA;gBACJ,CAAC;gBACD,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,CAAC,KAAK,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC;YACT,GAAG,EAAE,GAAG,EAAE;gBACR,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,2FAA2F,CAC5F,CAAC,GAAG,CAAC,KAAK,IAAI,mBAAmB,CAAc,CAAA;gBAChD,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"}
|
|
@@ -1,147 +0,0 @@
|
|
|
1
|
-
import { Context, Effect, Layer } from "effect";
|
|
2
|
-
import { AnchorRepository } from "../repo/anchor-repo.js";
|
|
3
|
-
import { LearningRepository } from "../repo/learning-repo.js";
|
|
4
|
-
import { AnchorNotFoundError, ValidationError, DatabaseError, LearningNotFoundError } from "../errors.js";
|
|
5
|
-
import type { Anchor, AnchorWithFreshness, AnchorStatus, AnchorType, InvalidationLog, InvalidationSource } from "@jamesaphoenix/tx-types";
|
|
6
|
-
/** Verification result for an anchor */
|
|
7
|
-
export interface AnchorVerificationResult {
|
|
8
|
-
readonly anchorId: number;
|
|
9
|
-
readonly previousStatus: AnchorStatus;
|
|
10
|
-
readonly newStatus: AnchorStatus;
|
|
11
|
-
readonly verified: boolean;
|
|
12
|
-
readonly reason?: string;
|
|
13
|
-
}
|
|
14
|
-
/** Result of batch verification */
|
|
15
|
-
export interface BatchVerificationResult {
|
|
16
|
-
readonly total: number;
|
|
17
|
-
readonly verified: number;
|
|
18
|
-
readonly drifted: number;
|
|
19
|
-
readonly invalid: number;
|
|
20
|
-
}
|
|
21
|
-
/** Graph status summary */
|
|
22
|
-
export interface GraphStatusResult {
|
|
23
|
-
readonly total: number;
|
|
24
|
-
readonly valid: number;
|
|
25
|
-
readonly drifted: number;
|
|
26
|
-
readonly invalid: number;
|
|
27
|
-
readonly pinned: number;
|
|
28
|
-
readonly recentInvalidations: readonly InvalidationLog[];
|
|
29
|
-
}
|
|
30
|
-
/** Prune result */
|
|
31
|
-
export interface PruneResult {
|
|
32
|
-
readonly deleted: number;
|
|
33
|
-
}
|
|
34
|
-
/** Anchor input with type-specific validation */
|
|
35
|
-
export interface TypedAnchorInput {
|
|
36
|
-
readonly learningId: number;
|
|
37
|
-
readonly anchorType: AnchorType;
|
|
38
|
-
readonly filePath: string;
|
|
39
|
-
/** Value depends on type: glob pattern, content hash, symbol FQName, or line range string */
|
|
40
|
-
readonly value: string;
|
|
41
|
-
/** Symbol fully-qualified name (for symbol anchors) */
|
|
42
|
-
readonly symbolFqname?: string;
|
|
43
|
-
/** Start line (for line_range anchors) */
|
|
44
|
-
readonly lineStart?: number;
|
|
45
|
-
/** End line (for line_range anchors) */
|
|
46
|
-
readonly lineEnd?: number;
|
|
47
|
-
/** Content hash for verification */
|
|
48
|
-
readonly contentHash?: string;
|
|
49
|
-
/** Content preview for self-healing comparison (max ~500 chars) */
|
|
50
|
-
readonly contentPreview?: string;
|
|
51
|
-
}
|
|
52
|
-
declare const AnchorService_base: Context.TagClass<AnchorService, "AnchorService", {
|
|
53
|
-
/**
|
|
54
|
-
* Create an anchor with type-specific validation.
|
|
55
|
-
* Supports: glob, hash, symbol, line_range
|
|
56
|
-
*/
|
|
57
|
-
readonly createAnchor: (input: TypedAnchorInput) => Effect.Effect<Anchor, ValidationError | LearningNotFoundError | DatabaseError>;
|
|
58
|
-
/**
|
|
59
|
-
* Verify an anchor's validity.
|
|
60
|
-
* Checks if the file/content still matches what the anchor references.
|
|
61
|
-
*/
|
|
62
|
-
readonly verifyAnchor: (anchorId: number) => Effect.Effect<AnchorVerificationResult, AnchorNotFoundError | DatabaseError>;
|
|
63
|
-
/**
|
|
64
|
-
* Update an anchor's status (valid, drifted, invalid).
|
|
65
|
-
*/
|
|
66
|
-
readonly updateAnchorStatus: (anchorId: number, status: AnchorStatus, reason?: string, detectedBy?: InvalidationSource) => Effect.Effect<Anchor, AnchorNotFoundError | ValidationError | DatabaseError>;
|
|
67
|
-
/**
|
|
68
|
-
* Log a status change for an anchor.
|
|
69
|
-
* Creates an entry in the invalidation_log table.
|
|
70
|
-
*/
|
|
71
|
-
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>;
|
|
72
|
-
/**
|
|
73
|
-
* Find all anchors for a given file path.
|
|
74
|
-
*/
|
|
75
|
-
readonly findAnchorsForFile: (filePath: string) => Effect.Effect<readonly Anchor[], DatabaseError>;
|
|
76
|
-
/**
|
|
77
|
-
* Find all anchors for a learning.
|
|
78
|
-
*/
|
|
79
|
-
readonly findAnchorsForLearning: (learningId: number) => Effect.Effect<readonly Anchor[], DatabaseError>;
|
|
80
|
-
/**
|
|
81
|
-
* Get an anchor by ID.
|
|
82
|
-
*/
|
|
83
|
-
readonly get: (id: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
84
|
-
/**
|
|
85
|
-
* Get an anchor with lazy verification.
|
|
86
|
-
* If anchor is stale (verified_at > now - TTL), runs verification first.
|
|
87
|
-
* Returns anchor with freshness information.
|
|
88
|
-
*/
|
|
89
|
-
readonly getWithVerification: (id: number, options?: {
|
|
90
|
-
baseDir?: string;
|
|
91
|
-
}) => Effect.Effect<AnchorWithFreshness, AnchorNotFoundError | DatabaseError>;
|
|
92
|
-
/**
|
|
93
|
-
* Soft delete an anchor (set status='invalid' and log the change).
|
|
94
|
-
* Use hardDelete for actual removal.
|
|
95
|
-
*/
|
|
96
|
-
readonly remove: (id: number, reason?: string) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
97
|
-
/**
|
|
98
|
-
* Hard delete an anchor (actual removal from database).
|
|
99
|
-
* Used by prune operations. Prefer soft delete via remove().
|
|
100
|
-
*/
|
|
101
|
-
readonly hardDelete: (id: number) => Effect.Effect<void, AnchorNotFoundError | DatabaseError>;
|
|
102
|
-
/**
|
|
103
|
-
* Find all drifted anchors.
|
|
104
|
-
*/
|
|
105
|
-
readonly findDrifted: () => Effect.Effect<readonly Anchor[], DatabaseError>;
|
|
106
|
-
/**
|
|
107
|
-
* Find all invalid anchors.
|
|
108
|
-
*/
|
|
109
|
-
readonly findInvalid: () => Effect.Effect<readonly Anchor[], DatabaseError>;
|
|
110
|
-
/**
|
|
111
|
-
* Verify all anchors for a file (batch operation).
|
|
112
|
-
*/
|
|
113
|
-
readonly verifyAnchorsForFile: (filePath: string) => Effect.Effect<BatchVerificationResult, DatabaseError>;
|
|
114
|
-
/**
|
|
115
|
-
* Pin an anchor (prevents auto-invalidation).
|
|
116
|
-
*/
|
|
117
|
-
readonly pin: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
118
|
-
/**
|
|
119
|
-
* Unpin an anchor.
|
|
120
|
-
*/
|
|
121
|
-
readonly unpin: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
122
|
-
/**
|
|
123
|
-
* Manually invalidate an anchor with a reason.
|
|
124
|
-
*/
|
|
125
|
-
readonly invalidate: (anchorId: number, reason: string, detectedBy?: InvalidationSource) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
126
|
-
/**
|
|
127
|
-
* Restore a soft-deleted (invalid) anchor to valid status.
|
|
128
|
-
*/
|
|
129
|
-
readonly restore: (anchorId: number) => Effect.Effect<Anchor, AnchorNotFoundError | DatabaseError>;
|
|
130
|
-
/**
|
|
131
|
-
* Hard delete old invalid anchors.
|
|
132
|
-
*/
|
|
133
|
-
readonly prune: (olderThanDays: number) => Effect.Effect<PruneResult, DatabaseError>;
|
|
134
|
-
/**
|
|
135
|
-
* Get graph status summary.
|
|
136
|
-
*/
|
|
137
|
-
readonly getStatus: () => Effect.Effect<GraphStatusResult, DatabaseError>;
|
|
138
|
-
/**
|
|
139
|
-
* Verify all anchors (batch operation).
|
|
140
|
-
*/
|
|
141
|
-
readonly verifyAll: () => Effect.Effect<BatchVerificationResult, DatabaseError>;
|
|
142
|
-
}>;
|
|
143
|
-
export declare class AnchorService extends AnchorService_base {
|
|
144
|
-
}
|
|
145
|
-
export declare const AnchorServiceLive: Layer.Layer<AnchorService, never, LearningRepository | AnchorRepository>;
|
|
146
|
-
export {};
|
|
147
|
-
//# sourceMappingURL=anchor-service.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"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"}
|