audit-tools 0.50.21 → 0.51.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 (157) hide show
  1. package/dist/audit/cli/auditStep.d.ts +1 -1
  2. package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
  3. package/dist/audit/cli/charterExtractionPrompt.js +14 -1
  4. package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
  5. package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
  6. package/dist/audit/cli/conceptualDispatch.js +30 -5
  7. package/dist/audit/cli/conceptualDispatch.js.map +1 -1
  8. package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
  9. package/dist/audit/cli/dispatch/hostHandoff.js +10 -0
  10. package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
  11. package/dist/audit/cli/fanoutLanes.d.ts +7 -0
  12. package/dist/audit/cli/fanoutLanes.d.ts.map +1 -1
  13. package/dist/audit/cli/fanoutLanes.js +9 -1
  14. package/dist/audit/cli/fanoutLanes.js.map +1 -1
  15. package/dist/audit/cli/laneSubmissions.d.ts +38 -27
  16. package/dist/audit/cli/laneSubmissions.d.ts.map +1 -1
  17. package/dist/audit/cli/laneSubmissions.js +129 -2
  18. package/dist/audit/cli/laneSubmissions.js.map +1 -1
  19. package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
  20. package/dist/audit/cli/nextStepCommand.js +27 -7
  21. package/dist/audit/cli/nextStepCommand.js.map +1 -1
  22. package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
  23. package/dist/audit/cli/nextStepHelpers.js +34 -4
  24. package/dist/audit/cli/nextStepHelpers.js.map +1 -1
  25. package/dist/audit/cli/sampleRunCommand.d.ts +2 -1
  26. package/dist/audit/cli/sampleRunCommand.d.ts.map +1 -1
  27. package/dist/audit/contracts/workerSchemas.d.ts +4 -4
  28. package/dist/audit/contracts/workerSchemas.d.ts.map +1 -1
  29. package/dist/audit/contracts/workerSchemas.js +12 -6
  30. package/dist/audit/contracts/workerSchemas.js.map +1 -1
  31. package/dist/audit/contracts/wrapperResponse.d.ts +7 -7
  32. package/dist/audit/contracts/wrapperResponse.d.ts.map +1 -1
  33. package/dist/audit/contracts/wrapperResponse.js +9 -1
  34. package/dist/audit/contracts/wrapperResponse.js.map +1 -1
  35. package/dist/audit/extractors/commentDecomposition.d.ts +28 -0
  36. package/dist/audit/extractors/commentDecomposition.d.ts.map +1 -1
  37. package/dist/audit/extractors/commentDecomposition.js +117 -0
  38. package/dist/audit/extractors/commentDecomposition.js.map +1 -1
  39. package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map +1 -1
  40. package/dist/audit/orchestrator/charterDeltaExecutor.js +14 -0
  41. package/dist/audit/orchestrator/charterDeltaExecutor.js.map +1 -1
  42. package/dist/audit/orchestrator/charterExtractionExecutor.d.ts +16 -6
  43. package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
  44. package/dist/audit/orchestrator/charterExtractionExecutor.js +127 -9
  45. package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
  46. package/dist/audit/orchestrator/charterPacketArchive.d.ts +51 -0
  47. package/dist/audit/orchestrator/charterPacketArchive.d.ts.map +1 -0
  48. package/dist/audit/orchestrator/charterPacketArchive.js +173 -0
  49. package/dist/audit/orchestrator/charterPacketArchive.js.map +1 -0
  50. package/dist/audit/orchestrator/charterPackets.d.ts +31 -13
  51. package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -1
  52. package/dist/audit/orchestrator/charterPackets.js +433 -79
  53. package/dist/audit/orchestrator/charterPackets.js.map +1 -1
  54. package/dist/audit/orchestrator/designReviewPrompt.d.ts +20 -4
  55. package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
  56. package/dist/audit/orchestrator/designReviewPrompt.js +89 -12
  57. package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
  58. package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
  59. package/dist/audit/orchestrator/executorRunners.js +17 -1
  60. package/dist/audit/orchestrator/executorRunners.js.map +1 -1
  61. package/dist/audit/orchestrator/graphEnrichmentExecutor.d.ts.map +1 -1
  62. package/dist/audit/orchestrator/graphEnrichmentExecutor.js +8 -1
  63. package/dist/audit/orchestrator/graphEnrichmentExecutor.js.map +1 -1
  64. package/dist/audit/orchestrator/state.d.ts.map +1 -1
  65. package/dist/audit/orchestrator/state.js +21 -14
  66. package/dist/audit/orchestrator/state.js.map +1 -1
  67. package/dist/audit/orchestrator/synthesisExecutors.d.ts +8 -0
  68. package/dist/audit/orchestrator/synthesisExecutors.d.ts.map +1 -1
  69. package/dist/audit/orchestrator/synthesisExecutors.js +10 -0
  70. package/dist/audit/orchestrator/synthesisExecutors.js.map +1 -1
  71. package/dist/audit/reporting/synthesis.d.ts +42 -2
  72. package/dist/audit/reporting/synthesis.d.ts.map +1 -1
  73. package/dist/audit/reporting/synthesis.js +265 -12
  74. package/dist/audit/reporting/synthesis.js.map +1 -1
  75. package/dist/audit/supervisor/operatorHandoff.d.ts.map +1 -1
  76. package/dist/audit/supervisor/operatorHandoff.js +14 -6
  77. package/dist/audit/supervisor/operatorHandoff.js.map +1 -1
  78. package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
  79. package/dist/audit/systemic/secondOrderAdversaryPrompt.js +7 -0
  80. package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
  81. package/dist/audit/types/analyzerCapability.d.ts +35 -11
  82. package/dist/audit/types/analyzerCapability.d.ts.map +1 -1
  83. package/dist/audit/types/analyzerCapability.js +83 -5
  84. package/dist/audit/types/analyzerCapability.js.map +1 -1
  85. package/dist/audit/types/auditState.d.ts +8 -8
  86. package/dist/audit/types/charterRegister.d.ts +33 -3
  87. package/dist/audit/types/charterRegister.d.ts.map +1 -1
  88. package/dist/audit/types/charterRegister.js +11 -1
  89. package/dist/audit/types/charterRegister.js.map +1 -1
  90. package/dist/audit/types/conceptualAdjudication.d.ts +383 -4
  91. package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -1
  92. package/dist/audit/types/conceptualAdjudication.js +109 -5
  93. package/dist/audit/types/conceptualAdjudication.js.map +1 -1
  94. package/dist/audit/types/designAssessment.d.ts +1 -1
  95. package/dist/audit/types/designAssessment.d.ts.map +1 -1
  96. package/dist/audit/types.d.ts +7 -2
  97. package/dist/audit/types.d.ts.map +1 -1
  98. package/dist/remediate/intent/intentOrdering.d.ts.map +1 -1
  99. package/dist/remediate/intent/intentOrdering.js +29 -1
  100. package/dist/remediate/intent/intentOrdering.js.map +1 -1
  101. package/dist/remediate/phases/grounding.d.ts +12 -4
  102. package/dist/remediate/phases/grounding.d.ts.map +1 -1
  103. package/dist/remediate/phases/grounding.js +23 -60
  104. package/dist/remediate/phases/grounding.js.map +1 -1
  105. package/dist/remediate/state/types.d.ts +5 -0
  106. package/dist/remediate/state/types.d.ts.map +1 -1
  107. package/dist/shared/analyzers/types.d.ts +17 -6
  108. package/dist/shared/analyzers/types.d.ts.map +1 -1
  109. package/dist/shared/analyzers/types.js +6 -15
  110. package/dist/shared/analyzers/types.js.map +1 -1
  111. package/dist/shared/decompose/systemicChallenge.d.ts +5 -0
  112. package/dist/shared/decompose/systemicChallenge.d.ts.map +1 -1
  113. package/dist/shared/engine/obligationEngine.d.ts +23 -6
  114. package/dist/shared/engine/obligationEngine.d.ts.map +1 -1
  115. package/dist/shared/engine/obligationEngine.js +38 -3
  116. package/dist/shared/engine/obligationEngine.js.map +1 -1
  117. package/dist/shared/findings/dedupe.d.ts +10 -0
  118. package/dist/shared/findings/dedupe.d.ts.map +1 -1
  119. package/dist/shared/findings/dedupe.js +15 -0
  120. package/dist/shared/findings/dedupe.js.map +1 -1
  121. package/dist/shared/index.d.ts +14 -6
  122. package/dist/shared/index.d.ts.map +1 -1
  123. package/dist/shared/index.js +12 -5
  124. package/dist/shared/index.js.map +1 -1
  125. package/dist/shared/measurement/measuredOutcome.d.ts +61 -0
  126. package/dist/shared/measurement/measuredOutcome.d.ts.map +1 -0
  127. package/dist/shared/measurement/measuredOutcome.js +109 -0
  128. package/dist/shared/measurement/measuredOutcome.js.map +1 -0
  129. package/dist/shared/reporting/findingDisplay.d.ts +14 -2
  130. package/dist/shared/reporting/findingDisplay.d.ts.map +1 -1
  131. package/dist/shared/reporting/findingDisplay.js +29 -2
  132. package/dist/shared/reporting/findingDisplay.js.map +1 -1
  133. package/dist/shared/reporting/lensCoverage.d.ts +70 -0
  134. package/dist/shared/reporting/lensCoverage.d.ts.map +1 -0
  135. package/dist/shared/reporting/lensCoverage.js +108 -0
  136. package/dist/shared/reporting/lensCoverage.js.map +1 -0
  137. package/dist/shared/submission/submissionLedger.d.ts +24 -1
  138. package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
  139. package/dist/shared/submission/submissionLedger.js +61 -0
  140. package/dist/shared/submission/submissionLedger.js.map +1 -1
  141. package/dist/shared/types/charterPacket.d.ts +155 -0
  142. package/dist/shared/types/charterPacket.d.ts.map +1 -0
  143. package/dist/shared/types/charterPacket.js +9 -0
  144. package/dist/shared/types/charterPacket.js.map +1 -0
  145. package/dist/shared/types/finding.d.ts +275 -40
  146. package/dist/shared/types/finding.d.ts.map +1 -1
  147. package/dist/shared/types/finding.js +87 -0
  148. package/dist/shared/types/finding.js.map +1 -1
  149. package/dist/shared/validation/citationGrounding.d.ts +115 -0
  150. package/dist/shared/validation/citationGrounding.d.ts.map +1 -0
  151. package/dist/shared/validation/citationGrounding.js +347 -0
  152. package/dist/shared/validation/citationGrounding.js.map +1 -0
  153. package/dist/shared/validation/findingsReport.d.ts.map +1 -1
  154. package/dist/shared/validation/findingsReport.js +62 -0
  155. package/dist/shared/validation/findingsReport.js.map +1 -1
  156. package/package.json +1 -1
  157. package/schemas/audit-code-v1alpha1.schema.json +2 -1
