@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,399 +1,399 @@
1
- /**
2
- * Proof Chain
3
- * Runs verification stages in sandbox before accepting patches
4
- */
5
-
6
- "use strict";
7
-
8
- const { execSync } = require("child_process");
9
- const fs = require("fs");
10
- const path = require("path");
11
-
12
- /**
13
- * Proof chain stages
14
- */
15
- const PROOF_LEVELS = {
16
- fast: ["static"],
17
- balanced: ["static", "build"],
18
- paranoid: ["static", "build", "reality"]
19
- };
20
-
21
- /**
22
- * Run proof chain in sandbox
23
- */
24
- async function runProofChain(sandboxPath, options = {}) {
25
- const level = options.level || "balanced";
26
- const stages = PROOF_LEVELS[level] || PROOF_LEVELS.balanced;
27
-
28
- const results = {
29
- level,
30
- stages: [],
31
- passed: true,
32
- duration: 0
33
- };
34
-
35
- const startTime = Date.now();
36
-
37
- for (const stage of stages) {
38
- const stageResult = await runStage(sandboxPath, stage, options);
39
- results.stages.push(stageResult);
40
-
41
- if (!stageResult.passed) {
42
- results.passed = false;
43
- results.failedAt = stage;
44
- break;
45
- }
46
- }
47
-
48
- results.duration = Date.now() - startTime;
49
- return results;
50
- }
51
-
52
- /**
53
- * Run individual proof stage
54
- */
55
- async function runStage(sandboxPath, stage, options) {
56
- const startTime = Date.now();
57
-
58
- switch (stage) {
59
- case "static":
60
- return runStaticProof(sandboxPath, options);
61
- case "build":
62
- return runBuildProof(sandboxPath, options);
63
- case "reality":
64
- return runRealityProof(sandboxPath, options);
65
- default:
66
- return { stage, passed: true, skipped: true, duration: 0 };
67
- }
68
- }
69
-
70
- /**
71
- * Static proof: ship + contracts guard
72
- */
73
- async function runStaticProof(sandboxPath, options) {
74
- const result = {
75
- stage: "static",
76
- passed: true,
77
- checks: [],
78
- duration: 0
79
- };
80
-
81
- const startTime = Date.now();
82
-
83
- // Run vibecheck ship in sandbox
84
- try {
85
- const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
86
- const output = execSync(`node "${vibecheckBin}" ship --json`, {
87
- cwd: sandboxPath,
88
- encoding: "utf8",
89
- timeout: 30000,
90
- stdio: "pipe",
91
- env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
92
- });
93
-
94
- // Parse verdict from output
95
- const verdictMatch = output.match(/Verdict:\s*(SHIP|WARN|BLOCK)/i);
96
- const verdict = verdictMatch ? verdictMatch[1].toUpperCase() : "UNKNOWN";
97
-
98
- result.checks.push({
99
- name: "ship",
100
- passed: verdict !== "BLOCK",
101
- verdict,
102
- output: output.slice(-500)
103
- });
104
-
105
- if (verdict === "BLOCK") {
106
- result.passed = false;
107
- result.reason = "Ship verdict is BLOCK";
108
- }
109
- } catch (e) {
110
- result.checks.push({
111
- name: "ship",
112
- passed: false,
113
- error: e.message
114
- });
115
- result.passed = false;
116
- result.reason = `Ship check failed: ${e.message}`;
117
- }
118
-
119
- // Run contracts guard if contracts exist
120
- const contractsDir = path.join(sandboxPath, ".vibecheck", "contracts");
121
- if (fs.existsSync(contractsDir)) {
122
- try {
123
- const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
124
- const output = execSync(`node "${vibecheckBin}" ctx guard --json`, {
125
- cwd: sandboxPath,
126
- encoding: "utf8",
127
- timeout: 30000,
128
- stdio: "pipe",
129
- env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
130
- });
131
-
132
- result.checks.push({
133
- name: "contracts",
134
- passed: true,
135
- output: output.slice(-500)
136
- });
137
- } catch (e) {
138
- // Check if it's a BLOCK
139
- if (e.status === 2) {
140
- result.checks.push({
141
- name: "contracts",
142
- passed: false,
143
- error: "Contract violations found"
144
- });
145
- result.passed = false;
146
- result.reason = "Contract guard failed";
147
- } else {
148
- result.checks.push({
149
- name: "contracts",
150
- passed: true,
151
- warning: e.message
152
- });
153
- }
154
- }
155
- }
156
-
157
- result.duration = Date.now() - startTime;
158
- return result;
159
- }
160
-
161
- /**
162
- * Build proof: typecheck + build + targeted tests
163
- */
164
- async function runBuildProof(sandboxPath, options) {
165
- const result = {
166
- stage: "build",
167
- passed: true,
168
- checks: [],
169
- duration: 0
170
- };
171
-
172
- const startTime = Date.now();
173
-
174
- // Detect package manager
175
- const pm = detectPackageManager(sandboxPath);
176
-
177
- // Check for TypeScript
178
- const tsconfigPath = path.join(sandboxPath, "tsconfig.json");
179
- if (fs.existsSync(tsconfigPath)) {
180
- try {
181
- execSync(`${pm} run typecheck 2>&1 || npx tsc --noEmit 2>&1`, {
182
- cwd: sandboxPath,
183
- encoding: "utf8",
184
- timeout: 60000,
185
- stdio: "pipe"
186
- });
187
-
188
- result.checks.push({
189
- name: "typecheck",
190
- passed: true
191
- });
192
- } catch (e) {
193
- // TypeScript errors
194
- result.checks.push({
195
- name: "typecheck",
196
- passed: false,
197
- error: e.stdout?.slice(-500) || e.message
198
- });
199
- result.passed = false;
200
- result.reason = "TypeScript errors";
201
- }
202
- }
203
-
204
- // Try to run build
205
- const pkgPath = path.join(sandboxPath, "package.json");
206
- if (fs.existsSync(pkgPath)) {
207
- try {
208
- const pkg = JSON.parse(fs.readFileSync(pkgPath, "utf8"));
209
-
210
- if (pkg.scripts?.build) {
211
- execSync(`${pm} run build`, {
212
- cwd: sandboxPath,
213
- encoding: "utf8",
214
- timeout: 120000,
215
- stdio: "pipe"
216
- });
217
-
218
- result.checks.push({
219
- name: "build",
220
- passed: true
221
- });
222
- }
223
- } catch (e) {
224
- result.checks.push({
225
- name: "build",
226
- passed: false,
227
- error: e.message?.slice(-500)
228
- });
229
- result.passed = false;
230
- result.reason = "Build failed";
231
- }
232
- }
233
-
234
- // Run targeted tests if changed files have test files
235
- if (options.changedFiles?.length) {
236
- const testFiles = findRelatedTests(sandboxPath, options.changedFiles);
237
-
238
- if (testFiles.length > 0) {
239
- try {
240
- const testCmd = `${pm} test -- ${testFiles.join(" ")}`;
241
- execSync(testCmd, {
242
- cwd: sandboxPath,
243
- encoding: "utf8",
244
- timeout: 120000,
245
- stdio: "pipe"
246
- });
247
-
248
- result.checks.push({
249
- name: "tests",
250
- passed: true,
251
- files: testFiles
252
- });
253
- } catch (e) {
254
- result.checks.push({
255
- name: "tests",
256
- passed: false,
257
- files: testFiles,
258
- error: e.message?.slice(-500)
259
- });
260
- result.passed = false;
261
- result.reason = "Tests failed";
262
- }
263
- }
264
- }
265
-
266
- result.duration = Date.now() - startTime;
267
- return result;
268
- }
269
-
270
- /**
271
- * Reality proof: run reality checks on critical paths
272
- */
273
- async function runRealityProof(sandboxPath, options) {
274
- const result = {
275
- stage: "reality",
276
- passed: true,
277
- checks: [],
278
- duration: 0
279
- };
280
-
281
- const startTime = Date.now();
282
-
283
- if (!options.url) {
284
- result.checks.push({
285
- name: "reality",
286
- passed: true,
287
- skipped: true,
288
- reason: "No URL provided"
289
- });
290
- result.duration = Date.now() - startTime;
291
- return result;
292
- }
293
-
294
- // Run vibecheck reality
295
- try {
296
- const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
297
- const cmd = `node "${vibecheckBin}" reality --url ${options.url} --max-pages 5 --max-depth 1`;
298
-
299
- execSync(cmd, {
300
- cwd: sandboxPath,
301
- encoding: "utf8",
302
- timeout: 120000,
303
- stdio: "pipe",
304
- env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
305
- });
306
-
307
- result.checks.push({
308
- name: "reality",
309
- passed: true
310
- });
311
- } catch (e) {
312
- if (e.status === 2) {
313
- result.checks.push({
314
- name: "reality",
315
- passed: false,
316
- error: "Reality check found blocking issues"
317
- });
318
- result.passed = false;
319
- result.reason = "Reality check failed";
320
- } else {
321
- result.checks.push({
322
- name: "reality",
323
- passed: true,
324
- warning: e.message
325
- });
326
- }
327
- }
328
-
329
- result.duration = Date.now() - startTime;
330
- return result;
331
- }
332
-
333
- /**
334
- * Detect package manager
335
- */
336
- function detectPackageManager(repoRoot) {
337
- if (fs.existsSync(path.join(repoRoot, "pnpm-lock.yaml"))) return "pnpm";
338
- if (fs.existsSync(path.join(repoRoot, "yarn.lock"))) return "yarn";
339
- return "npm";
340
- }
341
-
342
- /**
343
- * Find test files related to changed files
344
- */
345
- function findRelatedTests(repoRoot, changedFiles) {
346
- const testFiles = [];
347
-
348
- for (const file of changedFiles) {
349
- // Look for .test.ts, .spec.ts variants
350
- const base = file.replace(/\.(ts|tsx|js|jsx)$/, "");
351
- const testVariants = [
352
- `${base}.test.ts`,
353
- `${base}.test.tsx`,
354
- `${base}.test.js`,
355
- `${base}.spec.ts`,
356
- `${base}.spec.tsx`,
357
- `${base}.spec.js`
358
- ];
359
-
360
- for (const variant of testVariants) {
361
- const testPath = path.join(repoRoot, variant);
362
- if (fs.existsSync(testPath)) {
363
- testFiles.push(variant);
364
- break;
365
- }
366
- }
367
-
368
- // Also check __tests__ directory
369
- const dir = path.dirname(file);
370
- const name = path.basename(file).replace(/\.(ts|tsx|js|jsx)$/, "");
371
- const testsDir = path.join(repoRoot, dir, "__tests__");
372
-
373
- if (fs.existsSync(testsDir)) {
374
- const testVariants = [
375
- `${name}.test.ts`,
376
- `${name}.test.tsx`,
377
- `${name}.test.js`
378
- ];
379
-
380
- for (const variant of testVariants) {
381
- const testPath = path.join(testsDir, variant);
382
- if (fs.existsSync(testPath)) {
383
- testFiles.push(path.join(dir, "__tests__", variant));
384
- break;
385
- }
386
- }
387
- }
388
- }
389
-
390
- return [...new Set(testFiles)];
391
- }
392
-
393
- module.exports = {
394
- runProofChain,
395
- runStaticProof,
396
- runBuildProof,
397
- runRealityProof,
398
- PROOF_LEVELS
399
- };
1
+ /**
2
+ * Proof Chain
3
+ * Runs verification stages in sandbox before accepting patches
4
+ */
5
+
6
+ "use strict";
7
+
8
+ const { execSync } = require("child_process");
9
+ const fs = require("fs");
10
+ const path = require("path");
11
+
12
+ /**
13
+ * Proof chain stages
14
+ */
15
+ const PROOF_LEVELS = {
16
+ fast: ["static"],
17
+ balanced: ["static", "build"],
18
+ paranoid: ["static", "build", "reality"]
19
+ };
20
+
21
+ /**
22
+ * Run proof chain in sandbox
23
+ */
24
+ async function runProofChain(sandboxPath, options = {}) {
25
+ const level = options.level || "balanced";
26
+ const stages = PROOF_LEVELS[level] || PROOF_LEVELS.balanced;
27
+
28
+ const results = {
29
+ level,
30
+ stages: [],
31
+ passed: true,
32
+ duration: 0
33
+ };
34
+
35
+ const startTime = Date.now();
36
+
37
+ for (const stage of stages) {
38
+ const stageResult = await runStage(sandboxPath, stage, options);
39
+ results.stages.push(stageResult);
40
+
41
+ if (!stageResult.passed) {
42
+ results.passed = false;
43
+ results.failedAt = stage;
44
+ break;
45
+ }
46
+ }
47
+
48
+ results.duration = Date.now() - startTime;
49
+ return results;
50
+ }
51
+
52
+ /**
53
+ * Run individual proof stage
54
+ */
55
+ async function runStage(sandboxPath, stage, options) {
56
+ const startTime = Date.now();
57
+
58
+ switch (stage) {
59
+ case "static":
60
+ return runStaticProof(sandboxPath, options);
61
+ case "build":
62
+ return runBuildProof(sandboxPath, options);
63
+ case "reality":
64
+ return runRealityProof(sandboxPath, options);
65
+ default:
66
+ return { stage, passed: true, skipped: true, duration: 0 };
67
+ }
68
+ }
69
+
70
+ /**
71
+ * Static proof: ship + contracts guard
72
+ */
73
+ async function runStaticProof(sandboxPath, options) {
74
+ const result = {
75
+ stage: "static",
76
+ passed: true,
77
+ checks: [],
78
+ duration: 0
79
+ };
80
+
81
+ const startTime = Date.now();
82
+
83
+ // Run vibecheck ship in sandbox
84
+ try {
85
+ const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
86
+ const output = execSync(`node "${vibecheckBin}" ship --json`, {
87
+ cwd: sandboxPath,
88
+ encoding: "utf8",
89
+ timeout: 30000,
90
+ stdio: "pipe",
91
+ env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
92
+ });
93
+
94
+ // Parse verdict from output
95
+ const verdictMatch = output.match(/Verdict:\s*(SHIP|WARN|BLOCK)/i);
96
+ const verdict = verdictMatch ? verdictMatch[1].toUpperCase() : "UNKNOWN";
97
+
98
+ result.checks.push({
99
+ name: "ship",
100
+ passed: verdict !== "BLOCK",
101
+ verdict,
102
+ output: output.slice(-500)
103
+ });
104
+
105
+ if (verdict === "BLOCK") {
106
+ result.passed = false;
107
+ result.reason = "Ship verdict is BLOCK";
108
+ }
109
+ } catch (e) {
110
+ result.checks.push({
111
+ name: "ship",
112
+ passed: false,
113
+ error: e.message
114
+ });
115
+ result.passed = false;
116
+ result.reason = `Ship check failed: ${e.message}`;
117
+ }
118
+
119
+ // Run contracts guard if contracts exist
120
+ const contractsDir = path.join(sandboxPath, ".vibecheck", "contracts");
121
+ if (fs.existsSync(contractsDir)) {
122
+ try {
123
+ const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
124
+ const output = execSync(`node "${vibecheckBin}" ctx guard --json`, {
125
+ cwd: sandboxPath,
126
+ encoding: "utf8",
127
+ timeout: 30000,
128
+ stdio: "pipe",
129
+ env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
130
+ });
131
+
132
+ result.checks.push({
133
+ name: "contracts",
134
+ passed: true,
135
+ output: output.slice(-500)
136
+ });
137
+ } catch (e) {
138
+ // Check if it's a BLOCK
139
+ if (e.status === 2) {
140
+ result.checks.push({
141
+ name: "contracts",
142
+ passed: false,
143
+ error: "Contract violations found"
144
+ });
145
+ result.passed = false;
146
+ result.reason = "Contract guard failed";
147
+ } else {
148
+ result.checks.push({
149
+ name: "contracts",
150
+ passed: true,
151
+ warning: e.message
152
+ });
153
+ }
154
+ }
155
+ }
156
+
157
+ result.duration = Date.now() - startTime;
158
+ return result;
159
+ }
160
+
161
+ /**
162
+ * Build proof: typecheck + build + targeted tests
163
+ */
164
+ async function runBuildProof(sandboxPath, options) {
165
+ const result = {
166
+ stage: "build",
167
+ passed: true,
168
+ checks: [],
169
+ duration: 0
170
+ };
171
+
172
+ const startTime = Date.now();
173
+
174
+ // Detect package manager
175
+ const pm = detectPackageManager(sandboxPath);
176
+
177
+ // Check for TypeScript
178
+ const tsconfigPath = path.join(sandboxPath, "tsconfig.json");
179
+ if (fs.existsSync(tsconfigPath)) {
180
+ try {
181
+ execSync(`${pm} run typecheck 2>&1 || npx tsc --noEmit 2>&1`, {
182
+ cwd: sandboxPath,
183
+ encoding: "utf8",
184
+ timeout: 60000,
185
+ stdio: "pipe"
186
+ });
187
+
188
+ result.checks.push({
189
+ name: "typecheck",
190
+ passed: true
191
+ });
192
+ } catch (e) {
193
+ // TypeScript errors
194
+ result.checks.push({
195
+ name: "typecheck",
196
+ passed: false,
197
+ error: e.stdout?.slice(-500) || e.message
198
+ });
199
+ result.passed = false;
200
+ result.reason = "TypeScript errors";
201
+ }
202
+ }
203
+
204
+ // Try to run build
205
+ const pkgPath = path.join(sandboxPath, "package.json");
206
+ if (fs.existsSync(pkgPath)) {
207
+ try {
208
+ const pkg = JSON.parse(fs.readFileSync(pkgPath, "utf8"));
209
+
210
+ if (pkg.scripts?.build) {
211
+ execSync(`${pm} run build`, {
212
+ cwd: sandboxPath,
213
+ encoding: "utf8",
214
+ timeout: 120000,
215
+ stdio: "pipe"
216
+ });
217
+
218
+ result.checks.push({
219
+ name: "build",
220
+ passed: true
221
+ });
222
+ }
223
+ } catch (e) {
224
+ result.checks.push({
225
+ name: "build",
226
+ passed: false,
227
+ error: e.message?.slice(-500)
228
+ });
229
+ result.passed = false;
230
+ result.reason = "Build failed";
231
+ }
232
+ }
233
+
234
+ // Run targeted tests if changed files have test files
235
+ if (options.changedFiles?.length) {
236
+ const testFiles = findRelatedTests(sandboxPath, options.changedFiles);
237
+
238
+ if (testFiles.length > 0) {
239
+ try {
240
+ const testCmd = `${pm} test -- ${testFiles.join(" ")}`;
241
+ execSync(testCmd, {
242
+ cwd: sandboxPath,
243
+ encoding: "utf8",
244
+ timeout: 120000,
245
+ stdio: "pipe"
246
+ });
247
+
248
+ result.checks.push({
249
+ name: "tests",
250
+ passed: true,
251
+ files: testFiles
252
+ });
253
+ } catch (e) {
254
+ result.checks.push({
255
+ name: "tests",
256
+ passed: false,
257
+ files: testFiles,
258
+ error: e.message?.slice(-500)
259
+ });
260
+ result.passed = false;
261
+ result.reason = "Tests failed";
262
+ }
263
+ }
264
+ }
265
+
266
+ result.duration = Date.now() - startTime;
267
+ return result;
268
+ }
269
+
270
+ /**
271
+ * Reality proof: run reality checks on critical paths
272
+ */
273
+ async function runRealityProof(sandboxPath, options) {
274
+ const result = {
275
+ stage: "reality",
276
+ passed: true,
277
+ checks: [],
278
+ duration: 0
279
+ };
280
+
281
+ const startTime = Date.now();
282
+
283
+ if (!options.url) {
284
+ result.checks.push({
285
+ name: "reality",
286
+ passed: true,
287
+ skipped: true,
288
+ reason: "No URL provided"
289
+ });
290
+ result.duration = Date.now() - startTime;
291
+ return result;
292
+ }
293
+
294
+ // Run vibecheck reality
295
+ try {
296
+ const vibecheckBin = path.join(__dirname, "..", "..", "..", "vibecheck.js");
297
+ const cmd = `node "${vibecheckBin}" reality --url ${options.url} --max-pages 5 --max-depth 1`;
298
+
299
+ execSync(cmd, {
300
+ cwd: sandboxPath,
301
+ encoding: "utf8",
302
+ timeout: 120000,
303
+ stdio: "pipe",
304
+ env: { ...process.env, VIBECHECK_SKIP_AUTH: "1" }
305
+ });
306
+
307
+ result.checks.push({
308
+ name: "reality",
309
+ passed: true
310
+ });
311
+ } catch (e) {
312
+ if (e.status === 2) {
313
+ result.checks.push({
314
+ name: "reality",
315
+ passed: false,
316
+ error: "Reality check found blocking issues"
317
+ });
318
+ result.passed = false;
319
+ result.reason = "Reality check failed";
320
+ } else {
321
+ result.checks.push({
322
+ name: "reality",
323
+ passed: true,
324
+ warning: e.message
325
+ });
326
+ }
327
+ }
328
+
329
+ result.duration = Date.now() - startTime;
330
+ return result;
331
+ }
332
+
333
+ /**
334
+ * Detect package manager
335
+ */
336
+ function detectPackageManager(repoRoot) {
337
+ if (fs.existsSync(path.join(repoRoot, "pnpm-lock.yaml"))) return "pnpm";
338
+ if (fs.existsSync(path.join(repoRoot, "yarn.lock"))) return "yarn";
339
+ return "npm";
340
+ }
341
+
342
+ /**
343
+ * Find test files related to changed files
344
+ */
345
+ function findRelatedTests(repoRoot, changedFiles) {
346
+ const testFiles = [];
347
+
348
+ for (const file of changedFiles) {
349
+ // Look for .test.ts, .spec.ts variants
350
+ const base = file.replace(/\.(ts|tsx|js|jsx)$/, "");
351
+ const testVariants = [
352
+ `${base}.test.ts`,
353
+ `${base}.test.tsx`,
354
+ `${base}.test.js`,
355
+ `${base}.spec.ts`,
356
+ `${base}.spec.tsx`,
357
+ `${base}.spec.js`
358
+ ];
359
+
360
+ for (const variant of testVariants) {
361
+ const testPath = path.join(repoRoot, variant);
362
+ if (fs.existsSync(testPath)) {
363
+ testFiles.push(variant);
364
+ break;
365
+ }
366
+ }
367
+
368
+ // Also check __tests__ directory
369
+ const dir = path.dirname(file);
370
+ const name = path.basename(file).replace(/\.(ts|tsx|js|jsx)$/, "");
371
+ const testsDir = path.join(repoRoot, dir, "__tests__");
372
+
373
+ if (fs.existsSync(testsDir)) {
374
+ const testVariants = [
375
+ `${name}.test.ts`,
376
+ `${name}.test.tsx`,
377
+ `${name}.test.js`
378
+ ];
379
+
380
+ for (const variant of testVariants) {
381
+ const testPath = path.join(testsDir, variant);
382
+ if (fs.existsSync(testPath)) {
383
+ testFiles.push(path.join(dir, "__tests__", variant));
384
+ break;
385
+ }
386
+ }
387
+ }
388
+ }
389
+
390
+ return [...new Set(testFiles)];
391
+ }
392
+
393
+ module.exports = {
394
+ runProofChain,
395
+ runStaticProof,
396
+ runBuildProof,
397
+ runRealityProof,
398
+ PROOF_LEVELS
399
+ };