@vibecheckai/cli 3.2.5 → 3.3.0

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 (197) hide show
  1. package/bin/.generated +25 -25
  2. package/bin/dev/run-v2-torture.js +30 -30
  3. package/bin/registry.js +192 -5
  4. package/bin/runners/lib/__tests__/entitlements-v2.test.js +295 -295
  5. package/bin/runners/lib/agent-firewall/change-packet/builder.js +280 -6
  6. package/bin/runners/lib/agent-firewall/critic/index.js +151 -0
  7. package/bin/runners/lib/agent-firewall/critic/judge.js +432 -0
  8. package/bin/runners/lib/agent-firewall/critic/prompts.js +305 -0
  9. package/bin/runners/lib/agent-firewall/lawbook/distributor.js +465 -0
  10. package/bin/runners/lib/agent-firewall/lawbook/evaluator.js +604 -0
  11. package/bin/runners/lib/agent-firewall/lawbook/index.js +304 -0
  12. package/bin/runners/lib/agent-firewall/lawbook/registry.js +514 -0
  13. package/bin/runners/lib/agent-firewall/lawbook/schema.js +420 -0
  14. package/bin/runners/lib/agent-firewall/logger.js +141 -0
  15. package/bin/runners/lib/agent-firewall/policy/loader.js +312 -4
  16. package/bin/runners/lib/agent-firewall/policy/rules/ghost-env.js +113 -1
  17. package/bin/runners/lib/agent-firewall/policy/rules/ghost-route.js +133 -6
  18. package/bin/runners/lib/agent-firewall/proposal/extractor.js +394 -0
  19. package/bin/runners/lib/agent-firewall/proposal/index.js +212 -0
  20. package/bin/runners/lib/agent-firewall/proposal/schema.js +251 -0
  21. package/bin/runners/lib/agent-firewall/proposal/validator.js +386 -0
  22. package/bin/runners/lib/agent-firewall/reality/index.js +332 -0
  23. package/bin/runners/lib/agent-firewall/reality/state.js +625 -0
  24. package/bin/runners/lib/agent-firewall/reality/watcher.js +322 -0
  25. package/bin/runners/lib/agent-firewall/risk/index.js +173 -0
  26. package/bin/runners/lib/agent-firewall/risk/scorer.js +328 -0
  27. package/bin/runners/lib/agent-firewall/risk/thresholds.js +321 -0
  28. package/bin/runners/lib/agent-firewall/risk/vectors.js +421 -0
  29. package/bin/runners/lib/agent-firewall/simulator/diff-simulator.js +472 -0
  30. package/bin/runners/lib/agent-firewall/simulator/import-resolver.js +346 -0
  31. package/bin/runners/lib/agent-firewall/simulator/index.js +181 -0
  32. package/bin/runners/lib/agent-firewall/simulator/route-validator.js +380 -0
  33. package/bin/runners/lib/agent-firewall/time-machine/incident-correlator.js +661 -0
  34. package/bin/runners/lib/agent-firewall/time-machine/index.js +267 -0
  35. package/bin/runners/lib/agent-firewall/time-machine/replay-engine.js +436 -0
  36. package/bin/runners/lib/agent-firewall/time-machine/state-reconstructor.js +490 -0
  37. package/bin/runners/lib/agent-firewall/time-machine/timeline-builder.js +530 -0
  38. package/bin/runners/lib/analyzers.js +81 -18
  39. package/bin/runners/lib/api-client.js +269 -0
  40. package/bin/runners/lib/auth-truth.js +193 -193
  41. package/bin/runners/lib/authority-badge.js +425 -0
  42. package/bin/runners/lib/backup.js +62 -62
  43. package/bin/runners/lib/billing.js +107 -107
  44. package/bin/runners/lib/claims.js +118 -118
  45. package/bin/runners/lib/cli-output.js +7 -1
  46. package/bin/runners/lib/cli-ui.js +540 -540
  47. package/bin/runners/lib/contracts/auth-contract.js +202 -202
  48. package/bin/runners/lib/contracts/env-contract.js +181 -181
  49. package/bin/runners/lib/contracts/external-contract.js +206 -206
  50. package/bin/runners/lib/contracts/guard.js +168 -168
  51. package/bin/runners/lib/contracts/index.js +89 -89
  52. package/bin/runners/lib/contracts/plan-validator.js +311 -311
  53. package/bin/runners/lib/contracts/route-contract.js +199 -199
  54. package/bin/runners/lib/contracts.js +804 -804
  55. package/bin/runners/lib/detect.js +89 -89
  56. package/bin/runners/lib/doctor/autofix.js +254 -254
  57. package/bin/runners/lib/doctor/index.js +37 -37
  58. package/bin/runners/lib/doctor/modules/dependencies.js +325 -325
  59. package/bin/runners/lib/doctor/modules/index.js +46 -46
  60. package/bin/runners/lib/doctor/modules/network.js +250 -250
  61. package/bin/runners/lib/doctor/modules/project.js +312 -312
  62. package/bin/runners/lib/doctor/modules/runtime.js +224 -224
  63. package/bin/runners/lib/doctor/modules/security.js +348 -348
  64. package/bin/runners/lib/doctor/modules/system.js +213 -213
  65. package/bin/runners/lib/doctor/modules/vibecheck.js +394 -394
  66. package/bin/runners/lib/doctor/reporter.js +262 -262
  67. package/bin/runners/lib/doctor/service.js +262 -262
  68. package/bin/runners/lib/doctor/types.js +113 -113
  69. package/bin/runners/lib/doctor/ui.js +263 -263
  70. package/bin/runners/lib/doctor-v2.js +608 -608
  71. package/bin/runners/lib/drift.js +425 -425
  72. package/bin/runners/lib/enforcement.js +72 -72
  73. package/bin/runners/lib/enterprise-detect.js +603 -603
  74. package/bin/runners/lib/enterprise-init.js +942 -942
  75. package/bin/runners/lib/env-resolver.js +417 -417
  76. package/bin/runners/lib/env-template.js +66 -66
  77. package/bin/runners/lib/env.js +189 -189
  78. package/bin/runners/lib/error-handler.js +16 -9
  79. package/bin/runners/lib/exit-codes.js +275 -0
  80. package/bin/runners/lib/extractors/client-calls.js +990 -990
  81. package/bin/runners/lib/extractors/fastify-route-dump.js +573 -573
  82. package/bin/runners/lib/extractors/fastify-routes.js +426 -426
  83. package/bin/runners/lib/extractors/index.js +363 -363
  84. package/bin/runners/lib/extractors/next-routes.js +524 -524
  85. package/bin/runners/lib/extractors/proof-graph.js +431 -431
  86. package/bin/runners/lib/extractors/route-matcher.js +451 -451
  87. package/bin/runners/lib/extractors/truthpack-v2.js +377 -377
  88. package/bin/runners/lib/extractors/ui-bindings.js +547 -547
  89. package/bin/runners/lib/findings-schema.js +281 -281
  90. package/bin/runners/lib/firewall-prompt.js +50 -50
  91. package/bin/runners/lib/global-flags.js +37 -0
  92. package/bin/runners/lib/graph/graph-builder.js +265 -265
  93. package/bin/runners/lib/graph/html-renderer.js +413 -413
  94. package/bin/runners/lib/graph/index.js +32 -32
  95. package/bin/runners/lib/graph/runtime-collector.js +215 -215
  96. package/bin/runners/lib/graph/static-extractor.js +518 -518
  97. package/bin/runners/lib/help-formatter.js +413 -0
  98. package/bin/runners/lib/html-report.js +650 -650
  99. package/bin/runners/lib/llm.js +75 -75
  100. package/bin/runners/lib/logger.js +38 -0
  101. package/bin/runners/lib/meter.js +61 -61
  102. package/bin/runners/lib/missions/evidence.js +126 -126
  103. package/bin/runners/lib/patch.js +40 -40
  104. package/bin/runners/lib/permissions/auth-model.js +213 -213
  105. package/bin/runners/lib/permissions/idor-prover.js +205 -205
  106. package/bin/runners/lib/permissions/index.js +45 -45
  107. package/bin/runners/lib/permissions/matrix-builder.js +198 -198
  108. package/bin/runners/lib/pkgjson.js +28 -28
  109. package/bin/runners/lib/policy.js +295 -295
  110. package/bin/runners/lib/preflight.js +142 -142
  111. package/bin/runners/lib/reality/correlation-detectors.js +359 -359
  112. package/bin/runners/lib/reality/index.js +318 -318
  113. package/bin/runners/lib/reality/request-hashing.js +416 -416
  114. package/bin/runners/lib/reality/request-mapper.js +453 -453
  115. package/bin/runners/lib/reality/safety-rails.js +463 -463
  116. package/bin/runners/lib/reality/semantic-snapshot.js +408 -408
  117. package/bin/runners/lib/reality/toast-detector.js +393 -393
  118. package/bin/runners/lib/reality-findings.js +84 -84
  119. package/bin/runners/lib/receipts.js +179 -179
  120. package/bin/runners/lib/redact.js +29 -29
  121. package/bin/runners/lib/replay/capsule-manager.js +154 -154
  122. package/bin/runners/lib/replay/index.js +263 -263
  123. package/bin/runners/lib/replay/player.js +348 -348
  124. package/bin/runners/lib/replay/recorder.js +331 -331
  125. package/bin/runners/lib/report.js +135 -135
  126. package/bin/runners/lib/route-detection.js +1140 -1140
  127. package/bin/runners/lib/sandbox/index.js +59 -59
  128. package/bin/runners/lib/sandbox/proof-chain.js +399 -399
  129. package/bin/runners/lib/sandbox/sandbox-runner.js +205 -205
  130. package/bin/runners/lib/sandbox/worktree.js +174 -174
  131. package/bin/runners/lib/schema-validator.js +350 -350
  132. package/bin/runners/lib/schemas/contracts.schema.json +160 -160
  133. package/bin/runners/lib/schemas/finding.schema.json +100 -100
  134. package/bin/runners/lib/schemas/mission-pack.schema.json +206 -206
  135. package/bin/runners/lib/schemas/proof-graph.schema.json +176 -176
  136. package/bin/runners/lib/schemas/reality-report.schema.json +162 -162
  137. package/bin/runners/lib/schemas/share-pack.schema.json +180 -180
  138. package/bin/runners/lib/schemas/ship-report.schema.json +117 -117
  139. package/bin/runners/lib/schemas/truthpack-v2.schema.json +303 -303
  140. package/bin/runners/lib/schemas/validator.js +438 -438
  141. package/bin/runners/lib/score-history.js +282 -282
  142. package/bin/runners/lib/share-pack.js +239 -239
  143. package/bin/runners/lib/snippets.js +67 -67
  144. package/bin/runners/lib/unified-cli-output.js +604 -0
  145. package/bin/runners/lib/upsell.js +658 -510
  146. package/bin/runners/lib/usage.js +153 -153
  147. package/bin/runners/lib/validate-patch.js +156 -156
  148. package/bin/runners/lib/verdict-engine.js +628 -628
  149. package/bin/runners/reality/engine.js +917 -917
  150. package/bin/runners/reality/flows.js +122 -122
  151. package/bin/runners/reality/report.js +378 -378
  152. package/bin/runners/reality/session.js +193 -193
  153. package/bin/runners/runAgent.d.ts +5 -0
  154. package/bin/runners/runApprove.js +1200 -0
  155. package/bin/runners/runAuth.js +324 -95
  156. package/bin/runners/runCheckpoint.js +39 -21
  157. package/bin/runners/runClassify.js +859 -0
  158. package/bin/runners/runContext.js +136 -24
  159. package/bin/runners/runDoctor.js +108 -68
  160. package/bin/runners/runFirewall.d.ts +5 -0
  161. package/bin/runners/runFirewallHook.d.ts +5 -0
  162. package/bin/runners/runFix.js +6 -5
  163. package/bin/runners/runGuard.js +262 -168
  164. package/bin/runners/runInit.js +3 -2
  165. package/bin/runners/runMcp.js +130 -52
  166. package/bin/runners/runPolish.js +43 -20
  167. package/bin/runners/runProve.js +1 -2
  168. package/bin/runners/runReport.js +3 -2
  169. package/bin/runners/runScan.js +145 -44
  170. package/bin/runners/runShip.js +3 -4
  171. package/bin/runners/runTruth.d.ts +5 -0
  172. package/bin/runners/runValidate.js +19 -2
  173. package/bin/runners/runWatch.js +104 -53
  174. package/bin/vibecheck.js +106 -19
  175. package/mcp-server/HARDENING_SUMMARY.md +299 -0
  176. package/mcp-server/agent-firewall-interceptor.js +367 -31
  177. package/mcp-server/authority-tools.js +569 -0
  178. package/mcp-server/conductor/conflict-resolver.js +588 -0
  179. package/mcp-server/conductor/execution-planner.js +544 -0
  180. package/mcp-server/conductor/index.js +377 -0
  181. package/mcp-server/conductor/lock-manager.js +615 -0
  182. package/mcp-server/conductor/request-queue.js +550 -0
  183. package/mcp-server/conductor/session-manager.js +500 -0
  184. package/mcp-server/conductor/tools.js +510 -0
  185. package/mcp-server/index.js +1199 -208
  186. package/mcp-server/lib/api-client.cjs +305 -0
  187. package/mcp-server/lib/logger.cjs +30 -0
  188. package/mcp-server/logger.js +173 -0
  189. package/mcp-server/package.json +2 -2
  190. package/mcp-server/premium-tools.js +2 -2
  191. package/mcp-server/tier-auth.js +351 -136
  192. package/mcp-server/tools/index.js +72 -72
  193. package/mcp-server/truth-firewall-tools.js +145 -15
  194. package/mcp-server/vibecheck-tools.js +2 -2
  195. package/package.json +2 -3
  196. package/mcp-server/index.old.js +0 -4137
  197. package/mcp-server/package-lock.json +0 -165
