@vibecheckai/cli 3.2.4 → 3.2.6

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 (123) hide show
  1. package/bin/.generated +25 -25
  2. package/bin/dev/run-v2-torture.js +30 -30
  3. package/bin/runners/lib/__tests__/entitlements-v2.test.js +295 -295
  4. package/bin/runners/lib/api-client.js +269 -0
  5. package/bin/runners/lib/auth-truth.js +193 -193
  6. package/bin/runners/lib/backup.js +62 -62
  7. package/bin/runners/lib/billing.js +107 -107
  8. package/bin/runners/lib/claims.js +118 -118
  9. package/bin/runners/lib/cli-ui.js +540 -540
  10. package/bin/runners/lib/contracts/auth-contract.js +202 -202
  11. package/bin/runners/lib/contracts/env-contract.js +181 -181
  12. package/bin/runners/lib/contracts/external-contract.js +206 -206
  13. package/bin/runners/lib/contracts/guard.js +168 -168
  14. package/bin/runners/lib/contracts/index.js +89 -89
  15. package/bin/runners/lib/contracts/plan-validator.js +311 -311
  16. package/bin/runners/lib/contracts/route-contract.js +199 -199
  17. package/bin/runners/lib/contracts.js +804 -804
  18. package/bin/runners/lib/detect.js +89 -89
  19. package/bin/runners/lib/doctor/autofix.js +254 -254
  20. package/bin/runners/lib/doctor/index.js +37 -37
  21. package/bin/runners/lib/doctor/modules/dependencies.js +325 -325
  22. package/bin/runners/lib/doctor/modules/index.js +46 -46
  23. package/bin/runners/lib/doctor/modules/network.js +250 -250
  24. package/bin/runners/lib/doctor/modules/project.js +312 -312
  25. package/bin/runners/lib/doctor/modules/runtime.js +224 -224
  26. package/bin/runners/lib/doctor/modules/security.js +348 -348
  27. package/bin/runners/lib/doctor/modules/system.js +213 -213
  28. package/bin/runners/lib/doctor/modules/vibecheck.js +394 -394
  29. package/bin/runners/lib/doctor/reporter.js +262 -262
  30. package/bin/runners/lib/doctor/service.js +262 -262
  31. package/bin/runners/lib/doctor/types.js +113 -113
  32. package/bin/runners/lib/doctor/ui.js +263 -263
  33. package/bin/runners/lib/doctor-v2.js +608 -608
  34. package/bin/runners/lib/drift.js +425 -425
  35. package/bin/runners/lib/enforcement.js +72 -72
  36. package/bin/runners/lib/enterprise-detect.js +603 -603
  37. package/bin/runners/lib/enterprise-init.js +942 -942
  38. package/bin/runners/lib/env-resolver.js +417 -417
  39. package/bin/runners/lib/env-template.js +66 -66
  40. package/bin/runners/lib/env.js +189 -189
  41. package/bin/runners/lib/extractors/client-calls.js +990 -990
  42. package/bin/runners/lib/extractors/fastify-route-dump.js +573 -573
  43. package/bin/runners/lib/extractors/fastify-routes.js +426 -426
  44. package/bin/runners/lib/extractors/index.js +363 -363
  45. package/bin/runners/lib/extractors/next-routes.js +524 -524
  46. package/bin/runners/lib/extractors/proof-graph.js +431 -431
  47. package/bin/runners/lib/extractors/route-matcher.js +451 -451
  48. package/bin/runners/lib/extractors/truthpack-v2.js +377 -377
  49. package/bin/runners/lib/extractors/ui-bindings.js +547 -547
  50. package/bin/runners/lib/findings-schema.js +281 -281
  51. package/bin/runners/lib/firewall-prompt.js +50 -50
  52. package/bin/runners/lib/graph/graph-builder.js +265 -265
  53. package/bin/runners/lib/graph/html-renderer.js +413 -413
  54. package/bin/runners/lib/graph/index.js +32 -32
  55. package/bin/runners/lib/graph/runtime-collector.js +215 -215
  56. package/bin/runners/lib/graph/static-extractor.js +518 -518
  57. package/bin/runners/lib/html-report.js +650 -650
  58. package/bin/runners/lib/llm.js +75 -75
  59. package/bin/runners/lib/meter.js +61 -61
  60. package/bin/runners/lib/missions/evidence.js +126 -126
  61. package/bin/runners/lib/patch.js +40 -40
  62. package/bin/runners/lib/permissions/auth-model.js +213 -213
  63. package/bin/runners/lib/permissions/idor-prover.js +205 -205
  64. package/bin/runners/lib/permissions/index.js +45 -45
  65. package/bin/runners/lib/permissions/matrix-builder.js +198 -198
  66. package/bin/runners/lib/pkgjson.js +28 -28
  67. package/bin/runners/lib/policy.js +295 -295
  68. package/bin/runners/lib/preflight.js +142 -142
  69. package/bin/runners/lib/reality/correlation-detectors.js +359 -359
  70. package/bin/runners/lib/reality/index.js +318 -318
  71. package/bin/runners/lib/reality/request-hashing.js +416 -416
  72. package/bin/runners/lib/reality/request-mapper.js +453 -453
  73. package/bin/runners/lib/reality/safety-rails.js +463 -463
  74. package/bin/runners/lib/reality/semantic-snapshot.js +408 -408
  75. package/bin/runners/lib/reality/toast-detector.js +393 -393
  76. package/bin/runners/lib/reality-findings.js +84 -84
  77. package/bin/runners/lib/receipts.js +179 -179
  78. package/bin/runners/lib/redact.js +29 -29
  79. package/bin/runners/lib/replay/capsule-manager.js +154 -154
  80. package/bin/runners/lib/replay/index.js +263 -263
  81. package/bin/runners/lib/replay/player.js +348 -348
  82. package/bin/runners/lib/replay/recorder.js +331 -331
  83. package/bin/runners/lib/report.js +135 -135
  84. package/bin/runners/lib/route-detection.js +1140 -1140
  85. package/bin/runners/lib/sandbox/index.js +59 -59
  86. package/bin/runners/lib/sandbox/proof-chain.js +399 -399
  87. package/bin/runners/lib/sandbox/sandbox-runner.js +205 -205
  88. package/bin/runners/lib/sandbox/worktree.js +174 -174
  89. package/bin/runners/lib/schema-validator.js +350 -350
  90. package/bin/runners/lib/schemas/contracts.schema.json +160 -160
  91. package/bin/runners/lib/schemas/finding.schema.json +100 -100
  92. package/bin/runners/lib/schemas/mission-pack.schema.json +206 -206
  93. package/bin/runners/lib/schemas/proof-graph.schema.json +176 -176
  94. package/bin/runners/lib/schemas/reality-report.schema.json +162 -162
  95. package/bin/runners/lib/schemas/share-pack.schema.json +180 -180
  96. package/bin/runners/lib/schemas/ship-report.schema.json +117 -117
  97. package/bin/runners/lib/schemas/truthpack-v2.schema.json +303 -303
  98. package/bin/runners/lib/schemas/validator.js +438 -438
  99. package/bin/runners/lib/score-history.js +282 -282
  100. package/bin/runners/lib/share-pack.js +239 -239
  101. package/bin/runners/lib/snippets.js +67 -67
  102. package/bin/runners/lib/upsell.js +510 -510
  103. package/bin/runners/lib/usage.js +153 -153
  104. package/bin/runners/lib/validate-patch.js +156 -156
  105. package/bin/runners/lib/verdict-engine.js +628 -628
  106. package/bin/runners/reality/engine.js +917 -917
  107. package/bin/runners/reality/flows.js +122 -122
  108. package/bin/runners/reality/report.js +378 -378
  109. package/bin/runners/reality/session.js +193 -193
  110. package/bin/runners/runAgent.d.ts +5 -0
  111. package/bin/runners/runFirewall.d.ts +5 -0
  112. package/bin/runners/runFirewallHook.d.ts +5 -0
  113. package/bin/runners/runGuard.js +168 -168
  114. package/bin/runners/runScan.js +82 -0
  115. package/bin/runners/runTruth.d.ts +5 -0
  116. package/bin/vibecheck.js +45 -20
  117. package/mcp-server/index.js +85 -0
  118. package/mcp-server/lib/api-client.js +269 -0
  119. package/mcp-server/package.json +1 -1
  120. package/mcp-server/tier-auth.js +173 -113
  121. package/mcp-server/tools/index.js +72 -72
  122. package/mcp-server/vibecheck-mcp-server-3.2.0.tgz +0 -0
  123. 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
+ };