@@ -1 +1 @@
1
- {"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAQ3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EACL,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,mBAAmB,GAEpB,MAAM,2BAA2B,CAAC;AAEnC,SAAS,GAAG,CAAC,KAAc;IACzB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,UAAU,CACjB,EAAU,EACV,KAAsB,EACtB,MAAe;IAEf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CACvB,cAA2B,EAC3B,IAAc,EACd,OAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;AAC7E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAC5B,MAAsB,EACtB,IAAsB,EACtB,SAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,EAAE,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,IAAI,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IACtE,OAAO,WAAW,CAAC;AACrB,CAAC;AAcD,MAAM,UAAU,gBAAgB,CAC9B,MAAsB,EACtB,UAAmC,EAAE;IAErC,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,EAAE;QACnD,IAAI,EAAE,OAAO,CAAC,aAAa,IAAI,IAAI;KACpC,CAAC,CAAC;IAEH,WAAW,CAAC,IAAI,CACd,UAAU,CACR,eAAe,EACf,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CACpD,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAC/B,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,gBAAgB,CACd,cAAc,EACd,CAAC,yBAAyB,EAAE,+BAA+B,CAAC,EAC5D,GAAG,CAAC,MAAM,CAAC,wBAAwB,CAAC,CACrC,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,8EAA8E;IAC9E,qEAAqE;IACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,gBAAgB,CACd,cAAc,EACd,CAAC,oCAAoC,CAAC,EACtC,GAAG,CAAC,MAAM,CAAC,6BAA6B,CAAC,CAC1C,CACF,CACF,CAAC;IAEF,MAAM,cAAc,GAClB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC5B,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;QAC1B,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,gBAAgB,CACd,cAAc,EACd;QACE,oBAAoB;QACpB,uBAAuB;QACvB,mBAAmB;QACnB,qBAAqB;QACrB,oBAAoB;KACrB,EACD,cAAc,CACf,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,wEAAwE;IACxE,8DAA8D;IAC9D,iFAAiF;IACjF,+EAA+E;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,+EAA+E;IAC/E,iFAAiF;IACjF,kFAAkF;IAClF,+CAA+C;IAC/C,MAAM,0BAA0B,GAC9B,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;QAC1B,MAAM,CAAC,cAAc,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACpD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,gCAAgC,EAChC,CAAC,0BAA0B;QACzB,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC;YAClC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,SAAS,EACf,0BAA0B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC;QAC/D,CAAC,CAAC,8HAA8H;QAChI,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,gBAAgB,CACd,cAAc,EACd,CAAC,0BAA0B,CAAC,EAC5B,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAChC,CACF,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,2BAA2B,EAC3B,gBAAgB,CACd,cAAc,EACd,CAAC,wBAAwB,CAAC,EAC1B,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAC9B,CACF,CACF,CAAC;IAEF,uEAAuE;IACvE,6EAA6E;IAC7E,kFAAkF;IAClF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iCAAiC,EACjC,gBAAgB,CACd,cAAc,EACd,CAAC,8BAA8B,CAAC,EAChC,GAAG,CAAC,MAAM,CAAC,uBAAuB,CAAC,CACpC,CACF,CACF,CAAC;IAEF,0EAA0E;IAC1E,8EAA8E;IAC9E,gDAAgD;IAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,gBAAgB,CACd,cAAc,EACd,CAAC,kBAAkB,CAAC,EACpB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CACxB,CACF,CACF,CAAC;IAEF,uEAAuE;IACvE,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,oBAAoB,GAAG,gBAAgB,CAC3C,cAAc,EACd,CAAC,wBAAwB,CAAC,EAC1B,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAC9B,CAAC;IACF,MAAM,iBAAiB,GACrB,oBAAoB,KAAK,WAAW;QAClC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACvD,CAAC,CAAC,EAAE,CAAC;IACT,WAAW,CAAC,IAAI,CACd,UAAU,CACR,2BAA2B,EAC3B,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,EAC/D,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,iBAAiB,CAAC,MAAM,6IAA6I;QAC1K,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,4EAA4E;IAC5E,2EAA2E;IAC3E,uEAAuE;IACvE,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,iBAAiB,GACrB,oBAAoB,KAAK,WAAW,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACpE,CAAC,CAAC,6BAA6B,CAAC,MAAM,CAAC;QACvC,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAY,CAAC;IACvC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,iBAAiB,CAAC,IAAI,KAAK,WAAW;QACpC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;YAC/C,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,SAAS,EACf,iBAAiB,CAAC,IAAI,KAAK,WAAW;QACpC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,wBAAwB;YACnD,CAAC,CAAC,kHAAkH;YACpH,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;gBAC/C,CAAC,CAAC,+FAA+F;gBACjG,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;oBAC/C,CAAC,CAAC,0GAA0G;oBAC5G,CAAC,CAAC,oFAAoF,CAC/F,CACF,CAAC;IAEF,8EAA8E;IAC9E,2EAA2E;IAC3E,iFAAiF;IACjF,8EAA8E;IAC9E,6EAA6E;IAC7E,gDAAgD;IAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,4EAA4E;IAC5E,iFAAiF;IACjF,+EAA+E;IAC/E,8EAA8E;IAC9E,kFAAkF;IAClF,gFAAgF;IAChF,iEAAiE;IACjE,8BAA8B;IAC9B,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CAAC;IACF,MAAM,oBAAoB,GACxB,gBAAgB,KAAK,WAAW;QAChC,MAAM,CAAC,gBAAgB,EAAE,cAAc,KAAK,IAAI,CAAC;IACnD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,EACnD,oBAAoB;QAClB,CAAC,CAAC,6FAA6F;QAC/F,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,0EAA0E;IAC1E,0EAA0E;IAC1E,0DAA0D;IAC1D,4EAA4E;IAC5E,8EAA8E;IAC9E,yEAAyE;IACzE,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,cAAc,GAClB,MAAM,CAAC,iBAAiB,EAAE,QAAQ,KAAK,IAAI;QAC3C,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,KAAK,IAAI;QACpD,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,KAAK,IAAI;QACtD,CAAC,cAAc,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEhD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kCAAkC,EAClC,qBAAqB,CACnB,MAAM,EACN,UAAU,EACV,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,KAAK,IAAI,IAAI,cAAc,CACvE,CACF,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oCAAoC,EACpC,qBAAqB,CACnB,MAAM,EACN,YAAY,EACZ,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,KAAK,IAAI,IAAI,cAAc,CACzE,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,iFAAiF;IACjF,2EAA2E;IAC3E,kFAAkF;IAClF,iFAAiF;IACjF,oEAAoE;IACpE,8BAA8B;IAC9B,EAAE;IACF,2EAA2E;IAC3E,8EAA8E;IAC9E,6EAA6E;IAC7E,iFAAiF;IACjF,gFAAgF;IAChF,kEAAkE;IAClE,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,cAAc,EACd,CAAC,4BAA4B,CAAC,EAC9B,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAClC,CAAC;IACF,MAAM,uBAAuB,GAC3B,iBAAiB,KAAK,WAAW;QAC/B,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAC9B,CAAC,MAAM;QACV,CAAC,CAAC,CAAC,CAAC;IACR,WAAW,CAAC,IAAI,CACd,UAAU,CACR,+BAA+B,EAC/B,uBAAuB,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,EAC3D,uBAAuB,GAAG,CAAC;QACzB,CAAC,CAAC,GAAG,uBAAuB,yGAAyG;QACrI,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,mFAAmF;IACnF,qFAAqF;IACrF,oFAAoF;IACpF,oFAAoF;IACpF,qFAAqF;IACrF,oFAAoF;IACpF,EAAE;IACF,mFAAmF;IACnF,sFAAsF;IACtF,oFAAoF;IACpF,gDAAgD;IAChD,MAAM,YAAY,GAAG,gBAAgB,CACnC,cAAc,EACd,CAAC,yBAAyB,CAAC,EAC3B,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAC/B,CAAC;IACF,MAAM,YAAY,GAChB,YAAY,KAAK,WAAW,IAAI,MAAM,CAAC,kBAAkB,EAAE,SAAS,KAAK,IAAI,CAAC;IAChF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,EACvC,YAAY;QACV,CAAC,CAAC,mHAAmH;QACrH,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,MAAM,aAAa,GACjB,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,wBAAwB,CAAC;QACpC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;QACvB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,gBAAgB,CACd,cAAc,EACd;QACE,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,+BAA+B;QAC/B,kBAAkB;QAClB,oBAAoB;KACrB,EACD,aAAa,CACd,CACF,CACF,CAAC;IAEF,sEAAsE;IACtE,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,6BAA6B;IAC7B,MAAM,EAAE,YAAY,EAAE,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IAErD,IAAI,oBAAoB,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,EAAE,SAAS,CAAC,CAAC,CAAC;IACnE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,EAAE,WAAW,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,WAAW,CAAC,IAAI,CACd,UAAU,CACR,wBAAwB,EACxB,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;QAClE,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE,CAAC;IAClE,MAAM,cAAc,GAAG,MAAM,CAAC,yBAAyB,EAAE,OAAO,IAAI,EAAE,CAAC;IACvE,MAAM,YAAY,GAChB,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACtB,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1B,cAAc,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE;gBAC1B,MAAM,CAAC,MAAM,KAAK,SAAS,CAC9B,CACF,CAAC,CAAC;IACP,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,YAAY;QACV,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,yBAAyB,CAAC;YACrC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,SAAS,EACf,YAAY,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,yDAAyD;QAC3D,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,CACd,cAAc,EACd,CAAC,qBAAqB,CAAC,EACvB,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CACzB,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,6BAA6B,EAC7B,gBAAgB,CACd,cAAc,EACd,CAAC,0BAA0B,CAAC,EAC5B,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAChC,CACF,CACF,CAAC;IAEF,iFAAiF;IACjF,8DAA8D;IAC9D,IAAI,MAA2B,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,aAAa,CAAC;IACzB,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,QAAQ,CAAC;IACpB,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CACpD,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,MAAM,GAAG,UAAU,CAAC;IACtB,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,EAAE;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAQ3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EACL,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,mBAAmB,GAEpB,MAAM,2BAA2B,CAAC;AAEnC,SAAS,GAAG,CAAC,KAAc;IACzB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,UAAU,CACjB,EAAU,EACV,KAAsB,EACtB,MAAe;IAEf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CACvB,cAA2B,EAC3B,IAAc,EACd,OAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;AAC7E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAC5B,MAAsB,EACtB,IAAsB,EACtB,SAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,EAAE,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,IAAI,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAE,OAAO,OAAO,CAAC;IACtE,OAAO,WAAW,CAAC;AACrB,CAAC;AAcD,MAAM,UAAU,gBAAgB,CAC9B,MAAsB,EACtB,UAAmC,EAAE;IAErC,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,EAAE;QACnD,IAAI,EAAE,OAAO,CAAC,aAAa,IAAI,IAAI;KACpC,CAAC,CAAC;IAEH,WAAW,CAAC,IAAI,CACd,UAAU,CACR,eAAe,EACf,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CACpD,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAC/B,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,gBAAgB,CACd,cAAc,EACd,CAAC,yBAAyB,EAAE,+BAA+B,CAAC,EAC5D,GAAG,CAAC,MAAM,CAAC,wBAAwB,CAAC,CACrC,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,8EAA8E;IAC9E,qEAAqE;IACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,gBAAgB,CACd,cAAc,EACd,CAAC,oCAAoC,CAAC,EACtC,GAAG,CAAC,MAAM,CAAC,6BAA6B,CAAC,CAC1C,CACF,CACF,CAAC;IAEF,MAAM,cAAc,GAClB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC5B,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;QACxB,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;QAC1B,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,gBAAgB,CACd,cAAc,EACd;QACE,oBAAoB;QACpB,uBAAuB;QACvB,mBAAmB;QACnB,qBAAqB;QACrB,oBAAoB;KACrB,EACD,cAAc,CACf,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,wEAAwE;IACxE,8DAA8D;IAC9D,iFAAiF;IACjF,+EAA+E;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,+EAA+E;IAC/E,iFAAiF;IACjF,kFAAkF;IAClF,+CAA+C;IAC/C,MAAM,0BAA0B,GAC9B,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;QAC1B,MAAM,CAAC,cAAc,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACpD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,gCAAgC,EAChC,CAAC,0BAA0B;QACzB,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC;YAClC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,SAAS,EACf,0BAA0B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC;QAC/D,CAAC,CAAC,8HAA8H;QAChI,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,gBAAgB,CACd,cAAc,EACd,CAAC,0BAA0B,CAAC,EAC5B,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAChC,CACF,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,2BAA2B,EAC3B,gBAAgB,CACd,cAAc,EACd,CAAC,wBAAwB,CAAC,EAC1B,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAC9B,CACF,CACF,CAAC;IAEF,uEAAuE;IACvE,6EAA6E;IAC7E,kFAAkF;IAClF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iCAAiC,EACjC,gBAAgB,CACd,cAAc,EACd,CAAC,8BAA8B,CAAC,EAChC,GAAG,CAAC,MAAM,CAAC,uBAAuB,CAAC,CACpC,CACF,CACF,CAAC;IAEF,0EAA0E;IAC1E,8EAA8E;IAC9E,gDAAgD;IAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,qBAAqB,EACrB,gBAAgB,CACd,cAAc,EACd,CAAC,kBAAkB,CAAC,EACpB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CACxB,CACF,CACF,CAAC;IAEF,uEAAuE;IACvE,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,oBAAoB,GAAG,gBAAgB,CAC3C,cAAc,EACd,CAAC,wBAAwB,CAAC,EAC1B,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAC9B,CAAC;IACF,MAAM,iBAAiB,GACrB,oBAAoB,KAAK,WAAW;QAClC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACvD,CAAC,CAAC,EAAE,CAAC;IACT,WAAW,CAAC,IAAI,CACd,UAAU,CACR,2BAA2B,EAC3B,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,EAC/D,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,iBAAiB,CAAC,MAAM,6IAA6I;QAC1K,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,4EAA4E;IAC5E,2EAA2E;IAC3E,uEAAuE;IACvE,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,iBAAiB,GACrB,oBAAoB,KAAK,WAAW,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACpE,CAAC,CAAC,6BAA6B,CAAC,MAAM,CAAC;QACvC,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAY,CAAC;IACvC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,iBAAiB,CAAC,IAAI,KAAK,WAAW;QACpC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;YAC/C,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,SAAS,EACf,iBAAiB,CAAC,IAAI,KAAK,WAAW;QACpC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,wBAAwB;YACnD,CAAC,CAAC,kHAAkH;YACpH,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;gBAC/C,CAAC,CAAC,+FAA+F;gBACjG,CAAC,CAAC,iBAAiB,CAAC,IAAI,KAAK,oBAAoB;oBAC/C,CAAC,CAAC,0GAA0G;oBAC5G,CAAC,CAAC,oFAAoF,CAC/F,CACF,CAAC;IAEF,8EAA8E;IAC9E,2EAA2E;IAC3E,iFAAiF;IACjF,8EAA8E;IAC9E,6EAA6E;IAC7E,gDAAgD;IAChD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,gBAAgB,CACd,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,4EAA4E;IAC5E,iFAAiF;IACjF,+EAA+E;IAC/E,8EAA8E;IAC9E,kFAAkF;IAClF,gFAAgF;IAChF,iEAAiE;IACjE,8BAA8B;IAC9B,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,cAAc,EACd,CAAC,uBAAuB,CAAC,EACzB,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7B,CAAC;IACF,MAAM,oBAAoB,GACxB,gBAAgB,KAAK,WAAW;QAChC,MAAM,CAAC,gBAAgB,EAAE,cAAc,KAAK,IAAI,CAAC;IACnD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,uBAAuB,EACvB,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,EACnD,oBAAoB;QAClB,CAAC,CAAC,6FAA6F;QAC/F,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,0EAA0E;IAC1E,0EAA0E;IAC1E,0DAA0D;IAC1D,4EAA4E;IAC5E,8EAA8E;IAC9E,yEAAyE;IACzE,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,cAAc,GAClB,MAAM,CAAC,iBAAiB,EAAE,QAAQ,KAAK,IAAI;QAC3C,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,KAAK,IAAI;QACpD,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,KAAK,IAAI;QACtD,CAAC,cAAc,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEhD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kCAAkC,EAClC,qBAAqB,CACnB,MAAM,EACN,UAAU,EACV,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,KAAK,IAAI,IAAI,cAAc,CACvE,CACF,CACF,CAAC;IAEF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oCAAoC,EACpC,qBAAqB,CACnB,MAAM,EACN,YAAY,EACZ,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,KAAK,IAAI,IAAI,cAAc,CACzE,CACF,CACF,CAAC;IAEF,+EAA+E;IAC/E,iFAAiF;IACjF,2EAA2E;IAC3E,kFAAkF;IAClF,iFAAiF;IACjF,oEAAoE;IACpE,8BAA8B;IAC9B,EAAE;IACF,2EAA2E;IAC3E,8EAA8E;IAC9E,6EAA6E;IAC7E,iFAAiF;IACjF,gFAAgF;IAChF,kEAAkE;IAClE,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,cAAc,EACd,CAAC,4BAA4B,CAAC,EAC9B,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAClC,CAAC;IACF,MAAM,uBAAuB,GAC3B,iBAAiB,KAAK,WAAW;QAC/B,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAC9B,CAAC,MAAM;QACV,CAAC,CAAC,CAAC,CAAC;IACR,WAAW,CAAC,IAAI,CACd,UAAU,CACR,+BAA+B,EAC/B,uBAAuB,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,EAC3D,uBAAuB,GAAG,CAAC;QACzB,CAAC,CAAC,GAAG,uBAAuB,yGAAyG;QACrI,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,mFAAmF;IACnF,qFAAqF;IACrF,oFAAoF;IACpF,oFAAoF;IACpF,qFAAqF;IACrF,oFAAoF;IACpF,EAAE;IACF,mFAAmF;IACnF,sFAAsF;IACtF,oFAAoF;IACpF,gDAAgD;IAChD,MAAM,YAAY,GAAG,gBAAgB,CACnC,cAAc,EACd,CAAC,yBAAyB,CAAC,EAC3B,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAC/B,CAAC;IACF,MAAM,YAAY,GAChB,YAAY,KAAK,WAAW,IAAI,MAAM,CAAC,kBAAkB,EAAE,SAAS,KAAK,IAAI,CAAC;IAChF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,4BAA4B,EAC5B,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,EACvC,YAAY;QACV,CAAC,CAAC,mHAAmH;QACrH,CAAC,CAAC,SAAS,CACd,CACF,CAAC;IAEF,MAAM,aAAa,GACjB,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,wBAAwB,CAAC;QACpC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;QACvB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,gBAAgB,CACd,cAAc,EACd;QACE,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,+BAA+B;QAC/B,kBAAkB;QAClB,oBAAoB;KACrB,EACD,aAAa,CACd,CACF,CACF,CAAC;IAEF,sEAAsE;IACtE,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,6BAA6B;IAC7B,MAAM,EAAE,YAAY,EAAE,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IAErD,IAAI,oBAAoB,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,EAAE,SAAS,CAAC,CAAC,CAAC;IACnE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,EAAE,WAAW,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,yEAAyE;IACzE,6EAA6E;IAC7E,4EAA4E;IAC5E,oDAAoD;IACpD,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC;IAC1D,WAAW,CAAC,IAAI,CACd,iBAAiB,KAAK,CAAC;QACrB,CAAC,CAAC,UAAU,CACR,wBAAwB,EACxB,gBAAgB,EAChB,sDAAsD,CACvD;QACH,CAAC,CAAC,UAAU,CACR,wBAAwB,EACxB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CACpD,CACN,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE,CAAC;IAClE,MAAM,cAAc,GAAG,MAAM,CAAC,yBAAyB,EAAE,OAAO,IAAI,EAAE,CAAC;IACvE,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,oCAAoC;IACpC,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,cAAc,CAAC,IAAI,CACjB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CACtE,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,YAAY,CAAC,MAAM,KAAK,CAAC;QACvB,CAAC,CAAC,UAAU,CACR,4BAA4B,EAC5B,gBAAgB,EAChB,yDAAyD,CAC1D;QACH,CAAC,CAAC,UAAU,CACR,4BAA4B,EAC5B,YAAY;YACV,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,yBAAyB,CAAC;gBACrC,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,SAAS,CAChB,CACN,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,gBAAgB,CACd,cAAc,EACd,CAAC,qBAAqB,CAAC,EACvB,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CACzB,CACF,CACF,CAAC;IACF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,6BAA6B,EAC7B,gBAAgB,CACd,cAAc,EACd,CAAC,0BAA0B,CAAC,EAC5B,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAChC,CACF,CACF,CAAC;IAEF,iFAAiF;IACjF,8DAA8D;IAC9D,IAAI,MAA2B,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,aAAa,CAAC;IACzB,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,QAAQ,CAAC;IACpB,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CACpD,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,MAAM,GAAG,UAAU,CAAC;IACtB,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,EAAE;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC"}
@@ -2,8 +2,16 @@ import type { ArtifactBundle } from "../io/artifacts.js";
2
2
  import type { AuditResult } from "../types.js";
