audit-tools 0.50.21 → 0.51.1

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 (368) hide show
  1. package/README.md +1 -1
  2. package/dist/audit/cli/auditStep.d.ts +1 -1
  3. package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
  4. package/dist/audit/cli/charterExtractionPrompt.js +14 -1
  5. package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
  6. package/dist/audit/cli/cleanup.d.ts +0 -1
  7. package/dist/audit/cli/cleanup.d.ts.map +1 -1
  8. package/dist/audit/cli/cleanup.js +32 -20
  9. package/dist/audit/cli/cleanup.js.map +1 -1
  10. package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
  11. package/dist/audit/cli/conceptualDispatch.js +30 -5
  12. package/dist/audit/cli/conceptualDispatch.js.map +1 -1
  13. package/dist/audit/cli/dispatch/hostHandoff.d.ts +2 -0
  14. package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
  15. package/dist/audit/cli/dispatch/hostHandoff.js +48 -20
  16. package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
  17. package/dist/audit/cli/fanoutLanes.d.ts +7 -0
  18. package/dist/audit/cli/fanoutLanes.d.ts.map +1 -1
  19. package/dist/audit/cli/fanoutLanes.js +9 -1
  20. package/dist/audit/cli/fanoutLanes.js.map +1 -1
  21. package/dist/audit/cli/forceSynthesisCommand.d.ts.map +1 -1
  22. package/dist/audit/cli/forceSynthesisCommand.js +2 -14
  23. package/dist/audit/cli/forceSynthesisCommand.js.map +1 -1
  24. package/dist/audit/cli/intakeCommand.d.ts.map +1 -1
  25. package/dist/audit/cli/intakeCommand.js +3 -13
  26. package/dist/audit/cli/intakeCommand.js.map +1 -1
  27. package/dist/audit/cli/laneSubmissions.d.ts +42 -57
  28. package/dist/audit/cli/laneSubmissions.d.ts.map +1 -1
  29. package/dist/audit/cli/laneSubmissions.js +116 -82
  30. package/dist/audit/cli/laneSubmissions.js.map +1 -1
  31. package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
  32. package/dist/audit/cli/nextStepCommand.js +132 -99
  33. package/dist/audit/cli/nextStepCommand.js.map +1 -1
  34. package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
  35. package/dist/audit/cli/nextStepHelpers.js +39 -46
  36. package/dist/audit/cli/nextStepHelpers.js.map +1 -1
  37. package/dist/audit/cli/resynthesizeCommand.d.ts.map +1 -1
  38. package/dist/audit/cli/resynthesizeCommand.js +5 -2
  39. package/dist/audit/cli/resynthesizeCommand.js.map +1 -1
  40. package/dist/audit/cli/sampleRunCommand.d.ts +3 -2
  41. package/dist/audit/cli/sampleRunCommand.d.ts.map +1 -1
  42. package/dist/audit/cli/stepScaffold.d.ts +21 -0
  43. package/dist/audit/cli/stepScaffold.d.ts.map +1 -0
  44. package/dist/audit/cli/stepScaffold.js +50 -0
  45. package/dist/audit/cli/stepScaffold.js.map +1 -0
  46. package/dist/audit/cli/steps.d.ts +6 -6
  47. package/dist/audit/cli/synthesizeCommand.d.ts.map +1 -1
  48. package/dist/audit/cli/synthesizeCommand.js +2 -14
  49. package/dist/audit/cli/synthesizeCommand.js.map +1 -1
  50. package/dist/audit/contracts/workerSchemas.d.ts +8 -8
  51. package/dist/audit/contracts/workerSchemas.d.ts.map +1 -1
  52. package/dist/audit/contracts/workerSchemas.js +12 -6
  53. package/dist/audit/contracts/workerSchemas.js.map +1 -1
  54. package/dist/audit/contracts/wrapperResponse.d.ts +7 -7
  55. package/dist/audit/contracts/wrapperResponse.d.ts.map +1 -1
  56. package/dist/audit/contracts/wrapperResponse.js +9 -1
  57. package/dist/audit/contracts/wrapperResponse.js.map +1 -1
  58. package/dist/audit/extractors/analyzers/merge.d.ts.map +1 -1
  59. package/dist/audit/extractors/analyzers/merge.js +2 -7
  60. package/dist/audit/extractors/analyzers/merge.js.map +1 -1
  61. package/dist/audit/extractors/commentDecomposition.d.ts +28 -0
  62. package/dist/audit/extractors/commentDecomposition.d.ts.map +1 -1
  63. package/dist/audit/extractors/commentDecomposition.js +151 -22
  64. package/dist/audit/extractors/commentDecomposition.js.map +1 -1
  65. package/dist/audit/extractors/graph.d.ts +1 -1
  66. package/dist/audit/extractors/graph.d.ts.map +1 -1
  67. package/dist/audit/extractors/graph.js +2 -6
  68. package/dist/audit/extractors/graph.js.map +1 -1
  69. package/dist/audit/extractors/graphManifestEdges/cargo.d.ts.map +1 -1
  70. package/dist/audit/extractors/graphManifestEdges/cargo.js +4 -4
  71. package/dist/audit/extractors/graphManifestEdges/cargo.js.map +1 -1
  72. package/dist/audit/extractors/graphManifestEdges/pnpm.d.ts.map +1 -1
  73. package/dist/audit/extractors/graphManifestEdges/pnpm.js +3 -3
  74. package/dist/audit/extractors/graphManifestEdges/pnpm.js.map +1 -1
  75. package/dist/audit/extractors/graphManifestEdges/pyproject.d.ts.map +1 -1
  76. package/dist/audit/extractors/graphManifestEdges/pyproject.js +3 -2
  77. package/dist/audit/extractors/graphManifestEdges/pyproject.js.map +1 -1
  78. package/dist/audit/extractors/graphManifestEdges/toml.d.ts +0 -6
  79. package/dist/audit/extractors/graphManifestEdges/toml.d.ts.map +1 -1
  80. package/dist/audit/extractors/graphManifestEdges/toml.js +0 -13
  81. package/dist/audit/extractors/graphManifestEdges/toml.js.map +1 -1
  82. package/dist/audit/extractors/graphManifestEdges/workspace.d.ts +9 -0
  83. package/dist/audit/extractors/graphManifestEdges/workspace.d.ts.map +1 -1
  84. package/dist/audit/extractors/graphManifestEdges/workspace.js +16 -0
  85. package/dist/audit/extractors/graphManifestEdges/workspace.js.map +1 -1
  86. package/dist/audit/extractors/graphManifestEdges/yaml.d.ts +0 -2
  87. package/dist/audit/extractors/graphManifestEdges/yaml.d.ts.map +1 -1
  88. package/dist/audit/extractors/graphManifestEdges/yaml.js +0 -9
  89. package/dist/audit/extractors/graphManifestEdges/yaml.js.map +1 -1
  90. package/dist/audit/extractors/graphSignals.d.ts.map +1 -1
  91. package/dist/audit/extractors/graphSignals.js +16 -2
  92. package/dist/audit/extractors/graphSignals.js.map +1 -1
  93. package/dist/audit/io/artifacts.d.ts +19 -0
  94. package/dist/audit/io/artifacts.d.ts.map +1 -1
  95. package/dist/audit/io/artifacts.js +44 -2
  96. package/dist/audit/io/artifacts.js.map +1 -1
  97. package/dist/audit/orchestrator/advance.d.ts +0 -22
  98. package/dist/audit/orchestrator/advance.d.ts.map +1 -1
  99. package/dist/audit/orchestrator/advance.js +1 -43
  100. package/dist/audit/orchestrator/advance.js.map +1 -1
  101. package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map +1 -1
  102. package/dist/audit/orchestrator/charterDeltaExecutor.js +14 -0
  103. package/dist/audit/orchestrator/charterDeltaExecutor.js.map +1 -1
  104. package/dist/audit/orchestrator/charterExtractionExecutor.d.ts +16 -6
  105. package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
  106. package/dist/audit/orchestrator/charterExtractionExecutor.js +127 -9
  107. package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
  108. package/dist/audit/orchestrator/charterPacketArchive.d.ts +51 -0
  109. package/dist/audit/orchestrator/charterPacketArchive.d.ts.map +1 -0
  110. package/dist/audit/orchestrator/charterPacketArchive.js +173 -0
  111. package/dist/audit/orchestrator/charterPacketArchive.js.map +1 -0
  112. package/dist/audit/orchestrator/charterPackets.d.ts +31 -13
  113. package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -1
  114. package/dist/audit/orchestrator/charterPackets.js +299 -96
  115. package/dist/audit/orchestrator/charterPackets.js.map +1 -1
  116. package/dist/audit/orchestrator/designReviewPrompt.d.ts +20 -4
  117. package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
  118. package/dist/audit/orchestrator/designReviewPrompt.js +89 -12
  119. package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
  120. package/dist/audit/orchestrator/edgeReasoning.d.ts.map +1 -1
  121. package/dist/audit/orchestrator/edgeReasoning.js +4 -9
  122. package/dist/audit/orchestrator/edgeReasoning.js.map +1 -1
  123. package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
  124. package/dist/audit/orchestrator/executorRunners.js +17 -1
  125. package/dist/audit/orchestrator/executorRunners.js.map +1 -1
  126. package/dist/audit/orchestrator/graphEnrichmentExecutor.d.ts.map +1 -1
  127. package/dist/audit/orchestrator/graphEnrichmentExecutor.js +8 -1
  128. package/dist/audit/orchestrator/graphEnrichmentExecutor.js.map +1 -1
  129. package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map +1 -1
  130. package/dist/audit/orchestrator/intentCheckpointGate.js +11 -2
  131. package/dist/audit/orchestrator/intentCheckpointGate.js.map +1 -1
  132. package/dist/audit/orchestrator/lineCounts.d.ts +44 -0
  133. package/dist/audit/orchestrator/lineCounts.d.ts.map +1 -0
  134. package/dist/audit/orchestrator/lineCounts.js +61 -0
  135. package/dist/audit/orchestrator/lineCounts.js.map +1 -0
  136. package/dist/audit/orchestrator/obligationDerive.d.ts +35 -0
  137. package/dist/audit/orchestrator/obligationDerive.d.ts.map +1 -0
  138. package/dist/audit/orchestrator/obligationDerive.js +50 -0
  139. package/dist/audit/orchestrator/obligationDerive.js.map +1 -0
  140. package/dist/audit/orchestrator/reviewPacketMetrics.d.ts.map +1 -1
  141. package/dist/audit/orchestrator/reviewPacketMetrics.js +3 -2
  142. package/dist/audit/orchestrator/reviewPacketMetrics.js.map +1 -1
  143. package/dist/audit/orchestrator/reviewPacketShared.d.ts +0 -2
  144. package/dist/audit/orchestrator/reviewPacketShared.d.ts.map +1 -1
  145. package/dist/audit/orchestrator/reviewPacketShared.js +0 -4
  146. package/dist/audit/orchestrator/reviewPacketShared.js.map +1 -1
  147. package/dist/audit/orchestrator/reviewPackets.d.ts.map +1 -1
  148. package/dist/audit/orchestrator/reviewPackets.js +3 -2
  149. package/dist/audit/orchestrator/reviewPackets.js.map +1 -1
  150. package/dist/audit/orchestrator/selectiveDeepening/conflict.d.ts.map +1 -1
  151. package/dist/audit/orchestrator/selectiveDeepening/conflict.js +3 -2
  152. package/dist/audit/orchestrator/selectiveDeepening/conflict.js.map +1 -1
  153. package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.d.ts.map +1 -1
  154. package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js +3 -2
  155. package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js.map +1 -1
  156. package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.d.ts.map +1 -1
  157. package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.js +3 -2
  158. package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.js.map +1 -1
  159. package/dist/audit/orchestrator/selectiveDeepening/lensVerification.d.ts.map +1 -1
  160. package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js +4 -3
  161. package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js.map +1 -1
  162. package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.d.ts.map +1 -1
  163. package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js +2 -1
  164. package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js.map +1 -1
  165. package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts +0 -2
  166. package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts.map +1 -1
  167. package/dist/audit/orchestrator/selectiveDeepening/shared.js +0 -27
  168. package/dist/audit/orchestrator/selectiveDeepening/shared.js.map +1 -1
  169. package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.d.ts.map +1 -1
  170. package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.js +10 -1
  171. package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.js.map +1 -1
  172. package/dist/audit/orchestrator/state.d.ts.map +1 -1
  173. package/dist/audit/orchestrator/state.js +21 -14
  174. package/dist/audit/orchestrator/state.js.map +1 -1
  175. package/dist/audit/orchestrator/synthesisExecutors.d.ts +8 -0
  176. package/dist/audit/orchestrator/synthesisExecutors.d.ts.map +1 -1
  177. package/dist/audit/orchestrator/synthesisExecutors.js +10 -0
  178. package/dist/audit/orchestrator/synthesisExecutors.js.map +1 -1
  179. package/dist/audit/reporting/synthesis.d.ts +42 -2
  180. package/dist/audit/reporting/synthesis.d.ts.map +1 -1
  181. package/dist/audit/reporting/synthesis.js +264 -12
  182. package/dist/audit/reporting/synthesis.js.map +1 -1
  183. package/dist/audit/supervisor/operatorHandoff.d.ts.map +1 -1
  184. package/dist/audit/supervisor/operatorHandoff.js +14 -6
  185. package/dist/audit/supervisor/operatorHandoff.js.map +1 -1
  186. package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
  187. package/dist/audit/systemic/secondOrderAdversaryPrompt.js +14 -0
  188. package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
  189. package/dist/audit/types/analyzerCapability.d.ts +35 -11
  190. package/dist/audit/types/analyzerCapability.d.ts.map +1 -1
  191. package/dist/audit/types/analyzerCapability.js +83 -5
  192. package/dist/audit/types/analyzerCapability.js.map +1 -1
  193. package/dist/audit/types/auditState.d.ts +8 -8
  194. package/dist/audit/types/charterRegister.d.ts +33 -3
  195. package/dist/audit/types/charterRegister.d.ts.map +1 -1
  196. package/dist/audit/types/charterRegister.js +11 -1
  197. package/dist/audit/types/charterRegister.js.map +1 -1
  198. package/dist/audit/types/conceptualAdjudication.d.ts +395 -16
  199. package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -1
  200. package/dist/audit/types/conceptualAdjudication.js +109 -5
  201. package/dist/audit/types/conceptualAdjudication.js.map +1 -1
  202. package/dist/audit/types/designAssessment.d.ts +1 -1
  203. package/dist/audit/types/designAssessment.d.ts.map +1 -1
  204. package/dist/audit/types.d.ts +9 -4
  205. package/dist/audit/types.d.ts.map +1 -1
  206. package/dist/remediate/droppedFindingsRecord.d.ts +13 -0
  207. package/dist/remediate/droppedFindingsRecord.d.ts.map +1 -0
  208. package/dist/remediate/droppedFindingsRecord.js +113 -0
  209. package/dist/remediate/droppedFindingsRecord.js.map +1 -0
  210. package/dist/remediate/intake.d.ts +17 -0
  211. package/dist/remediate/intake.d.ts.map +1 -1
  212. package/dist/remediate/intake.js +23 -0
  213. package/dist/remediate/intake.js.map +1 -1
  214. package/dist/remediate/intent/intentOrdering.d.ts.map +1 -1
  215. package/dist/remediate/intent/intentOrdering.js +29 -1
  216. package/dist/remediate/intent/intentOrdering.js.map +1 -1
  217. package/dist/remediate/phases/close.d.ts +1 -1
  218. package/dist/remediate/phases/close.d.ts.map +1 -1
  219. package/dist/remediate/phases/close.js +68 -6
  220. package/dist/remediate/phases/close.js.map +1 -1
  221. package/dist/remediate/phases/grounding.d.ts +12 -4
  222. package/dist/remediate/phases/grounding.d.ts.map +1 -1
  223. package/dist/remediate/phases/grounding.js +23 -60
  224. package/dist/remediate/phases/grounding.js.map +1 -1
  225. package/dist/remediate/state/types.d.ts +17 -6
  226. package/dist/remediate/state/types.d.ts.map +1 -1
  227. package/dist/remediate/state/types.js +3 -1
  228. package/dist/remediate/state/types.js.map +1 -1
  229. package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
  230. package/dist/remediate/steps/contractPipeline.js +10 -4
  231. package/dist/remediate/steps/contractPipeline.js.map +1 -1
  232. package/dist/remediate/steps/contractPipelinePrompts.d.ts +10 -2
  233. package/dist/remediate/steps/contractPipelinePrompts.d.ts.map +1 -1
  234. package/dist/remediate/steps/contractPipelinePrompts.js +56 -12
  235. package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
  236. package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
  237. package/dist/remediate/steps/dispatch/hostHandoff.js +277 -146
  238. package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
  239. package/dist/remediate/steps/nextStep.d.ts.map +1 -1
  240. package/dist/remediate/steps/nextStep.js +253 -75
  241. package/dist/remediate/steps/nextStep.js.map +1 -1
  242. package/dist/remediate/steps/prompts.d.ts +14 -0
  243. package/dist/remediate/steps/prompts.d.ts.map +1 -1
  244. package/dist/remediate/steps/prompts.js +52 -4
  245. package/dist/remediate/steps/prompts.js.map +1 -1
  246. package/dist/remediate/steps/types.d.ts +1 -1
  247. package/dist/remediate/steps/types.d.ts.map +1 -1
  248. package/dist/remediate/steps/types.js.map +1 -1
  249. package/dist/remediate/validation/contractPipelineGates.d.ts +0 -34
  250. package/dist/remediate/validation/contractPipelineGates.d.ts.map +1 -1
  251. package/dist/remediate/validation/contractPipelineGates.js +181 -143
  252. package/dist/remediate/validation/contractPipelineGates.js.map +1 -1
  253. package/dist/shared/agentReflections.d.ts +44 -3
  254. package/dist/shared/agentReflections.d.ts.map +1 -1
  255. package/dist/shared/agentReflections.js +63 -4
  256. package/dist/shared/agentReflections.js.map +1 -1
  257. package/dist/shared/analyzers/acquisitionEngine.d.ts +20 -1
  258. package/dist/shared/analyzers/acquisitionEngine.d.ts.map +1 -1
  259. package/dist/shared/analyzers/acquisitionEngine.js +17 -3
  260. package/dist/shared/analyzers/acquisitionEngine.js.map +1 -1
  261. package/dist/shared/analyzers/candidates.d.ts.map +1 -1
  262. package/dist/shared/analyzers/candidates.js +13 -4
  263. package/dist/shared/analyzers/candidates.js.map +1 -1
  264. package/dist/shared/analyzers/types.d.ts +17 -6
  265. package/dist/shared/analyzers/types.d.ts.map +1 -1
  266. package/dist/shared/analyzers/types.js +6 -15
  267. package/dist/shared/analyzers/types.js.map +1 -1
  268. package/dist/shared/decompose/systemicChallenge.d.ts +116 -9
  269. package/dist/shared/decompose/systemicChallenge.d.ts.map +1 -1
  270. package/dist/shared/decompose/systemicChallenge.js +32 -1
  271. package/dist/shared/decompose/systemicChallenge.js.map +1 -1
  272. package/dist/shared/engine/obligationEngine.d.ts +23 -6
  273. package/dist/shared/engine/obligationEngine.d.ts.map +1 -1
  274. package/dist/shared/engine/obligationEngine.js +38 -3
  275. package/dist/shared/engine/obligationEngine.js.map +1 -1
  276. package/dist/shared/findings/dedupe.d.ts +10 -0
  277. package/dist/shared/findings/dedupe.d.ts.map +1 -1
  278. package/dist/shared/findings/dedupe.js +15 -0
  279. package/dist/shared/findings/dedupe.js.map +1 -1
  280. package/dist/shared/friction/triage.d.ts.map +1 -1
  281. package/dist/shared/friction/triage.js +5 -1
  282. package/dist/shared/friction/triage.js.map +1 -1
  283. package/dist/shared/git.d.ts +6 -0
  284. package/dist/shared/git.d.ts.map +1 -1
  285. package/dist/shared/git.js +8 -0
  286. package/dist/shared/git.js.map +1 -1
  287. package/dist/shared/graph/edgeConfidence.d.ts +12 -0
  288. package/dist/shared/graph/edgeConfidence.d.ts.map +1 -0
  289. package/dist/shared/graph/edgeConfidence.js +15 -0
  290. package/dist/shared/graph/edgeConfidence.js.map +1 -0
  291. package/dist/shared/index.d.ts +26 -9
  292. package/dist/shared/index.d.ts.map +1 -1
  293. package/dist/shared/index.js +20 -8
  294. package/dist/shared/index.js.map +1 -1
  295. package/dist/shared/loopCorePaths.d.ts.map +1 -1
  296. package/dist/shared/loopCorePaths.js +4 -0
  297. package/dist/shared/loopCorePaths.js.map +1 -1
  298. package/dist/shared/measurement/measuredOutcome.d.ts +61 -0
  299. package/dist/shared/measurement/measuredOutcome.d.ts.map +1 -0
  300. package/dist/shared/measurement/measuredOutcome.js +109 -0
  301. package/dist/shared/measurement/measuredOutcome.js.map +1 -0
  302. package/dist/shared/reporting/findingDisplay.d.ts +14 -2
  303. package/dist/shared/reporting/findingDisplay.d.ts.map +1 -1
  304. package/dist/shared/reporting/findingDisplay.js +29 -2
  305. package/dist/shared/reporting/findingDisplay.js.map +1 -1
  306. package/dist/shared/reporting/lensCoverage.d.ts +70 -0
  307. package/dist/shared/reporting/lensCoverage.d.ts.map +1 -0
  308. package/dist/shared/reporting/lensCoverage.js +108 -0
  309. package/dist/shared/reporting/lensCoverage.js.map +1 -0
  310. package/dist/shared/submission/hostResultOutcomes.d.ts +42 -0
  311. package/dist/shared/submission/hostResultOutcomes.d.ts.map +1 -0
  312. package/dist/shared/submission/hostResultOutcomes.js +129 -0
  313. package/dist/shared/submission/hostResultOutcomes.js.map +1 -0
  314. package/dist/shared/submission/ingestionChecks.d.ts +146 -0
  315. package/dist/shared/submission/ingestionChecks.d.ts.map +1 -0
  316. package/dist/shared/submission/ingestionChecks.js +157 -0
  317. package/dist/shared/submission/ingestionChecks.js.map +1 -0
  318. package/dist/shared/submission/submissionClassifier.d.ts +8 -0
  319. package/dist/shared/submission/submissionClassifier.d.ts.map +1 -1
  320. package/dist/shared/submission/submissionClassifier.js.map +1 -1
  321. package/dist/shared/submission/submissionLedger.d.ts +24 -1
  322. package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
  323. package/dist/shared/submission/submissionLedger.js +61 -0
  324. package/dist/shared/submission/submissionLedger.js.map +1 -1
  325. package/dist/shared/submission/submissionScan.d.ts +2 -0
  326. package/dist/shared/submission/submissionScan.d.ts.map +1 -1
  327. package/dist/shared/submission/submissionScan.js +4 -0
  328. package/dist/shared/submission/submissionScan.js.map +1 -1
  329. package/dist/shared/tooling/projectFacts.d.ts +71 -0
  330. package/dist/shared/tooling/projectFacts.d.ts.map +1 -0
  331. package/dist/shared/tooling/projectFacts.js +153 -0
  332. package/dist/shared/tooling/projectFacts.js.map +1 -0
  333. package/dist/shared/tooling/projectTestAdmission.d.ts +5 -15
  334. package/dist/shared/tooling/projectTestAdmission.d.ts.map +1 -1
  335. package/dist/shared/tooling/projectTestAdmission.js +14 -5
  336. package/dist/shared/tooling/projectTestAdmission.js.map +1 -1
  337. package/dist/shared/types/charterPacket.d.ts +156 -0
  338. package/dist/shared/types/charterPacket.d.ts.map +1 -0
  339. package/dist/shared/types/charterPacket.js +9 -0
  340. package/dist/shared/types/charterPacket.js.map +1 -0
  341. package/dist/shared/types/closingActions.d.ts +16 -0
  342. package/dist/shared/types/closingActions.d.ts.map +1 -0
  343. package/dist/shared/types/closingActions.js +25 -0
  344. package/dist/shared/types/closingActions.js.map +1 -0
  345. package/dist/shared/types/finding.d.ts +275 -40
  346. package/dist/shared/types/finding.d.ts.map +1 -1
  347. package/dist/shared/types/finding.js +87 -0
  348. package/dist/shared/types/finding.js.map +1 -1
  349. package/dist/shared/types/intentCheckpoint.d.ts +50 -0
  350. package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
  351. package/dist/shared/types/intentCheckpoint.js +31 -0
  352. package/dist/shared/types/intentCheckpoint.js.map +1 -1
  353. package/dist/shared/validation/citationGrounding.d.ts +115 -0
  354. package/dist/shared/validation/citationGrounding.d.ts.map +1 -0
  355. package/dist/shared/validation/citationGrounding.js +347 -0
  356. package/dist/shared/validation/citationGrounding.js.map +1 -0
  357. package/dist/shared/validation/findingsReport.d.ts.map +1 -1
  358. package/dist/shared/validation/findingsReport.js +62 -0
  359. package/dist/shared/validation/findingsReport.js.map +1 -1
  360. package/docs/audit-pkg/contracts.md +34 -12
  361. package/docs/audit-pkg/operator-guide.md +10 -7
  362. package/package.json +3 -2
  363. package/schemas/audit-code-v1alpha1.schema.json +2 -1
  364. package/skills/audit-code/audit-code.prompt.md +5 -3
  365. package/dist/remediate/state/closingActions.d.ts +0 -3
  366. package/dist/remediate/state/closingActions.d.ts.map +0 -1
  367. package/dist/remediate/state/closingActions.js +0 -10
  368. package/dist/remediate/state/closingActions.js.map +0 -1
