@vibecheckai/cli 3.2.2 → 3.2.4

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 (170) hide show
  1. package/bin/.generated +25 -25
  2. package/bin/dev/run-v2-torture.js +30 -30
  3. package/bin/runners/ENHANCEMENT_GUIDE.md +121 -121
  4. package/bin/runners/lib/__tests__/entitlements-v2.test.js +295 -295
  5. package/bin/runners/lib/agent-firewall/ai/false-positive-analyzer.js +474 -0
  6. package/bin/runners/lib/agent-firewall/claims/extractor.js +117 -28
  7. package/bin/runners/lib/agent-firewall/evidence/env-evidence.js +23 -14
  8. package/bin/runners/lib/agent-firewall/evidence/route-evidence.js +72 -1
  9. package/bin/runners/lib/agent-firewall/interceptor/base.js +2 -2
  10. package/bin/runners/lib/agent-firewall/policy/default-policy.json +6 -0
  11. package/bin/runners/lib/agent-firewall/policy/engine.js +34 -3
  12. package/bin/runners/lib/agent-firewall/policy/rules/fake-success.js +29 -4
  13. package/bin/runners/lib/agent-firewall/policy/rules/ghost-route.js +12 -0
  14. package/bin/runners/lib/agent-firewall/truthpack/loader.js +21 -0
  15. package/bin/runners/lib/agent-firewall/utils/ignore-checker.js +118 -0
  16. package/bin/runners/lib/analyzers.js +606 -325
  17. package/bin/runners/lib/auth-truth.js +193 -193
  18. package/bin/runners/lib/backup.js +62 -62
  19. package/bin/runners/lib/billing.js +107 -107
  20. package/bin/runners/lib/claims.js +118 -118
  21. package/bin/runners/lib/cli-ui.js +540 -540
  22. package/bin/runners/lib/contracts/auth-contract.js +202 -202
  23. package/bin/runners/lib/contracts/env-contract.js +181 -181
  24. package/bin/runners/lib/contracts/external-contract.js +206 -206
  25. package/bin/runners/lib/contracts/guard.js +168 -168
  26. package/bin/runners/lib/contracts/index.js +89 -89
  27. package/bin/runners/lib/contracts/plan-validator.js +311 -311
  28. package/bin/runners/lib/contracts/route-contract.js +199 -199
  29. package/bin/runners/lib/contracts.js +804 -804
  30. package/bin/runners/lib/detect.js +89 -89
  31. package/bin/runners/lib/doctor/autofix.js +254 -254
  32. package/bin/runners/lib/doctor/index.js +37 -37
  33. package/bin/runners/lib/doctor/modules/dependencies.js +325 -325
  34. package/bin/runners/lib/doctor/modules/index.js +46 -46
  35. package/bin/runners/lib/doctor/modules/network.js +250 -250
  36. package/bin/runners/lib/doctor/modules/project.js +312 -312
  37. package/bin/runners/lib/doctor/modules/runtime.js +224 -224
  38. package/bin/runners/lib/doctor/modules/security.js +348 -348
  39. package/bin/runners/lib/doctor/modules/system.js +213 -213
  40. package/bin/runners/lib/doctor/modules/vibecheck.js +394 -394
  41. package/bin/runners/lib/doctor/reporter.js +262 -262
  42. package/bin/runners/lib/doctor/service.js +262 -262
  43. package/bin/runners/lib/doctor/types.js +113 -113
  44. package/bin/runners/lib/doctor/ui.js +263 -263
  45. package/bin/runners/lib/doctor-v2.js +608 -608
  46. package/bin/runners/lib/drift.js +425 -425
  47. package/bin/runners/lib/enforcement.js +72 -72
  48. package/bin/runners/lib/engines/accessibility-engine.js +190 -0
  49. package/bin/runners/lib/engines/api-consistency-engine.js +162 -0
  50. package/bin/runners/lib/engines/ast-cache.js +99 -0
  51. package/bin/runners/lib/engines/code-quality-engine.js +255 -0
  52. package/bin/runners/lib/engines/console-logs-engine.js +115 -0
  53. package/bin/runners/lib/engines/cross-file-analysis-engine.js +268 -0
  54. package/bin/runners/lib/engines/dead-code-engine.js +198 -0
  55. package/bin/runners/lib/engines/deprecated-api-engine.js +226 -0
  56. package/bin/runners/lib/engines/empty-catch-engine.js +150 -0
  57. package/bin/runners/lib/engines/file-filter.js +131 -0
  58. package/bin/runners/lib/engines/hardcoded-secrets-engine.js +251 -0
  59. package/bin/runners/lib/engines/mock-data-engine.js +272 -0
  60. package/bin/runners/lib/engines/parallel-processor.js +71 -0
  61. package/bin/runners/lib/engines/performance-issues-engine.js +265 -0
  62. package/bin/runners/lib/engines/security-vulnerabilities-engine.js +243 -0
  63. package/bin/runners/lib/engines/todo-fixme-engine.js +115 -0
  64. package/bin/runners/lib/engines/type-aware-engine.js +152 -0
  65. package/bin/runners/lib/engines/unsafe-regex-engine.js +225 -0
  66. package/bin/runners/lib/engines/vibecheck-engines/README.md +53 -0
  67. package/bin/runners/lib/engines/vibecheck-engines/index.js +15 -0
  68. package/bin/runners/lib/engines/vibecheck-engines/lib/ast-cache.js +164 -0
  69. package/bin/runners/lib/engines/vibecheck-engines/lib/code-quality-engine.js +291 -0
  70. package/bin/runners/lib/engines/vibecheck-engines/lib/console-logs-engine.js +83 -0
  71. package/bin/runners/lib/engines/vibecheck-engines/lib/dead-code-engine.js +198 -0
  72. package/bin/runners/lib/engines/vibecheck-engines/lib/deprecated-api-engine.js +275 -0
  73. package/bin/runners/lib/engines/vibecheck-engines/lib/empty-catch-engine.js +167 -0
  74. package/bin/runners/lib/engines/vibecheck-engines/lib/file-filter.js +217 -0
  75. package/bin/runners/lib/engines/vibecheck-engines/lib/hardcoded-secrets-engine.js +139 -0
  76. package/bin/runners/lib/engines/vibecheck-engines/lib/mock-data-engine.js +140 -0
  77. package/bin/runners/lib/engines/vibecheck-engines/lib/parallel-processor.js +164 -0
  78. package/bin/runners/lib/engines/vibecheck-engines/lib/performance-issues-engine.js +234 -0
  79. package/bin/runners/lib/engines/vibecheck-engines/lib/type-aware-engine.js +217 -0
  80. package/bin/runners/lib/engines/vibecheck-engines/lib/unsafe-regex-engine.js +78 -0
  81. package/bin/runners/lib/engines/vibecheck-engines/package.json +13 -0
  82. package/bin/runners/lib/enterprise-detect.js +603 -603
  83. package/bin/runners/lib/enterprise-init.js +942 -942
  84. package/bin/runners/lib/env-resolver.js +417 -417
  85. package/bin/runners/lib/env-template.js +66 -66
  86. package/bin/runners/lib/env.js +189 -189
  87. package/bin/runners/lib/extractors/client-calls.js +990 -990
  88. package/bin/runners/lib/extractors/fastify-route-dump.js +573 -573
  89. package/bin/runners/lib/extractors/fastify-routes.js +426 -426
  90. package/bin/runners/lib/extractors/index.js +363 -363
  91. package/bin/runners/lib/extractors/next-routes.js +524 -524
  92. package/bin/runners/lib/extractors/proof-graph.js +431 -431
  93. package/bin/runners/lib/extractors/route-matcher.js +451 -451
  94. package/bin/runners/lib/extractors/truthpack-v2.js +377 -377
  95. package/bin/runners/lib/extractors/ui-bindings.js +547 -547
  96. package/bin/runners/lib/findings-schema.js +281 -281
  97. package/bin/runners/lib/firewall-prompt.js +50 -50
  98. package/bin/runners/lib/global-flags.js +213 -213
  99. package/bin/runners/lib/graph/graph-builder.js +265 -265
  100. package/bin/runners/lib/graph/html-renderer.js +413 -413
  101. package/bin/runners/lib/graph/index.js +32 -32
  102. package/bin/runners/lib/graph/runtime-collector.js +215 -215
  103. package/bin/runners/lib/graph/static-extractor.js +518 -518
  104. package/bin/runners/lib/html-report.js +650 -650
  105. package/bin/runners/lib/interactive-menu.js +1496 -1496
  106. package/bin/runners/lib/llm.js +75 -75
  107. package/bin/runners/lib/meter.js +61 -61
  108. package/bin/runners/lib/missions/evidence.js +126 -126
  109. package/bin/runners/lib/patch.js +40 -40
  110. package/bin/runners/lib/permissions/auth-model.js +213 -213
  111. package/bin/runners/lib/permissions/idor-prover.js +205 -205
  112. package/bin/runners/lib/permissions/index.js +45 -45
  113. package/bin/runners/lib/permissions/matrix-builder.js +198 -198
  114. package/bin/runners/lib/pkgjson.js +28 -28
  115. package/bin/runners/lib/policy.js +295 -295
  116. package/bin/runners/lib/preflight.js +142 -142
  117. package/bin/runners/lib/reality/correlation-detectors.js +359 -359
  118. package/bin/runners/lib/reality/index.js +318 -318
  119. package/bin/runners/lib/reality/request-hashing.js +416 -416
  120. package/bin/runners/lib/reality/request-mapper.js +453 -453
  121. package/bin/runners/lib/reality/safety-rails.js +463 -463
  122. package/bin/runners/lib/reality/semantic-snapshot.js +408 -408
  123. package/bin/runners/lib/reality/toast-detector.js +393 -393
  124. package/bin/runners/lib/reality-findings.js +84 -84
  125. package/bin/runners/lib/receipts.js +179 -179
  126. package/bin/runners/lib/redact.js +29 -29
  127. package/bin/runners/lib/replay/capsule-manager.js +154 -154
  128. package/bin/runners/lib/replay/index.js +263 -263
  129. package/bin/runners/lib/replay/player.js +348 -348
  130. package/bin/runners/lib/replay/recorder.js +331 -331
  131. package/bin/runners/lib/report-output.js +187 -187
  132. package/bin/runners/lib/report.js +135 -135
  133. package/bin/runners/lib/route-detection.js +1140 -1140
  134. package/bin/runners/lib/sandbox/index.js +59 -59
  135. package/bin/runners/lib/sandbox/proof-chain.js +399 -399
  136. package/bin/runners/lib/sandbox/sandbox-runner.js +205 -205
  137. package/bin/runners/lib/sandbox/worktree.js +174 -174
  138. package/bin/runners/lib/scan-output.js +525 -190
  139. package/bin/runners/lib/schema-validator.js +350 -350
  140. package/bin/runners/lib/schemas/contracts.schema.json +160 -160
  141. package/bin/runners/lib/schemas/finding.schema.json +100 -100
  142. package/bin/runners/lib/schemas/mission-pack.schema.json +206 -206
  143. package/bin/runners/lib/schemas/proof-graph.schema.json +176 -176
  144. package/bin/runners/lib/schemas/reality-report.schema.json +162 -162
  145. package/bin/runners/lib/schemas/share-pack.schema.json +180 -180
  146. package/bin/runners/lib/schemas/ship-report.schema.json +117 -117
  147. package/bin/runners/lib/schemas/truthpack-v2.schema.json +303 -303
  148. package/bin/runners/lib/schemas/validator.js +438 -438
  149. package/bin/runners/lib/score-history.js +282 -282
  150. package/bin/runners/lib/share-pack.js +239 -239
  151. package/bin/runners/lib/snippets.js +67 -67
  152. package/bin/runners/lib/status-output.js +253 -253
  153. package/bin/runners/lib/terminal-ui.js +351 -271
  154. package/bin/runners/lib/upsell.js +510 -510
  155. package/bin/runners/lib/usage.js +153 -153
  156. package/bin/runners/lib/validate-patch.js +156 -156
  157. package/bin/runners/lib/verdict-engine.js +628 -628
  158. package/bin/runners/reality/engine.js +917 -917
  159. package/bin/runners/reality/flows.js +122 -122
  160. package/bin/runners/reality/report.js +378 -378
  161. package/bin/runners/reality/session.js +193 -193
  162. package/bin/runners/runGuard.js +168 -168
  163. package/bin/runners/runProof.zip +0 -0
  164. package/bin/runners/runProve.js +8 -0
  165. package/bin/runners/runReality.js +14 -0
  166. package/bin/runners/runScan.js +17 -1
  167. package/bin/runners/runTruth.js +15 -3
  168. package/mcp-server/tier-auth.js +4 -4
  169. package/mcp-server/tools/index.js +72 -72
  170. package/package.json +1 -1
@@ -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
+ };