3
3
  import type { ExecutorRunResult } from "./executorResult.js";
4
4
  import type { SynthesisNarrative } from "audit-tools/shared";
5
+ import type { CharterPacketArchiveRow } from "./charterPacketArchive.js";
5
6
  interface SynthesisOptions {
6
7
  sizeIndex?: Readonly<Record<string, number>>;
8
+ /**
9
+ * This run's charter-packet retention rows, read from the archive index by the
10
+ * runner (which owns the artifacts dir; these executors stay synchronous). An
11
+ * `archived: false` row is surfaced in the report's coverage block, so a lost
12
+ * archive is STATED rather than silently reproducing PACKETS-CONSUMED.
13
+ */
14
+ packetArchive?: readonly CharterPacketArchiveRow[];
7
15
  }
8
16
  export declare function runSynthesisExecutor(bundle: ArtifactBundle, results?: AuditResult[], options?: SynthesisOptions): ExecutorRunResult;
9
17
  /**
@@ -1 +1 @@
1
- {"version":3,"file":"synthesisExecutors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/synthesisExecutors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAQ7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,UAAU,gBAAgB;IACxB,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C;AA+DD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,WAAW,EAAE,EACvB,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,CA4BnB;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,EACtB,SAAS,CAAC,EAAE,kBAAkB,EAC9B,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,CAsEnB"}
1
+ {"version":3,"file":"synthesisExecutors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/synthesisExecutors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAQ7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAEzE,UAAU,gBAAgB;IACxB,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,aAAa,CAAC,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACpD;AAmED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,WAAW,EAAE,EACvB,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,CA+BnB;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,EACtB,SAAS,CAAC,EAAE,kBAAkB,EAC9B,OAAO,GAAE,gBAAqB,GAC7B,iBAAiB,CAyEnB"}
@@ -15,6 +15,10 @@ function buildBaseFindingsReport(bundle, results, options = {}) {
15
15
  charterRegister: bundle.charter_register,
16
16
  systemicChallenge: bundle.systemic_challenge,
17
17
  sizeIndex: options.sizeIndex,
18
+ // The checkpoint reached the RENDER options only; the model builder — the
19
+ // one site that mints the summary — was never passed it, so nothing at
20
+ // synthesis could compare what was selected against what was produced.
21
+ intentCheckpoint: bundle.intent_checkpoint,
18
22
  }));
19
23
  // Record the host-confirmed exclusions in the machine contract so omissions
20
24
  // are explicit and machine-readable, not just rendered in the markdown.
@@ -66,6 +70,9 @@ export function runSynthesisExecutor(bundle, results, options = {}) {
66
70
  reflections: bundle.agent_reflections,
67
71
  conceptual_adjudication: bundle.conceptual_review_adjudication,
68
72
  submission_ledger: bundle.submission_ledger,
73
+ analyzer_capability: bundle.analyzer_capability,
74
+ charter_evidence_coverage: bundle.charter_register?.evidence_coverage,
75
+ charter_packet_archive: options.packetArchive,
69
76
  }),
70
77
  },
71
78
  artifacts_written: ["audit-findings.json", AUDIT_REPORT_FILENAME],
@@ -125,6 +132,9 @@ export function runSynthesisNarrativeExecutor(bundle, narrative, options = {}) {
125
132
  reflections: bundle.agent_reflections,
126
133
  conceptual_adjudication: bundle.conceptual_review_adjudication,
127
134
  submission_ledger: bundle.submission_ledger,
135
+ analyzer_capability: bundle.analyzer_capability,
136
+ charter_evidence_coverage: bundle.charter_register?.evidence_coverage,
137
+ charter_packet_archive: options.packetArchive,
128
138
  }),
129
139
  synthesis_narrative: record,
130
140
  },
@@ -1 +1 @@
1
- {"version":3,"file":"synthesisExecutors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/synthesisExecutors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAI3D,OAAO,EACL,cAAc,EACd,wBAAwB,EACxB,qBAAqB,EACrB,oCAAoC,EACpC,yBAAyB,GAC1B,MAAM,2BAA2B,CAAC;AAQnC,SAAS,uBAAuB,CAC9B,MAAsB,EACtB,OAAsB,EACtB,UAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,wBAAwB,CACrC,qBAAqB,CAAC;QACpB,OAAO;QACP,YAAY,EAAE,MAAM,CAAC,aAAa;QAClC,WAAW,EAAE,MAAM,CAAC,YAAY;QAChC,aAAa,EAAE,MAAM,CAAC,cAAc;QACpC,cAAc,EAAE,MAAM,CAAC,eAAe;QACtC,uBAAuB,EAAE,MAAM,CAAC,yBAAyB;QACzD,6BAA6B,EAAE,MAAM,CAAC,wBAAwB;QAC9D,uBAAuB,EAAE,MAAM,CAAC,yBAAyB;QACzD,gBAAgB,EAAE,MAAM,CAAC,iBAAiB;QAC1C,sBAAsB,EAAE,MAAM,CAAC,uBAAuB;QACtD,eAAe,EAAE,MAAM,CAAC,gBAAgB;QACxC,iBAAiB,EAAE,MAAM,CAAC,kBAAkB;QAC5C,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CACH,CAAC;IACF,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,aAAa,GAAG,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC;IAC/D,OAAO,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAC9C,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE;QAC9C,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAsB,EACtB,MAAqD,EACrD,OAAsB,EACtB,OAAyB;IAEzB,MAAM,YAAY,GAAG,MAAM,CAAC,8BAA8B,CAAC;IAC3D,IAAI,CAAC,YAAY;QAAE,OAAO;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;QAC3B,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,MAAM,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;IACH,MAAM,aAAa,GAAG;QACpB,GAAG,YAAY,CAAC,oBAAoB,CAAC,GAAG,CACtC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAClC;QACD,GAAG,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAC5C,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,wBAAwB,CACtD;KACF,CAAC;IACF,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO;IAE9D,6EAA6E;IAC7E,4EAA4E;IAC5E,sEAAsE;IACtE,8DAA8D;IAC9D,MAAM,cAAc,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACzE,oCAAoC,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAsB,EACtB,OAAuB,EACvB,UAA4B,EAAE;IAE9B,MAAM,YAAY,GAAG,OAAO,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;IAC3D,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAExE,qEAAqE;IACrE,0EAA0E;IAC1E,+EAA+E;IAC/E,+EAA+E;IAC/E,uEAAuE;IACvE,8EAA8E;IAC9E,+EAA+E;IAC/E,OAAO;QACL,OAAO,EAAE;YACP,GAAG,MAAM;YACT,cAAc,EAAE,QAAQ;YACxB,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE;gBAChD,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,WAAW,EAAE,MAAM,CAAC,iBAAiB;gBACrC,uBAAuB,EAAE,MAAM,CAAC,8BAA8B;gBAC9D,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;aAC5C,CAAC;SACH;QACD,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QACjE,gBAAgB,EAAE,kEAAkE,YAAY,CAAC,MAAM,wBAAwB;KAChI,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAsB,EACtB,SAA8B,EAC9B,UAA4B,EAAE;IAE9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc;QACrB,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;IAC9C,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,qCAAqC,CACnC,MAAM,EACN,UAAU,EACV,MAAM,CAAC,aAAa,IAAI,EAAE,EAC1B,OAAO,CACR,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAC1B,SAAS;QACP,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAClC,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACrD,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5C,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,MAAM,GAA6B;YACvC,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,CAAC;YACd,yBAAyB,EAAE,KAAK;YAChC,cAAc,EAAE,CAAC;SAClB,CAAC;QACF,OAAO;YACL,OAAO,EAAE;gBACP,GAAG,MAAM;gBACT,cAAc,EAAE,UAAU;gBAC1B,mBAAmB,EAAE,MAAM;aAC5B;YACD,iBAAiB,EAAE,cAAc;gBAC/B,CAAC,CAAC,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;gBACrD,CAAC,CAAC,CAAC,0BAA0B,CAAC;YAChC,gBAAgB,EACd,sEAAsE;SACzE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,EAAE,SAAU,CAAC,CAAC;IACxD,MAAM,MAAM,GAA6B;QACvC,MAAM,EAAE,SAAS;QACjB,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;QACzC,yBAAyB,EACvB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACtD,cAAc,EAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC;KAChD,CAAC;IACF,OAAO;QACL,OAAO,EAAE;YACP,GAAG,MAAM;YACT,cAAc,EAAE,QAAQ;YACxB,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE;gBAChD,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,WAAW,EAAE,MAAM,CAAC,iBAAiB;gBACrC,uBAAuB,EAAE,MAAM,CAAC,8BAA8B;gBAC9D,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;aAC5C,CAAC;YACF,mBAAmB,EAAE,MAAM;SAC5B;QACD,iBAAiB,EAAE;YACjB,qBAAqB;YACrB,qBAAqB;YACrB,0BAA0B;SAC3B;QACD,gBAAgB,EAAE,gCAAgC,MAAM,CAAC,WAAW,cAAc,MAAM,CAAC,cAAc,eAAe;KACvH,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"synthesisExecutors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/synthesisExecutors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAI3D,OAAO,EACL,cAAc,EACd,wBAAwB,EACxB,qBAAqB,EACrB,oCAAoC,EACpC,yBAAyB,GAC1B,MAAM,2BAA2B,CAAC;AAgBnC,SAAS,uBAAuB,CAC9B,MAAsB,EACtB,OAAsB,EACtB,UAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,wBAAwB,CACrC,qBAAqB,CAAC;QACpB,OAAO;QACP,YAAY,EAAE,MAAM,CAAC,aAAa;QAClC,WAAW,EAAE,MAAM,CAAC,YAAY;QAChC,aAAa,EAAE,MAAM,CAAC,cAAc;QACpC,cAAc,EAAE,MAAM,CAAC,eAAe;QACtC,uBAAuB,EAAE,MAAM,CAAC,yBAAyB;QACzD,6BAA6B,EAAE,MAAM,CAAC,wBAAwB;QAC9D,uBAAuB,EAAE,MAAM,CAAC,yBAAyB;QACzD,gBAAgB,EAAE,MAAM,CAAC,iBAAiB;QAC1C,sBAAsB,EAAE,MAAM,CAAC,uBAAuB;QACtD,eAAe,EAAE,MAAM,CAAC,gBAAgB;QACxC,iBAAiB,EAAE,MAAM,CAAC,kBAAkB;QAC5C,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,gBAAgB,EAAE,MAAM,CAAC,iBAAiB;KAC3C,CAAC,CACH,CAAC;IACF,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,aAAa,GAAG,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC;IAC/D,OAAO,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAC9C,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE;QAC9C,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAsB,EACtB,MAAqD,EACrD,OAAsB,EACtB,OAAyB;IAEzB,MAAM,YAAY,GAAG,MAAM,CAAC,8BAA8B,CAAC;IAC3D,IAAI,CAAC,YAAY;QAAE,OAAO;IAE1B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;QAC3B,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,MAAM,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;IACH,MAAM,aAAa,GAAG;QACpB,GAAG,YAAY,CAAC,oBAAoB,CAAC,GAAG,CACtC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAClC;QACD,GAAG,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAC5C,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,wBAAwB,CACtD;KACF,CAAC;IACF,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO;IAE9D,6EAA6E;IAC7E,4EAA4E;IAC5E,sEAAsE;IACtE,8DAA8D;IAC9D,MAAM,cAAc,GAAG,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACzE,oCAAoC,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,MAAsB,EACtB,OAAuB,EACvB,UAA4B,EAAE;IAE9B,MAAM,YAAY,GAAG,OAAO,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;IAC3D,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAExE,qEAAqE;IACrE,0EAA0E;IAC1E,+EAA+E;IAC/E,+EAA+E;IAC/E,uEAAuE;IACvE,8EAA8E;IAC9E,+EAA+E;IAC/E,OAAO;QACL,OAAO,EAAE;YACP,GAAG,MAAM;YACT,cAAc,EAAE,QAAQ;YACxB,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE;gBAChD,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,WAAW,EAAE,MAAM,CAAC,iBAAiB;gBACrC,uBAAuB,EAAE,MAAM,CAAC,8BAA8B;gBAC9D,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;gBAC/C,yBAAyB,EAAE,MAAM,CAAC,gBAAgB,EAAE,iBAAiB;gBACrE,sBAAsB,EAAE,OAAO,CAAC,aAAa;aAC9C,CAAC;SACH;QACD,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QACjE,gBAAgB,EAAE,kEAAkE,YAAY,CAAC,MAAM,wBAAwB;KAChI,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAsB,EACtB,SAA8B,EAC9B,UAA4B,EAAE;IAE9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc;QACrB,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC;IAC9C,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,qCAAqC,CACnC,MAAM,EACN,UAAU,EACV,MAAM,CAAC,aAAa,IAAI,EAAE,EAC1B,OAAO,CACR,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAC1B,SAAS;QACP,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAClC,CAAC,SAAS,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACrD,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5C,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,MAAM,GAA6B;YACvC,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,CAAC;YACd,yBAAyB,EAAE,KAAK;YAChC,cAAc,EAAE,CAAC;SAClB,CAAC;QACF,OAAO;YACL,OAAO,EAAE;gBACP,GAAG,MAAM;gBACT,cAAc,EAAE,UAAU;gBAC1B,mBAAmB,EAAE,MAAM;aAC5B;YACD,iBAAiB,EAAE,cAAc;gBAC/B,CAAC,CAAC,CAAC,qBAAqB,EAAE,0BAA0B,CAAC;gBACrD,CAAC,CAAC,CAAC,0BAA0B,CAAC;YAChC,gBAAgB,EACd,sEAAsE;SACzE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,EAAE,SAAU,CAAC,CAAC;IACxD,MAAM,MAAM,GAA6B;QACvC,MAAM,EAAE,SAAS;QACjB,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;QACzC,yBAAyB,EACvB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACtD,cAAc,EAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC;KAChD,CAAC;IACF,OAAO;QACL,OAAO,EAAE;YACP,GAAG,MAAM;YACT,cAAc,EAAE,QAAQ;YACxB,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE;gBAChD,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,WAAW,EAAE,MAAM,CAAC,iBAAiB;gBACrC,uBAAuB,EAAE,MAAM,CAAC,8BAA8B;gBAC9D,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;gBAC/C,yBAAyB,EAAE,MAAM,CAAC,gBAAgB,EAAE,iBAAiB;gBACrE,sBAAsB,EAAE,OAAO,CAAC,aAAa;aAC9C,CAAC;YACF,mBAAmB,EAAE,MAAM;SAC5B;QACD,iBAAiB,EAAE;YACjB,qBAAqB;YACrB,qBAAqB;YACrB,0BAA0B;SAC3B;QACD,gBAAgB,EAAE,gCAAgC,MAAM,CAAC,WAAW,cAAc,MAAM,CAAC,cAAc,eAAe;KACvH,CAAC;AACJ,CAAC"}
@@ -1,14 +1,16 @@
1
1
  import type { AuditResult, CoverageMatrix, Finding, UnitManifest } from "../types.js";
2
2
  import type { AuditScopeManifest } from "../types/auditScope.js";
3
- import type { IntentCheckpoint, SubmissionLedgerEvent } from "audit-tools/shared";
3
+ import type { CharterPacketCoverage, IntentCheckpoint, SubmissionLedgerEvent } from "audit-tools/shared";
4
4
  import type { DesignAssessment } from "../types/designAssessment.js";
5
5
  import type { ConceptualReviewAdjudication } from "../types/conceptualAdjudication.js";
6
6
  import type { StructureDecomposition } from "../types/structureDecomposition.js";
7
7
  import type { CharterRegister } from "../types/charterRegister.js";
8
+ import { type AnalyzerCapabilityRecord } from "../types/analyzerCapability.js";
9
+ import type { CharterPacketArchiveRow } from "../orchestrator/charterPacketArchive.js";
8
10
  import type { SystemicChallengeRegister } from "../types/systemicChallenge.js";
9
11
  import type { ExternalAnalyzerResults } from "audit-tools/shared";
10
12
  import type { AuditFindingsReport, ContentCoherenceTrace, CriticalFlowManifest, Finding as SharedFinding, FindingTheme, GraphBundle, SynthesisNarrative, WorkBlockSeam } from "audit-tools/shared";
11
- import { type AgentReflection } from "audit-tools/shared";
13
+ import { type AgentReflection, type LensCoverageEntry } from "audit-tools/shared";
12
14
  import type { RuntimeValidationReport, RuntimeValidationTaskManifest } from "../types/runtimeValidation.js";
13
15
  import { type WorkBlock } from "./workBlocks.js";
14
16
  /**
@@ -49,6 +51,18 @@ export interface AuditReportSummary {
49
51
  * assignable to this render shape; absent when no finding carried a verdict.
50
52
  */