@@ -7,17 +7,17 @@ export declare const ConceptualRoundContributorSchema: z.ZodObject<{
7
7
  prompt_path: z.ZodString;
8
8
  result_path: z.ZodString;
9
9
  }, "strict", z.ZodTypeAny, {
10
+ result_path: string;
10
11
  contributor_id: string;
11
12
  perspective: string;
12
13
  lane_id: string;
13
14
  prompt_path: string;
14
- result_path: string;
15
15
  }, {
16
+ result_path: string;
16
17
  contributor_id: string;
17
18
  perspective: string;
18
19
  lane_id: string;
19
20
  prompt_path: string;
20
- result_path: string;
21
21
  }>;
22
22
  export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
23
23
  schema_version: z.ZodLiteral<1>;
@@ -30,17 +30,17 @@ export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
30
30
  prompt_path: z.ZodString;
31
31
  result_path: z.ZodString;
32
32
  }, "strict", z.ZodTypeAny, {
33
+ result_path: string;
33
34
  contributor_id: string;
34
35
  perspective: string;
35
36
  lane_id: string;
36
37
  prompt_path: string;
37
- result_path: string;
38
38
  }, {
39
+ result_path: string;
39
40
  contributor_id: string;
40
41
  perspective: string;
41
42
  lane_id: string;
42
43
  prompt_path: string;
43
- result_path: string;
44
44
  }>, "many">;
