@vibecheckai/cli 3.1.0 → 3.1.1

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.
Files changed (158) hide show
  1. package/bin/.generated +25 -25
  2. package/bin/dev/run-v2-torture.js +30 -30
  3. package/bin/registry.js +105 -105
  4. package/bin/runners/lib/__tests__/entitlements-v2.test.js +295 -295
  5. package/bin/runners/lib/analysis-core.js +271 -271
  6. package/bin/runners/lib/analyzers.js +579 -579
  7. package/bin/runners/lib/auth-truth.js +193 -193
  8. package/bin/runners/lib/backup.js +62 -62
  9. package/bin/runners/lib/billing.js +107 -107
  10. package/bin/runners/lib/claims.js +118 -118
  11. package/bin/runners/lib/cli-output.js +368 -368
  12. package/bin/runners/lib/cli-ui.js +540 -540
  13. package/bin/runners/lib/contracts/auth-contract.js +202 -202
  14. package/bin/runners/lib/contracts/env-contract.js +181 -181
  15. package/bin/runners/lib/contracts/external-contract.js +206 -206
  16. package/bin/runners/lib/contracts/guard.js +168 -168
  17. package/bin/runners/lib/contracts/index.js +89 -89
  18. package/bin/runners/lib/contracts/plan-validator.js +311 -311
  19. package/bin/runners/lib/contracts/route-contract.js +199 -199
  20. package/bin/runners/lib/contracts.js +804 -804
  21. package/bin/runners/lib/detect.js +89 -89
  22. package/bin/runners/lib/detectors-v2.js +703 -703
  23. package/bin/runners/lib/doctor/autofix.js +254 -254
  24. package/bin/runners/lib/doctor/index.js +37 -37
  25. package/bin/runners/lib/doctor/modules/dependencies.js +325 -325
  26. package/bin/runners/lib/doctor/modules/index.js +46 -46
  27. package/bin/runners/lib/doctor/modules/network.js +250 -250
  28. package/bin/runners/lib/doctor/modules/project.js +312 -312
  29. package/bin/runners/lib/doctor/modules/runtime.js +224 -224
  30. package/bin/runners/lib/doctor/modules/security.js +348 -348
  31. package/bin/runners/lib/doctor/modules/system.js +213 -213
  32. package/bin/runners/lib/doctor/modules/vibecheck.js +394 -394
  33. package/bin/runners/lib/doctor/reporter.js +262 -262
  34. package/bin/runners/lib/doctor/service.js +262 -262
  35. package/bin/runners/lib/doctor/types.js +113 -113
  36. package/bin/runners/lib/doctor/ui.js +263 -263
  37. package/bin/runners/lib/doctor-v2.js +608 -608
  38. package/bin/runners/lib/drift.js +425 -425
  39. package/bin/runners/lib/enforcement.js +72 -72
  40. package/bin/runners/lib/enterprise-detect.js +603 -603
  41. package/bin/runners/lib/enterprise-init.js +942 -942
  42. package/bin/runners/lib/entitlements-v2.js +490 -489
  43. package/bin/runners/lib/env-resolver.js +417 -417
  44. package/bin/runners/lib/env-template.js +66 -66
  45. package/bin/runners/lib/env.js +189 -189
  46. package/bin/runners/lib/extractors/client-calls.js +990 -990
  47. package/bin/runners/lib/extractors/fastify-route-dump.js +573 -573
  48. package/bin/runners/lib/extractors/fastify-routes.js +426 -426
  49. package/bin/runners/lib/extractors/index.js +363 -363
  50. package/bin/runners/lib/extractors/next-routes.js +524 -524
  51. package/bin/runners/lib/extractors/proof-graph.js +431 -431
  52. package/bin/runners/lib/extractors/route-matcher.js +451 -451
  53. package/bin/runners/lib/extractors/truthpack-v2.js +377 -377
  54. package/bin/runners/lib/extractors/ui-bindings.js +547 -547
  55. package/bin/runners/lib/findings-schema.js +281 -281
  56. package/bin/runners/lib/firewall-prompt.js +50 -50
  57. package/bin/runners/lib/graph/graph-builder.js +265 -265
  58. package/bin/runners/lib/graph/html-renderer.js +413 -413
  59. package/bin/runners/lib/graph/index.js +32 -32
  60. package/bin/runners/lib/graph/runtime-collector.js +215 -215
  61. package/bin/runners/lib/graph/static-extractor.js +518 -518
  62. package/bin/runners/lib/html-report.js +650 -650
  63. package/bin/runners/lib/init-wizard.js +308 -308
  64. package/bin/runners/lib/llm.js +75 -75
  65. package/bin/runners/lib/meter.js +61 -61
  66. package/bin/runners/lib/missions/evidence.js +126 -126
  67. package/bin/runners/lib/missions/plan.js +69 -69
  68. package/bin/runners/lib/missions/templates.js +192 -192
  69. package/bin/runners/lib/patch.js +40 -40
  70. package/bin/runners/lib/permissions/auth-model.js +213 -213
  71. package/bin/runners/lib/permissions/idor-prover.js +205 -205
  72. package/bin/runners/lib/permissions/index.js +45 -45
  73. package/bin/runners/lib/permissions/matrix-builder.js +198 -198
  74. package/bin/runners/lib/pkgjson.js +28 -28
  75. package/bin/runners/lib/policy.js +295 -295
  76. package/bin/runners/lib/preflight.js +142 -142
  77. package/bin/runners/lib/reality/correlation-detectors.js +359 -359
  78. package/bin/runners/lib/reality/index.js +318 -318
  79. package/bin/runners/lib/reality/request-hashing.js +416 -416
  80. package/bin/runners/lib/reality/request-mapper.js +453 -453
  81. package/bin/runners/lib/reality/safety-rails.js +463 -463
  82. package/bin/runners/lib/reality/semantic-snapshot.js +408 -408
  83. package/bin/runners/lib/reality/toast-detector.js +393 -393
  84. package/bin/runners/lib/reality-findings.js +84 -84
  85. package/bin/runners/lib/receipts.js +179 -179
  86. package/bin/runners/lib/redact.js +29 -29
  87. package/bin/runners/lib/replay/capsule-manager.js +154 -154
  88. package/bin/runners/lib/replay/index.js +263 -263
  89. package/bin/runners/lib/replay/player.js +348 -348
  90. package/bin/runners/lib/replay/recorder.js +331 -331
  91. package/bin/runners/lib/report-engine.js +447 -447
  92. package/bin/runners/lib/report-html.js +1499 -1499
  93. package/bin/runners/lib/report-templates.js +969 -969
  94. package/bin/runners/lib/report.js +135 -135
  95. package/bin/runners/lib/route-detection.js +1140 -1140
  96. package/bin/runners/lib/route-truth.js +477 -477
  97. package/bin/runners/lib/sandbox/index.js +59 -59
  98. package/bin/runners/lib/sandbox/proof-chain.js +399 -399
  99. package/bin/runners/lib/sandbox/sandbox-runner.js +205 -205
  100. package/bin/runners/lib/sandbox/worktree.js +174 -174
  101. package/bin/runners/lib/schema-validator.js +350 -350
  102. package/bin/runners/lib/schemas/contracts.schema.json +160 -160
  103. package/bin/runners/lib/schemas/finding.schema.json +100 -100
  104. package/bin/runners/lib/schemas/mission-pack.schema.json +206 -206
  105. package/bin/runners/lib/schemas/proof-graph.schema.json +176 -176
  106. package/bin/runners/lib/schemas/reality-report.schema.json +162 -162
  107. package/bin/runners/lib/schemas/share-pack.schema.json +180 -180
  108. package/bin/runners/lib/schemas/ship-report.schema.json +117 -117
  109. package/bin/runners/lib/schemas/truthpack-v2.schema.json +303 -303
  110. package/bin/runners/lib/schemas/validator.js +438 -438
  111. package/bin/runners/lib/score-history.js +282 -282
  112. package/bin/runners/lib/share-pack.js +239 -239
  113. package/bin/runners/lib/snippets.js +67 -67
  114. package/bin/runners/lib/truth.js +667 -667
  115. package/bin/runners/lib/upsell.js +510 -510
  116. package/bin/runners/lib/usage.js +153 -153
  117. package/bin/runners/lib/validate-patch.js +156 -156
  118. package/bin/runners/lib/verdict-engine.js +628 -628
  119. package/bin/runners/reality/engine.js +917 -917
  120. package/bin/runners/reality/flows.js +122 -122
  121. package/bin/runners/reality/report.js +378 -378
  122. package/bin/runners/reality/session.js +193 -193
  123. package/bin/runners/runAuth.js +51 -0
  124. package/bin/runners/runClaimVerifier.js +483 -483
  125. package/bin/runners/runContext.js +56 -56
  126. package/bin/runners/runContextCompiler.js +385 -385
  127. package/bin/runners/runCtx.js +674 -674
  128. package/bin/runners/runCtxDiff.js +301 -301
  129. package/bin/runners/runCtxGuard.js +176 -176
  130. package/bin/runners/runCtxSync.js +116 -116
  131. package/bin/runners/runGate.js +17 -17
  132. package/bin/runners/runGraph.js +454 -454
  133. package/bin/runners/runGuard.js +168 -168
  134. package/bin/runners/runInitGha.js +164 -164
  135. package/bin/runners/runInstall.js +277 -277
  136. package/bin/runners/runInteractive.js +388 -388
  137. package/bin/runners/runLabs.js +340 -340
  138. package/bin/runners/runMissionGenerator.js +282 -282
  139. package/bin/runners/runPR.js +255 -255
  140. package/bin/runners/runPermissions.js +304 -304
  141. package/bin/runners/runPreflight.js +580 -553
  142. package/bin/runners/runProve.js +1252 -1252
  143. package/bin/runners/runReality.js +1328 -1328
  144. package/bin/runners/runReplay.js +499 -499
  145. package/bin/runners/runReport.js +584 -584
  146. package/bin/runners/runShare.js +212 -212
  147. package/bin/runners/runStatus.js +138 -138
  148. package/bin/runners/runTruthpack.js +636 -636
  149. package/bin/runners/runVerify.js +272 -272
  150. package/bin/runners/runWatch.js +407 -407
  151. package/bin/vibecheck.js +2 -1
  152. package/mcp-server/consolidated-tools.js +804 -804
  153. package/mcp-server/package.json +1 -1
  154. package/mcp-server/tools/index.js +72 -72
  155. package/mcp-server/truth-context.js +581 -581
  156. package/mcp-server/truth-firewall-tools.js +1500 -1500
  157. package/package.json +1 -1
  158. package/bin/runners/runProof.zip +0 -0
