pi-lens 4.3.0 → 4.4.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 (650) hide show
  1. package/CHANGELOG.md +1064 -0
  2. package/README.md +115 -25
  3. package/config/dependency-cruiser-eager-allowlist.json +6 -2
  4. package/dist/chunk-22AVIGXS.js +560 -0
  5. package/dist/chunk-27BBHSZC.js +106 -0
  6. package/dist/chunk-2BEMIWEW.js +51 -0
  7. package/dist/chunk-2EECBNC5.js +89 -0
  8. package/dist/chunk-34U7PLGE.js +23 -0
  9. package/dist/chunk-3I5QFT3N.js +181 -0
  10. package/dist/chunk-3MED75HT.js +37 -0
  11. package/dist/chunk-47D2BO4S.js +87 -0
  12. package/dist/chunk-4RERDEXR.js +348 -0
  13. package/dist/chunk-4W2PLC4J.js +27 -0
  14. package/dist/chunk-52H5B5TC.js +202 -0
  15. package/dist/chunk-54B42YRX.js +27 -0
  16. package/dist/chunk-5RXBNSW2.js +266 -0
  17. package/dist/chunk-5THXD6X5.js +201 -0
  18. package/dist/chunk-5W3R6LFT.js +24 -0
  19. package/dist/chunk-5ZEJHV35.js +341 -0
  20. package/dist/chunk-6P62QVEA.js +118 -0
  21. package/dist/chunk-6QIUX4EP.js +459 -0
  22. package/dist/chunk-6VCD4VKZ.js +78 -0
  23. package/dist/chunk-7F72PXY2.js +326 -0
  24. package/dist/chunk-7FBF7NPR.js +998 -0
  25. package/dist/chunk-7U2IDNXN.js +37 -0
  26. package/dist/chunk-ABBOA7UD.js +157 -0
  27. package/dist/chunk-AHDW3GPE.js +50 -0
  28. package/dist/chunk-AJ3QXTRQ.js +756 -0
  29. package/dist/chunk-AJVLWNFN.js +1610 -0
  30. package/dist/chunk-AJXODZY6.js +112 -0
  31. package/dist/chunk-ARFCXG7S.js +84 -0
  32. package/dist/chunk-AS44CFQ4.js +708 -0
  33. package/dist/chunk-AWE5TMPO.js +38 -0
  34. package/dist/chunk-B3I2UUT4.js +4692 -0
  35. package/dist/chunk-BRJKOBZP.js +331 -0
  36. package/dist/chunk-BW5KFIQC.js +59 -0
  37. package/dist/chunk-C2AUYXQH.js +149 -0
  38. package/dist/chunk-CGGAIP7J.js +29 -0
  39. package/dist/chunk-D6QS3U6M.js +30 -0
  40. package/dist/chunk-DFVMIKMQ.js +349 -0
  41. package/dist/chunk-DIULIWKU.js +169 -0
  42. package/dist/chunk-DQ2NZ7C4.js +2317 -0
  43. package/dist/chunk-E2WFBRHM.js +213 -0
  44. package/dist/chunk-E4MAEDPM.js +50 -0
  45. package/dist/chunk-EOKRQ3SA.js +30 -0
  46. package/dist/chunk-F3AU2TMM.js +2626 -0
  47. package/dist/chunk-F3P7VQ7H.js +170 -0
  48. package/dist/chunk-FC4RP4I2.js +12 -0
  49. package/dist/chunk-FJNKANOS.js +32 -0
  50. package/dist/chunk-GUOGVTCQ.js +146 -0
  51. package/dist/chunk-GVXA6CCE.js +18 -0
  52. package/dist/chunk-HHYAELLJ.js +2334 -0
  53. package/dist/chunk-HMFXILPV.js +83 -0
  54. package/dist/chunk-HVUZXSWK.js +421 -0
  55. package/dist/chunk-HWBZIGMJ.js +62 -0
  56. package/dist/chunk-I3R7GKDR.js +17 -0
  57. package/dist/chunk-I7SPGOWI.js +55 -0
  58. package/dist/chunk-IIXOAGHR.js +38 -0
  59. package/dist/chunk-IVP5KAB7.js +2250 -0
  60. package/dist/chunk-IXEBJSUE.js +22 -0
  61. package/dist/chunk-JOLITGCC.js +27 -0
  62. package/dist/chunk-K6VYLB2U.js +145 -0
  63. package/dist/chunk-LJDODBBZ.js +78 -0
  64. package/dist/chunk-LNAKEO63.js +78 -0
  65. package/dist/chunk-LSMJ6KBE.js +4139 -0
  66. package/dist/chunk-LW6XKDZQ.js +5565 -0
  67. package/dist/chunk-N3YQJI6O.js +899 -0
  68. package/dist/chunk-NABLC7W3.js +148 -0
  69. package/dist/chunk-NKOUFPQF.js +659 -0
  70. package/dist/chunk-NL5GLMFI.js +211 -0
  71. package/dist/chunk-NMABWBZN.js +327 -0
  72. package/dist/chunk-NTHH2J74.js +27 -0
  73. package/dist/chunk-NTUJEGDZ.js +59 -0
  74. package/dist/chunk-NXL4FFQQ.js +47 -0
  75. package/dist/chunk-NXPS2L6U.js +466 -0
  76. package/dist/chunk-O5WILGMI.js +42 -0
  77. package/dist/chunk-O6TQT6RI.js +48 -0
  78. package/dist/chunk-OAXNDZJ7.js +323 -0
  79. package/dist/chunk-ODEEOXPH.js +44 -0
  80. package/dist/chunk-OQGFCZJ4.js +4533 -0
  81. package/dist/chunk-ORTMY4Q4.js +282 -0
  82. package/dist/chunk-OS32RNR2.js +442 -0
  83. package/dist/chunk-PAK6IDME.js +189 -0
  84. package/dist/chunk-PWFHBTSF.js +406 -0
  85. package/dist/chunk-Q5U6FMDI.js +2352 -0
  86. package/dist/chunk-QOZXJ4NA.js +3364 -0
  87. package/dist/chunk-QYF5S6P6.js +45 -0
  88. package/dist/chunk-RIISMHKN.js +36 -0
  89. package/dist/chunk-RPD4ZSB7.js +25 -0
  90. package/dist/chunk-RPD5K5NC.js +79 -0
  91. package/dist/chunk-RUOG5D2C.js +262 -0
  92. package/dist/chunk-T4ERT73Y.js +599 -0
  93. package/dist/chunk-T6D4Q4AQ.js +54 -0
  94. package/dist/chunk-TGPXLY2J.js +391 -0
  95. package/dist/chunk-TLGFBM3F.js +12116 -0
  96. package/dist/chunk-TO6WL3GM.js +88 -0
  97. package/dist/chunk-TT22N74J.js +517 -0
  98. package/dist/chunk-TVN5N6GY.js +21216 -0
  99. package/dist/chunk-U3VGR4VU.js +308 -0
  100. package/dist/chunk-UK3CMEAL.js +1250 -0
  101. package/dist/chunk-UOPVJQ4N.js +103 -0
  102. package/dist/chunk-UXVNL3D7.js +23 -0
  103. package/dist/chunk-UY752QSN.js +45 -0
  104. package/dist/chunk-V5PXFSZK.js +188 -0
  105. package/dist/chunk-V7R425XG.js +398 -0
  106. package/dist/chunk-VCSRSYLF.js +81 -0
  107. package/dist/chunk-VD4JQCQC.js +162 -0
  108. package/dist/chunk-VDBPVIKD.js +62 -0
  109. package/dist/chunk-VHQLPIRJ.js +114 -0
  110. package/dist/chunk-VN2AXLEX.js +5414 -0
  111. package/dist/chunk-VNMT7C64.js +478 -0
  112. package/dist/chunk-WONERJTP.js +309 -0
  113. package/dist/chunk-XECLWQZN.js +85 -0
  114. package/dist/chunk-XIMYZ3JA.js +27 -0
  115. package/dist/chunk-XK4CIILI.js +144 -0
  116. package/dist/chunk-Y4T27COV.js +562 -0
  117. package/dist/chunk-YGVYKNSN.js +1860 -0
  118. package/dist/chunk-YLF3PPT5.js +308 -0
  119. package/dist/chunk-YSNFMJKN.js +14 -0
  120. package/dist/chunk-Z3CCVDUB.js +76 -0
  121. package/dist/chunk-Z54ZSOBZ.js +61 -0
  122. package/dist/chunk-ZAWW3AF6.js +97 -0
  123. package/dist/chunk-ZMOL6RQC.js +167 -0
  124. package/dist/index.js +16456 -8335
  125. package/dist/mcp/analyze-cli.js +186 -232
  126. package/dist/mcp/cli.js +137 -98
  127. package/dist/mcp/server.js +22589 -1573
  128. package/dist/mcp/worker.js +97 -38
  129. package/dist/probes/installer.js +135 -0
  130. package/dist/workers/project-snapshot-persist-worker.js +22 -0
  131. package/dist/workers/review-graph-persist-worker.js +15 -0
  132. package/docs/agent-guide.md +13 -4
  133. package/docs/agent-tools.md +42 -0
  134. package/docs/ast-grep_rules_catalog.md +3 -2
  135. package/docs/configuration.md +20 -1
  136. package/docs/environment-variables.md +52 -2
  137. package/docs/features.md +8 -4
  138. package/docs/globalconfig.md +1 -0
  139. package/docs/io-bridge-v2-migration.md +94 -0
  140. package/docs/lsp-capability-matrix.md +36 -4
  141. package/docs/lsp-idle-eviction.md +124 -0
  142. package/docs/mcp.md +21 -5
  143. package/docs/merge-queue-rollout.md +77 -0
  144. package/docs/pi-lens-fixer.md +156 -88
  145. package/docs/pi-lens-investigator.md +74 -26
  146. package/docs/pi-lens-merge-policy.md +694 -0
  147. package/docs/pi-lens-monitor.md +73 -7
  148. package/docs/pi-lens-retro.md +6 -4
  149. package/docs/pi-lens-reviewer.md +188 -48
  150. package/docs/pi-lens-subagent.md +246 -45
  151. package/docs/pi-lens-warden.md +18 -7
  152. package/docs/public-api-stability.md +55 -0
  153. package/docs/release-qa-baseline.md +84 -17
  154. package/docs/rfcs/3654-unified-io-bridge-v2.md +316 -0
  155. package/docs/servercapabilities.md +53 -49
  156. package/docs/settings.md +1 -0
  157. package/docs/usage.md +5 -1
  158. package/grammars/tree-sitter-bash.wasm +0 -0
  159. package/grammars/tree-sitter-bash.wasm.json +3 -3
  160. package/package.json +19 -7
  161. package/rules/ast-grep-rules/rule-tests/advisory-registry-subset-test.yml +41 -0
  162. package/rules/ast-grep-rules/rules/advisory-registry-subset.yml +50 -0
  163. package/scripts/analyze-pi-lens-logs.mjs +1275 -62
  164. package/scripts/download-grammars.js +5 -0
  165. package/scripts/grammars.lock.json +6 -1
  166. package/scripts/install-selftest.mjs +33 -34
  167. package/scripts/lib/host-provided-deps.mjs +13 -4
  168. package/scripts/lib/web-tree-sitter-dir.mjs +18 -0
  169. package/dist/clients/actionable-warnings-logger.js +0 -35
  170. package/dist/clients/actionable-warnings.js +0 -1610
  171. package/dist/clients/advisory-provenance.js +0 -593
  172. package/dist/clients/agent-behavior-client.js +0 -147
  173. package/dist/clients/agent-nudge.js +0 -325
  174. package/dist/clients/analysed-root.js +0 -1
  175. package/dist/clients/ast-grep-client.js +0 -731
  176. package/dist/clients/ast-grep-rule-manager.js +0 -146
  177. package/dist/clients/ast-grep-tool-logger.js +0 -118
  178. package/dist/clients/ast-grep-types.js +0 -10
  179. package/dist/clients/ast-grep-yaml-synth.js +0 -154
  180. package/dist/clients/atomic-write-staging.js +0 -75
  181. package/dist/clients/atomic-write.js +0 -189
  182. package/dist/clients/availability-probe-flight.js +0 -12
  183. package/dist/clients/bash-file-access.js +0 -1056
  184. package/dist/clients/biome-client.js +0 -357
  185. package/dist/clients/blocker-freshness.js +0 -837
  186. package/dist/clients/blocker-past-eof.js +0 -129
  187. package/dist/clients/bootstrap.js +0 -569
  188. package/dist/clients/bounded-cache.js +0 -190
  189. package/dist/clients/bounded-pid-file-lock.js +0 -202
  190. package/dist/clients/bounded-telemetry.js +0 -295
  191. package/dist/clients/build-identity.js +0 -95
  192. package/dist/clients/bundled-resource-health.js +0 -113
  193. package/dist/clients/bus-events-logger.js +0 -105
  194. package/dist/clients/bus-publish.js +0 -171
  195. package/dist/clients/cache/rule-cache.js +0 -190
  196. package/dist/clients/cache-manager.js +0 -524
  197. package/dist/clients/cache-observability.js +0 -1313
  198. package/dist/clients/call-graph.js +0 -852
  199. package/dist/clients/cargo-manifest.js +0 -422
  200. package/dist/clients/cascade-budget.js +0 -196
  201. package/dist/clients/cascade-format.js +0 -315
  202. package/dist/clients/cascade-logger.js +0 -31
  203. package/dist/clients/cascade-types.js +0 -9
  204. package/dist/clients/child-unref.js +0 -124
  205. package/dist/clients/code-quality-warnings.js +0 -286
  206. package/dist/clients/codebase-model.js +0 -173
  207. package/dist/clients/collateral-test-role.js +0 -40
  208. package/dist/clients/complexity-client.js +0 -462
  209. package/dist/clients/config-core/deny.js +0 -221
  210. package/dist/clients/config-core/index.js +0 -50
  211. package/dist/clients/config-core/merge.js +0 -357
  212. package/dist/clients/config-core/normalize.js +0 -340
  213. package/dist/clients/config-core/process-spec.js +0 -248
  214. package/dist/clients/config-core/provenance.js +0 -164
  215. package/dist/clients/config-core/records.js +0 -218
  216. package/dist/clients/config-core/resolve.js +0 -125
  217. package/dist/clients/config-core/safe-object.js +0 -78
  218. package/dist/clients/config-core/schema.js +0 -165
  219. package/dist/clients/config-diagnostic-codes.js +0 -285
  220. package/dist/clients/config-locations.js +0 -388
  221. package/dist/clients/config-resolve.js +0 -798
  222. package/dist/clients/config-schema.js +0 -251
  223. package/dist/clients/config-warn.js +0 -407
  224. package/dist/clients/console-guard-install.js +0 -26
  225. package/dist/clients/cooperative-budget.js +0 -42
  226. package/dist/clients/dead-code-client.js +0 -510
  227. package/dist/clients/dead-code-logger.js +0 -30
  228. package/dist/clients/deadline-utils.js +0 -280
  229. package/dist/clients/debug-handles.js +0 -211
  230. package/dist/clients/debug-heap.js +0 -174
  231. package/dist/clients/deferred-lsp-work.js +0 -106
  232. package/dist/clients/degradation-ledger.js +0 -426
  233. package/dist/clients/demoted-finding-render.js +0 -169
  234. package/dist/clients/dependency-checker.js +0 -885
  235. package/dist/clients/deps/ast-grep-napi.js +0 -22
  236. package/dist/clients/deps/js-yaml.js +0 -9
  237. package/dist/clients/deps/minimatch.js +0 -4
  238. package/dist/clients/deps/pi-tui.js +0 -14
  239. package/dist/clients/deps/typebox.js +0 -14
  240. package/dist/clients/deps/vscode-jsonrpc.js +0 -1
  241. package/dist/clients/deps/web-tree-sitter.js +0 -24
  242. package/dist/clients/diagnostic-dispositions.js +0 -630
  243. package/dist/clients/diagnostic-line-freshness.js +0 -305
  244. package/dist/clients/diagnostic-logger.js +0 -73
  245. package/dist/clients/diagnostic-tracker.js +0 -105
  246. package/dist/clients/diagnostics-publish.js +0 -230
  247. package/dist/clients/dispatch/ast-grep-catalog.js +0 -65
  248. package/dist/clients/dispatch/auxiliary-lsp.js +0 -343
  249. package/dist/clients/dispatch/collect-later-tier.js +0 -35
  250. package/dist/clients/dispatch/diagnostic-taxonomy.js +0 -66
  251. package/dist/clients/dispatch/dispatcher.js +0 -1269
  252. package/dist/clients/dispatch/fact-provider-types.js +0 -1
  253. package/dist/clients/dispatch/fact-rule-runner.js +0 -17
  254. package/dist/clients/dispatch/fact-runner.js +0 -30
  255. package/dist/clients/dispatch/fact-scheduler.js +0 -68
  256. package/dist/clients/dispatch/fact-store.js +0 -377
  257. package/dist/clients/dispatch/facts/comment-facts.js +0 -22
  258. package/dist/clients/dispatch/facts/file-content.js +0 -19
  259. package/dist/clients/dispatch/facts/function-facts.js +0 -348
  260. package/dist/clients/dispatch/facts/import-facts.js +0 -204
  261. package/dist/clients/dispatch/facts/tree-sitter-facts.js +0 -34
  262. package/dist/clients/dispatch/facts/try-catch-facts.js +0 -119
  263. package/dist/clients/dispatch/finding-policy.js +0 -339
  264. package/dist/clients/dispatch/indent-detect.js +0 -417
  265. package/dist/clients/dispatch/inline-suppressions.js +0 -89
  266. package/dist/clients/dispatch/integration.js +0 -2377
  267. package/dist/clients/dispatch/lazy.js +0 -11
  268. package/dist/clients/dispatch/pending-runner-findings.js +0 -87
  269. package/dist/clients/dispatch/plan.js +0 -278
  270. package/dist/clients/dispatch/priorities.js +0 -20
  271. package/dist/clients/dispatch/rule-id-normalize.js +0 -50
  272. package/dist/clients/dispatch/rule-ignores.js +0 -69
  273. package/dist/clients/dispatch/rule-policy.js +0 -135
  274. package/dist/clients/dispatch/rules/async-noise.js +0 -40
  275. package/dist/clients/dispatch/rules/async-unnecessary-wrapper.js +0 -27
  276. package/dist/clients/dispatch/rules/cors-wildcard.js +0 -54
  277. package/dist/clients/dispatch/rules/error-obscuring.js +0 -32
  278. package/dist/clients/dispatch/rules/error-swallowing.js +0 -31
  279. package/dist/clients/dispatch/rules/framework-call-noise.js +0 -67
  280. package/dist/clients/dispatch/rules/high-complexity.js +0 -72
  281. package/dist/clients/dispatch/rules/high-fan-out.js +0 -74
  282. package/dist/clients/dispatch/rules/high-import-coupling.js +0 -37
  283. package/dist/clients/dispatch/rules/missing-error-propagation.js +0 -62
  284. package/dist/clients/dispatch/rules/no-commented-credentials.js +0 -52
  285. package/dist/clients/dispatch/rules/pass-through-wrappers.js +0 -42
  286. package/dist/clients/dispatch/rules/placeholder-comments.js +0 -40
  287. package/dist/clients/dispatch/rules/unsafe-boundary.js +0 -126
  288. package/dist/clients/dispatch/runner-context.js +0 -52
  289. package/dist/clients/dispatch/runners/actionlint.js +0 -111
  290. package/dist/clients/dispatch/runners/ast-grep-napi.js +0 -1196
  291. package/dist/clients/dispatch/runners/biome-check.js +0 -296
  292. package/dist/clients/dispatch/runners/cpp-check.js +0 -219
  293. package/dist/clients/dispatch/runners/credo.js +0 -82
  294. package/dist/clients/dispatch/runners/cue-vet.js +0 -416
  295. package/dist/clients/dispatch/runners/dart-analyze.js +0 -183
  296. package/dist/clients/dispatch/runners/detekt.js +0 -176
  297. package/dist/clients/dispatch/runners/dotnet-build.js +0 -164
  298. package/dist/clients/dispatch/runners/elixir-check.js +0 -195
  299. package/dist/clients/dispatch/runners/eslint.js +0 -137
  300. package/dist/clients/dispatch/runners/fact-rules.js +0 -29
  301. package/dist/clients/dispatch/runners/fish-indent.js +0 -69
  302. package/dist/clients/dispatch/runners/gleam-check.js +0 -167
  303. package/dist/clients/dispatch/runners/go-vet.js +0 -104
  304. package/dist/clients/dispatch/runners/golangci-lint.js +0 -135
  305. package/dist/clients/dispatch/runners/hadolint.js +0 -91
  306. package/dist/clients/dispatch/runners/helm-lint.js +0 -171
  307. package/dist/clients/dispatch/runners/helm-render.js +0 -940
  308. package/dist/clients/dispatch/runners/htmlhint.js +0 -117
  309. package/dist/clients/dispatch/runners/index.js +0 -108
  310. package/dist/clients/dispatch/runners/javac.js +0 -99
  311. package/dist/clients/dispatch/runners/ktlint.js +0 -110
  312. package/dist/clients/dispatch/runners/lsp.js +0 -379
  313. package/dist/clients/dispatch/runners/markdownlint.js +0 -167
  314. package/dist/clients/dispatch/runners/mypy.js +0 -102
  315. package/dist/clients/dispatch/runners/oxlint.js +0 -414
  316. package/dist/clients/dispatch/runners/php-lint.js +0 -85
  317. package/dist/clients/dispatch/runners/phpstan.js +0 -120
  318. package/dist/clients/dispatch/runners/prisma-validate.js +0 -62
  319. package/dist/clients/dispatch/runners/psscriptanalyzer.js +0 -445
  320. package/dist/clients/dispatch/runners/pyright.js +0 -169
  321. package/dist/clients/dispatch/runners/rubocop.js +0 -99
  322. package/dist/clients/dispatch/runners/ruff.js +0 -88
  323. package/dist/clients/dispatch/runners/rust-clippy.js +0 -256
  324. package/dist/clients/dispatch/runners/shellcheck.js +0 -173
  325. package/dist/clients/dispatch/runners/shfmt.js +0 -102
  326. package/dist/clients/dispatch/runners/spellcheck.js +0 -128
  327. package/dist/clients/dispatch/runners/spotbugs.js +0 -259
  328. package/dist/clients/dispatch/runners/sqlfluff.js +0 -183
  329. package/dist/clients/dispatch/runners/stylelint.js +0 -166
  330. package/dist/clients/dispatch/runners/swiftlint.js +0 -163
  331. package/dist/clients/dispatch/runners/taplo.js +0 -174
  332. package/dist/clients/dispatch/runners/terragrunt.js +0 -168
  333. package/dist/clients/dispatch/runners/tflint.js +0 -125
  334. package/dist/clients/dispatch/runners/tree-sitter.js +0 -643
  335. package/dist/clients/dispatch/runners/trivy-config.js +0 -253
  336. package/dist/clients/dispatch/runners/utils/availability-policy.js +0 -496
  337. package/dist/clients/dispatch/runners/utils/candidate-probe.js +0 -90
  338. package/dist/clients/dispatch/runners/utils/diagnostic-parsers.js +0 -95
  339. package/dist/clients/dispatch/runners/utils/lazy-installer.js +0 -274
  340. package/dist/clients/dispatch/runners/utils/runner-helpers.js +0 -1701
  341. package/dist/clients/dispatch/runners/utils/spawn-outcome.js +0 -101
  342. package/dist/clients/dispatch/runners/utils/tool-failure.js +0 -235
  343. package/dist/clients/dispatch/runners/utils/toolchain-availability.js +0 -169
  344. package/dist/clients/dispatch/runners/utils.js +0 -15
  345. package/dist/clients/dispatch/runners/vale.js +0 -128
  346. package/dist/clients/dispatch/runners/yaml-rule-parser.js +0 -242
  347. package/dist/clients/dispatch/runners/yamllint.js +0 -95
  348. package/dist/clients/dispatch/runners/zig-check.js +0 -79
  349. package/dist/clients/dispatch/suppress-writer.js +0 -79
  350. package/dist/clients/dispatch/tool-profile.js +0 -30
  351. package/dist/clients/dispatch/types.js +0 -21
  352. package/dist/clients/dispatch/utils/format-utils.js +0 -45
  353. package/dist/clients/dispatch/utils/lsp-diagnostics.js +0 -35
  354. package/dist/clients/disposition-logger.js +0 -32
  355. package/dist/clients/disposition-publish.js +0 -124
  356. package/dist/clients/durable-store.js +0 -97
  357. package/dist/clients/effective-config.js +0 -415
  358. package/dist/clients/env-utils.js +0 -83
  359. package/dist/clients/error-class.js +0 -23
  360. package/dist/clients/eval-timestamp.js +0 -17
  361. package/dist/clients/event-loop-hold.js +0 -274
  362. package/dist/clients/event-loop-monitor.js +0 -250
  363. package/dist/clients/extension-log.js +0 -504
  364. package/dist/clients/extension-mode.js +0 -73
  365. package/dist/clients/feature-hints.js +0 -103
  366. package/dist/clients/file-kinds.js +0 -412
  367. package/dist/clients/file-role.js +0 -134
  368. package/dist/clients/file-time.js +0 -160
  369. package/dist/clients/file-utils.js +0 -1032
  370. package/dist/clients/finding-delivery-gate.js +0 -494
  371. package/dist/clients/finding-identity.js +0 -88
  372. package/dist/clients/fix-worklog.js +0 -103
  373. package/dist/clients/format-events-publish.js +0 -343
  374. package/dist/clients/format-service.js +0 -222
  375. package/dist/clients/formatters-lazy.js +0 -9
  376. package/dist/clients/formatters.js +0 -2032
  377. package/dist/clients/freshness-cadence.js +0 -17
  378. package/dist/clients/freshness.js +0 -38
  379. package/dist/clients/generated-artifacts.js +0 -394
  380. package/dist/clients/generation-guard.js +0 -215
  381. package/dist/clients/git-guard.js +0 -1136
  382. package/dist/clients/git-tracked-ignore.js +0 -243
  383. package/dist/clients/gitleaks-client.js +0 -509
  384. package/dist/clients/go-client.js +0 -104
  385. package/dist/clients/govulncheck-client.js +0 -605
  386. package/dist/clients/gradle-ktfmt-style.js +0 -348
  387. package/dist/clients/grammar-source.js +0 -465
  388. package/dist/clients/gzip-stage-write.js +0 -135
  389. package/dist/clients/hashline-anchor.js +0 -424
  390. package/dist/clients/hook-budgets.js +0 -76
  391. package/dist/clients/host-edit-normalize.js +0 -140
  392. package/dist/clients/host-ports.js +0 -39
  393. package/dist/clients/indent-retarget.js +0 -154
  394. package/dist/clients/inline-blocker-dispositions.js +0 -186
  395. package/dist/clients/install-diagnostics.js +0 -156
  396. package/dist/clients/installer/index.js +0 -5416
  397. package/dist/clients/installer/managed-tool-refresh-session.js +0 -58
  398. package/dist/clients/installer/managed-tool-refresh.js +0 -783
  399. package/dist/clients/instance-reaper-state.js +0 -7
  400. package/dist/clients/instance-reaper.js +0 -1137
  401. package/dist/clients/instance-registry-lock.js +0 -145
  402. package/dist/clients/instance-registry.js +0 -773
  403. package/dist/clients/jscpd-client.js +0 -378
  404. package/dist/clients/json-cache-read.js +0 -65
  405. package/dist/clients/knip-client.js +0 -788
  406. package/dist/clients/language-policy.js +0 -252
  407. package/dist/clients/language-profile.js +0 -361
  408. package/dist/clients/language-registry.js +0 -603
  409. package/dist/clients/latency-logger.js +0 -727
  410. package/dist/clients/lazy-import.js +0 -21
  411. package/dist/clients/ledger-bounds.js +0 -54
  412. package/dist/clients/lens-config.js +0 -404
  413. package/dist/clients/lens-engine.js +0 -358
  414. package/dist/clients/lens-events.js +0 -125
  415. package/dist/clients/lens-flag-registry.js +0 -467
  416. package/dist/clients/lens-map.js +0 -1156
  417. package/dist/clients/live-bus-emitter.js +0 -74
  418. package/dist/clients/log-cleanup.js +0 -222
  419. package/dist/clients/lsp/aggregation.js +0 -178
  420. package/dist/clients/lsp/cascade-tier.js +0 -421
  421. package/dist/clients/lsp/client.js +0 -4593
  422. package/dist/clients/lsp/config.js +0 -691
  423. package/dist/clients/lsp/content-limits.js +0 -41
  424. package/dist/clients/lsp/diagnostic-binding.js +0 -225
  425. package/dist/clients/lsp/document-drift.js +0 -467
  426. package/dist/clients/lsp/edits.js +0 -1219
  427. package/dist/clients/lsp/index.js +0 -8305
  428. package/dist/clients/lsp/inferred-project.js +0 -216
  429. package/dist/clients/lsp/jvm-runtime.js +0 -298
  430. package/dist/clients/lsp/language.js +0 -63
  431. package/dist/clients/lsp/launch.js +0 -746
  432. package/dist/clients/lsp/lombok.js +0 -158
  433. package/dist/clients/lsp/path-utils.js +0 -5
  434. package/dist/clients/lsp/pending-aux-coverage.js +0 -251
  435. package/dist/clients/lsp/position-encoding.js +0 -61
  436. package/dist/clients/lsp/ruby-drive-dirs.js +0 -83
  437. package/dist/clients/lsp/server.js +0 -3290
  438. package/dist/clients/lsp/session-roots.js +0 -192
  439. package/dist/clients/lsp/spawn-history.js +0 -17
  440. package/dist/clients/lsp/sync-kind.js +0 -56
  441. package/dist/clients/lsp/tsserver-sync.js +0 -332
  442. package/dist/clients/lsp/wait-policy/capability-snapshot.js +0 -1
  443. package/dist/clients/lsp/wait-policy/classification.js +0 -85
  444. package/dist/clients/lsp/wait-policy/index.js +0 -10
  445. package/dist/clients/lsp/wait-policy/strategies.js +0 -392
  446. package/dist/clients/lsp/watch-queue.js +0 -61
  447. package/dist/clients/lsp/workspace-diagnostics-cache.js +0 -639
  448. package/dist/clients/lsp/workspace-diagnostics-session.js +0 -30
  449. package/dist/clients/lsp/workspace-sweep-hold.js +0 -184
  450. package/dist/clients/lsp-budget.js +0 -186
  451. package/dist/clients/lsp-document-symbols.js +0 -110
  452. package/dist/clients/lsp-lazy.js +0 -9
  453. package/dist/clients/lsp-mutation.js +0 -396
  454. package/dist/clients/lsp-status.js +0 -59
  455. package/dist/clients/map-with-concurrency.js +0 -40
  456. package/dist/clients/mcp/analyze.js +0 -420
  457. package/dist/clients/mcp/host-shim.js +0 -31
  458. package/dist/clients/mcp/ipc.js +0 -523
  459. package/dist/clients/mcp/review.js +0 -197
  460. package/dist/clients/mcp/session.js +0 -412
  461. package/dist/clients/memory-sampler.js +0 -208
  462. package/dist/clients/message-end-attribution.js +0 -30
  463. package/dist/clients/metrics-client.js +0 -107
  464. package/dist/clients/metrics-history.js +0 -327
  465. package/dist/clients/middle-man-analysis.js +0 -263
  466. package/dist/clients/model-provider.js +0 -53
  467. package/dist/clients/module-report-lsp.js +0 -189
  468. package/dist/clients/module-report.js +0 -2150
  469. package/dist/clients/mutating-tool.js +0 -651
  470. package/dist/clients/mutation-attribution.js +0 -368
  471. package/dist/clients/mutation-bridge.js +0 -240
  472. package/dist/clients/ndjson-logger.js +0 -734
  473. package/dist/clients/observed-mutation-sources.js +0 -101
  474. package/dist/clients/observed-mutation.js +0 -1253
  475. package/dist/clients/oldtext-autopatch.js +0 -128
  476. package/dist/clients/opaque-mutation-scan.js +0 -496
  477. package/dist/clients/opengrep-client.js +0 -333
  478. package/dist/clients/opengrep-config.js +0 -76
  479. package/dist/clients/package-manager.js +0 -607
  480. package/dist/clients/package-root.js +0 -38
  481. package/dist/clients/partial-edit-apply.js +0 -439
  482. package/dist/clients/path-attribution-telemetry.js +0 -43
  483. package/dist/clients/path-keyed-map.js +0 -108
  484. package/dist/clients/path-utils.js +0 -1244
  485. package/dist/clients/performance-report.js +0 -331
  486. package/dist/clients/persist-debounce.js +0 -70
  487. package/dist/clients/persistent-reverify.js +0 -271
  488. package/dist/clients/php-cs-fixer-config.js +0 -119
  489. package/dist/clients/pipeline.js +0 -1480
  490. package/dist/clients/post-autofix-notice.js +0 -37
  491. package/dist/clients/print-mode.js +0 -21
  492. package/dist/clients/probe-home-state.js +0 -228
  493. package/dist/clients/process-bridge.js +0 -66
  494. package/dist/clients/process-singletons.js +0 -210
  495. package/dist/clients/process-snapshot.js +0 -68
  496. package/dist/clients/project-changes.js +0 -181
  497. package/dist/clients/project-conventions.js +0 -171
  498. package/dist/clients/project-diagnostics/cache.js +0 -137
  499. package/dist/clients/project-diagnostics/extractors.js +0 -109
  500. package/dist/clients/project-diagnostics/fresh-fetch.js +0 -668
  501. package/dist/clients/project-diagnostics/runner-adapters/call-graph-impact.js +0 -118
  502. package/dist/clients/project-diagnostics/runner-adapters/dead-code.js +0 -47
  503. package/dist/clients/project-diagnostics/runner-adapters/gitleaks.js +0 -40
  504. package/dist/clients/project-diagnostics/runner-adapters/govulncheck.js +0 -34
  505. package/dist/clients/project-diagnostics/runner-adapters/jscpd.js +0 -38
  506. package/dist/clients/project-diagnostics/runner-adapters/knip.js +0 -47
  507. package/dist/clients/project-diagnostics/runner-adapters/madge.js +0 -48
  508. package/dist/clients/project-diagnostics/runner-adapters/opengrep.js +0 -40
  509. package/dist/clients/project-diagnostics/runner-adapters/runner-findings.js +0 -127
  510. package/dist/clients/project-diagnostics/runner-adapters/trivy.js +0 -81
  511. package/dist/clients/project-diagnostics/scanner.js +0 -520
  512. package/dist/clients/project-diagnostics/types.js +0 -1
  513. package/dist/clients/project-lens-config.js +0 -807
  514. package/dist/clients/project-report.js +0 -701
  515. package/dist/clients/project-scale.js +0 -237
  516. package/dist/clients/project-scan-policy.js +0 -11
  517. package/dist/clients/project-snapshot-fingerprint.js +0 -48
  518. package/dist/clients/project-snapshot-persist-worker.js +0 -20
  519. package/dist/clients/project-snapshot.js +0 -1653
  520. package/dist/clients/project-trust.js +0 -181
  521. package/dist/clients/python-environment.js +0 -217
  522. package/dist/clients/python-provenance.js +0 -639
  523. package/dist/clients/quiet-window-config.js +0 -47
  524. package/dist/clients/quiet-window.js +0 -236
  525. package/dist/clients/read-bridge.js +0 -139
  526. package/dist/clients/read-expansion.js +0 -266
  527. package/dist/clients/read-guard-logger.js +0 -251
  528. package/dist/clients/read-guard-tool-lines.js +0 -1306
  529. package/dist/clients/read-guard.js +0 -1561
  530. package/dist/clients/recent-touches.js +0 -240
  531. package/dist/clients/redact/secrets.js +0 -449
  532. package/dist/clients/resource-sampler.js +0 -628
  533. package/dist/clients/reverse-deps.js +0 -270
  534. package/dist/clients/review-graph/builder.js +0 -5126
  535. package/dist/clients/review-graph/format.js +0 -33
  536. package/dist/clients/review-graph/git-identity.js +0 -163
  537. package/dist/clients/review-graph/import-resolvers.js +0 -481
  538. package/dist/clients/review-graph/persist-worker.js +0 -10
  539. package/dist/clients/review-graph/query.js +0 -244
  540. package/dist/clients/review-graph/revision-drift.js +0 -21
  541. package/dist/clients/review-graph/service.js +0 -96
  542. package/dist/clients/review-graph/shared-extraction-ir.js +0 -82
  543. package/dist/clients/review-graph/symbol-id.js +0 -103
  544. package/dist/clients/review-graph/tsconfig-paths.js +0 -299
  545. package/dist/clients/review-graph/types.js +0 -1
  546. package/dist/clients/review-graph/workspace-modules.js +0 -449
  547. package/dist/clients/review-graph-logger.js +0 -81
  548. package/dist/clients/ruff-client.js +0 -179
  549. package/dist/clients/rules-scanner.js +0 -131
  550. package/dist/clients/run-duration.js +0 -55
  551. package/dist/clients/runtime-agent-end.js +0 -746
  552. package/dist/clients/runtime-config.js +0 -77
  553. package/dist/clients/runtime-context.js +0 -211
  554. package/dist/clients/runtime-coordinator.js +0 -1324
  555. package/dist/clients/runtime-session.js +0 -2485
  556. package/dist/clients/runtime-tool-call.js +0 -1295
  557. package/dist/clients/runtime-tool-result.js +0 -2049
  558. package/dist/clients/runtime-turn.js +0 -3767
  559. package/dist/clients/rust-client.js +0 -97
  560. package/dist/clients/safe-spawn.js +0 -2357
  561. package/dist/clients/sanitize.js +0 -286
  562. package/dist/clients/scan-utils.js +0 -25
  563. package/dist/clients/scratch-tree-policy.js +0 -165
  564. package/dist/clients/search-read-registration.js +0 -94
  565. package/dist/clients/secret-findings.js +0 -114
  566. package/dist/clients/security-scan-client.js +0 -352
  567. package/dist/clients/session-event-guard.js +0 -297
  568. package/dist/clients/session-lifecycle.js +0 -484
  569. package/dist/clients/session-start-observability.js +0 -94
  570. package/dist/clients/session-state-store.js +0 -101
  571. package/dist/clients/session-summary.js +0 -15
  572. package/dist/clients/sessionstart-logger.js +0 -27
  573. package/dist/clients/sg-runner.js +0 -876
  574. package/dist/clients/sgconfig.js +0 -347
  575. package/dist/clients/shared-checkout-guard.js +0 -338
  576. package/dist/clients/single-flight.js +0 -158
  577. package/dist/clients/situational-tool-telemetry.js +0 -108
  578. package/dist/clients/skills-resolver.js +0 -141
  579. package/dist/clients/slow-fs.js +0 -138
  580. package/dist/clients/smells-rollup.js +0 -231
  581. package/dist/clients/source-filter.js +0 -596
  582. package/dist/clients/source-walker.js +0 -211
  583. package/dist/clients/spawn-output-cap.js +0 -120
  584. package/dist/clients/spawn-timeout-cooldown.js +0 -110
  585. package/dist/clients/stale-marker.js +0 -17
  586. package/dist/clients/startup-scan.js +0 -400
  587. package/dist/clients/startup-timing.js +0 -130
  588. package/dist/clients/string-utils.js +0 -33
  589. package/dist/clients/subagent-mode.js +0 -111
  590. package/dist/clients/symbol-containment.js +0 -24
  591. package/dist/clients/symbol-types.js +0 -5
  592. package/dist/clients/test-runner-client.js +0 -2507
  593. package/dist/clients/test-runner-delivery.js +0 -287
  594. package/dist/clients/todo-scanner.js +0 -229
  595. package/dist/clients/tool-agreement.js +0 -423
  596. package/dist/clients/tool-config.js +0 -249
  597. package/dist/clients/tool-cwd.js +0 -270
  598. package/dist/clients/tool-definition.js +0 -47
  599. package/dist/clients/tool-event.js +0 -105
  600. package/dist/clients/tool-policy.js +0 -2755
  601. package/dist/clients/tool-probe.js +0 -53
  602. package/dist/clients/tool-render.js +0 -156
  603. package/dist/clients/tool-set-policy.js +0 -118
  604. package/dist/clients/tree-sitter-cache.js +0 -364
  605. package/dist/clients/tree-sitter-client.js +0 -4195
  606. package/dist/clients/tree-sitter-logger.js +0 -100
  607. package/dist/clients/tree-sitter-navigator.js +0 -269
  608. package/dist/clients/tree-sitter-query-loader.js +0 -569
  609. package/dist/clients/tree-sitter-shared.js +0 -158
  610. package/dist/clients/tree-sitter-symbol-extractor.js +0 -1265
  611. package/dist/clients/trivy-client.js +0 -467
  612. package/dist/clients/tui-fit.js +0 -50
  613. package/dist/clients/turn-context.js +0 -52
  614. package/dist/clients/turn-end/lane.js +0 -51
  615. package/dist/clients/turn-end/lanes/govulncheck.js +0 -112
  616. package/dist/clients/turn-end/lanes/secrets.js +0 -204
  617. package/dist/clients/turn-summary-render.js +0 -72
  618. package/dist/clients/turn-summary.js +0 -132
  619. package/dist/clients/typos-config.js +0 -29
  620. package/dist/clients/user-notify.js +0 -51
  621. package/dist/clients/vanished-instance-marker.js +0 -57
  622. package/dist/clients/warm-attach.js +0 -305
  623. package/dist/clients/widget-state.js +0 -1808
  624. package/dist/clients/word-index-logger.js +0 -49
  625. package/dist/clients/word-index-store.js +0 -459
  626. package/dist/clients/word-index.js +0 -2080
  627. package/dist/clients/workspace-topology.js +0 -443
  628. package/dist/clients/write-ordering-guard.js +0 -65
  629. package/dist/clients/zizmor-config.js +0 -340
  630. package/dist/i18n.js +0 -69
  631. package/dist/mcp/build-staleness.js +0 -124
  632. package/dist/scripts/lib/process-scan.mjs +0 -583
  633. package/dist/scripts/lib/skills-predicate.mjs +0 -129
  634. package/dist/scripts/lib/web-tree-sitter-dir.mjs +0 -123
  635. package/dist/tools/activate-tools.js +0 -87
  636. package/dist/tools/ast-grep-outline.js +0 -137
  637. package/dist/tools/ast-grep-replace.js +0 -244
  638. package/dist/tools/ast-grep-search.js +0 -762
  639. package/dist/tools/effective-config.js +0 -90
  640. package/dist/tools/lens-diagnostic-mark.js +0 -375
  641. package/dist/tools/lens-diagnostics.js +0 -2571
  642. package/dist/tools/lsp-diagnostics.js +0 -1745
  643. package/dist/tools/lsp-navigation.js +0 -1367
  644. package/dist/tools/lsp-structured-output.js +0 -294
  645. package/dist/tools/module-report.js +0 -382
  646. package/dist/tools/project-report.js +0 -86
  647. package/dist/tools/render-compact.js +0 -374
  648. package/dist/tools/scan-progress.js +0 -53
  649. package/dist/tools/shared.js +0 -29
  650. package/dist/tools/symbol-search.js +0 -155