45
45
  judge: z.ZodObject<{
46
46
  contributor_id: z.ZodString;
@@ -48,50 +48,50 @@ export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
48
48
  prompt_path: z.ZodString;
49
49
  result_path: z.ZodString;
50
50
  }, "strict", z.ZodTypeAny, {
51
+ result_path: string;
51
52
  contributor_id: string;
52
53
  lane_id: string;
53
54
  prompt_path: string;
54
- result_path: string;
55
55
  }, {
56
+ result_path: string;
56
57
  contributor_id: string;
57
58
  lane_id: string;
58
59
  prompt_path: string;
59
- result_path: string;
60
60
  }>;
61
61
  }, "strict", z.ZodTypeAny, {
62
62
  schema_version: 1;
63
63
  perspectives: {
64
+ result_path: string;
64
65
  contributor_id: string;
65
66
  perspective: string;
66
67
  lane_id: string;
67
68
  prompt_path: string;
68
- result_path: string;
69
69
  }[];
70
+ round_id: string;
70
71
  judge: {
72
+ result_path: string;
71
73
  contributor_id: string;
72
74
  lane_id: string;
73
75
  prompt_path: string;
74
- result_path: string;
75
76
  };
76
77
  mode: "deep";
77
- round_id: string;
78
78
  }, {
79
79
  schema_version: 1;
80
80
  perspectives: {
81
+ result_path: string;
81
82
  contributor_id: string;
82
83
  perspective: string;
83
84
  lane_id: string;
84
85
  prompt_path: string;
85
- result_path: string;
86
86
  }[];
87
+ round_id: string;
87
88
  judge: {
89
+ result_path: string;
88
90
  contributor_id: string;
89
91
  lane_id: string;
90
92
  prompt_path: string;
91
- result_path: string;
92
93
  };
93
94
  mode: "deep";
94
- round_id: string;
95
95
  }>;