51
53
  grounding_status_breakdown?: Record<string, number>;
54
+ /**
55
+ * Per-status counts of the judge's defect-presence claim over the findings.
56
+ * Optional for the same reason as the grounding breakdown — the shared
57
+ * `AuditFindingsSummary` makes it optional, so this render shape must too.
58
+ */
59
+ verification_status_breakdown?: Record<string, number>;
60
+ /**
61
+ * What every selected lens delivered. Optional for the same reason as the
62
+ * breakdowns above — the shared `AuditFindingsSummary` makes it optional, so
63
+ * this render shape must too — and absent on a run that carried no selection.
64
+ */
65
+ lens_coverage?: LensCoverageEntry[];
52
66
  }
53
67
  export interface AuditReportModel {
54
68
  summary: AuditReportSummary;
@@ -74,6 +88,13 @@ export declare function buildAuditReportModel(params: {
74
88
  systemicChallenge?: SystemicChallengeRegister;
75
89
  /** Intake manifest byte sizes used to estimate remediation source context. */
76
90
  sizeIndex?: Readonly<Record<string, number>>;
91
+ /**
92
+ * The accepted intent checkpoint. Read for its `lens_selection`, which is the
93
+ * ONLY statement of what the operator asked to be reviewed — and which used
94
+ * to reach synthesis's RENDER options while the model builder, the one site
95
+ * that mints the summary, was never passed it at all.
96
+ */
97
+ intentCheckpoint?: IntentCheckpoint;
77
98
  }): AuditReportModel;
78
99
  /**
79
100
  * Wrap the deterministic report model in the canonical `audit-findings.json`
@@ -117,6 +138,25 @@ export interface RenderAuditReportOptions {
117
138
  * opening the ledger itself.
118
139
  */
119
140
  submission_ledger?: readonly SubmissionLedgerEvent[];
141
+ /**
142
+ * The graph-enrichment capability record. Read for its DEGRADED entries,
143
+ * which become *Audit Limitations* lines: a requested analyzer that could not
144
+ * run means the dependency graph these findings were reasoned over is the
145
+ * regex floor for those languages, and a report that does not say so lets a
146
+ * weaker run read as a complete one.
147
+ */
148
+ analyzer_capability?: AnalyzerCapabilityRecord;
149
+ /**
150
+ * What each blind charter lane's evidence packet actually delivered, folded
151
+ * from `charter_register.evidence_coverage`. Rendered UNCONDITIONALLY — see
152
+ * {@link renderCharterCoverageSection}.
153
+ */
154
+ charter_evidence_coverage?: readonly CharterPacketCoverage[];
155
+ /**
156
+ * Retention rows for this run's charter packets. A row with `archived: false`
157
+ * is a STATED retention failure and is surfaced beside the coverage figures.
158
+ */
159
+ charter_packet_archive?: readonly CharterPacketArchiveRow[];
120
160
  }