@@ -1,1136 +0,0 @@
1
- import * as nodeFs from "node:fs";
2
- import * as path from "node:path";
3
- import { isPathIgnoredByProject } from "./file-utils.js";
4
- import { tokenizeShellCommand } from "./bash-file-access.js";
5
- import { logLatency } from "./latency-logger.js";
6
- import { resolveLensToolName } from "./tool-config.js";
7
- import { advisoryFileHash, advisoryPathKey, MAX_ADVISORY_AFFECTED_FILES, snapshotAdvisoryProvenance, } from "./advisory-provenance.js";
8
- function resolveGuardPath(filePath, cwd) {
9
- return path.resolve(cwd, filePath);
10
- }
11
- function guardPathKey(filePath, cwd) {
12
- return advisoryPathKey(filePath, cwd);
13
- }
14
- function fileFingerprint(filePath) {
15
- return advisoryFileHash(filePath);
16
- }
17
- function currentFileFingerprint(filePath) {
18
- try {
19
- nodeFs.statSync(filePath);
20
- return fileFingerprint(filePath);
21
- }
22
- catch (err) {
23
- return err.code === "ENOENT"
24
- ? "missing"
25
- : `unreadable:${err.code ?? "unknown"}`;
26
- }
27
- }
28
- function capAffectedFiles(files, cwd) {
29
- const unique = [...new Set(files.map((file) => resolveGuardPath(file, cwd)))];
30
- return {
31
- files: unique.slice(0, MAX_ADVISORY_AFFECTED_FILES),
32
- truncated: unique.length > MAX_ADVISORY_AFFECTED_FILES,
33
- };
34
- }
35
- /**
36
- * The turn-end composer's per-file attribution line
37
- * (`clients/runtime-turn.ts:1085`). The optional suppression notice carries its
38
- * own `": "`, so this shape is tried BEFORE the per-edit one below — otherwise
39
- * everything up to `disposition` reads as the file name (#3282 F5).
40
- */
41
- const TURN_END_BLOCKER_SECTION = /^Unresolved from this turn — ([^\s].*?)(?: \(suppressed by disposition: \d+ finding\(s\)\))?:$/;
42
- /**
43
- * The file a line of `blockerContent` ATTRIBUTES a new blocker section to, or
44
- * `undefined` when the line is rendered body that attributes nothing.
45
- *
46
- * Exactly the two shapes the two writers emit, and nothing else:
47
- *
48
- * - `<path>: <text>` at column 0 — `syncGitGuardRecord`'s own join below;
49
- * - `Unresolved from this turn — <path>[ (suppressed by disposition: N
50
- * finding(s))]:` — the turn-end composer's blocker section header.
51
- *
52
- * Both writers render the blocker BODY with `formatDiagnostics(…, "blocking")`
53
- * (`clients/dispatch/utils/format-utils.ts:29`), which indents every line it
54
- * emits — the ` L<n>: <message>` diagnostics, their ` 💡 Fix:` lines, the
55
- * ` ... and N more` tail, and the two-space continuations of a multi-line
56
- * message. The leading-whitespace test is therefore what separates body from
57
- * attribution, and it is why #3282 happened: a line-by-line parse read
58
- * ` L1: alpha is unsafe` as a file named `L1`.
59
- */
60
- function blockerSectionFile(line) {
61
- const turnEndSection = TURN_END_BLOCKER_SECTION.exec(line);
62
- if (turnEndSection)
63
- return turnEndSection[1];
64
- if (/^\s/.test(line))
65
- return undefined;
66
- const separator = line.indexOf(": ");
67
- if (separator <= 0)
68
- return undefined;
69
- return line.slice(0, separator);
70
- }
71
- /**
72
- * The path key of every blocker SECTION `blockerContent` attributes, or
73
- * `undefined` when the text cannot be attributed at all.
74
- *
75
- * `blockerContent` is a sequence of per-file blocker SECTIONS: an attribution
76
- * line, then the rendered body it owns, up to the next attribution line or the
77
- * composer's `"\n\n"` part separator (`clients/runtime-turn.ts:4291`). The one
78
- * consumer is `clearedLastKnownBlocker` below, which drops `blockerContent`
79
- * when the file that just dispatched clean was the last entry in
80
- * `blockingFiles` — sound only if `blockingFiles` accounts for the WHOLE of
81
- * that text.
82
- *
83
- * Named recurrences, both live:
84
- *
85
- * - #3282: the writers render MULTI-LINE blocker text and a line-by-line parse
86
- * judged every such record untrusted, so the first blocker of a session
87
- * latched `blocking_provenance_untrusted` and refused every later commit —
88
- * including after the agent fixed it.
89
- * - #1561: a section for a file `blockingFiles` omits must keep the gate
90
- * closed, and so must a section no file owns at all. `blockerParts` is
91
- * multi-lane — the trivy CRITICAL report (`clients/runtime-turn.ts:2141`),
92
- * knip (`:2147`), the secrets lane (`:2099`) and cascade (`:1340`) each push
93
- * sections belonging to no file — and clearing one of those on a clean
94
- * dispatch of the file beside it would drop a live CVE or leaked secret out
95
- * of the commit gate. That is the fail-closed direction, and the reason an
96
- * unattributable line answers `unknown` rather than being swallowed.
97
- *
98
- * The rule is one-directional on purpose — every SECTION is owned, and
99
- * `blockingFiles` may name more. Demanding a bijection was #3282's second
100
- * cause: the composer writes `blockingFiles: affectedFiles`
101
- * (`clients/runtime-turn.ts:4292`), which carries every file the turn touched
102
- * plus every cascade neighbour with diagnostics, while only the files with a
103
- * surviving blocker get a section — so any turn that edited a second file was
104
- * judged untrusted for the rest of the session. The extra direction also
105
- * guarded nothing: the one consumer clears only when `blockingFiles` has
106
- * shrunk to the single file that just dispatched clean, and every section is
107
- * then that file's by this rule. For the same reason a duplicate section and a
108
- * duplicate `blockingFiles` entry need no clause of their own: neither can make
109
- * the clear drop a blocker some other file owns. An all-blank `blockerContent`
110
- * is NOT in that company — round 1 claimed it was, and the section-count guard
111
- * below is why (HIGH-3287-1).
112
- */
113
- function blockingProvenance(blockerContent, blockingFiles, cwd) {
114
- if (typeof blockerContent !== "string" || blockerContent.length === 0)
115
- return undefined;
116
- // `Array.isArray` only: a non-empty `blockingFiles` is not a separate
117
- // requirement (MEDIUM-3287-2, mutation M11 — it stayed green across the whole
118
- // seam suite). With at least one section required below, an empty
119
- // `blockingFiles` cannot satisfy the ownership test either way, so the clause
120
- // decided nothing; the entry type check under it still does, and has its own
121
- // red (M8).
122
- if (!Array.isArray(blockingFiles))
123
- return undefined;
124
- if (blockingFiles.some((file) => typeof file !== "string" || file.trim().length === 0)) {
125
- return undefined;
126
- }
127
- const provenanceKeys = blockingFiles.map((file) => guardPathKey(file, cwd));
128
- const sectionKeys = [];
129
- let inSection = false;
130
- for (const line of blockerContent.split("\n")) {
131
- // A ZERO-LENGTH line only: the composer's part separator. A
132
- // whitespace-only line is how `formatDiagnostics` renders a blank line
133
- // inside a multi-line diagnostic message, and it is body (#3282 F13).
134
- if (line.length === 0) {
135
- inSection = false;
136
- continue;
137
- }
138
- const file = blockerSectionFile(line);
139
- if (file === undefined) {
140
- // Body of the open section, or — with no section open — text that no
141
- // entry of `blockingFiles` can be held responsible for.
142
- if (!inSection)
143
- return undefined;
144
- continue;
145
- }
146
- sectionKeys.push(guardPathKey(file, cwd));
147
- inSection = true;
148
- }
149
- // No line opened a section, so there is nothing for `blockingFiles` to be
150
- // checked against and nothing a per-file dispatch may claim authority over.
151
- // All-blank-but-non-empty text lands here (HIGH-3287-1, round 1's fail-open):
152
- // `[].every(…)` is vacuously true, so treating zero sections as "nothing left
153
- // to attribute" let a clean dispatch of an unrelated file DELETE a record
154
- // whose `blockingFiles` named a different file, and the gate then answered
155
- // `no_record`. Unattributed is not clean.
156
- if (sectionKeys.length === 0)
157
- return undefined;
158
- return sectionKeys.every((key) => provenanceKeys.includes(key))
159
- ? sectionKeys
160
- : undefined;
161
- }
162
- function getShellCommand(input) {
163
- if (!input || typeof input !== "object")
164
- return "";
165
- const raw = input;
166
- if (typeof raw.command === "string" && raw.command.trim())
167
- return raw.command;
168
- if (typeof raw.cmd === "string" && raw.cmd.trim())
169
- return raw.cmd;
170
- if (typeof raw.command === "string")
171
- return raw.command;
172
- return "";
173
- }
174
- function executableName(value) {
175
- const normalized = value.replace(/\\/g, "/");
176
- let name = (normalized.slice(normalized.lastIndexOf("/") + 1) ?? "").toLowerCase();
177
- // Shell launchers are commonly supplied as resolved Windows paths or as
178
- // PATHEXT-qualified names. Guard classification must happen after the same
179
- // basename/extension normalization for every wrapper family.
180
- return name.replace(/\.(?:exe|com|bat|cmd)$/i, "");
181
- }
182
- function isShellWrapper(value) {
183
- return new Set([
184
- "sh",
185
- "bash",
186
- "dash",
187
- "zsh",
188
- "ash",
189
- "cmd",
190
- "pwsh",
191
- "powershell",
192
- ]).has(executableName(value));
193
- }
194
- function isGitExecutable(value) {
195
- return new Set(["git", "git.exe", "git.cmd", "git.bat"]).has(executableName(value));
196
- }
197
- const COMMAND_STRING_WRAPPERS = new Set(["busybox", "toybox", "nix-shell"]);
198
- function isCommandStringWrapper(value) {
199
- return COMMAND_STRING_WRAPPERS.has(executableName(value));
200
- }
201
- /**
202
- * Canonicalize shell parameter separators before command classification. The
203
- * quote-aware pass deliberately leaves literal arguments alone; the lexer
204
- * then supplies the command-position boundaries used by the guard.
205
- */
206
- function canonicalizeGuardCommand(command) {
207
- let result = "";
208
- let quote;
209
- let escaped = false;
210
- for (let i = 0; i < command.length; i++) {
211
- const ch = command[i];
212
- if (quote === "single") {
213
- result += ch;
214
- if (ch === "'")
215
- quote = undefined;
216
- continue;
217
- }
218
- if (quote === "double") {
219
- result += ch;
220
- if (escaped)
221
- escaped = false;
222
- else if (ch === "\\")
223
- escaped = true;
224
- else if (ch === '"')
225
- quote = undefined;
226
- continue;
227
- }
228
- if (ch === "'" || ch === '"') {
229
- quote = ch === "'" ? "single" : "double";
230
- result += ch;
231
- continue;
232
- }
233
- const parameter = command.slice(i).match(/^\$\{IFS[^}]*\}/)?.[0];
234
- const positional = command.slice(i).match(/^\$IFS(?:\$[0-9]+)?/)?.[0];
235
- if (parameter || positional) {
236
- result += " ";
237
- i += (parameter ?? positional ?? "").length - 1;
238
- continue;
239
- }
240
- result += ch;
241
- }
242
- let collapsed = "";
243
- let pendingSpace = false;
244
- quote = undefined;
245
- for (const ch of result) {
246
- if (!quote && ch === "\n") {
247
- collapsed += ch;
248
- pendingSpace = false;
249
- continue;
250
- }
251
- if (!quote && /\s/.test(ch)) {
252
- pendingSpace = collapsed.length > 0;
253
- continue;
254
- }
255
- if (pendingSpace)
256
- collapsed += " ";
257
- pendingSpace = false;
258
- collapsed += ch;
259
- if (!quote && (ch === "'" || ch === '"')) {
260
- quote = ch === "'" ? "single" : "double";
261
- }
262
- else if ((quote === "single" && ch === "'") ||
263
- (quote === "double" && ch === '"')) {
264
- quote = undefined;
265
- }
266
- }
267
- return collapsed.trim();
268
- }
269
- /** Normalize only a command-position token; never apply this to path args. */
270
- function normalizeGuardVerbToken(value) {
271
- return value
272
- .replace(/\\(?=[A-Za-z0-9_])/g, "")
273
- .replace(/`(?=.)/g, "")
274
- .replace(/\^(?=.)/g, "");
275
- }
276
- function expandGuardVerbToken(value) {
277
- return normalizeGuardVerbToken(value).trim().split(/\s+/).filter(Boolean);
278
- }
279
- function delimitedSubstitutionBody(command, start, opener, closer) {
280
- let depth = 1;
281
- let quote;
282
- let escaped = false;
283
- for (let i = start + opener.length; i < command.length; i++) {
284
- const ch = command[i];
285
- if (quote === "single") {
286
- if (ch === "'")
287
- quote = undefined;
288
- continue;
289
- }
290
- if (quote === "double" && ch === '"') {
291
- quote = undefined;
292
- continue;
293
- }
294
- if (escaped) {
295
- escaped = false;
296
- continue;
297
- }
298
- if (ch === "\\") {
299
- escaped = true;
300
- continue;
301
- }
302
- if (ch === "'" || ch === '"') {
303
- quote = ch === "'" ? "single" : "double";
304
- continue;
305
- }
306
- if (command.startsWith(opener, i)) {
307
- depth += 1;
308
- i += opener.length - 1;
309
- continue;
310
- }
311
- if (command.startsWith(closer, i) && --depth === 0) {
312
- return { body: command.slice(start + opener.length, i), end: i };
313
- }
314
- }
315
- return undefined;
316
- }
317
- const COMMIT_PUSH_MATCHER = {
318
- id: "commit-push",
319
- matchesVerb: (verb) => verb === "commit" || verb === "push",
320
- indirectAlwaysMatches: true,
321
- suppressPostVerbHelp: false,
322
- };
323
- function containsGuardedSubstitution(command, depth, matcher) {
324
- if (depth > 3)
325
- return false;
326
- let quote;
327
- let escaped = false;
328
- for (let i = 0; i < command.length; i++) {
329
- const ch = command[i];
330
- if (quote === "single") {
331
- if (ch === "'")
332
- quote = undefined;
333
- continue;
334
- }
335
- if (quote === "double" && ch === '"') {
336
- quote = undefined;
337
- continue;
338
- }
339
- if (escaped) {
340
- escaped = false;
341
- continue;
342
- }
343
- if (ch === "\\") {
344
- escaped = true;
345
- continue;
346
- }
347
- if (ch === '"' || ch === "'") {
348
- quote = ch === "'" ? "single" : "double";
349
- continue;
350
- }
351
- const substitution = command.startsWith("$(", i)
352
- ? delimitedSubstitutionBody(command, i, "$(", ")")
353
- : command.startsWith("<(", i)
354
- ? delimitedSubstitutionBody(command, i, "<(", ")")
355
- : command.startsWith(">(", i)
356
- ? delimitedSubstitutionBody(command, i, ">(", ")")
357
- : ch === "`"
358
- ? {
359
- body: command.slice(i + 1, command.indexOf("`", i + 1)),
360
- end: command.indexOf("`", i + 1),
361
- }
362
- : undefined;
363
- if (substitution && substitution.end >= 0) {
364
- const nested = canonicalizeGuardCommand(substitution.body);
365
- if (containsGuardedSubstitution(nested, depth + 1, matcher) ||
366
- tokenizeShellCommand(nested).some((segment) => containsGuardedGitVerb(segment.tokens, depth + 1, matcher))) {
367
- return true;
368
- }
369
- i = substitution.end;
370
- }
371
- }
372
- return false;
373
- }
374
- /** Git global options that consume the following token as their value. */
375
- const GIT_GLOBAL_OPTIONS_WITH_VALUE = new Set([
376
- "-C",
377
- "-c",
378
- "--config-env",
379
- "--git-dir",
380
- "--work-tree",
381
- "--exec-path",
382
- "--namespace",
383
- ]);
384
- const GIT_GLOBAL_OPTIONS_WITH_INLINE_VALUE = [
385
- "--config-env",
386
- "--git-dir",
387
- "--work-tree",
388
- "--exec-path",
389
- "--namespace",
390
- ];
391
- /**
392
- * Index of git's subcommand token in `gitTokens` (which starts at the `git`
393
- * executable), after skipping global options and their values. Returns
394
- * `undefined` when the invocation has no subcommand at all — `git --help`,
395
- * `git --version`, or a trailing option with no verb behind it.
396
- *
397
- * Shared by the direct and indirect paths so both ask the same question about
398
- * the same position (#2007).
399
- */
400
- function gitVerbIndex(gitTokens) {
401
- let i = 1;
402
- while (i < gitTokens.length && gitTokens[i].startsWith("-")) {
403
- const option = gitTokens[i];
404
- if (["--help", "-h", "--version", "-v", "-V"].includes(option)) {
405
- return undefined;
406
- }
407
- if (option === "--")
408
- return i + 1 < gitTokens.length ? i + 1 : undefined;
409
- if (["-C", "-c"].some((prefix) => option.startsWith(prefix) && option.length > prefix.length)) {
410
- i += 1;
411
- continue;
412
- }
413
- if (GIT_GLOBAL_OPTIONS_WITH_INLINE_VALUE.some((prefix) => option.startsWith(`${prefix}=`))) {
414
- i += 1;
415
- continue;
416
- }
417
- i += GIT_GLOBAL_OPTIONS_WITH_VALUE.has(option) ? 2 : 1;
418
- }
419
- return i < gitTokens.length ? i : undefined;
420
- }
421
- /**
422
- * True when the subcommand in git's command position is one the matcher
423
- * governs. `gitTokens[0]` is the `git` executable token.
424
- */
425
- export function matchGitVerbAtCommandPosition(gitTokens, matcher) {
426
- const index = gitVerbIndex(gitTokens);
427
- if (index === undefined)
428
- return false;
429
- const argsAfterVerb = gitTokens.slice(index + 1);
430
- // `git checkout --help` prints documentation and touches nothing, and the
431
- // global-option walk above cannot see it, because it sits AFTER the verb.
432
- //
433
- // Only the FIRST argument counts, and only for matchers that opt in. `-h`
434
- // deeper in the argv may be an option VALUE rather than a help request —
435
- // `git commit -m -h` commits with the message `-h`, `git clean -e -h`
436
- // excludes a pattern named `-h`. Reading any position would need a
437
- // per-verb table of value-taking options for every governed verb, which is
438
- // exactly the hand-maintained parallel list this repo forbids, and every
439
- // gap in it would silently UNDER-block. Leading-position-only needs no
440
- // table, covers how help is actually invoked, and every other spelling
441
- // falls through to a match, which is the safe direction for a guard.
442
- if (matcher.suppressPostVerbHelp &&
443
- (argsAfterVerb[0] === "--help" || argsAfterVerb[0] === "-h")) {
444
- return false;
445
- }
446
- const verbs = expandGuardVerbToken(gitTokens[index] ?? "");
447
- return verbs.length === 1 && matcher.matchesVerb(verbs[0], argsAfterVerb);
448
- }
449
- /** Strip one layer of shell quoting the lexer preserved on a value token. */
450
- function unquoteGuardValue(value) {
451
- const trimmed = value.trim();
452
- if (trimmed.length >= 2) {
453
- const first = trimmed[0];
454
- const last = trimmed[trimmed.length - 1];
455
- if ((first === '"' || first === "'") && first === last) {
456
- return trimmed.slice(1, -1);
457
- }
458
- }
459
- return trimmed;
460
- }
461
- /**
462
- * The directory a git invocation actually targets (#2007).
463
- *
464
- * `git -C <dir>` and `--work-tree` retarget the command at a DIFFERENT
465
- * directory, so a guard that evaluates the caller's cwd would inspect the
466
- * wrong working tree and allow a destructive command against a shared one.
467
- * `-C` composes cumulatively, exactly as git applies it; `--work-tree` names
468
- * the working tree directly and therefore wins.
469
- *
470
- * Returns the resolved absolute directory, or `cwd` when the invocation
471
- * carries no retargeting option.
472
- */
473
- export function resolveGitTargetDirectory(gitTokens, cwd) {
474
- let base = cwd;
475
- let workTree;
476
- let i = 1;
477
- while (i < gitTokens.length && gitTokens[i].startsWith("-")) {
478
- const option = gitTokens[i];
479
- if (["--help", "-h", "--version", "-v", "-V"].includes(option))
480
- break;
481
- if (option === "--")
482
- break;
483
- if (option === "-C" && i + 1 < gitTokens.length) {
484
- base = path.resolve(base, unquoteGuardValue(gitTokens[i + 1]));
485
- i += 2;
486
- continue;
487
- }
488
- if (option.startsWith("-C") && option.length > 2) {
489
- base = path.resolve(base, unquoteGuardValue(option.slice(2)));
490
- i += 1;
491
- continue;
492
- }
493
- if (option === "--work-tree" && i + 1 < gitTokens.length) {
494
- workTree = unquoteGuardValue(gitTokens[i + 1]);
495
- i += 2;
496
- continue;
497
- }
498
- if (option.startsWith("--work-tree=")) {
499
- workTree = unquoteGuardValue(option.slice("--work-tree=".length));
500
- i += 1;
501
- continue;
502
- }
503
- if (option.startsWith("-c") &&
504
- option.length > 2 &&
505
- !option.startsWith("--")) {
506
- i += 1;
507
- continue;
508
- }
509
- if (GIT_GLOBAL_OPTIONS_WITH_INLINE_VALUE.some((prefix) => option.startsWith(`${prefix}=`))) {
510
- i += 1;
511
- continue;
512
- }
513
- i += GIT_GLOBAL_OPTIONS_WITH_VALUE.has(option) ? 2 : 1;
514
- }
515
- return workTree === undefined ? base : path.resolve(base, workTree);
516
- }
517
- /**
518
- * Every git invocation the command contains, as token arrays starting at the
519
- * `git` executable. Used by callers that must know WHICH directory a matched
520
- * command targets, not merely that it matched (#2007).
521
- */
522
- export function collectGitInvocations(toolName, input) {
523
- if (toolName !== "bash")
524
- return [];
525
- const command = getShellCommand(input);
526
- if (!command)
527
- return [];
528
- const invocations = [];
529
- for (const segment of tokenizeShellCommand(canonicalizeGuardCommand(command))) {
530
- const gitIndex = segment.tokens.findIndex((token) => isGitExecutable(token));
531
- if (gitIndex >= 0)
532
- invocations.push(segment.tokens.slice(gitIndex));
533
- }
534
- return invocations;
535
- }
536
- function containsGuardedGitVerb(tokens, depth, matcher) {
537
- if (depth > 3 || tokens.length === 0)
538
- return false;
539
- let commandTokens = tokens;
540
- while (/^[A-Za-z_][A-Za-z0-9_]*=/.test(commandTokens[0] ?? "")) {
541
- commandTokens = commandTokens.slice(1);
542
- }
543
- if (commandTokens.length === 0)
544
- return false;
545
- const expandedHead = expandGuardVerbToken(commandTokens[0] ?? "");
546
- if (expandedHead.length > 1) {
547
- commandTokens = [...expandedHead, ...commandTokens.slice(1)];
548
- }
549
- if (isCommandStringWrapper(commandTokens[0] ?? "")) {
550
- const lower = commandTokens.slice(1).map((token) => token.toLowerCase());
551
- const runIndex = lower.findIndex((token) => token === "--run");
552
- if (runIndex >= 0 && runIndex + 1 < commandTokens.length) {
553
- const nestedCommand = commandTokens.slice(runIndex + 2).join(" ");
554
- return tokenizeShellCommand(canonicalizeGuardCommand(nestedCommand)).some((segment) => containsGuardedGitVerb(segment.tokens, depth + 1, matcher));
555
- }
556
- }
557
- // These commands consume their following words as text/patterns; a bare
558
- // git token in their arguments is not an indirect executable invocation.
559
- // `$(git push)` is execution and must block; `"git push"` as literal text
560
- // is allowed. Substitutions are screened before this text-consumer escape.
561
- if (["echo", "printf", "grep"].includes(executableName(commandTokens[0] ?? ""))) {
562
- return false;
563
- }
564
- const gitIndex = commandTokens.findIndex((token) => isGitExecutable(token));
565
- if (gitIndex >= 0) {
566
- // Any non-leading git invocation is indirect. Do not maintain a wrapper
567
- // or flag allowlist: unknown launchers are the security boundary here.
568
- if (gitIndex > 0 && matcher.indirectAlwaysMatches)
569
- return true;
570
- // #2007: a guard that protects the agent from its own accident must not
571
- // decline `xargs git status`, so the indirect path stays armed only when
572
- // a governed verb sits in git's real COMMAND POSITION. Scanning every
573
- // token instead would fire on `find . -name checkout | xargs git add`,
574
- // where `checkout` is a positional value and not a subcommand at all.
575
- return matchGitVerbAtCommandPosition(commandTokens.slice(gitIndex), matcher);
576
- }
577
- const leadingExecutable = commandTokens[0] ?? "";
578
- const knownCommandStringWrapper = isShellWrapper(leadingExecutable) ||
579
- isCommandStringWrapper(leadingExecutable);
580
- if (!knownCommandStringWrapper) {
581
- // Unknown launchers are a fail-closed boundary only when they explicitly
582
- // accept a command string. Re-tokenizing the value keeps literal mentions
583
- // such as `myprog -c "echo git push"` out of the guarded-command path.
584
- const unknownSwitchIndex = commandTokens
585
- .slice(1)
586
- .findIndex((token) => (token.startsWith("-") || token.startsWith("/")) && token.length > 1);
587
- if (unknownSwitchIndex < 0)
588
- return false;
589
- const commandIndex = unknownSwitchIndex + 2;
590
- if (commandIndex >= commandTokens.length)
591
- return false;
592
- const nestedCommand = commandTokens.slice(commandIndex).join(" ");
593
- return tokenizeShellCommand(canonicalizeGuardCommand(nestedCommand)).some((segment) => containsGuardedGitVerb(segment.tokens, depth + 1, matcher));
594
- }
595
- const lower = commandTokens.slice(1).map((token) => token.toLowerCase());
596
- const switchIndex = lower.findIndex((token) => token === "-c" ||
597
- token === "--run" ||
598
- token === "-lc" ||
599
- (/^-[^-]*c$/.test(token) && !token.startsWith("--")) ||
600
- token === "/c" ||
601
- token === "-command" ||
602
- token === "-command:" ||
603
- token === "-encodedcommand");
604
- if (switchIndex < 0 || switchIndex + 1 >= commandTokens.length)
605
- return false;
606
- // Encoded PowerShell is intentionally unsupported: decoding it here would
607
- // be a second shell/parser and could turn an ambiguous command into a false
608
- // allow. Plain -Command/-c is safely handed back to the shared lexer.
609
- if (lower[switchIndex] === "-encodedcommand")
610
- return false;
611
- // switchIndex is relative to commandTokens.slice(1), so +2 addresses the
612
- // command token after the switch for both cmd and PowerShell. This also
613
- // handles cmd options preceding /C (for example `/S /C`).
614
- let commandIndex = switchIndex + 2;
615
- if (commandTokens[commandIndex] === "--")
616
- commandIndex += 1;
617
- const nestedCommand = commandTokens.slice(commandIndex).join(" ");
618
- return tokenizeShellCommand(canonicalizeGuardCommand(nestedCommand)).some((segment) => containsGuardedGitVerb(segment.tokens, depth + 1, matcher));
619
- }
620
- /**
621
- * Analyze actual executable invocations, not substrings in shell text.
622
- *
623
- * Shared entry point for every guard that needs "is this bash input really a
624
- * git invocation of a verb I govern" (#2007). The verb question is the only
625
- * parameter; wrapper, substitution, and text-consumer analysis are identical
626
- * for all callers by construction.
627
- */
628
- export function detectGuardedGitVerb(toolName, input, matcher) {
629
- if (toolName !== "bash")
630
- return false;
631
- const command = getShellCommand(input);
632
- if (!command)
633
- return false;
634
- const canonical = canonicalizeGuardCommand(command);
635
- if (containsGuardedSubstitution(canonical, 0, matcher))
636
- return true;
637
- return tokenizeShellCommand(canonical).some((segment) => containsGuardedGitVerb(segment.tokens, 0, matcher));
638
- }
639
- /** The #1063 commit gate's own question. */
640
- export function isGitCommitOrPushAttempt(toolName, input) {
641
- return detectGuardedGitVerb(toolName, input, COMMIT_PUSH_MATCHER);
642
- }
643
- function isTurnEndFindingsCache(value) {
644
- if (!value || typeof value !== "object")
645
- return false;
646
- const record = value;
647
- return (typeof record.content === "string" &&
648
- typeof record.hasBlockers === "boolean" &&
649
- Array.isArray(record.affectedFiles) &&
650
- record.affectedFiles.every((file) => typeof file === "string") &&
651
- typeof record.sessionId === "string" &&
652
- typeof record.projectSeqStart === "number" &&
653
- typeof record.projectSeqEnd === "number" &&
654
- Number.isFinite(record.projectSeqStart) &&
655
- Number.isFinite(record.projectSeqEnd) &&
656
- !!record.fileSeqByPath &&
657
- typeof record.fileSeqByPath === "object" &&
658
- Object.values(record.fileSeqByPath).every((seq) => typeof seq === "number" && Number.isFinite(seq)) &&
659
- !!record.fileContentHashes &&
660
- typeof record.fileContentHashes === "object" &&
661
- Object.values(record.fileContentHashes).every((hash) => typeof hash === "string") &&
662
- (record.affectedFilesTruncated === undefined ||
663
- typeof record.affectedFilesTruncated === "boolean") &&
664
- (record.blockingFiles === undefined || Array.isArray(record.blockingFiles)));
665
- }
666
- function cacheRecord(cacheManager, cwd) {
667
- const entry = cacheManager.readCache("turn-end-findings", cwd);
668
- return entry && isTurnEndFindingsCache(entry.data) ? entry.data : undefined;
669
- }
670
- function markCacheUnknown(runtime, reason) {
671
- runtime.markGitGuardCacheUnknown(reason);
672
- }
673
- /** Persist a complete, bounded, content-bound guard record. */
674
- export function writeGitGuardRecord(cacheManager, runtime, cwd, record) {
675
- const capped = capAffectedFiles(Array.isArray(record.affectedFiles) ? record.affectedFiles : [], cwd);
676
- const fileSeqByPath = { ...record.fileSeqByPath };
677
- for (const file of capped.files) {
678
- const key = guardPathKey(file, cwd);
679
- if (fileSeqByPath[key] === undefined) {
680
- fileSeqByPath[key] = runtime.getFileSeq(resolveGuardPath(file, cwd));
681
- }
682
- }
683
- const currentProvenance = snapshotAdvisoryProvenance({
684
- cwd,
685
- runtime,
686
- generation: 0,
687
- files: capped.files.map((file) => ({
688
- path: file,
689
- role: "affected",
690
- })),
691
- truncated: capped.truncated,
692
- });
693
- const fileContentHashes = Object.fromEntries(currentProvenance.files.map((file) => [
694
- guardPathKey(file.path, cwd),
695
- file.sha256,
696
- ]));
697
- const data = {
698
- ...record,
699
- affectedFiles: capped.files,
700
- affectedFilesTruncated: capped.truncated,
701
- fileSeqByPath,
702
- blockingFiles: Array.isArray(record.blockingFiles)
703
- ? capAffectedFiles(record.blockingFiles, cwd).files
704
- : undefined,
705
- fileContentHashes,
706
- provenance: record.provenance ?? currentProvenance,
707
- };
708
- try {
709
- cacheManager.writeCache("turn-end-findings", data, cwd);
710
- runtime.clearGitGuardCacheUnknown();
711
- return true;
712
- }
713
- catch {
714
- markCacheUnknown(runtime, "cache_write_failed");
715
- return false;
716
- }
717
- }
718
- function logDecision(cwd, decision, reasonCategory, metadata = {}) {
719
- logLatency({
720
- type: "phase",
721
- toolName: "git-guard",
722
- filePath: cwd,
723
- phase: "decision",
724
- durationMs: 0,
725
- result: decision,
726
- metadata: { decision, reasonCategory, ...metadata },
727
- });
728
- }
729
- function unknown(cwd, reasonCategory, metadata = {}) {
730
- logDecision(cwd, "unknown", reasonCategory, metadata);
731
- return {
732
- block: true,
733
- unknown: true,
734
- reason: `🔴 COMMIT BLOCKED (--lens-guard): blocker state is unknown (${reasonCategory}). Re-run pi-lens checks or start a fresh session, then retry.`,
735
- };
736
- }
737
- /**
738
- * Reconcile the one persisted record after a per-file dispatch. This is called
739
- * on tool_result, never tool_call, and therefore does not add disk I/O to the
740
- * edit preflight path.
741
- */
742
- /**
743
- * Retire one file's inline blocker on a confirmed-clean verdict, then bring the
744
- * commit gate back in line with the map (#1561 F2).
745
- *
746
- * Retiring the map entry alone is not enough and claiming otherwise was wrong:
747
- * the gate reads a LATCH (`gitGuardHasBlockers`) and a PERSISTED record, and
748
- * `evaluateGitGuard` short-circuits on the latch before it ever looks at the
749
- * record. A retire that touched neither left the commit blocked and quoted the
750
- * retired blocker back as the reason.
751
- *
752
- * Both are recomputed exactly the way a clean dispatch recomputes them:
753
- * `updateGitGuardStatus(false, "")` re-derives the latch from the blocker map
754
- * — it cannot clear a latch another file's live blocker still justifies,
755
- * because that file's entry is still in the map — and `syncGitGuardRecord`
756
- * rewrites the persisted record from the same source of truth.
757
- *
758
- * Colocated with the gate rather than inlined at the wiring site so the claim
759
- * is testable without booting the extension.
760
- *
761
- * @returns true when an entry was retired (the caller logs it — #1432 Gap 1).
762
- */
763
- export function retireInlineBlockerAndResyncGuard(args) {
764
- const retired = args.runtime.retireInlineBlockerOnConfirmedClean(args.filePath, args.writeIndex, args.coveredSources);
765
- if (!retired)
766
- return false;
767
- args.runtime.updateGitGuardStatus(false, "");
768
- if (args.lensGuardEnabled) {
769
- syncGitGuardRecord(args.runtime, args.cacheManager, args.cwd, args.filePath);
770
- }
771
- return true;
772
- }
773
- /**
774
- * Bring the commit-gate LATCH back in line with the turn-end disposition
775
- * policy (#3248), at the point where the post-policy survivor set per file is
776
- * final.
777
- *
778
- * The defect this exists for: the agent marks every blocker on a file
779
- * `false-positive`, the turn-end composer renders no `Unresolved from this
780
- * turn` section and no `🔴 STOP` — and `lens-guard` still blocks the commit,
781
- * because `evaluateGitGuard` reads the LATCH first and the latch counted the
782
- * still-present map entry. The blocker record stays in the map on purpose: the
783
- * policy is content-bound and re-derived every turn end, so retiring the entry
784
- * would be silencing rather than filtering (AGENTS.md shape 10). It carries
785
- * the verdict instead, and the two gate derivations honor it — this latch, and
786
- * `syncGitGuardRecord`'s persisted `blockerContent` below.
787
- *
788
- * The persisted record needs no third writer here. The composer that calls
789
- * this rewrites it later in the SAME turn end from the same survivor set —
790
- * `writeGitGuardRecord` with `hasBlockers` derived from the surviving blocker
791
- * sections (`clients/runtime-turn.ts:4287`, and the dedupe path at `:4231`),
792
- * or `clearCache("turn-end-findings")` when nothing survives
793
- * (`clients/runtime-turn.ts:4379`) — and that clear is itself gated on the
794
- * latch this call just recomputed. Adding a second durable writer between them
795
- * would only race the one that already owns the record.
796
- *
797
- * Colocated with the gate rather than inlined at the wiring site, for the same
798
- * reason `retireInlineBlockerAndResyncGuard` is: the claim is testable without
799
- * booting the extension.
800
- */
801
- export function resyncGitGuardAfterInlinePolicy(args) {
802
- const changed = args.runtime.applyInlineBlockerPolicyVerdicts(args.suppressedFilePaths);
803
- // Nothing left the gate's view of the map and nothing rejoined it. This is
804
- // what keeps the recompute off every ordinary turn end: `updateGitGuardStatus`
805
- // re-derives the latch from the map, and a turn that changed no verdict has
806
- // no business re-deriving anything.
807
- if (args.suppressedFilePaths.length === 0 && changed === 0)
808
- return;
809
- // Exactly as the retire path re-derives it: `false` is this caller's own
810
- // contribution, never a blanket clear — a sibling file's surviving blocker
811
- // is still in the map and still sets the latch.
812
- args.runtime.updateGitGuardStatus(false, "");
813
- }
814
- export function syncGitGuardRecord(runtime, cacheManager, cwd, editedFilePath) {
815
- // #3248: a record the turn-end policy fully suppressed is not a blocker the
816
- // commit gate may persist — the agent was shown nothing for it. The entry
817
- // stays in the map so the next turn re-derives the verdict from current
818
- // bytes; it just stops speaking for the gate.
819
- const entries = (runtime.getInlineBlockersSnapshot?.() ?? []).filter((entry) => !entry.policySuppressed);
820
- const inspection = cacheManager.inspectCache("turn-end-findings", cwd);
821
- const existing = cacheRecord(cacheManager, cwd);
822
- if (existing &&
823
- existing.sessionId !== runtime.telemetrySessionId &&
824
- entries.length === 0) {
825
- markCacheUnknown(runtime, "session_mismatch");
826
- return;
827
- }
828
- if (!existing && inspection !== "missing" && entries.length === 0) {
829
- markCacheUnknown(runtime, `cache_${inspection}`);
830
- return;
831
- }
832
- const fileSeqByPath = {};
833
- for (const [filePath, seq] of runtime.getFileSeqEntries?.() ?? []) {
834
- fileSeqByPath[guardPathKey(filePath, cwd)] = seq;
835
- }
836
- const inlineFiles = entries.map((entry) => resolveGuardPath(entry.filePath, cwd));
837
- const existingBlockingFiles = existing?.blockingFiles ?? [];
838
- const blockerSections = existing?.blockerContent
839
- ? blockingProvenance(existing.blockerContent, existingBlockingFiles, cwd)
840
- : undefined;
841
- if (existing?.blockerContent && !blockerSections) {
842
- markCacheUnknown(runtime, "blocking_provenance_untrusted");
843
- return;
844
- }
845
- const editedKey = editedFilePath
846
- ? guardPathKey(editedFilePath, cwd)
847
- : undefined;
848
- const testFiles = existing?.testFailureFiles ?? [];
849
- const remainingBlockingFiles = editedKey && existingBlockingFiles.length > 0
850
- ? existingBlockingFiles.filter((file) => guardPathKey(file, cwd) !== editedKey)
851
- : existingBlockingFiles;
852
- let affectedFiles = [...(existing?.affectedFiles ?? []), ...inlineFiles];
853
- if (!entries.length && editedKey && existing) {
854
- const isStillTestFailure = testFiles.some((file) => guardPathKey(file, cwd) === editedKey);
855
- const isUnknownBlockingPath = existingBlockingFiles.length === 0 && !!existing.blockerContent;
856
- if (!isStillTestFailure && !isUnknownBlockingPath) {
857
- affectedFiles = affectedFiles.filter((file) => guardPathKey(file, cwd) !== editedKey);
858
- }
859
- }
860
- // A clean per-file dispatch is authoritative for that file. When every
861
- // blocker section the persisted record still carries is THIS file's,
862
- // retaining `blockerContent` would resurrect a blocker the dispatch just
863
- // cleared on every later git-guard lookup. Records whose text cannot be
864
- // attributed remain fail-closed: they returned above.
865
- //
866
- // The question is asked of the SECTIONS, not of `blockingFiles` (#3282): the
867
- // turn-end composer persists `blockingFiles: affectedFiles`
868
- // (`clients/runtime-turn.ts:4292`) — every file the turn touched, blocking or
869
- // not — so "the list has shrunk to nothing" never became true for a turn that
870
- // edited a clean file alongside a blocking one, and the fixed blocker was
871
- // quoted back at every commit for the rest of the session.
872
- const clearedLastKnownBlocker = !entries.length &&
873
- !!editedKey &&
874
- !!blockerSections &&
875
- blockerSections.every((key) => key === editedKey);
876
- const blockerContent = entries.length > 0
877
- ? entries.map((entry) => `${entry.filePath}: ${entry.summary}`).join("\n")
878
- : clearedLastKnownBlocker
879
- ? undefined
880
- : existing?.blockerContent;
881
- const hasTestFailures = existing?.testFailures === true;
882
- const hasBlockers = !!blockerContent || hasTestFailures;
883
- const content = [
884
- blockerContent,
885
- hasTestFailures ? existing?.testFailureContent : undefined,
886
- ]
887
- .filter((value) => !!value)
888
- .join("\n\n");
889
- if (!hasBlockers && !content) {
890
- cacheManager.clearCache("turn-end-findings", cwd);
891
- // #3282 acceptance 5: this branch is a COMPLETE recomputation of the
892
- // gate's state that happens to find nothing left to record, so it owns the
893
- // unknown reason exactly as `writeGitGuardRecord` does (`:800`). Without
894
- // this, a reason latched earlier in the session outlived the record it
895
- // described and refused every commit after it, with no re-run able to
896
- // clear it.
897
- runtime.clearGitGuardCacheUnknown();
898
- return;
899
- }
900
- writeGitGuardRecord(cacheManager, runtime, cwd, {
901
- content: content || existing?.content || "",
902
- blockerContent,
903
- blockingFiles: entries.length > 0 ? inlineFiles : remainingBlockingFiles,
904
- hasBlockers,
905
- affectedFiles,
906
- sessionId: runtime.telemetrySessionId,
907
- projectSeqStart: runtime.turnStartProjectSeq,
908
- projectSeqEnd: runtime.projectSeq,
909
- fileSeqByPath,
910
- fileContentHashes: {},
911
- consumed: false,
912
- testFailures: existing?.testFailures,
913
- testFailureContent: existing?.testFailureContent,
914
- testFailureFiles: existing?.testFailureFiles,
915
- });
916
- }
917
- /** Add blocking test failures to the same turn-end record. */
918
- export function mergeGitGuardTestFailure(cacheManager, cwd, runtime, content, files) {
919
- const existing = cacheRecord(cacheManager, cwd);
920
- const fileSeqByPath = {};
921
- for (const [filePath, seq] of runtime.getFileSeqEntries?.() ?? []) {
922
- fileSeqByPath[guardPathKey(filePath, cwd)] = seq;
923
- }
924
- const failedFiles = files.map((file) => resolveGuardPath(file, cwd));
925
- const blockerContent = existing?.blockerContent;
926
- const testFailureFiles = [
927
- ...(existing?.testFailureFiles ?? []),
928
- ...failedFiles,
929
- ].filter((file, index, all) => all.findIndex((candidate) => guardPathKey(candidate, cwd) === guardPathKey(file, cwd)) === index);
930
- writeGitGuardRecord(cacheManager, runtime, cwd, {
931
- content: [blockerContent, content].filter(Boolean).join("\n\n"),
932
- blockerContent,
933
- blockingFiles: existing?.blockingFiles ?? [],
934
- testFailureContent: content,
935
- testFailureFiles: testFailureFiles,
936
- hasBlockers: true,
937
- affectedFiles: [...(existing?.affectedFiles ?? []), ...failedFiles],
938
- sessionId: runtime.telemetrySessionId,
939
- projectSeqStart: runtime.turnStartProjectSeq,
940
- projectSeqEnd: runtime.projectSeq,
941
- fileSeqByPath,
942
- fileContentHashes: {},
943
- consumed: false,
944
- testFailures: true,
945
- });
946
- }
947
- /** A passing test run resolves only its own previous test failures. */
948
- export function clearGitGuardTestFailure(cacheManager, cwd, runtime, passedFiles = []) {
949
- const existing = cacheRecord(cacheManager, cwd);
950
- if (!existing?.testFailures)
951
- return;
952
- const passedKeys = new Set((passedFiles.length > 0
953
- ? passedFiles
954
- : (existing.testFailureFiles ?? [])).map((file) => guardPathKey(file, cwd)));
955
- const remainingFiles = (existing.testFailureFiles ?? []).filter((file) => !passedKeys.has(guardPathKey(file, cwd)));
956
- const blockerContent = existing.blockerContent ?? "";
957
- if (!blockerContent && remainingFiles.length === 0) {
958
- cacheManager.clearCache("turn-end-findings", cwd);
959
- return;
960
- }
961
- const blockingKeys = new Set((existing.blockingFiles ?? []).map((file) => guardPathKey(file, cwd)));
962
- const affectedFiles = existing.affectedFiles.filter((file) => blockingKeys.has(guardPathKey(file, cwd)) ||
963
- remainingFiles.some((testFile) => guardPathKey(testFile, cwd) === guardPathKey(file, cwd)));
964
- writeGitGuardRecord(cacheManager, runtime, cwd, {
965
- ...existing,
966
- content: blockerContent,
967
- blockerContent,
968
- affectedFiles,
969
- testFailures: remainingFiles.length > 0,
970
- testFailureContent: remainingFiles.length > 0 ? existing.testFailureContent : undefined,
971
- testFailureFiles: remainingFiles.length > 0 ? remainingFiles : undefined,
972
- hasBlockers: !!blockerContent || remainingFiles.length > 0,
973
- sessionId: runtime.telemetrySessionId,
974
- projectSeqStart: runtime.turnStartProjectSeq,
975
- projectSeqEnd: runtime.projectSeq,
976
- fileSeqByPath: Object.fromEntries(runtime
977
- .getFileSeqEntries()
978
- .map(([filePath, seq]) => [guardPathKey(filePath, cwd), seq])),
979
- fileContentHashes: {},
980
- });
981
- }
982
- /**
983
- * The first suppression verdict in the blocker map that no longer describes the
984
- * file it was computed against, if any (#3248 round 2, GG-3283-01).
985
- *
986
- * `policySuppressed` is a statement about BYTES: the turn-end policy read the
987
- * file's current content, re-derived the record's blockers through the
988
- * content-bound disposition anchors, and found every one of them suppressed. It
989
- * is therefore only true while those bytes are still there. Everything that
990
- * changes a file THROUGH pi-lens re-establishes the verdict on its own — a
991
- * dispatch replaces the record wholesale, and the turn-end freshness sweep
992
- * demotes a self-drifted record before the policy loop can suppress it, which
993
- * clears the verdict. Bytes that move OUTSIDE dispatch (an external formatter, a
994
- * `git checkout`, an editor write) trigger neither, and the commit gate can be
995
- * reached with no turn end in between at all — so the gate, the one reader that
996
- * can let a verdict OPEN a commit, confirms it here instead of trusting the
997
- * latch memo.
998
- *
999
- * Unverifiable is not clean: a record whose dispatch could not fingerprint the
1000
- * file (`inlineBlockerFileContent` absent, `clients/pipeline.ts:1632`) carries
1001
- * nothing to confirm, so it fails CLOSED — the same rule
1002
- * `retireInlineBlockerOnConfirmedClean` applies to unknown provenance.
1003
- *
1004
- * Cost: nothing at all unless a verdict is live (the common case), then one
1005
- * read per suppressed record — on commit/push attempts, the path that already
1006
- * fingerprints every affected file below. A size/mtime fast path was written
1007
- * first and deleted: `fileFingerprint` decides the same question on its own, so
1008
- * the tiers were unmutatable branches, not guards. `fileFingerprint` also
1009
- * returns `"missing"`/`"unreadable:<code>"` rather than throwing, and neither
1010
- * can equal a recorded hash, so an unreadable file is expired too.
1011
- */
1012
- function firstExpiredSuppressionVerdict(runtime) {
1013
- for (const entry of runtime.getInlineBlockersSnapshot?.() ?? []) {
1014
- if (!entry.policySuppressed)
1015
- continue;
1016
- if (entry.recordedHash === undefined) {
1017
- return { filePath: entry.filePath, tier: "no_baseline" };
1018
- }
1019
- if (fileFingerprint(entry.filePath) !== entry.recordedHash) {
1020
- return { filePath: entry.filePath, tier: "content" };
1021
- }
1022
- }
1023
- return undefined;
1024
- }
1025
- export function evaluateGitGuard(runtime, cacheManager, cwd, host = "pi") {
1026
- // #2535 F3: a known tool with no mapping on this host resolves to
1027
- // undefined — rephrase rather than naming a dead tool. `lens_diagnostics`
1028
- // is pinned available on both hosts, so the fallback is defensive only.
1029
- const diagnosticsTool = resolveLensToolName("lens_diagnostics", host);
1030
- const inspectLine = diagnosticsTool
1031
- ? `Run ${diagnosticsTool} mode=all for full details, then commit again.`
1032
- : "Inspect the full diagnostics, then commit again.";
1033
- if (runtime.gitGuardHasBlockers) {
1034
- logDecision(cwd, "blocked", "runtime_blockers", {
1035
- projectSeq: runtime.projectSeq,
1036
- });
1037
- const detail = runtime.gitGuardSummary
1038
- ? `\n${runtime.gitGuardSummary}`
1039
- : "";
1040
- return {
1041
- block: true,
1042
- reason: `🔴 COMMIT BLOCKED (--lens-guard): unresolved blockers must be fixed before commit/push.${detail}\n${inspectLine}`,
1043
- };
1044
- }
1045
- // #3248 round 2 (GG-3283-01): the latch above is a MEMO of the last policy
1046
- // pass, and a pass can only speak for the bytes it read. A verdict whose file
1047
- // has moved since is no answer at all, so it must not be the reason this
1048
- // commit is allowed.
1049
- const expired = firstExpiredSuppressionVerdict(runtime);
1050
- if (expired) {
1051
- return unknown(cwd, "inline_policy_stale", {
1052
- file: expired.filePath,
1053
- tier: expired.tier,
1054
- });
1055
- }
1056
- if (runtime.gitGuardCacheUnknownReason) {
1057
- return unknown(cwd, runtime.gitGuardCacheUnknownReason);
1058
- }
1059
- const inspection = cacheManager.inspectCache("turn-end-findings", cwd);
1060
- if (inspection === "missing") {
1061
- logDecision(cwd, "allowed", "no_record");
1062
- return { block: false };
1063
- }
1064
- if (inspection !== "fresh")
1065
- return unknown(cwd, `cache_${inspection}`);
1066
- const pending = cacheManager.readCache("turn-end-findings", cwd);
1067
- if (!pending || !isTurnEndFindingsCache(pending.data)) {
1068
- return unknown(cwd, "cache_malformed");
1069
- }
1070
- const record = pending.data;
1071
- if (!record.hasBlockers) {
1072
- logDecision(cwd, "allowed", "advisory_only");
1073
- return { block: false };
1074
- }
1075
- if (record.affectedFilesTruncated) {
1076
- return unknown(cwd, "affected_files_truncated");
1077
- }
1078
- if (record.sessionId !== runtime.telemetrySessionId) {
1079
- return unknown(cwd, "session_mismatch");
1080
- }
1081
- if (record.projectSeqEnd !== runtime.projectSeq) {
1082
- return unknown(cwd, "project_sequence_mismatch", {
1083
- recordedProjectSeq: record.projectSeqEnd,
1084
- currentProjectSeq: runtime.projectSeq,
1085
- });
1086
- }
1087
- const liveFiles = [];
1088
- for (const file of record.affectedFiles) {
1089
- const resolved = resolveGuardPath(file, cwd);
1090
- const key = guardPathKey(resolved, cwd);
1091
- const recordedSeq = record.fileSeqByPath[key];
1092
- if (recordedSeq === undefined ||
1093
- recordedSeq !== (runtime.getFileSeq?.(resolved) ?? 0)) {
1094
- return unknown(cwd, "file_sequence_mismatch", { file: resolved });
1095
- }
1096
- try {
1097
- if (!isPathIgnoredByProject(resolved, runtime.projectRoot || cwd, false)) {
1098
- const currentHash = currentFileFingerprint(resolved);
1099
- if (currentHash !== "missing") {
1100
- liveFiles.push(resolved);
1101
- const expectedHash = record.fileContentHashes[key];
1102
- if (!expectedHash ||
1103
- expectedHash.startsWith("unreadable:") ||
1104
- currentHash.startsWith("unreadable:") ||
1105
- expectedHash !== currentHash) {
1106
- return unknown(cwd, "file_content_changed", { file: resolved });
1107
- }
1108
- }
1109
- }
1110
- }
1111
- catch {
1112
- return unknown(cwd, "file_unreadable", { file: resolved });
1113
- }
1114
- }
1115
- if (record.hasBlockers && record.affectedFiles.length === 0) {
1116
- return unknown(cwd, "blocker_without_affected_file");
1117
- }
1118
- // A deleted/ignored affected file has been resolved; no stale blocker is
1119
- // allowed to survive solely because its old path remains in the record.
1120
- if (record.hasBlockers &&
1121
- liveFiles.length === 0 &&
1122
- record.affectedFiles.length > 0) {
1123
- logDecision(cwd, "allowed", "affected_files_resolved", {
1124
- projectSeq: record.projectSeqEnd,
1125
- });
1126
- return { block: false };
1127
- }
1128
- logDecision(cwd, "blocked", "cache_blockers", {
1129
- projectSeq: record.projectSeqEnd,
1130
- affectedFileCount: record.affectedFiles.length,
1131
- });
1132
- return {
1133
- block: true,
1134
- reason: `🔴 COMMIT BLOCKED (--lens-guard): unresolved blockers must be fixed before commit/push.\n${inspectLine}`,
1135
- };
1136
- }