96
96
  export type ConceptualReviewRoundManifest = z.infer<typeof ConceptualReviewRoundManifestSchema>;
97
97
  export declare const CONCEPTUAL_REVIEW_ROUND_FILENAME = "conceptual-review-round.json";
@@ -99,7 +99,7 @@ export declare function conceptualReviewRoundManifestPath(artifactsDir: string):
99
99
  export declare function writeConceptualReviewRoundManifest(artifactsDir: string, manifest: ConceptualReviewRoundManifest): Promise<void>;
100
100
  export declare function readConceptualReviewRoundManifest(artifactsDir: string): Promise<ConceptualReviewRoundManifest | undefined>;
101
101
  export declare function clearConceptualReviewRoundManifest(artifactsDir: string): Promise<void>;
102
- export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
102
+ export declare const ConceptualCandidateDispositionSchema: z.ZodEffects<z.ZodObject<{
103
103
  candidate_id: z.ZodString;
104
104
  contributor_id: z.ZodString;
105
105
  source_finding_id: z.ZodString;
@@ -107,7 +107,44 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
107
107
  target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
108
108
  modification_percent: z.ZodNumber;
109
109
  rationale: z.ZodString;
110
+ /**
111
+ * The judge's claim about whether this candidate's named defect is present
112
+ * at HEAD. REQUIRED, never optional: an optional field defaults to silence,
113
+ * and silence is the defect (134 candidates across two live runs, zero
114
+ * rejections, one of them a candidate the judge itself reported as already
115
+ * fixed and merged at 70% modification).
116
+ */
117
+ verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
118
+ /**
119
+ * What the judge checked, and what it found. Required exactly when the
120
+ * status is not `asserted` and REFUSED when it is: that makes a
121
+ * `judge_confirmed` or `refuted_at_head` claim cost something and leaves
122
+ * `asserted` the cheap path, so the note cannot decay into boilerplate
123
+ * stamped on every candidate.
124
+ */
125
+ verification_note: z.ZodOptional<z.ZodString>;
110
126
  }, "strict", z.ZodTypeAny, {
127
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
128
+ rationale: string;
129
+ disposition: "rejected" | "retained" | "merged";
130
+ contributor_id: string;
131
+ candidate_id: string;
132
+ source_finding_id: string;
133
+ target_final_finding_ids: string[];
134
+ modification_percent: number;
135
+ verification_note?: string | undefined;
136
+ }, {
137
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
138
+ rationale: string;
139
+ disposition: "rejected" | "retained" | "merged";
140
+ contributor_id: string;
141
+ candidate_id: string;
142
+ source_finding_id: string;
143
+ target_final_finding_ids: string[];
144
+ modification_percent: number;
145
+ verification_note?: string | undefined;
146
+ }>, {
147
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
111
148
  rationale: string;
112
149
  disposition: "rejected" | "retained" | "merged";
113
150
  contributor_id: string;
@@ -115,7 +152,9 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
115
152
  source_finding_id: string;
116
153
  target_final_finding_ids: string[];
117
154
  modification_percent: number;
155
+ verification_note?: string | undefined;
118
156
  }, {
157
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
119
158
  rationale: string;
120
159
  disposition: "rejected" | "retained" | "merged";
121
160
  contributor_id: string;
@@ -123,6 +162,271 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
123
162
  source_finding_id: string;
124
163
  target_final_finding_ids: string[];
125
164
  modification_percent: number;
165
+ verification_note?: string | undefined;
166
+ }>;
167
+ /**
168
+ * The findings a judge or perspective may SUBMIT. `verification_status` is
169
+ * omitted for the same reason `WorkerFindingSchema` omits `grounding`: it is
170
+ * derived by the tool at ingest from the per-candidate claims, so a supplied
171
+ * value would bypass the derivation and be un-cross-checkable. The omit keeps it
172
+ * out of the parsed value; `refuseSuppliedVerificationStatus` NAMES it, because
173
+ * a silently stripped field teaches the host nothing.
174
+ */
175
+ export declare const ConceptualSubmittedFindingSchema: z.ZodObject<Omit<{
176
+ id: z.ZodString;
177
+ title: z.ZodString;
178
+ category: z.ZodString;
179
+ severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
180
+ confidence: z.ZodEnum<["high", "medium", "low"]>;
181
+ lens: z.ZodString;
182
+ summary: z.ZodString;
183
+ affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
184
+ path: z.ZodString;
185
+ line_start: z.ZodOptional<z.ZodNumber>;
186
+ line_end: z.ZodOptional<z.ZodNumber>;
187
+ symbol: z.ZodOptional<z.ZodString>;
188
+ quoted_text: z.ZodOptional<z.ZodString>;
189
+ hash_at_plan_time: z.ZodOptional<z.ZodString>;
190
+ }, "strip", z.ZodTypeAny, {
191
+ path: string;
192
+ symbol?: string | undefined;
193
+ line_start?: number | undefined;
194
+ line_end?: number | undefined;
195
+ quoted_text?: string | undefined;
196
+ hash_at_plan_time?: string | undefined;
197
+ }, {
198
+ path: string;
199
+ symbol?: string | undefined;
200
+ line_start?: number | undefined;
201
+ line_end?: number | undefined;
202
+ quoted_text?: string | undefined;
203
+ hash_at_plan_time?: string | undefined;
204
+ }>, {
205
+ path: string;
206
+ symbol?: string | undefined;
207
+ line_start?: number | undefined;
208
+ line_end?: number | undefined;
209
+ quoted_text?: string | undefined;
210
+ hash_at_plan_time?: string | undefined;
211
+ }, {
212
+ path: string;
213
+ symbol?: string | undefined;
214
+ line_start?: number | undefined;
215
+ line_end?: number | undefined;
216
+ quoted_text?: string | undefined;
217
+ hash_at_plan_time?: string | undefined;
218
+ }>, "many">;
219
+ impact: z.ZodOptional<z.ZodString>;
220
+ likelihood: z.ZodOptional<z.ZodString>;
221
+ evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
222
+ reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
223
+ systemic: z.ZodOptional<z.ZodBoolean>;
224
+ related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
225
+ theme_id: z.ZodOptional<z.ZodString>;
226
+ blast_radius: z.ZodOptional<z.ZodNumber>;
227
+ evidence_grounded: z.ZodOptional<z.ZodBoolean>;
228
+ grounding: z.ZodOptional<z.ZodObject<{
229
+ status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
230
+ reason: z.ZodOptional<z.ZodString>;
231
+ }, "strip", z.ZodTypeAny, {
232
+ status: "grounded" | "ungrounded" | "refuted";
233
+ reason?: string | undefined;
234
+ }, {
235
+ status: "grounded" | "ungrounded" | "refuted";
236
+ reason?: string | undefined;
237
+ }>>;
238
+ verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
239
+ executable_anchor: z.ZodOptional<z.ZodObject<{
240
+ command: z.ZodArray<z.ZodString, "many">;
241
+ confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
242
+ kind: z.ZodLiteral<"exit_zero">;
243
+ }, "strip", z.ZodTypeAny, {
244
+ kind: "exit_zero";
245
+ }, {
246
+ kind: "exit_zero";
247
+ }>, z.ZodObject<{
248
+ kind: z.ZodLiteral<"exit_nonzero">;
249
+ }, "strip", z.ZodTypeAny, {
250
+ kind: "exit_nonzero";
251
+ }, {
252
+ kind: "exit_nonzero";
253
+ }>, z.ZodObject<{
254
+ kind: z.ZodLiteral<"output_includes">;
255
+ text: z.ZodString;
256
+ }, "strip", z.ZodTypeAny, {
257
+ kind: "output_includes";
258
+ text: string;
259
+ }, {
260
+ kind: "output_includes";
261
+ text: string;
262
+ }>, z.ZodObject<{
263
+ kind: z.ZodLiteral<"output_excludes">;
264
+ text: z.ZodString;
265
+ }, "strip", z.ZodTypeAny, {
266
+ kind: "output_excludes";
267
+ text: string;
268
+ }, {
269
+ kind: "output_excludes";
270
+ text: string;
271
+ }>]>;
272
+ claim: z.ZodOptional<z.ZodString>;
273
+ }, "strip", z.ZodTypeAny, {
274
+ command: string[];
275
+ confirm_if: {
276
+ kind: "exit_zero";
277
+ } | {
278
+ kind: "exit_nonzero";
279
+ } | {
280
+ kind: "output_includes";
281
+ text: string;
282
+ } | {
283
+ kind: "output_excludes";
284
+ text: string;
285
+ };
286
+ claim?: string | undefined;
287
+ }, {
288
+ command: string[];
289
+ confirm_if: {
290
+ kind: "exit_zero";
291
+ } | {
292
+ kind: "exit_nonzero";
293
+ } | {
294
+ kind: "output_includes";
295
+ text: string;
296
+ } | {
297
+ kind: "output_excludes";
298
+ text: string;
299
+ };
300
+ claim?: string | undefined;
301
+ }>>;
302
+ contract_goal_id: z.ZodOptional<z.ZodString>;
303
+ contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
304
+ verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
305
+ targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
306
+ analyzer_provenance: z.ZodOptional<z.ZodObject<{
307
+ analyzer_id: z.ZodString;
308
+ rule: z.ZodOptional<z.ZodString>;
309
+ path: z.ZodString;
310
+ snippet_hash: z.ZodString;
311
+ }, "strict", z.ZodTypeAny, {
312
+ path: string;
313
+ analyzer_id: string;
314
+ snippet_hash: string;
315
+ rule?: string | undefined;
316
+ }, {
317
+ path: string;
318
+ analyzer_id: string;
319
+ snippet_hash: string;
320
+ rule?: string | undefined;
321
+ }>>;
322
+ }, "verification_status">, "strip", z.ZodTypeAny, {
323
+ id: string;
324
+ confidence: "high" | "low" | "medium";
325
+ title: string;
326
+ category: string;
327
+ severity: "high" | "low" | "critical" | "medium" | "info";
328
+ lens: string;
329
+ summary: string;
330
+ affected_files: {
331
+ path: string;
332
+ symbol?: string | undefined;
333
+ line_start?: number | undefined;
334
+ line_end?: number | undefined;
335
+ quoted_text?: string | undefined;
336
+ hash_at_plan_time?: string | undefined;
337
+ }[];
338
+ impact?: string | undefined;
339
+ likelihood?: string | undefined;
340
+ evidence?: string[] | undefined;
341
+ reproduction?: string[] | undefined;
342
+ systemic?: boolean | undefined;
343
+ related_findings?: string[] | undefined;
344
+ theme_id?: string | undefined;
345
+ blast_radius?: number | undefined;
346
+ evidence_grounded?: boolean | undefined;
347
+ grounding?: {
348
+ status: "grounded" | "ungrounded" | "refuted";
349
+ reason?: string | undefined;
350
+ } | undefined;
351
+ executable_anchor?: {
352
+ command: string[];
353
+ confirm_if: {
354
+ kind: "exit_zero";
355
+ } | {
356
+ kind: "exit_nonzero";
357
+ } | {
358
+ kind: "output_includes";
359
+ text: string;
360
+ } | {
361
+ kind: "output_excludes";
362
+ text: string;
363
+ };
364
+ claim?: string | undefined;
365
+ } | undefined;
366
+ contract_goal_id?: string | undefined;
367
+ contract_obligation_ids?: string[] | undefined;
368
+ verification_obligation_ids?: string[] | undefined;
369
+ targeted_commands?: string[] | undefined;
370
+ analyzer_provenance?: {
371
+ path: string;
372
+ analyzer_id: string;
373
+ snippet_hash: string;
374
+ rule?: string | undefined;
375
+ } | undefined;
376
+ }, {
377
+ id: string;
378
+ confidence: "high" | "low" | "medium";
379
+ title: string;
380
+ category: string;
381
+ severity: "high" | "low" | "critical" | "medium" | "info";
382
+ lens: string;
383
+ summary: string;
384
+ affected_files: {
385
+ path: string;
386
+ symbol?: string | undefined;
387
+ line_start?: number | undefined;
388
+ line_end?: number | undefined;
389
+ quoted_text?: string | undefined;
390
+ hash_at_plan_time?: string | undefined;
391
+ }[];
392
+ impact?: string | undefined;
393
+ likelihood?: string | undefined;
394
+ evidence?: string[] | undefined;
395
+ reproduction?: string[] | undefined;
396
+ systemic?: boolean | undefined;
397
+ related_findings?: string[] | undefined;
398
+ theme_id?: string | undefined;
399
+ blast_radius?: number | undefined;
400
+ evidence_grounded?: boolean | undefined;
401
+ grounding?: {
402
+ status: "grounded" | "ungrounded" | "refuted";
403
+ reason?: string | undefined;
404
+ } | undefined;
405
+ executable_anchor?: {
406
+ command: string[];
407
+ confirm_if: {
408
+ kind: "exit_zero";
409
+ } | {
410
+ kind: "exit_nonzero";
411
+ } | {
412
+ kind: "output_includes";
413
+ text: string;
414
+ } | {
415
+ kind: "output_excludes";
416
+ text: string;
417
+ };
418
+ claim?: string | undefined;
419
+ } | undefined;
420
+ contract_goal_id?: string | undefined;
421
+ contract_obligation_ids?: string[] | undefined;
422
+ verification_obligation_ids?: string[] | undefined;
423
+ targeted_commands?: string[] | undefined;
424
+ analyzer_provenance?: {
425
+ path: string;
426
+ analyzer_id: string;
427
+ snippet_hash: string;
428
+ rule?: string | undefined;
429
+ } | undefined;
126
430
  }>;