121
161
  export declare function canonicalizeConceptualAttributionIds(report: RenderableAuditReport, adjudication: ConceptualReviewAdjudication, idSource?: RenderableAuditReport): void;
122
162
  export declare function renderAuditReportMarkdown(report: RenderableAuditReport, options?: RenderAuditReportOptions): string;
@@ -1 +1 @@
1
- {"version":3,"file":"synthesis.d.ts","sourceRoot":"","sources":["../../../src/audit/reporting/synthesis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,KAAK,EACV,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,OAAO,IAAI,aAAa,EACxB,YAAY,EACZ,WAAW,EACX,kBAAkB,EAClB,aAAa,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAOL,KAAK,eAAe,EACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EACV,uBAAuB,EACvB,6BAA6B,EAC9B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAA2B,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAc1E;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,uCACJ,CAAC;AAEzC;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,kBAAkB,CAAC;IAG5B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,sFAAsF;IACtF,oBAAoB,CAAC,EAAE,aAAa,EAAE,CAAC;IACvC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC;IACxB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mCAAmC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5D;;;;OAIG;IACH,0BAA0B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,eAAe,EAAE,qBAAqB,CAAC;IACvC,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,iFAAiF;IACjF,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC;CAClC;AAqHD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,aAAa,CAAC,EAAE,oBAAoB,CAAC;IACrC,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IAClD,6BAA6B,CAAC,EAAE,6BAA6B,CAAC;IAC9D,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACpD,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,iBAAiB,CAAC,EAAE,yBAAyB,CAAC;IAC9C,8EAA8E;IAC9E,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C,GAAG,gBAAgB,CAwFnB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,gBAAgB,GACtB,mBAAmB,CAmBrB;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,kBAAkB,GAC5B,mBAAmB,CAmDrB;AAED,MAAM,WAAW,wBAAwB;IACvC,qFAAqF;IACrF,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B;;;;;OAKG;IACH,WAAW,CAAC,EAAE,eAAe,EAAE,CAAC;IAChC,wEAAwE;IACxE,uBAAuB,CAAC,EAAE,4BAA4B,CAAC;IACvD;;;OAGG;IACH,iBAAiB,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACtD;AAsFD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,qBAAqB,EAC7B,YAAY,EAAE,4BAA4B,EAC1C,QAAQ,GAAE,qBAA8B,GACvC,IAAI,CA0KN;AA8CD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,qBAAqB,EAC7B,OAAO,GAAE,wBAA6B,GACrC,MAAM,CAwMR;AAED;;;;;;;;GAQG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,mBAAmB,GAC1B,mBAAmB,CAiBrB"}
1
+ {"version":3,"file":"synthesis.d.ts","sourceRoot":"","sources":["../../../src/audit/reporting/synthesis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EACV,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAEL,KAAK,wBAAwB,EAC9B,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,KAAK,EACV,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,OAAO,IAAI,aAAa,EACxB,YAAY,EACZ,WAAW,EACX,kBAAkB,EAClB,aAAa,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAUL,KAAK,eAAe,EACpB,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EACV,uBAAuB,EACvB,6BAA6B,EAC9B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAA2B,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAc1E;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,uCACJ,CAAC;AAEzC;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,kBAAkB,CAAC;IAG5B,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,sFAAsF;IACtF,oBAAoB,CAAC,EAAE,aAAa,EAAE,CAAC;IACvC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC;IACxB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mCAAmC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5D;;;;OAIG;IACH,0BAA0B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD;;;;OAIG;IACH,6BAA6B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvD;;;;OAIG;IACH,aAAa,CAAC,EAAE,iBAAiB,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,eAAe,EAAE,qBAAqB,CAAC;IACvC,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC,iFAAiF;IACjF,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC;CAClC;AAiID,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAC5C,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,aAAa,CAAC,EAAE,oBAAoB,CAAC;IACrC,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IAClD,6BAA6B,CAAC,EAAE,6BAA6B,CAAC;IAC9D,uBAAuB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACpD,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,iBAAiB,CAAC,EAAE,yBAAyB,CAAC;IAC9C,8EAA8E;IAC9E,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC,GAAG,gBAAgB,CAuHnB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,gBAAgB,GACtB,mBAAmB,CAmBrB;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,kBAAkB,GAC5B,mBAAmB,CAmDrB;AAED,MAAM,WAAW,wBAAwB;IACvC,qFAAqF;IACrF,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B;;;;;OAKG;IACH,WAAW,CAAC,EAAE,eAAe,EAAE,CAAC;IAChC,wEAAwE;IACxE,uBAAuB,CAAC,EAAE,4BAA4B,CAAC;IACvD;;;OAGG;IACH,iBAAiB,CAAC,EAAE,gBAAgB,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,wBAAwB,CAAC;IAC/C;;;;OAIG;IACH,yBAAyB,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC7D;;;OAGG;IACH,sBAAsB,CAAC,EAAE,SAAS,uBAAuB,EAAE,CAAC;CAC7D;AAiRD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,qBAAqB,EAC7B,YAAY,EAAE,4BAA4B,EAC1C,QAAQ,GAAE,qBAA8B,GACvC,IAAI,CA0KN;AAsDD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,qBAAqB,EAC7B,OAAO,GAAE,wBAA6B,GACrC,MAAM,CAmPR;AAED;;;;;;;;GAQG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,mBAAmB,GAC1B,mBAAmB,CAqCrB"}
@@ -1,4 +1,6 @@
1
- import { AUDIT_FINDINGS_CONTRACT_VERSION as SHARED_AUDIT_FINDINGS_CONTRACT_VERSION, AUDITOR_REPORT_MARKER, renderProcessFeedbackSection, renderFindingBlockLines, compareCodeUnits, countBy, } from "audit-tools/shared";
1
+ import { degradedAnalyzerEntries, } from "../types/analyzerCapability.js";
2
+ import { AUDIT_FINDINGS_CONTRACT_VERSION as SHARED_AUDIT_FINDINGS_CONTRACT_VERSION, AUDITOR_REPORT_MARKER, renderProcessFeedbackSection, renderFindingBlockLines, compareCodeUnits, countBy, deriveLensCoverage, isIngestEvent, reprojectLensCoverage, } from "audit-tools/shared";
3
+ import { resolveIntentLensSelection } from "../orchestrator/lensSelection.js";
2
4
  import { buildWorkBlockPartition } from "./workBlocks.js";
3
5
  import { mergeFindings } from "./mergeFindings.js";
4
6
  import { selectCurrentResults } from "../orchestrator/ledger.js";
@@ -67,6 +69,15 @@ function lensBreakdown(findings) {
67
69
  function groundingStatusBreakdown(findings) {
68
70
  return countBy(findings, (finding) => finding.grounding?.status);
69
71
  }
72
+ /**
73
+ * Per-status counts of the judge's defect-presence claim. Findings with no
74
+ * status (every deterministic finding — the conceptual pass is the only
75
+ * producer) are skipped by `countBy`, so an empty result means "no finding
76
+ * carried a claim" and the caller omits the field, exactly as for grounding.
77
+ */
78
+ function verificationStatusBreakdown(findings) {
79
+ return countBy(findings, (finding) => finding.verification_status);
80
+ }
70
81
  function runtimeStatusBreakdown(report, taskManifest) {
71
82
  const breakdown = countBy(report?.results ?? [], (result) => result.status);
72
83
  const resultTaskIds = new Set((report?.results ?? []).map((result) => result.task_id));
@@ -144,20 +155,48 @@ export function buildAuditReportModel(params) {
144
155
  sizeIndex: params.sizeIndex,
145
156
  });
146
157
  const coverage = coverageSummary(params.coverageMatrix);
158
+ // A lens is only `clean` — "asked, and there was nothing there" — when at
159
+ // least one LENS-OPEN channel came back. Per-file audit results are lens-gated
160
+ // by planning (`required_lenses`), and the two design-review passes carry the
161
+ // selection into their prompts and record their own completion. With none of
162
+ // them ingested, a selected lens with no findings was never exercised, and
163
+ // saying `clean` would be exactly the "absence of a finding reads as absence
164
+ // of a defect" claim this field exists to refuse.
165
+ const lensOpenChannelIngested = params.results.length > 0 ||
166
+ params.designAssessment?.contract_reviewed === true ||
167
+ params.designAssessment?.conceptual_reviewed === true;
168
+ const selectedLenses = resolveIntentLensSelection(params.intentCheckpoint?.lens_selection);
147
169
  // Count grounding over ALL findings (incl. quarantined-refuted) so the `refuted`
148
170
  // tally reflects findings dropped from the admitted set.
149
171
  const groundingBreakdown = groundingStatusBreakdown(allFindings);
172
+ const verificationBreakdown = verificationStatusBreakdown(allFindings);
150
173
  const model = {
151
174
  summary: {
152
175
  finding_count: findings.length,
153
176
  work_block_count: workBlocks.blocks.length,
154
177
  severity_breakdown: severityBreakdown(findings),
155
178
  lens_breakdown: lensBreakdown(findings),
179
+ // Presence is guaranteed HERE, at the one boundary that holds both the
180
+ // operator's selection and the produced findings. Absent — deliberately —
181
+ // when no selection resolved: "no limit" and "every lens" are different
182
+ // answers, and inventing a map would be a claim nobody made.
183
+ ...(selectedLenses === undefined
184
+ ? {}
185
+ : {
186
+ lens_coverage: deriveLensCoverage({
187
+ selectedLenses,
188
+ findings,
189
+ lensOpenChannelIngested,
190
+ }),
191
+ }),
156
192
  audited_file_count: coverage.audited_file_count,
157
193
  excluded_file_count: coverage.excluded_file_count,
158
194
  ...(Object.keys(groundingBreakdown).length > 0
159
195
  ? { grounding_status_breakdown: groundingBreakdown }
160
196
  : {}),
197
+ ...(Object.keys(verificationBreakdown).length > 0
198
+ ? { verification_status_breakdown: verificationBreakdown }
199
+ : {}),
161
200
  runtime_validation_status_breakdown: runtimeStatusBreakdown(params.runtimeValidationReport, params.runtimeValidationTaskManifest),
162
201
  },
163
202
  findings,
@@ -246,6 +285,96 @@ export function applyNarrative(report, narrative) {
246
285
  top_risks: narrative.top_risks,
247
286
  };
248
287
  }
288
+ /**
289
+ * Name the selected lenses this run did not exercise.
290
+ *
291
+ * Rendered whenever a selected lens produced no findings, with its outcome, so
292
+ * `clean` ("asked, nothing found") and `not_run` ("never asked") stay legible as
293
+ * the different statements they are. Nothing to say — every selected lens
294
+ * produced findings, or no selection was made — renders nothing.
295
+ */
296
+ function renderUnexercisedLensLine(coverage) {
297
+ const unexercised = (coverage ?? []).filter((entry) => entry.selected && entry.outcome !== "findings");
298
+ if (unexercised.length === 0)
299
+ return [];
300
+ const byOutcome = new Map();
301
+ for (const entry of unexercised) {
302
+ const bucket = byOutcome.get(entry.outcome);
303
+ if (bucket)
304
+ bucket.push(entry.lens);
305
+ else
306
+ byOutcome.set(entry.outcome, [entry.lens]);
307
+ }
308
+ const parts = [...byOutcome.entries()]
309
+ .sort(([left], [right]) => compareCodeUnits(left, right))
310
+ .map(([outcome, lenses]) => `${outcome === "not_run" ? "never exercised" : "exercised, no findings"}: ${lenses.join(", ")}`);
311
+ return [`- Lenses not exercised: ${parts.join("; ")}`];
312
+ }
313
+ /**
314
+ * The *Audit Limitations* body for a degraded graph-enrichment channel.
315
+ *
316
+ * Names each analyzer that was ASKED FOR and could not run, with its own note —
317
+ * the honest per-analyzer row that `analyzer_capability.json` has always carried
318
+ * and that, until now, nothing in the tree ever opened. The scalar roll-up is
319
+ * deliberately not the sentence: it cannot say "1932 edges added AND two
320
+ * analyzers degraded", so the entries are listed rather than summarized.
321
+ */
322
+ function renderAnalyzerDegradationLines(record) {
323
+ const degraded = degradedAnalyzerEntries(record);
324
+ if (degraded.length === 0)
325
+ return [];
326
+ return [
327
+ `${degraded.length} language analyzer(s) were requested and could not run, so parser-grade extraction was OFF for them and the weaker deterministic regex floor was used instead. Findings that depend on the dependency graph are correspondingly weaker for these languages:`,
328
+ "",
329
+ ...degraded.map((entry) => `- \`${entry.id}\` (requested \`${entry.setting}\`, resolution \`${entry.resolution}\`)` +
330
+ (entry.note ? ` — ${entry.note}` : "")),
331
+ "",
332
+ ];
333
+ }
334
+ /**
335
+ * What the charter lanes were actually GIVEN, per evidence class.
336
+ *
337
+ * This renders UNCONDITIONALLY, deliberately diverging from the drift section
338
+ * above where clean is the expected case and presence is the statement. Here the
339
+ * measured case was 0 of 72 source-comment blocks delivered while the register
340
+ * and the report said nothing at all — so a silent section would leave
341
+ * "complete" indistinguishable from "not measured", which is the exact
342
+ * false-green this block exists to close. A run with no charter layer says so.
343
+ */
344
+ function renderCharterCoverageSection(coverage, archive) {
345
+ // Its OWN top-level section, not a sub-head of "Process Feedback": coverage is
346
+ // a delivery measurement about the tool's inputs, not feedback about the host —
347
+ // and nesting it there would force that heading to render on every report,
348
+ // silently inverting the drift section's "presence is the statement" contract.
349
+ const lines = ["## Evidence Coverage", "", "### Charter evidence coverage", ""];
350
+ if (coverage.length === 0) {
351
+ lines.push("No charter evidence packets were measured in this run (the charter layer " +
352
+ "is opt-in at a `deep` ceiling). This is a stated absence, not a clean bill.", "");
353
+ }
354
+ for (const packet of coverage) {
355
+ lines.push(`- \`${packet.kind}\` channel:`);
356
+ for (const entry of packet.classes) {
357
+ const truncated = entry.truncated > 0 ? `, ${entry.truncated} truncated` : "";
358
+ lines.push(` - ${entry.evidence_class}: ${entry.delivered} of ${entry.named} delivered${truncated}` +
359
+ (entry.omitted.length > 0
360
+ ? ` — omitted: ${entry.omitted
361
+ .map((row) => `${row.path} (${row.reason})`)
362
+ .join(", ")}`
363
+ : ""));
364
+ }
365
+ }
366
+ const unarchived = archive.filter((row) => !row.archived);
367
+ if (unarchived.length > 0) {
368
+ lines.push("", "⚠ Packet retention FAILED for " +
369
+ unarchived
370
+ .map((row) => `\`${row.kind}\` (${row.reason ?? "unstated reason"})`)
371
+ .join(", ") +
372
+ ". The lane-asset copy was left in place rather than deleted, so the " +
373
+ "evidence still exists — but it is not in the run's archive.");
374
+ }
375
+ lines.push("");
376
+ return lines;
377
+ }
249
378
  /**
250
379
  * What happened to this run's submissions, when something went wrong.
251
380
  *
@@ -263,6 +392,71 @@ export function applyNarrative(report, narrative) {
263
392
  * ambiguity. Totals are sorted by content, never arrival: a derived summary may
264
393
  * sort; the ledger file it derives from may not.
265
394
  */
395
+ /**
396
+ * What this run actually DISPATCHED, and how much of it came back.
397
+ *
398
+ * The drift section below renders only when something was refused, so a run in
399
+ * which five lanes silently under-delivered — exit 0, nothing written, then
400
+ * re-dispatched until they succeeded — produced zero `rejected` events and read
401
+ * as clean. This is the other half: dispatched versus delivered, per round, so
402
+ * a lane that reported success and wrote nothing is a printed fact rather than
403
+ * something recoverable only from the host's transcript.
404
+ *
405
+ * A dispatch is DELIVERED when its submission has any terminal record other
406
+ * than a `lane_outcome` of `not_run`: an ingest event (the tool consumed it) or
407
+ * an observed outcome. No terminal row at all is `not_run` too — the absence IS
408
+ * the record, never an inference that something arrived.
409
+ */
410
+ function renderLaneDeliverySection(events) {
411
+ const dispatched = events.filter((event) => event.kind === "dispatched");
412
+ if (dispatched.length === 0)
413
+ return [];
414
+ const outcomeById = new Map();
415
+ for (const event of events) {
416
+ if (event.kind === "lane_outcome" && event.outcome !== undefined) {
417
+ outcomeById.set(event.submission_id, event.outcome);
418
+ }
419
+ else if (isIngestEvent(event.kind) && !outcomeById.has(event.submission_id)) {
420
+ // The tool ingested it, so it was delivered; the ledger does not record
421
+ // how much was in it, and this must not invent a count.
422
+ outcomeById.set(event.submission_id, "findings");
423
+ }
424
+ }
425
+ const byRound = new Map();
426
+ for (const event of dispatched) {
427
+ const round = event.round_id ?? "";
428
+ const bucket = byRound.get(round);
429
+ if (bucket)
430
+ bucket.push(event);
431
+ else
432
+ byRound.set(round, [event]);
433
+ }
434
+ const lines = [
435
+ "### Lane dispatch and delivery",
436
+ "",
437
+ `${dispatched.length} lane(s) were dispatched this run. A dispatched lane that wrote nothing at the bound path the tool declared is recorded \`not_run\` — the absence is the record, not an inference.`,
438
+ "",
439
+ ];
440
+ // Sorted by content, never arrival: a derived summary may sort; the ledger
441
+ // file it derives from may not.
442
+ for (const round of [...byRound.keys()].sort(compareCodeUnits)) {
443
+ const rows = byRound.get(round);
444
+ const outcomes = rows.map((event) => outcomeById.get(event.submission_id) ?? "not_run");
445
+ const delivered = outcomes.filter((outcome) => outcome !== "not_run").length;
446
+ const tally = new Map();
447
+ for (const outcome of outcomes) {
448
+ tally.set(outcome, (tally.get(outcome) ?? 0) + 1);
449
+ }
450
+ const breakdown = [...tally.entries()]
451
+ .sort(([left], [right]) => compareCodeUnits(left, right))
452
+ .map(([outcome, count]) => `${outcome} ${count}`)
453
+ .join(", ");
454
+ lines.push(`- ${round === "" ? "this run's gate lanes" : `round \`${round}\``}: ` +
455
+ `${delivered} of ${rows.length} delivered (${breakdown})`);
456
+ }
457
+ lines.push("");
458
+ return lines;
459
+ }
266
460
  function renderSubmissionDriftSection(events) {
267
461
  const refusedIds = new Set(events
268
462
  .filter((event) => event.kind === "rejected")
@@ -272,11 +466,15 @@ function renderSubmissionDriftSection(events) {
272
466
  .map((event) => event.submission_id));
273
467
  if (refusedIds.size === 0 && handRepairedIds.size === 0)
274
468
  return [];
275
- // Trailing state per submission: a refusal followed by an acceptance or a
276
- // hand recovery is RESOLVED; one that is still the last word is not.
469
+ // Trailing state per submission, over the INGEST events only: a refusal
470
+ // followed by an acceptance or a hand recovery is RESOLVED; one that is still
471
+ // the last word is not. It used to be "everything except `expected`", so a
472
+ // `dispatched` row appended when the still-pending lane was re-materialized
473
+ // would have become the trailing event and made this claim the refusal "was
474
+ // later accepted or re-landed by hand" when nothing had accepted it.
277
475
  const trailing = new Map();
278
476
  for (const event of events) {
279
- if (event.kind === "expected")
477
+ if (!isIngestEvent(event.kind))
280
478
  continue;
281
479
  trailing.set(event.submission_id, event.kind);
282
480
  }
@@ -445,7 +643,15 @@ function renderConceptualAttributionSection(report, adjudication) {
445
643
  const lines = [
446
644
  "## Conceptual Review Attribution",
447
645
  "",
448
- `Round: \`${adjudication.round_id}\`. Contribution and modification percentages are judge-authored semantic estimates; tooling verified references, bounds, complete candidate coverage, and 100% contribution totals.`,
646
+ `Round: \`${adjudication.round_id}\`. Contribution and modification percentages are judge-authored semantic estimates; tooling verified references, bounds, complete candidate coverage, and 100% contribution totals. \`verification_status\` is likewise judge-authored — the tool enforces that a claim is present, consistent and published, never that it is true. Note that a conceptual finding's \`grounded\` verdict certifies component-path existence ONLY; the defect-presence claim is carried by \`verification_status\`, not by grounding.`,
647
+ "",
648
+ // The aggregate the live run had to be obtained by counting the artifact by
649
+ // hand. Both populations are CANDIDATE-scoped here and are not reconciled
650
+ // with the finding-scoped Summary counts: the post-adjudication grounding
651
+ // quarantine can drop a merged candidate's final finding, so they
652
+ // legitimately differ and each is labelled by its population.
653
+ `- Candidate dispositions: ${formatCountList(adjudication.candidate_disposition_breakdown)}`,
654
+ `- Candidate verification: ${formatCountList(adjudication.candidate_verification_status_breakdown)}`,
449
655
  "",
450
656
  ];
451
657
  for (const finalShare of adjudication.final_finding_shares) {
@@ -464,7 +670,7 @@ function renderConceptualAttributionSection(report, adjudication) {
464
670
  }
465
671
  lines.push("### Candidate dispositions", "");
466
672
  for (const disposition of adjudication.candidate_dispositions) {
467
- lines.push(`- \`${disposition.candidate_id}\` — **${disposition.disposition}**; modified ${disposition.modification_percent}%; targets ${disposition.target_final_finding_ids.join(", ") || "none"}. ${disposition.rationale}`);
673
+ lines.push(`- \`${disposition.candidate_id}\` — **${disposition.disposition}**; \`${disposition.verification_status}\`; modified ${disposition.modification_percent}%; targets ${disposition.target_final_finding_ids.join(", ") || "none"}. ${disposition.rationale}${disposition.verification_note ? ` _Verified:_ ${disposition.verification_note}` : ""}`);
468
674
  }
469
675
  lines.push("");
470
676
  return lines;
@@ -480,7 +686,12 @@ export function renderAuditReportMarkdown(report, options = {}) {
480
686
  }
481
687
  lines.push("## Summary", "", `- Findings: ${report.summary.finding_count}`, `- Work blocks: ${report.summary.work_block_count}`, `- Severity breakdown: ${formatSeverityList(report.summary.severity_breakdown)}`, ...(report.summary.lens_breakdown && Object.keys(report.summary.lens_breakdown).length > 0
482
688
  ? [`- Lens breakdown: ${formatCountList(report.summary.lens_breakdown)}`]
483
- : []), ...(report.summary.grounding_status_breakdown &&
689
+ : []),
690
+ // The line the breakdown structurally cannot carry: a selected lens with no
691
+ // findings has no key in a `countBy`, so it used to be invisible. Named
692
+ // here rather than in *Audit Limitations* (owner working assumption) — terse
693
+ // and always in front of the reader, beside the counts it qualifies.
694
+ ...renderUnexercisedLensLine(report.summary.lens_coverage), ...(report.summary.grounding_status_breakdown &&
484
695
  Object.keys(report.summary.grounding_status_breakdown).length > 0
485
696
  ? [
486
697
  `- Grounding (S7): ${formatCountList(report.summary.grounding_status_breakdown)}` +
@@ -495,6 +706,12 @@ export function renderAuditReportMarkdown(report, options = {}) {
495
706
  .filter(Boolean)
496
707
  .reduce((acc, note, i) => acc + (i === 0 ? " — " : "; ") + note, ""),
497
708
  ]
709
+ : []), ...(report.summary.verification_status_breakdown &&
710
+ Object.keys(report.summary.verification_status_breakdown).length > 0
711
+ ? [
712
+ `- Verification: ${formatCountList(report.summary.verification_status_breakdown)}` +
713
+ " — judge-authored claims about whether each defect is present at HEAD, not tool runs",
714
+ ]
498
715
  : []), `- Fully audited files: ${report.summary.audited_file_count}`, `- Excluded non-auditable files: ${report.summary.excluded_file_count}`, "");
499
716
  if (report.top_risks && report.top_risks.length > 0) {
500
717
  lines.push("## Top Risks", "");
@@ -581,7 +798,11 @@ export function renderAuditReportMarkdown(report, options = {}) {
581
798
  pushFindingBlock(finding, lines);
582
799
  }
583
800
  }
584
- const driftLines = renderSubmissionDriftSection(options.submission_ledger ?? []);
801
+ const ledgerEvents = options.submission_ledger ?? [];
802
+ const driftLines = [
803
+ ...renderLaneDeliverySection(ledgerEvents),
804
+ ...renderSubmissionDriftSection(ledgerEvents),
805
+ ];
585
806
  lines.push(...renderConceptualAttributionSection(report, options.conceptual_adjudication));
586
807
  const reflections = options.reflections ?? [];
587
808
  // Structural capability limitations are report limitations, not process
@@ -590,15 +811,32 @@ export function renderAuditReportMarkdown(report, options = {}) {
590
811
  const capabilityLimitations = reflections.filter((reflection) => reflection.task_id === "audit-capability-preflight" &&
591
812
  (reflection.severity === "high" || reflection.severity === "critical"));
592
813
  const processFeedback = reflections.filter((reflection) => !capabilityLimitations.includes(reflection));
593
- const limitationLines = renderProcessFeedbackSection(capabilityLimitations);
594
- if (limitationLines.length > 0)
595
- limitationLines[0] = "## Audit Limitations";
814
+ // *Audit Limitations* states what this run could NOT do. It has two sources
815
+ // now, and the section is CREATED by either — it used to be the process-
816
+ // feedback heading renamed, so it existed only when a capability-preflight
817
+ // reflection happened to be present.
818
+ const analyzerLimitationLines = renderAnalyzerDegradationLines(options.analyzer_capability);
819
+ const reflectionLimitationLines = renderProcessFeedbackSection(capabilityLimitations);
820
+ if (reflectionLimitationLines.length > 0) {
821
+ reflectionLimitationLines[0] = "## Audit Limitations";
822
+ }
823
+ const limitationLines = analyzerLimitationLines.length > 0
824
+ ? [
825
+ "## Audit Limitations",
826
+ "",
827
+ ...analyzerLimitationLines,
828
+ // A reflection-sourced block that follows keeps its own body but must
829
+ // not re-open the heading it is now inside.
830
+ ...reflectionLimitationLines.slice(reflectionLimitationLines.length > 0 ? 2 : 0),
831
+ ]
832
+ : reflectionLimitationLines;
596
833
  const feedbackLines = renderProcessFeedbackSection(processFeedback);
834
+ const coverageLines = renderCharterCoverageSection(options.charter_evidence_coverage ?? [], options.charter_packet_archive ?? []);
597
835
  lines.push(...limitationLines, ...feedbackLines);
598
836
  if (driftLines.length > 0 && feedbackLines.length === 0) {
599
837
  lines.push("## Process Feedback", "");
600
838
  }
601
- lines.push(...driftLines);
839
+ lines.push(...driftLines, ...coverageLines);
602
840
  const excludedScope = options.intent_checkpoint?.excluded_scope ?? [];
603
841
  if (excludedScope.length > 0) {
604
842
  lines.push("## Excluded / Out-of-Scope", "");
@@ -633,6 +871,7 @@ export function renderAuditReportMarkdown(report, options = {}) {
633
871
  */
634
872
  export function normalizeExistingFindingsReport(report) {
635
873
  const groundingBreakdown = groundingStatusBreakdown(report.findings);
874
+ const verificationBreakdown = verificationStatusBreakdown(report.findings);
636
875
  return {
637
876
  ...report,
638
877
  contract_version: AUDIT_FINDINGS_CONTRACT_VERSION,
@@ -643,9 +882,23 @@ export function normalizeExistingFindingsReport(report) {
643
882
  work_block_count: report.work_blocks.length,
644
883
  severity_breakdown: severityBreakdown(report.findings),
645
884
  lens_breakdown: lensBreakdown(report.findings),
885
+ // The SELECTION is carried through — this function has no checkpoint and
886
+ // must not invent one — while the counts and outcomes are re-derived over
887
+ // the same findings `lens_breakdown` is re-counted from. Copying the map
888
+ // untouched beside a re-derived breakdown is how the two come to
889
+ // contradict each other, and the contradiction is refused downstream by
890
+ // `projectApprovedFindings`, which throws.
891
+ ...(report.summary.lens_coverage === undefined
892
+ ? {}
893
+ : {
894
+ lens_coverage: reprojectLensCoverage(report.summary.lens_coverage, report.findings),
895
+ }),
646
896
  ...(Object.keys(groundingBreakdown).length > 0
647
897
  ? { grounding_status_breakdown: groundingBreakdown }
648
898
  : {}),
899
+ ...(Object.keys(verificationBreakdown).length > 0
900
+ ? { verification_status_breakdown: verificationBreakdown }
901
+ : {}),
649
902
  },
650
903
  };
651
904
  }