@@ -1,265 +1,265 @@
1
- /**
2
- * Graph Builder
3
- * Builds the complete ProofGraph from static and runtime edges
4
- */
5
-
6
- "use strict";
7
-
8
- const crypto = require("crypto");
9
-
10
- function sha256(text) {
11
- return crypto.createHash("sha256").update(text).digest("hex").slice(0, 16);
12
- }
13
-
14
- /**
15
- * Build ProofGraph from extracted nodes and edges
16
- */
17
- function buildProofGraph({ nodes, edges, runtimeEdges = [], meta = {} }) {
18
- const graph = {
19
- meta: {
20
- version: "1.0.0",
21
- generatedAt: new Date().toISOString(),
22
- commit: meta.commit || process.env.VIBECHECK_COMMIT_SHA || "unknown",
23
- ...meta
24
- },
25
- nodes: [],
26
- edges: [],
27
- brokenEdges: [],
28
- coverage: {
29
- static: 0,
30
- runtime: 0,
31
- total: 0
32
- }
33
- };
34
-
35
- // Dedupe and add nodes
36
- const nodeMap = new Map();
37
- for (const n of nodes) {
38
- if (!nodeMap.has(n.id)) {
39
- nodeMap.set(n.id, n);
40
- }
41
- }
42
- graph.nodes = Array.from(nodeMap.values());
43
-
44
- // Process edges, separate broken ones
45
- const brokenEdges = [];
46
- const validEdges = [];
47
-
48
- for (const edge of edges) {
49
- if (edge.broken) {
50
- brokenEdges.push({
51
- edge: {
52
- id: edge.id,
53
- from: edge.from,
54
- to: edge.to,
55
- type: edge.type,
56
- confidence: edge.confidence || "low"
57
- },
58
- reason: edge.brokenReason || "Edge target not found",
59
- severity: determineSeverity(edge),
60
- route: edge.toRoute || null
61
- });
62
- } else {
63
- validEdges.push({
64
- id: edge.id,
65
- from: edge.from,
66
- to: edge.to,
67
- type: edge.type,
68
- confidence: edge.confidence || "med",
69
- verifiedAt: "static"
70
- });
71
- }
72
- }
73
-
74
- // Add runtime edges
75
- for (const re of runtimeEdges) {
76
- const existing = validEdges.find(e => e.from === re.from && e.to === re.to);
77
- if (existing) {
78
- existing.verifiedAt = "runtime";
79
- existing.runtimeData = re.data;
80
- } else {
81
- validEdges.push({
82
- id: re.id || `runtime_${sha256(re.from + re.to)}`,
83
- from: re.from,
84
- to: re.to,
85
- type: re.type || "runtime",
86
- confidence: "high",
87
- verifiedAt: "runtime",
88
- runtimeData: re.data
89
- });
90
- }
91
- }
92
-
93
- graph.edges = validEdges;
94
- graph.brokenEdges = brokenEdges;
95
-
96
- // Calculate coverage
97
- const totalPossibleEdges = graph.edges.length + graph.brokenEdges.length;
98
- graph.coverage = {
99
- static: graph.edges.filter(e => e.verifiedAt === "static").length,
100
- runtime: graph.edges.filter(e => e.verifiedAt === "runtime").length,
101
- broken: graph.brokenEdges.length,
102
- total: totalPossibleEdges,
103
- percent: totalPossibleEdges > 0
104
- ? Math.round((graph.edges.length / totalPossibleEdges) * 100)
105
- : 100
106
- };
107
-
108
- return graph;
109
- }
110
-
111
- function determineSeverity(edge) {
112
- // Missing routes are always BLOCK
113
- if (edge.toRoute) return "BLOCK";
114
-
115
- // Unresolved function calls are WARN
116
- if (edge.to?.startsWith("unresolved_")) return "WARN";
117
-
118
- return "WARN";
119
- }
120
-
121
- /**
122
- * Merge runtime verification results into graph
123
- */
124
- function mergeRuntimeResults(graph, runtimeResults) {
125
- const updatedGraph = { ...graph };
126
-
127
- for (const result of runtimeResults) {
128
- // Find edge that matches this runtime result
129
- const edge = updatedGraph.edges.find(e =>
130
- e.to?.includes(result.path) ||
131
- (e.type === "calls_route" && e.toRoute?.path === result.path)
132
- );
133
-
134
- if (edge) {
135
- edge.verifiedAt = "runtime";
136
- edge.runtimeData = {
137
- status: result.status,
138
- latencyMs: result.latencyMs,
139
- error: result.error
140
- };
141
-
142
- // Check for runtime failures
143
- if (result.status >= 400) {
144
- const brokenEdge = {
145
- edge: { ...edge },
146
- reason: `Route returns ${result.status} at runtime`,
147
- severity: result.status >= 500 ? "BLOCK" : "WARN",
148
- runtimeData: edge.runtimeData
149
- };
150
-
151
- // Move to broken edges
152
- updatedGraph.brokenEdges.push(brokenEdge);
153
- updatedGraph.edges = updatedGraph.edges.filter(e => e.id !== edge.id);
154
- }
155
- }
156
- }
157
-
158
- // Recalculate coverage
159
- const totalPossibleEdges = updatedGraph.edges.length + updatedGraph.brokenEdges.length;
160
- updatedGraph.coverage = {
161
- static: updatedGraph.edges.filter(e => e.verifiedAt === "static").length,
162
- runtime: updatedGraph.edges.filter(e => e.verifiedAt === "runtime").length,
163
- broken: updatedGraph.brokenEdges.length,
164
- total: totalPossibleEdges,
165
- percent: totalPossibleEdges > 0
166
- ? Math.round((updatedGraph.edges.length / totalPossibleEdges) * 100)
167
- : 100
168
- };
169
-
170
- return updatedGraph;
171
- }
172
-
173
- /**
174
- * Compute graph diff between two graphs
175
- */
176
- function computeGraphDiff(before, after) {
177
- const diff = {
178
- nodesAdded: [],
179
- nodesRemoved: [],
180
- edgesAdded: [],
181
- edgesRemoved: [],
182
- edgesFixed: [],
183
- edgesBroken: []
184
- };
185
-
186
- const beforeNodeIds = new Set(before.nodes.map(n => n.id));
187
- const afterNodeIds = new Set(after.nodes.map(n => n.id));
188
-
189
- for (const n of after.nodes) {
190
- if (!beforeNodeIds.has(n.id)) diff.nodesAdded.push(n);
191
- }
192
- for (const n of before.nodes) {
193
- if (!afterNodeIds.has(n.id)) diff.nodesRemoved.push(n);
194
- }
195
-
196
- const beforeEdgeIds = new Set(before.edges.map(e => e.id));
197
- const afterEdgeIds = new Set(after.edges.map(e => e.id));
198
- const beforeBrokenIds = new Set(before.brokenEdges.map(e => e.edge.id));
199
- const afterBrokenIds = new Set(after.brokenEdges.map(e => e.edge.id));
200
-
201
- for (const e of after.edges) {
202
- if (!beforeEdgeIds.has(e.id)) {
203
- if (beforeBrokenIds.has(e.id)) {
204
- diff.edgesFixed.push(e);
205
- } else {
206
- diff.edgesAdded.push(e);
207
- }
208
- }
209
- }
210
-
211
- for (const e of before.edges) {
212
- if (!afterEdgeIds.has(e.id)) {
213
- if (afterBrokenIds.has(e.id)) {
214
- diff.edgesBroken.push(e);
215
- } else {
216
- diff.edgesRemoved.push(e);
217
- }
218
- }
219
- }
220
-
221
- return diff;
222
- }
223
-
224
- /**
225
- * Get findings from broken edges
226
- */
227
- function getFindingsFromGraph(graph) {
228
- const findings = [];
229
-
230
- for (const broken of graph.brokenEdges) {
231
- const finding = {
232
- id: `GRAPH_${broken.edge.id}`,
233
- severity: broken.severity,
234
- category: "BrokenEdge",
235
- title: broken.reason,
236
- evidence: [],
237
- graphEdge: broken.edge
238
- };
239
-
240
- if (broken.route) {
241
- finding.title = `Route ${broken.route.method} ${broken.route.path} referenced but doesn't exist`;
242
- finding.category = "MissingRoute";
243
- }
244
-
245
- if (broken.runtimeData) {
246
- finding.title = `Route returns ${broken.runtimeData.status} at runtime`;
247
- finding.category = "RuntimeFailure";
248
- if (broken.runtimeData.status === 401) {
249
- finding.title = "UI shows success but server returned 401 (auth required)";
250
- finding.category = "CausalContradiction";
251
- }
252
- }
253
-
254
- findings.push(finding);
255
- }
256
-
257
- return findings;
258
- }
259
-
260
- module.exports = {
261
- buildProofGraph,
262
- mergeRuntimeResults,
263
- computeGraphDiff,
264
- getFindingsFromGraph
265
- };
1
+ /**
2
+ * Graph Builder
3
+ * Builds the complete ProofGraph from static and runtime edges
4
+ */
5
+
6
+ "use strict";
7
+
8
+ const crypto = require("crypto");
9
+
10
+ function sha256(text) {
11
+ return crypto.createHash("sha256").update(text).digest("hex").slice(0, 16);
12
+ }
13
+
14
+ /**
15
+ * Build ProofGraph from extracted nodes and edges
16
+ */
17
+ function buildProofGraph({ nodes, edges, runtimeEdges = [], meta = {} }) {
18
+ const graph = {
19
+ meta: {
20
+ version: "1.0.0",
21
+ generatedAt: new Date().toISOString(),
22
+ commit: meta.commit || process.env.VIBECHECK_COMMIT_SHA || "unknown",
23
+ ...meta
24
+ },
25
+ nodes: [],
26
+ edges: [],
27
+ brokenEdges: [],
28
+ coverage: {
29
+ static: 0,
30
+ runtime: 0,
31
+ total: 0
32
+ }
33
+ };
34
+
35
+ // Dedupe and add nodes
36
+ const nodeMap = new Map();
37
+ for (const n of nodes) {
38
+ if (!nodeMap.has(n.id)) {
39
+ nodeMap.set(n.id, n);
40
+ }
41
+ }
42
+ graph.nodes = Array.from(nodeMap.values());
43
+
44
+ // Process edges, separate broken ones
45
+ const brokenEdges = [];
46
+ const validEdges = [];
47
+
48
+ for (const edge of edges) {
49
+ if (edge.broken) {
50
+ brokenEdges.push({
51
+ edge: {
52
+ id: edge.id,
53
+ from: edge.from,
54
+ to: edge.to,
55
+ type: edge.type,
56
+ confidence: edge.confidence || "low"
57
+ },
58
+ reason: edge.brokenReason || "Edge target not found",
59
+ severity: determineSeverity(edge),
60
+ route: edge.toRoute || null
61
+ });
62
+ } else {
63
+ validEdges.push({
64
+ id: edge.id,
65
+ from: edge.from,
66
+ to: edge.to,
67
+ type: edge.type,
68
+ confidence: edge.confidence || "med",
69
+ verifiedAt: "static"
70
+ });
71
+ }
72
+ }
73
+
74
+ // Add runtime edges
75
+ for (const re of runtimeEdges) {
76
+ const existing = validEdges.find(e => e.from === re.from && e.to === re.to);
77
+ if (existing) {
78
+ existing.verifiedAt = "runtime";
79
+ existing.runtimeData = re.data;
80
+ } else {
81
+ validEdges.push({
82
+ id: re.id || `runtime_${sha256(re.from + re.to)}`,
83
+ from: re.from,
84
+ to: re.to,
85
+ type: re.type || "runtime",
86
+ confidence: "high",
87
+ verifiedAt: "runtime",
88
+ runtimeData: re.data
89
+ });
90
+ }
91
+ }
92
+
93
+ graph.edges = validEdges;
94
+ graph.brokenEdges = brokenEdges;
95
+
96
+ // Calculate coverage
97
+ const totalPossibleEdges = graph.edges.length + graph.brokenEdges.length;
98
+ graph.coverage = {
99
+ static: graph.edges.filter(e => e.verifiedAt === "static").length,
100
+ runtime: graph.edges.filter(e => e.verifiedAt === "runtime").length,
101
+ broken: graph.brokenEdges.length,
102
+ total: totalPossibleEdges,
103
+ percent: totalPossibleEdges > 0
104
+ ? Math.round((graph.edges.length / totalPossibleEdges) * 100)
105
+ : 100
106
+ };
107
+
108
+ return graph;
109
+ }
110
+
111
+ function determineSeverity(edge) {
112
+ // Missing routes are always BLOCK
113
+ if (edge.toRoute) return "BLOCK";
114
+
115
+ // Unresolved function calls are WARN
116
+ if (edge.to?.startsWith("unresolved_")) return "WARN";
117
+
118
+ return "WARN";
119
+ }
120
+
121
+ /**
122
+ * Merge runtime verification results into graph
123
+ */
124
+ function mergeRuntimeResults(graph, runtimeResults) {
125
+ const updatedGraph = { ...graph };
126
+
127
+ for (const result of runtimeResults) {
128
+ // Find edge that matches this runtime result
129
+ const edge = updatedGraph.edges.find(e =>
130
+ e.to?.includes(result.path) ||
131
+ (e.type === "calls_route" && e.toRoute?.path === result.path)
132
+ );
133
+
134
+ if (edge) {
135
+ edge.verifiedAt = "runtime";
136
+ edge.runtimeData = {
137
+ status: result.status,
138
+ latencyMs: result.latencyMs,
139
+ error: result.error
140
+ };
141
+
142
+ // Check for runtime failures
143
+ if (result.status >= 400) {
144
+ const brokenEdge = {
145
+ edge: { ...edge },
146
+ reason: `Route returns ${result.status} at runtime`,
147
+ severity: result.status >= 500 ? "BLOCK" : "WARN",
148
+ runtimeData: edge.runtimeData
149
+ };
150
+
151
+ // Move to broken edges
152
+ updatedGraph.brokenEdges.push(brokenEdge);
153
+ updatedGraph.edges = updatedGraph.edges.filter(e => e.id !== edge.id);
154
+ }
155
+ }
156
+ }
157
+
158
+ // Recalculate coverage
159
+ const totalPossibleEdges = updatedGraph.edges.length + updatedGraph.brokenEdges.length;
160
+ updatedGraph.coverage = {
161
+ static: updatedGraph.edges.filter(e => e.verifiedAt === "static").length,
162
+ runtime: updatedGraph.edges.filter(e => e.verifiedAt === "runtime").length,
163
+ broken: updatedGraph.brokenEdges.length,
164
+ total: totalPossibleEdges,
165
+ percent: totalPossibleEdges > 0
166
+ ? Math.round((updatedGraph.edges.length / totalPossibleEdges) * 100)
167
+ : 100
168
+ };
169
+
170
+ return updatedGraph;
171
+ }
172
+
173
+ /**
174
+ * Compute graph diff between two graphs
175
+ */
176
+ function computeGraphDiff(before, after) {
177
+ const diff = {
178
+ nodesAdded: [],
179
+ nodesRemoved: [],
180
+ edgesAdded: [],
181
+ edgesRemoved: [],
182
+ edgesFixed: [],
183
+ edgesBroken: []
184
+ };
185
+
186
+ const beforeNodeIds = new Set(before.nodes.map(n => n.id));
187
+ const afterNodeIds = new Set(after.nodes.map(n => n.id));
188
+
189
+ for (const n of after.nodes) {
190
+ if (!beforeNodeIds.has(n.id)) diff.nodesAdded.push(n);
191
+ }
192
+ for (const n of before.nodes) {
193
+ if (!afterNodeIds.has(n.id)) diff.nodesRemoved.push(n);
194
+ }
195
+
196
+ const beforeEdgeIds = new Set(before.edges.map(e => e.id));
197
+ const afterEdgeIds = new Set(after.edges.map(e => e.id));
198
+ const beforeBrokenIds = new Set(before.brokenEdges.map(e => e.edge.id));
199
+ const afterBrokenIds = new Set(after.brokenEdges.map(e => e.edge.id));
200
+
201
+ for (const e of after.edges) {
202
+ if (!beforeEdgeIds.has(e.id)) {
203
+ if (beforeBrokenIds.has(e.id)) {
204
+ diff.edgesFixed.push(e);
205
+ } else {
206
+ diff.edgesAdded.push(e);
207
+ }
208
+ }
209
+ }
210
+
211
+ for (const e of before.edges) {
212
+ if (!afterEdgeIds.has(e.id)) {
213
+ if (afterBrokenIds.has(e.id)) {
214
+ diff.edgesBroken.push(e);
215
+ } else {
216
+ diff.edgesRemoved.push(e);
217
+ }
218
+ }
219
+ }
220
+
221
+ return diff;
222
+ }
223
+
224
+ /**
225
+ * Get findings from broken edges
226
+ */
227
+ function getFindingsFromGraph(graph) {
228
+ const findings = [];
229
+
230
+ for (const broken of graph.brokenEdges) {
231
+ const finding = {
232
+ id: `GRAPH_${broken.edge.id}`,
233
+ severity: broken.severity,
234
+ category: "BrokenEdge",
235
+ title: broken.reason,
236
+ evidence: [],
237
+ graphEdge: broken.edge
238
+ };
239
+
240
+ if (broken.route) {
241
+ finding.title = `Route ${broken.route.method} ${broken.route.path} referenced but doesn't exist`;
242
+ finding.category = "MissingRoute";
243
+ }
244
+
245
+ if (broken.runtimeData) {
246
+ finding.title = `Route returns ${broken.runtimeData.status} at runtime`;
247
+ finding.category = "RuntimeFailure";
248
+ if (broken.runtimeData.status === 401) {
249
+ finding.title = "UI shows success but server returned 401 (auth required)";
250
+ finding.category = "CausalContradiction";
251
+ }
252
+ }
253
+
254
+ findings.push(finding);
255
+ }
256
+
257
+ return findings;
258
+ }
259
+
260
+ module.exports = {
261
+ buildProofGraph,
262
+ mergeRuntimeResults,
263
+ computeGraphDiff,
264
+ getFindingsFromGraph
265
+ };