127
431
  export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
128
432
  final_finding_id: z.ZodString;
@@ -161,7 +465,7 @@ export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
161
465
  }>;
162
466
  export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
163
467
  round_id: z.ZodString;
164
- findings: z.ZodArray<z.ZodObject<{
468
+ findings: z.ZodArray<z.ZodObject<Omit<{
165
469
  id: z.ZodString;
166
470
  title: z.ZodString;
167
471
  category: z.ZodString;
@@ -224,6 +528,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
224
528
  status: "grounded" | "ungrounded" | "refuted";
225
529
  reason?: string | undefined;
226
530
  }>>;
531
+ verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
227
532
  executable_anchor: z.ZodOptional<z.ZodObject<{
228
533
  command: z.ZodArray<z.ZodString, "many">;
229
534
  confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
@@ -307,7 +612,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
307
612
  snippet_hash: string;
308
613
  rule?: string | undefined;
309
614
  }>>;
310
- }, "strip", z.ZodTypeAny, {
615
+ }, "verification_status">, "strip", z.ZodTypeAny, {
311
616
  id: string;
312
617
  confidence: "high" | "low" | "medium";
313
618
  title: string;
@@ -416,7 +721,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
416
721
  rule?: string | undefined;
417
722
  } | undefined;
418
723
  }>, "many">;