@@ -1,359 +1,359 @@
1
- /**
2
- * Correlation Detectors v2
3
- *
4
- * Detects mismatches between toast signals, UI changes, and network requests.
5
- * These are the "fake success theatre" detectors.
6
- */
7
-
8
- "use strict";
9
-
10
- const crypto = require("crypto");
11
-
12
- // =============================================================================
13
- // DETECTOR DEFINITIONS
14
- // =============================================================================
15
-
16
- const DETECTORS = {
17
- D_CORR_012: {
18
- id: "D_CORR_012",
19
- name: "Success toast but no real change",
20
- description: "Success toast appeared but UI didn't change meaningfully and no mutation succeeded",
21
- severity: "BLOCK",
22
- category: "FakeSuccess",
23
- },
24
- D_CORR_013: {
25
- id: "D_CORR_013",
26
- name: "Mutation succeeded but no UI feedback",
27
- description: "Mutation request succeeded but no meaningful UI change or toast appeared",
28
- severity: "WARN",
29
- category: "DeadUI",
30
- },
31
- D_CORR_014: {
32
- id: "D_CORR_014",
33
- name: "Error toast with successful mutation",
34
- description: "Error toast appeared but the mutation request succeeded",
35
- severity: "WARN",
36
- category: "UIMismatch",
37
- },
38
- D_CORR_015: {
39
- id: "D_CORR_015",
40
- name: "Click with no effect",
41
- description: "Button/link clicked but no network request, no UI change, no toast",
42
- severity: "BLOCK",
43
- category: "DeadUI",
44
- },
45
- D_CORR_016: {
46
- id: "D_CORR_016",
47
- name: "Form submit with no validation feedback",
48
- description: "Form submitted but no validation errors shown and no success indicator",
49
- severity: "WARN",
50
- category: "DeadUI",
51
- },
52
- D_CORR_017: {
53
- id: "D_CORR_017",
54
- name: "Optimistic update without server confirmation",
55
- description: "UI updated immediately but server request failed or never completed",
56
- severity: "BLOCK",
57
- category: "FakeSuccess",
58
- },
59
- D_CORR_018: {
60
- id: "D_CORR_018",
61
- name: "Success toast before request completed",
62
- description: "Success toast appeared before the mutation request finished",
63
- severity: "BLOCK",
64
- category: "FakeSuccess",
65
- },
66
- };
67
-
68
- // =============================================================================
69
- // CORRELATION ANALYSIS
70
- // =============================================================================
71
-
72
- /**
73
- * Analyze action outcomes and detect correlation issues
74
- */
75
- function analyzeActionCorrelation(action, options = {}) {
76
- const findings = [];
77
- const {
78
- uiChange = {},
79
- signals = [],
80
- requests = [],
81
- actionType = "click",
82
- actionLabel = "",
83
- } = action;
84
-
85
- const { meaningfulScoreThreshold = 0.6 } = options;
86
-
87
- // Extract key data
88
- const toastSuccess = signals.find(s => s.kind === "toast_success");
89
- const toastError = signals.find(s => s.kind === "toast_error");
90
- const toastAny = signals.find(s => s.kind?.startsWith("toast_"));
91
-
92
- const mutationRequests = requests.filter(r =>
93
- ["POST", "PUT", "PATCH", "DELETE"].includes(r.method?.toUpperCase())
94
- );
95
- const successfulMutations = mutationRequests.filter(r => r.status >= 200 && r.status < 300);
96
- const failedMutations = mutationRequests.filter(r => r.status >= 400 || r.failed);
97
-
98
- const hasMeaningfulChange = uiChange.meaningful === true || uiChange.score >= meaningfulScoreThreshold;
99
- const hasNetworkActivity = requests.length > 0;
100
- const hasMutation = mutationRequests.length > 0;
101
-
102
- // D_CORR_012: Success toast but no real change
103
- if (toastSuccess && !hasMeaningfulChange && successfulMutations.length === 0) {
104
- findings.push(createFinding(DETECTORS.D_CORR_012, {
105
- action,
106
- evidence: {
107
- toast: toastSuccess,
108
- uiChangeScore: uiChange.score,
109
- mutations: mutationRequests.length,
110
- successfulMutations: successfulMutations.length,
111
- },
112
- reason: `Success toast "${toastSuccess.message?.slice(0, 50)}" appeared but UI score was ${uiChange.score?.toFixed(2)} and no mutation succeeded`,
113
- }));
114
- }
115
-
116
- // D_CORR_013: Mutation succeeded but no UI feedback
117
- if (successfulMutations.length > 0 && !hasMeaningfulChange && !toastAny) {
118
- findings.push(createFinding(DETECTORS.D_CORR_013, {
119
- action,
120
- evidence: {
121
- successfulMutations: successfulMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
122
- uiChangeScore: uiChange.score,
123
- hasToast: false,
124
- },
125
- reason: `Mutation ${successfulMutations[0]?.method} ${successfulMutations[0]?.url} succeeded (${successfulMutations[0]?.status}) but no UI feedback`,
126
- }));
127
- }
128
-
129
- // D_CORR_014: Error toast with successful mutation
130
- if (toastError && successfulMutations.length > 0 && failedMutations.length === 0) {
131
- findings.push(createFinding(DETECTORS.D_CORR_014, {
132
- action,
133
- evidence: {
134
- toast: toastError,
135
- successfulMutations: successfulMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
136
- },
137
- reason: `Error toast "${toastError.message?.slice(0, 50)}" but mutation succeeded with ${successfulMutations[0]?.status}`,
138
- }));
139
- }
140
-
141
- // D_CORR_015: Click with no effect
142
- if (actionType === "click" && !hasNetworkActivity && !hasMeaningfulChange && !toastAny) {
143
- // Only flag if it looks like an interactive element
144
- const isInteractive = actionLabel && (
145
- /save|submit|send|update|delete|create|add|remove/i.test(actionLabel)
146
- );
147
-
148
- if (isInteractive) {
149
- findings.push(createFinding(DETECTORS.D_CORR_015, {
150
- action,
151
- evidence: {
152
- actionLabel,
153
- uiChangeScore: uiChange.score,
154
- requestCount: requests.length,
155
- hasToast: !!toastAny,
156
- },
157
- reason: `Click on "${actionLabel}" had no network request, no UI change, no toast`,
158
- }));
159
- }
160
- }
161
-
162
- // D_CORR_017: Optimistic update without server confirmation
163
- if (uiChange.meaningful && hasMutation && failedMutations.length > 0 && successfulMutations.length === 0) {
164
- findings.push(createFinding(DETECTORS.D_CORR_017, {
165
- action,
166
- evidence: {
167
- uiChangeReasons: uiChange.reasons,
168
- failedMutations: failedMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
169
- },
170
- reason: `UI updated (${uiChange.reasons?.join(", ")}) but mutation failed with ${failedMutations[0]?.status}`,
171
- }));
172
- }
173
-
174
- // D_CORR_018: Success toast before request completed
175
- if (toastSuccess && mutationRequests.length > 0) {
176
- const toastTime = toastSuccess.atMs;
177
- const pendingAtToastTime = mutationRequests.filter(r => {
178
- // Request was still pending when toast appeared
179
- const requestEndTime = r.startTime + (r.duration || 0);
180
- return r.startTime < toastTime && requestEndTime > toastTime;
181
- });
182
-
183
- if (pendingAtToastTime.length > 0) {
184
- findings.push(createFinding(DETECTORS.D_CORR_018, {
185
- action,
186
- evidence: {
187
- toast: toastSuccess,
188
- toastTime,
189
- pendingRequests: pendingAtToastTime.map(r => ({
190
- method: r.method,
191
- url: r.url,
192
- startTime: r.startTime,
193
- duration: r.duration,
194
- })),
195
- },
196
- reason: `Success toast appeared at ${toastTime}ms but request was still pending`,
197
- }));
198
- }
199
- }
200
-
201
- return findings;
202
- }
203
-
204
- /**
205
- * Analyze multiple actions and aggregate findings
206
- */
207
- function analyzeAllActions(actions, options = {}) {
208
- const allFindings = [];
209
-
210
- for (const action of actions) {
211
- const findings = analyzeActionCorrelation(action, options);
212
- allFindings.push(...findings);
213
- }
214
-
215
- // Dedupe by fingerprint
216
- const seen = new Set();
217
- const deduped = [];
218
- for (const f of allFindings) {
219
- if (!seen.has(f.fingerprint)) {
220
- seen.add(f.fingerprint);
221
- deduped.push(f);
222
- }
223
- }
224
-
225
- return {
226
- findings: deduped,
227
- stats: {
228
- totalActions: actions.length,
229
- actionsWithFindings: new Set(allFindings.map(f => f.actionId)).size,
230
- findingsByDetector: countByDetector(deduped),
231
- findingsBySeverity: countBySeverity(deduped),
232
- },
233
- };
234
- }
235
-
236
- /**
237
- * Create a finding from detector definition
238
- */
239
- function createFinding(detector, data = {}) {
240
- const { action, evidence, reason } = data;
241
-
242
- const fingerprint = generateFingerprint([
243
- detector.id,
244
- action?.id || action?.selector || "",
245
- reason,
246
- ]);
247
-
248
- return {
249
- id: `F_${detector.id}_${fingerprint.slice(0, 8)}`,
250
- detectorId: detector.id,
251
- fingerprint: `sha256:${fingerprint}`,
252
- severity: detector.severity,
253
- category: detector.category,
254
- scope: "runtime",
255
- title: detector.name,
256
- why: reason || detector.description,
257
- confidence: "high",
258
- evidence: [
259
- {
260
- id: `E_${fingerprint.slice(0, 12)}`,
261
- kind: "runtime",
262
- reason,
263
- data: evidence,
264
- },
265
- ],
266
- actionId: action?.id,
267
- repro: action?.selector ? `Click on "${action.selector}"` : null,
268
- };
269
- }
270
-
271
- /**
272
- * Generate deterministic fingerprint
273
- */
274
- function generateFingerprint(parts) {
275
- const content = parts.filter(Boolean).join("|");
276
- return crypto.createHash("sha256").update(content).digest("hex");
277
- }
278
-
279
- /**
280
- * Count findings by detector
281
- */
282
- function countByDetector(findings) {
283
- const counts = {};
284
- for (const f of findings) {
285
- counts[f.detectorId] = (counts[f.detectorId] || 0) + 1;
286
- }
287
- return counts;
288
- }
289
-
290
- /**
291
- * Count findings by severity
292
- */
293
- function countBySeverity(findings) {
294
- const counts = { BLOCK: 0, WARN: 0, INFO: 0 };
295
- for (const f of findings) {
296
- counts[f.severity] = (counts[f.severity] || 0) + 1;
297
- }
298
- return counts;
299
- }
300
-
301
- /**
302
- * Summarize action outcome for reporting
303
- */
304
- function summarizeActionOutcome(action) {
305
- const {
306
- uiChange = {},
307
- signals = [],
308
- requests = [],
309
- selector = "",
310
- actionType = "click",
311
- } = action;
312
-
313
- const toasts = signals.filter(s => s.kind?.startsWith("toast_"));
314
- const mutations = requests.filter(r =>
315
- ["POST", "PUT", "PATCH", "DELETE"].includes(r.method?.toUpperCase())
316
- );
317
- const successfulMutations = mutations.filter(r => r.status >= 200 && r.status < 300);
318
-
319
- let outcome = "unknown";
320
-
321
- if (successfulMutations.length > 0 && uiChange.meaningful) {
322
- outcome = "success_confirmed";
323
- } else if (successfulMutations.length > 0 && !uiChange.meaningful) {
324
- outcome = "success_silent";
325
- } else if (mutations.length > 0 && successfulMutations.length === 0) {
326
- outcome = "mutation_failed";
327
- } else if (toasts.some(t => t.kind === "toast_success")) {
328
- outcome = successfulMutations.length > 0 ? "success_confirmed" : "toast_only";
329
- } else if (toasts.some(t => t.kind === "toast_error")) {
330
- outcome = "error_shown";
331
- } else if (!uiChange.meaningful && requests.length === 0) {
332
- outcome = "no_effect";
333
- } else if (uiChange.meaningful) {
334
- outcome = "ui_changed";
335
- }
336
-
337
- return {
338
- actionType,
339
- selector,
340
- outcome,
341
- uiChangeScore: uiChange.score,
342
- uiChangeMeaningful: uiChange.meaningful,
343
- uiChangeReasons: uiChange.reasons || [],
344
- toastCount: toasts.length,
345
- toastKinds: toasts.map(t => t.kind),
346
- requestCount: requests.length,
347
- mutationCount: mutations.length,
348
- successfulMutationCount: successfulMutations.length,
349
- };
350
- }
351
-
352
- module.exports = {
353
- DETECTORS,
354
- analyzeActionCorrelation,
355
- analyzeAllActions,
356
- createFinding,
357
- summarizeActionOutcome,
358
- generateFingerprint,
359
- };
1
+ /**
2
+ * Correlation Detectors v2
3
+ *
4
+ * Detects mismatches between toast signals, UI changes, and network requests.
5
+ * These are the "fake success theatre" detectors.
6
+ */
7
+
8
+ "use strict";
9
+
10
+ const crypto = require("crypto");
11
+
12
+ // =============================================================================
13
+ // DETECTOR DEFINITIONS
14
+ // =============================================================================
15
+
16
+ const DETECTORS = {
17
+ D_CORR_012: {
18
+ id: "D_CORR_012",
19
+ name: "Success toast but no real change",
20
+ description: "Success toast appeared but UI didn't change meaningfully and no mutation succeeded",
21
+ severity: "BLOCK",
22
+ category: "FakeSuccess",
23
+ },
24
+ D_CORR_013: {
25
+ id: "D_CORR_013",
26
+ name: "Mutation succeeded but no UI feedback",
27
+ description: "Mutation request succeeded but no meaningful UI change or toast appeared",
28
+ severity: "WARN",
29
+ category: "DeadUI",
30
+ },
31
+ D_CORR_014: {
32
+ id: "D_CORR_014",
33
+ name: "Error toast with successful mutation",
34
+ description: "Error toast appeared but the mutation request succeeded",
35
+ severity: "WARN",
36
+ category: "UIMismatch",
37
+ },
38
+ D_CORR_015: {
39
+ id: "D_CORR_015",
40
+ name: "Click with no effect",
41
+ description: "Button/link clicked but no network request, no UI change, no toast",
42
+ severity: "BLOCK",
43
+ category: "DeadUI",
44
+ },
45
+ D_CORR_016: {
46
+ id: "D_CORR_016",
47
+ name: "Form submit with no validation feedback",
48
+ description: "Form submitted but no validation errors shown and no success indicator",
49
+ severity: "WARN",
50
+ category: "DeadUI",
51
+ },
52
+ D_CORR_017: {
53
+ id: "D_CORR_017",
54
+ name: "Optimistic update without server confirmation",
55
+ description: "UI updated immediately but server request failed or never completed",
56
+ severity: "BLOCK",
57
+ category: "FakeSuccess",
58
+ },
59
+ D_CORR_018: {
60
+ id: "D_CORR_018",
61
+ name: "Success toast before request completed",
62
+ description: "Success toast appeared before the mutation request finished",
63
+ severity: "BLOCK",
64
+ category: "FakeSuccess",
65
+ },
66
+ };
67
+
68
+ // =============================================================================
69
+ // CORRELATION ANALYSIS
70
+ // =============================================================================
71
+
72
+ /**
73
+ * Analyze action outcomes and detect correlation issues
74
+ */
75
+ function analyzeActionCorrelation(action, options = {}) {
76
+ const findings = [];
77
+ const {
78
+ uiChange = {},
79
+ signals = [],
80
+ requests = [],
81
+ actionType = "click",
82
+ actionLabel = "",
83
+ } = action;
84
+
85
+ const { meaningfulScoreThreshold = 0.6 } = options;
86
+
87
+ // Extract key data
88
+ const toastSuccess = signals.find(s => s.kind === "toast_success");
89
+ const toastError = signals.find(s => s.kind === "toast_error");
90
+ const toastAny = signals.find(s => s.kind?.startsWith("toast_"));
91
+
92
+ const mutationRequests = requests.filter(r =>
93
+ ["POST", "PUT", "PATCH", "DELETE"].includes(r.method?.toUpperCase())
94
+ );
95
+ const successfulMutations = mutationRequests.filter(r => r.status >= 200 && r.status < 300);
96
+ const failedMutations = mutationRequests.filter(r => r.status >= 400 || r.failed);
97
+
98
+ const hasMeaningfulChange = uiChange.meaningful === true || uiChange.score >= meaningfulScoreThreshold;
99
+ const hasNetworkActivity = requests.length > 0;
100
+ const hasMutation = mutationRequests.length > 0;
101
+
102
+ // D_CORR_012: Success toast but no real change
103
+ if (toastSuccess && !hasMeaningfulChange && successfulMutations.length === 0) {
104
+ findings.push(createFinding(DETECTORS.D_CORR_012, {
105
+ action,
106
+ evidence: {
107
+ toast: toastSuccess,
108
+ uiChangeScore: uiChange.score,
109
+ mutations: mutationRequests.length,
110
+ successfulMutations: successfulMutations.length,
111
+ },
112
+ reason: `Success toast "${toastSuccess.message?.slice(0, 50)}" appeared but UI score was ${uiChange.score?.toFixed(2)} and no mutation succeeded`,
113
+ }));
114
+ }
115
+
116
+ // D_CORR_013: Mutation succeeded but no UI feedback
117
+ if (successfulMutations.length > 0 && !hasMeaningfulChange && !toastAny) {
118
+ findings.push(createFinding(DETECTORS.D_CORR_013, {
119
+ action,
120
+ evidence: {
121
+ successfulMutations: successfulMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
122
+ uiChangeScore: uiChange.score,
123
+ hasToast: false,
124
+ },
125
+ reason: `Mutation ${successfulMutations[0]?.method} ${successfulMutations[0]?.url} succeeded (${successfulMutations[0]?.status}) but no UI feedback`,
126
+ }));
127
+ }
128
+
129
+ // D_CORR_014: Error toast with successful mutation
130
+ if (toastError && successfulMutations.length > 0 && failedMutations.length === 0) {
131
+ findings.push(createFinding(DETECTORS.D_CORR_014, {
132
+ action,
133
+ evidence: {
134
+ toast: toastError,
135
+ successfulMutations: successfulMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
136
+ },
137
+ reason: `Error toast "${toastError.message?.slice(0, 50)}" but mutation succeeded with ${successfulMutations[0]?.status}`,
138
+ }));
139
+ }
140
+
141
+ // D_CORR_015: Click with no effect
142
+ if (actionType === "click" && !hasNetworkActivity && !hasMeaningfulChange && !toastAny) {
143
+ // Only flag if it looks like an interactive element
144
+ const isInteractive = actionLabel && (
145
+ /save|submit|send|update|delete|create|add|remove/i.test(actionLabel)
146
+ );
147
+
148
+ if (isInteractive) {
149
+ findings.push(createFinding(DETECTORS.D_CORR_015, {
150
+ action,
151
+ evidence: {
152
+ actionLabel,
153
+ uiChangeScore: uiChange.score,
154
+ requestCount: requests.length,
155
+ hasToast: !!toastAny,
156
+ },
157
+ reason: `Click on "${actionLabel}" had no network request, no UI change, no toast`,
158
+ }));
159
+ }
160
+ }
161
+
162
+ // D_CORR_017: Optimistic update without server confirmation
163
+ if (uiChange.meaningful && hasMutation && failedMutations.length > 0 && successfulMutations.length === 0) {
164
+ findings.push(createFinding(DETECTORS.D_CORR_017, {
165
+ action,
166
+ evidence: {
167
+ uiChangeReasons: uiChange.reasons,
168
+ failedMutations: failedMutations.map(r => ({ method: r.method, url: r.url, status: r.status })),
169
+ },
170
+ reason: `UI updated (${uiChange.reasons?.join(", ")}) but mutation failed with ${failedMutations[0]?.status}`,
171
+ }));
172
+ }
173
+
174
+ // D_CORR_018: Success toast before request completed
175
+ if (toastSuccess && mutationRequests.length > 0) {
176
+ const toastTime = toastSuccess.atMs;
177
+ const pendingAtToastTime = mutationRequests.filter(r => {
178
+ // Request was still pending when toast appeared
179
+ const requestEndTime = r.startTime + (r.duration || 0);
180
+ return r.startTime < toastTime && requestEndTime > toastTime;
181
+ });
182
+
183
+ if (pendingAtToastTime.length > 0) {
184
+ findings.push(createFinding(DETECTORS.D_CORR_018, {
185
+ action,
186
+ evidence: {
187
+ toast: toastSuccess,
188
+ toastTime,
189
+ pendingRequests: pendingAtToastTime.map(r => ({
190
+ method: r.method,
191
+ url: r.url,
192
+ startTime: r.startTime,
193
+ duration: r.duration,
194
+ })),
195
+ },
196
+ reason: `Success toast appeared at ${toastTime}ms but request was still pending`,
197
+ }));
198
+ }
199
+ }
200
+
201
+ return findings;
202
+ }
203
+
204
+ /**
205
+ * Analyze multiple actions and aggregate findings
206
+ */
207
+ function analyzeAllActions(actions, options = {}) {
208
+ const allFindings = [];
209
+
210
+ for (const action of actions) {
211
+ const findings = analyzeActionCorrelation(action, options);
212
+ allFindings.push(...findings);
213
+ }
214
+
215
+ // Dedupe by fingerprint
216
+ const seen = new Set();
217
+ const deduped = [];
218
+ for (const f of allFindings) {
219
+ if (!seen.has(f.fingerprint)) {
220
+ seen.add(f.fingerprint);
221
+ deduped.push(f);
222
+ }
223
+ }
224
+
225
+ return {
226
+ findings: deduped,
227
+ stats: {
228
+ totalActions: actions.length,
229
+ actionsWithFindings: new Set(allFindings.map(f => f.actionId)).size,
230
+ findingsByDetector: countByDetector(deduped),
231
+ findingsBySeverity: countBySeverity(deduped),
232
+ },
233
+ };
234
+ }
235
+
236
+ /**
237
+ * Create a finding from detector definition
238
+ */
239
+ function createFinding(detector, data = {}) {
240
+ const { action, evidence, reason } = data;
241
+
242
+ const fingerprint = generateFingerprint([
243
+ detector.id,
244
+ action?.id || action?.selector || "",
245
+ reason,
246
+ ]);
247
+
248
+ return {
249
+ id: `F_${detector.id}_${fingerprint.slice(0, 8)}`,
250
+ detectorId: detector.id,
251
+ fingerprint: `sha256:${fingerprint}`,
252
+ severity: detector.severity,
253
+ category: detector.category,
254
+ scope: "runtime",
255
+ title: detector.name,
256
+ why: reason || detector.description,
257
+ confidence: "high",
258
+ evidence: [
259
+ {
260
+ id: `E_${fingerprint.slice(0, 12)}`,
261
+ kind: "runtime",
262
+ reason,
263
+ data: evidence,
264
+ },
265
+ ],
266
+ actionId: action?.id,
267
+ repro: action?.selector ? `Click on "${action.selector}"` : null,
268
+ };
269
+ }
270
+
271
+ /**
272
+ * Generate deterministic fingerprint
273
+ */
274
+ function generateFingerprint(parts) {
275
+ const content = parts.filter(Boolean).join("|");
276
+ return crypto.createHash("sha256").update(content).digest("hex");
277
+ }
278
+
279
+ /**
280
+ * Count findings by detector
281
+ */
282
+ function countByDetector(findings) {
283
+ const counts = {};
284
+ for (const f of findings) {
285
+ counts[f.detectorId] = (counts[f.detectorId] || 0) + 1;
286
+ }
287
+ return counts;
288
+ }
289
+
290
+ /**
291
+ * Count findings by severity
292
+ */
293
+ function countBySeverity(findings) {
294
+ const counts = { BLOCK: 0, WARN: 0, INFO: 0 };
295
+ for (const f of findings) {
296
+ counts[f.severity] = (counts[f.severity] || 0) + 1;
297
+ }
298
+ return counts;
299
+ }
300
+
301
+ /**
302
+ * Summarize action outcome for reporting
303
+ */
304
+ function summarizeActionOutcome(action) {
305
+ const {
306
+ uiChange = {},
307
+ signals = [],
308
+ requests = [],
309
+ selector = "",
310
+ actionType = "click",
311
+ } = action;
312
+
313
+ const toasts = signals.filter(s => s.kind?.startsWith("toast_"));
314
+ const mutations = requests.filter(r =>
315
+ ["POST", "PUT", "PATCH", "DELETE"].includes(r.method?.toUpperCase())
316
+ );
317
+ const successfulMutations = mutations.filter(r => r.status >= 200 && r.status < 300);
318
+
319
+ let outcome = "unknown";
320
+
321
+ if (successfulMutations.length > 0 && uiChange.meaningful) {
322
+ outcome = "success_confirmed";
323
+ } else if (successfulMutations.length > 0 && !uiChange.meaningful) {
324
+ outcome = "success_silent";
325
+ } else if (mutations.length > 0 && successfulMutations.length === 0) {
326
+ outcome = "mutation_failed";
327
+ } else if (toasts.some(t => t.kind === "toast_success")) {
328
+ outcome = successfulMutations.length > 0 ? "success_confirmed" : "toast_only";
329
+ } else if (toasts.some(t => t.kind === "toast_error")) {
330
+ outcome = "error_shown";
331
+ } else if (!uiChange.meaningful && requests.length === 0) {
332
+ outcome = "no_effect";
333
+ } else if (uiChange.meaningful) {
334
+ outcome = "ui_changed";
335
+ }
336
+
337
+ return {
338
+ actionType,
339
+ selector,
340
+ outcome,
341
+ uiChangeScore: uiChange.score,
342
+ uiChangeMeaningful: uiChange.meaningful,
343
+ uiChangeReasons: uiChange.reasons || [],
344
+ toastCount: toasts.length,
345
+ toastKinds: toasts.map(t => t.kind),
346
+ requestCount: requests.length,
347
+ mutationCount: mutations.length,
348
+ successfulMutationCount: successfulMutations.length,
349
+ };
350
+ }
351
+
352
+ module.exports = {
353
+ DETECTORS,
354
+ analyzeActionCorrelation,
355
+ analyzeAllActions,
356
+ createFinding,
357
+ summarizeActionOutcome,
358
+ generateFingerprint,
359
+ };