419
- candidate_dispositions: z.ZodArray<z.ZodObject<{
724
+ candidate_dispositions: z.ZodArray<z.ZodEffects<z.ZodObject<{
420
725
  candidate_id: z.ZodString;
421
726
  contributor_id: z.ZodString;
422
727
  source_finding_id: z.ZodString;
@@ -424,7 +729,44 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
424
729
  target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
425
730
  modification_percent: z.ZodNumber;
426
731
  rationale: z.ZodString;
732
+ /**
733
+ * The judge's claim about whether this candidate's named defect is present
734
+ * at HEAD. REQUIRED, never optional: an optional field defaults to silence,
735
+ * and silence is the defect (134 candidates across two live runs, zero
736
+ * rejections, one of them a candidate the judge itself reported as already
737
+ * fixed and merged at 70% modification).
738
+ */
739
+ verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
740
+ /**
741
+ * What the judge checked, and what it found. Required exactly when the
742
+ * status is not `asserted` and REFUSED when it is: that makes a
743
+ * `judge_confirmed` or `refuted_at_head` claim cost something and leaves
744
+ * `asserted` the cheap path, so the note cannot decay into boilerplate
745
+ * stamped on every candidate.
746
+ */
747
+ verification_note: z.ZodOptional<z.ZodString>;
427
748
  }, "strict", z.ZodTypeAny, {
749
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
750
+ rationale: string;
751
+ disposition: "rejected" | "retained" | "merged";
752
+ contributor_id: string;
753
+ candidate_id: string;
754
+ source_finding_id: string;
755
+ target_final_finding_ids: string[];
756
+ modification_percent: number;
757
+ verification_note?: string | undefined;
758
+ }, {
759
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
760
+ rationale: string;
761
+ disposition: "rejected" | "retained" | "merged";
762
+ contributor_id: string;
763
+ candidate_id: string;
764
+ source_finding_id: string;
765
+ target_final_finding_ids: string[];
766
+ modification_percent: number;
767
+ verification_note?: string | undefined;
768
+ }>, {
769
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
428
770
  rationale: string;
429
771
  disposition: "rejected" | "retained" | "merged";
430
772
  contributor_id: string;
@@ -432,7 +774,9 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
432
774
  source_finding_id: string;
433
775
  target_final_finding_ids: string[];
434
776
  modification_percent: number;
777
+ verification_note?: string | undefined;
435
778
  }, {
779
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
436
780
  rationale: string;
437
781
  disposition: "rejected" | "retained" | "merged";
438
782
  contributor_id: string;
@@ -440,6 +784,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
440
784
  source_finding_id: string;
441
785
  target_final_finding_ids: string[];
442
786
  modification_percent: number;
787
+ verification_note?: string | undefined;
443
788
  }>, "many">;
444
789
  final_finding_shares: z.ZodArray<z.ZodObject<{
445
790
  final_finding_id: z.ZodString;
@@ -534,6 +879,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
534
879
  }[];
535
880
  round_id: string;
536
881
  candidate_dispositions: {
882
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
537
883
  rationale: string;
538
884
  disposition: "rejected" | "retained" | "merged";
539
885
  contributor_id: string;
@@ -541,6 +887,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
541
887
  source_finding_id: string;
542
888
  target_final_finding_ids: string[];
543
889
  modification_percent: number;
890
+ verification_note?: string | undefined;
544
891
  }[];
545
892
  final_finding_shares: {
546
893
  final_finding_id: string;
@@ -609,6 +956,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
609
956
  }[];
610
957
  round_id: string;
611
958
  candidate_dispositions: {
959
+ verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
612
960
  rationale: string;
613
961
  disposition: "rejected" | "retained" | "merged";
614
962
  contributor_id: string;
@@ -616,6 +964,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
616
964
  source_finding_id: string;
617
965
  target_final_finding_ids: string[];
618
966
  modification_percent: number;
967
+ verification_note?: string | undefined;
619
968
  }[];
620
969
  final_finding_shares: {
621
970
  final_finding_id: string;
@@ -643,8 +992,38 @@ export interface ConceptualReviewAdjudication {
643
992
  contributors: ConceptualReviewContributor[];
644
993
  candidate_dispositions: ConceptualJudgeSubmission["candidate_dispositions"];
645
994
  final_finding_shares: ConceptualJudgeSubmission["final_finding_shares"];
995
+ /**
996
+ * CANDIDATE-scoped counts, DERIVED by `buildConceptualReviewAdjudication` and
997
+ * never read from the submission — an aggregate a judge supplied would let the
998
+ * artifact self-certify its own outcome. Both are required, so an adjudication
999
+ * that publishes no rejection rate cannot exist.
1000
+ *
1001
+ * These do NOT reconcile with the finding-scoped
1002
+ * `AuditFindingsSummary.verification_status_breakdown`, and are not meant to:
1003
+ * a merged candidate's final finding can still be quarantined ungrounded
1004
+ * downstream. Each is labelled by its population rather than reconciled into
1005
+ * one number that would have to hide the quarantine.
1006
+ */
1007
+ candidate_disposition_breakdown: Record<string, number>;
1008
+ candidate_verification_status_breakdown: Record<string, number>;
646
1009
  }
647
1010
  export declare function conceptualCandidateId(contributorId: string, findingId: string): string;
1011
+ /**
1012
+ * Fold the judge's per-CANDIDATE verification claims into a per-FINDING status.
1013
+ * A final finding is `judge_confirmed` when at least one candidate that fed it
1014
+ * was; otherwise `asserted`. The fold is TOTAL by construction — a judge-added
1015
+ * finding has no candidate, and the shallow pass has no adjudication at all, and
1016
+ * both land on `asserted` rather than on an absent field, because absence is the
1017
+ * silence this vocabulary exists to end.
1018
+ *
1019
+ * `refuted_at_head` can never be emitted here: the validator forces a refuted
1020
+ * candidate to `rejected`, and a rejected candidate maps to no final finding.
1021
+ *
1022
+ * Derived, never host-supplied — the reason `verification_status` is omitted
1023
+ * from every submission schema. Returns new finding objects; the input is not
1024
+ * mutated.
1025
+ */
1026
+ export declare function deriveConceptualVerificationStatus(findings: readonly Finding[], adjudication: ConceptualReviewAdjudication | undefined): Finding[];
648
1027
  /**
649
1028
  * Read exactly the perspective result paths named by the current-round
650
1029
  * manifest. No directory scan is permitted: old round files may remain for
@@ -1 +1 @@
1
- {"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;EAUtC,CAAC;AAEZ,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOjC,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;CACzE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAMD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CA6M/B"}
1
+ {"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;IAS7C;;;;;;OAMG;;IAEH;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBH,CAAC;AAEL;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAC;AAEH,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlExC;;;;;;WAMG;;QAEH;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2DI,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;IACxE;;;;;;;;;;;OAWG;IACH,+BAA+B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,uCAAuC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,YAAY,EAAE,4BAA4B,GAAG,SAAS,GACrD,OAAO,EAAE,CAcX;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAyBD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CAoO/B"}