audit-tools 0.52.4 → 0.53.0

package/dist/remediate/intent/intentOrdering.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/remediate/remediate-state-invariants.test.ts, tests/remediate/cp-node-1-regressions.test.ts
 /**
  * Fold a confirmed checkpoint's structured `InterpretedIntent` into remediation
  * block / finding ORDERING (DC-1, remediate half).
@@ -5,8 +6,7 @@
  * The user's `free_form_intent` is interpreted ONCE, deterministically, by the
  * single shared interpreter (`interpretFreeFormIntent`) into lens weights,
  * priority signals, and scope emphases. This module consumes that structured
- * signal to reorder the plan's findings (and the blocks that carry them) so the
- * work the user emphasised is dispatched first.
+ * signal to reorder execution units. Original source findings remain byte-exact.
  *
  * Hard boundaries (mirroring audit's planning boost):
  * - ORDERING ONLY. Intent never drops, filters, or mutates a finding — dropping
@@ -27,22 +27,6 @@ const LENS_EMPHASIS_BOOST = 10;
 const SCOPE_EMPHASIS_BOOST = 5;
 /** Flat boost when the intent carried any priority/urgency signal at all. */
 const PRIORITY_SIGNAL_BOOST = 3;
-/**
- * Tie-break rank for the audit judge's defect-presence claim. Deliberately NOT
- * a weight boost: verification must never outrank severity, so it is applied
- * only between findings the intent weighting AND severity already call equal.
- * A finding the judge checked against HEAD is worth doing before one it merely
- * asserted, at the same severity.
- *
- * ⚠ REACH: above risk tier `low` the remediate contract pipeline RE-MINTS
- * `state.plan.findings` from DAG nodes rather than carrying the audit `Finding`
- * objects through, so this tie-break reaches only the path where the audit
- * findings survive. That is a pre-existing class, not one this ordering
- * introduces, and closing it means changing what the contract pipeline carries.
- */
-function verificationRank(finding) {
-    return finding.verification_status === "judge_confirmed" ? 1 : 0;
-}
 // Leading scope-verb phrases (focus on / prioritise / ignore / …) that prefix a
 // scope-emphasis clause; stripped so the needles are the path/identifier targets,
 // not the directive verb. Mirrors the shared SCOPE_PATTERNS lead-ins.
@@ -148,10 +132,10 @@ function intentIsEmpty(intent) {
         (intent.scopeExclusions ?? []).length === 0);
 }
 /**
- * Reorder `findings` and `blocks` by intent-derived weight (descending), stably.
+ * Reorder `findings` and `units` by intent-derived weight (descending), stably.
  *
  * - Findings sort by `findingIntentWeight` desc, ties broken by original index.
- * - Blocks sort by the MAX intent weight of their member findings (so a block
+ * - Units sort by the MAX intent weight of their member findings (so a block
  *   carrying an emphasised finding is dispatched first), ties broken by original
  *   index. A block's internal item order is left untouched.
  * - When the intent carries no signal, both arrays are returned UNCHANGED (no
@@ -160,9 +144,9 @@ function intentIsEmpty(intent) {
  *
  * Never adds, drops, or mutates a finding/block — ordering only.
  */
-export function applyIntentOrdering(findings, blocks, intent) {
+export function applyIntentOrdering(findings, units, intent) {
     if (intentIsEmpty(intent)) {
-        return { findings, blocks };
+        return { findings, units };
     }
     const includeNeedles = scopeIncludeNeedles(intent);
     const excludeNeedles = scopeExcludeNeedles(intent);
@@ -170,40 +154,33 @@ export function applyIntentOrdering(findings, blocks, intent) {
     for (const finding of findings) {
         weightByFinding.set(finding.id, findingIntentWeight(finding, intent, includeNeedles, excludeNeedles));
     }
-    // Stable sort: decorate with original index, compare on (weight desc, index asc).
-    const orderedFindings = findings
-        .map((finding, index) => ({ finding, index }))
-        .sort((a, b) => {
-        const wa = weightByFinding.get(a.finding.id) ?? 0;
-        const wb = weightByFinding.get(b.finding.id) ?? 0;
-        if (wb !== wa)
-            return wb - wa;
-        // Gated on EQUAL SEVERITY as well as equal weight. Weight folds severity
-        // in with the boosts, so two different severities can still tie on weight
-        // (e.g. critical+nothing against low+priority); requiring equal severity
-        // is what makes "never overrides severity" true rather than nearly true.
-        if (a.finding.severity === b.finding.severity) {
-            const va = verificationRank(a.finding);
-            const vb = verificationRank(b.finding);
-            if (vb !== va)
-                return vb - va;
-        }
-        return a.index - b.index;
-    })
-        .map((entry) => entry.finding);
     const blockWeight = (block) => {
         let max = -Infinity;
-        for (const id of block.items) {
+        for (const id of block.source_finding_ids) {
             const w = weightByFinding.get(id);
             if (w !== undefined && w > max)
                 max = w;
         }
         return max === -Infinity ? 0 : max;
     };
-    const orderedBlocks = blocks
+    const orderedUnits = units
         .map((block, index) => ({ block, index }))
-        .sort((a, b) => blockWeight(b.block) - blockWeight(a.block) || a.index - b.index)
+        .sort((a, b) => {
+        const weight = blockWeight(b.block) - blockWeight(a.block);
+        if (weight)
+            return weight;
+        const sources = (unit) => findings.filter(finding => unit.source_finding_ids.includes(finding.id));
+        const aSources = sources(a.block), bSources = sources(b.block);
+        const severity = (values) => Math.max(0, ...values.map(finding => severityRank(finding.severity)));
+        if (severity(aSources) === severity(bSources)) {
+            const confirmed = (values) => values.some(finding => finding.verification_status === "judge_confirmed") ? 1 : 0;
+            const verification = confirmed(bSources) - confirmed(aSources);
+            if (verification)
+                return verification;
+        }
+        return a.index - b.index;
+    })
         .map((entry) => entry.block);
-    return { findings: orderedFindings, blocks: orderedBlocks };
+    return { findings, units: orderedUnits };
 }
 //# sourceMappingURL=intentOrdering.js.map

package/dist/remediate/intent/intentOrdering.js.map

@@ -1 +1 @@
-{"version":3,"file":"intentOrdering.js","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,+EAA+E;AAC/E,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,gFAAgF;AAChF,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,6EAA6E;AAC7E,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,SAAS,gBAAgB,CAAC,OAAgB;IACxC,OAAO,OAAO,CAAC,mBAAmB,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,kFAAkF;AAClF,sEAAsE;AACtE,MAAM,eAAe,GACnB,0PAA0P,CAAC;AAE7P;;;;;;;;;;;GAWG;AACH,SAAS,mBAAmB,CAAC,OAAiB;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,kEAAkE;YAClE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;sCACsC;AACtC,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACnD,CAAC;AAED;;;;;0EAK0E;AAC1E,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,OAAgB,EAAE,OAAiB;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAyB,EACzB,iBAA2B,mBAAmB,CAAC,MAAM,CAAC,EACtD,iBAA2B,mBAAmB,CAAC,MAAM,CAAC;IAEtD,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,IAAI,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAuC,CAAC,KAAK,SAAS,EAAE,CAAC;QACjG,MAAM,IAAI,mBAAmB,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;SAAM,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8EAC8E;AAC9E,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;QAC5C,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAA0B,EAC1B,MAAyB;IAEzB,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,eAAe,CAAC,GAAG,CACjB,OAAO,CAAC,EAAE,EACV,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CACrE,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,MAAM,eAAe,GAAG,QAAQ;SAC7B,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9B,yEAAyE;QACzE,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChC,CAAC;QACD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEjC,MAAM,WAAW,GAAG,CAAC,KAAuB,EAAU,EAAE;QACtD,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,MAAM;SACzB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SAChF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AAC9D,CAAC"}
+{"version":3,"file":"intentOrdering.js","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,+EAA+E;AAC/E,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,gFAAgF;AAChF,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,6EAA6E;AAC7E,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC,gFAAgF;AAChF,kFAAkF;AAClF,sEAAsE;AACtE,MAAM,eAAe,GACnB,0PAA0P,CAAC;AAE7P;;;;;;;;;;;GAWG;AACH,SAAS,mBAAmB,CAAC,OAAiB;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,kEAAkE;YAClE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;sCACsC;AACtC,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACnD,CAAC;AAED;;;;;0EAK0E;AAC1E,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,OAAgB,EAAE,OAAiB;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAyB,EACzB,iBAA2B,mBAAmB,CAAC,MAAM,CAAC,EACtD,iBAA2B,mBAAmB,CAAC,MAAM,CAAC;IAEtD,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,IAAI,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAuC,CAAC,KAAK,SAAS,EAAE,CAAC;QACjG,MAAM,IAAI,mBAAmB,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;SAAM,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8EAC8E;AAC9E,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;QAC5C,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,KAAsB,EACtB,MAAyB;IAEzB,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7B,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,eAAe,CAAC,GAAG,CACjB,OAAO,CAAC,EAAE,EACV,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CACrE,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,KAAoB,EAAU,EAAE;QACnD,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QAClH,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,CAAC,MAAiB,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9G,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,CAAC,MAAiB,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3H,MAAM,YAAY,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC/D,IAAI,YAAY;gBAAE,OAAO,YAAY,CAAC;QACxC,CAAC;QACD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AAC3C,CAAC"}

package/dist/remediate/phases/close.d.ts

@@ -1,11 +1,12 @@
 import { type ContractReviewOutcome } from "../../shared/types/reviewIndependence.js";
 import { RemediationState } from "../state/store.js";
 import { OrchestratorOptions } from "../types/options.js";
-import type { RemediationOutcomesReport, RunLogger, VerificationReport } from "audit-tools/shared";
+import type { AgentReflection, RemediationOutcomesReport, RunLogger, VerificationReport } from "audit-tools/shared";
 import { type LandingGateVerifyOutcome } from "./closeVerifyLandingGates.js";
 import type { ClosingAction } from "audit-tools/shared";
 import type { OutcomeCoverageLedger } from "../state/types.js";
 import { type FinalGateReport, type RunRecovery } from "../../shared/types/remediationOutcome.js";
+import { type CombinedTestResult } from "./closeAcceptance.js";
 /**
  * How this run was recovered, as read from the submission ledger at close.
  *
@@ -148,21 +149,6 @@ export declare function collectStagingFiles(root: string, manifest: string[], de
  * lock is a liveness hazard rather than a style preference.
  */
 export declare function executeClosingAction(state: RemediationState, options: OrchestratorOptions): Promise<ClosingResult>;
-export interface CombinedTestResult {
-    /**
-     * Whether a suite actually ran. `false` means `plan.test_command` was never
-     * configured — a NEVER-RAN outcome, structurally distinct from `passed`, so
-     * a caller can no longer mistake "nothing ran" for "a real pass" (the
-     * vacuous-pass defect: previously `passed:true` alone claimed a real result
-     * even for an unrun, unconfigured suite).
-     */
-    ran: boolean;
-    passed: boolean;
-    duration_ms: number;
-    suite_name?: string;
-    /** Tail of combined stdout/stderr captured on failure (empty on pass). */
-    output: string;
-}
 /**
  * Run the plan's combined test suite over the fully merged post-remediation
  * state. Returns pass/fail plus the failure-output tail. No test_command =>
@@ -222,6 +208,27 @@ export interface E2eTestResult {
     passed: boolean;
     output: string;
 }
+interface ResolvedReportEntry {
+    unit_id: string;
+    summary: string;
+    verification_evidence?: string[];
+}
+interface RationaleReportEntry {
+    unit_id: string;
+    rationale: string;
+}
+interface ReportEntries {
+    resolved: ResolvedReportEntry[];
+    verifiedNoChange: ResolvedReportEntry[];
+    inappropriate: RationaleReportEntry[];
+    ignored: RationaleReportEntry[];
+    blocked: RationaleReportEntry[];
+}
+/**
+ * Render `remediation-report.md` from the partitioned entries, closing action,
+ * e2e result, and per-finding outcomes. Pure string builder (no I/O).
+ */
+export declare function buildRemediationReportMarkdown(state: RemediationState, entries: ReportEntries, closingResult: ClosingResult, e2ePassed: boolean | undefined, outcomesReport: RemediationOutcomesReport, combinedTest: CombinedTestResult, reflections?: AgentReflection[], landingGates?: LandingGateVerifyOutcome): string;
 /**
  * {@link cleanupTempBranchesAndArtifacts}'s result — lets a caller observe a
  * cleanup residue programmatically rather than only through console/log
@@ -255,7 +262,7 @@ export interface CleanupResult {
  * apply to — the same rule the combined-suite leg follows for a run with no
  * configured suite.
  */
-export declare function cleanupTempBranchesAndArtifacts(options: OrchestratorOptions, completeState: RemediationState, combinedTest: CombinedTestResult, e2eResult: E2eTestResult, closingResult: ClosingResult, runLogger?: RunLogger, landingGates?: LandingGateVerifyOutcome): Promise<CleanupResult>;
+export declare function cleanupTempBranchesAndArtifacts(options: OrchestratorOptions, completeState: RemediationState, combinedTest: CombinedTestResult, e2eResult: E2eTestResult, closingResult: ClosingResult, runLogger?: RunLogger, landingGates?: LandingGateVerifyOutcome, sourceOutcomes?: RemediationOutcomesReport): Promise<CleanupResult>;
 /**
  * Build a VerificationReport from the post-remediation state. One
  * FindingVerificationTrace per terminal finding, with trace entries for:
@@ -268,4 +275,5 @@ export declare function cleanupTempBranchesAndArtifacts(options: OrchestratorOpt
  */
 export declare function buildVerificationReport(state: RemediationState, options: OrchestratorOptions, closingResult: ClosingResult, combinedTest: CombinedTestResult): VerificationReport;
 export declare function runClosePhase(state: RemediationState, options: OrchestratorOptions, runLogger?: RunLogger): Promise<RemediationState>;
+export {};
 //# sourceMappingURL=close.d.ts.map

package/dist/remediate/phases/close.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"close.d.ts","sourceRoot":"","sources":["../../../src/remediate/phases/close.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgE,KAAK,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AAMpJ,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAwB1D,OAAO,KAAK,EAIV,yBAAyB,EACzB,SAAS,EACT,kBAAkB,EAGnB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAEL,KAAK,wBAAwB,EAC9B,MAAM,8BAA8B,CAAC;AAKtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAKV,qBAAqB,EAItB,MAAM,mBAAmB,CAAC;AAgB3B,OAAO,EASL,KAAK,eAAe,EAEpB,KAAK,WAAW,EACjB,MAAM,0CAA0C,CAAC;AA6ClD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,gBAAgB,GAAG,IAAI,GAC7B,OAAO,CAAC,WAAW,CAAC,CA6BtB;AAmCD;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,eAAe,CAAC,CA6B1B;AAuDD,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,gBAAgB,EACvB,aAAa,EAAE,aAAa,EAI5B,SAAS,GAAE,eAA0C,EAKrD,QAAQ,GAAE,WAAyB,EACnC,eAAe,GAAE,SAAS,qBAAqB,EAAO,GACrD,yBAAyB,CAoN3B;AAoDD;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CA6B5C;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,wCAAwC,CAAC;IAC3D,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,kGAAkG;IAClG,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAK5E;AAmJD,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAC/B,gFAAgF;IAChF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAAE,EAClB,YAAY,GAAE,MAAM,EAAO,GAC1B,OAAO,CAAC,gBAAgB,CAAC,CAyC3B;AA2ED;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,CAAC,CAyFxB;AAED,MAAM,WAAW,kBAAkB;IACjC;;;;;;OAMG;IACH,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CA2D7B;AAoED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,gBAAgB,EACvB,UAAU,EAAE,MAAM,GACjB,OAAO,CAqCT;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAuZD;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,gBAAgB,EAC/B,YAAY,EAAE,kBAAkB,EAChC,SAAS,EAAE,aAAa,EACxB,aAAa,EAAE,aAAa,EAC5B,SAAS,CAAC,EAAE,SAAS,EACrB,YAAY,GAAE,wBAAoE,GACjF,OAAO,CAAC,aAAa,CAAC,CA4HxB;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,aAAa,EAC5B,YAAY,EAAE,kBAAkB,GAC/B,kBAAkB,CAuKpB;AAED,wBAAsB,aAAa,CACjC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAAC,gBAAgB,CAAC,CAqW3B"}
+{"version":3,"file":"close.d.ts","sourceRoot":"","sources":["../../../src/remediate/phases/close.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgE,KAAK,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AAMpJ,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAyB1D,OAAO,KAAK,EACV,eAAe,EAGf,yBAAyB,EACzB,SAAS,EACT,kBAAkB,EAGnB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAEL,KAAK,wBAAwB,EAC9B,MAAM,8BAA8B,CAAC;AAKtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAKV,qBAAqB,EAItB,MAAM,mBAAmB,CAAC;AAgB3B,OAAO,EASL,KAAK,eAAe,EAEpB,KAAK,WAAW,EACjB,MAAM,0CAA0C,CAAC;AAMlD,OAAO,EAAsB,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AA0CnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,gBAAgB,GAAG,IAAI,GAC7B,OAAO,CAAC,WAAW,CAAC,CA6BtB;AAmCD;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,eAAe,CAAC,CA6B1B;AAuDD,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,gBAAgB,EACvB,aAAa,EAAE,aAAa,EAI5B,SAAS,GAAE,eAA0C,EAKrD,QAAQ,GAAE,WAAyB,EACnC,eAAe,GAAE,SAAS,qBAAqB,EAAO,GACrD,yBAAyB,CA8R3B;AAoDD;;;;;;;;GAQG;AACH,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CA6B5C;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,wCAAwC,CAAC;IAC3D,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,kGAAkG;IAClG,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAK5E;AAmJD,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAC/B,gFAAgF;IAChF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAAE,EAClB,YAAY,GAAE,MAAM,EAAO,GAC1B,OAAO,CAAC,gBAAgB,CAAC,CAyC3B;AAsED;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,CAAC,CAyFxB;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CA4D7B;AAoED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,gBAAgB,EACvB,UAAU,EAAE,MAAM,GACjB,OAAO,CAqCT;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAsED,UAAU,mBAAmB;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AACD,UAAU,oBAAoB;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AACD,UAAU,aAAa;IACrB,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,gBAAgB,EAAE,mBAAmB,EAAE,CAAC;IACxC,aAAa,EAAE,oBAAoB,EAAE,CAAC;IACtC,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAyED;;;GAGG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,aAAa,EACtB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,OAAO,GAAG,SAAS,EAC9B,cAAc,EAAE,yBAAyB,EACzC,YAAY,EAAE,kBAAkB,EAChC,WAAW,GAAE,eAAe,EAAO,EACnC,YAAY,GAAE,wBAAoE,GACjF,MAAM,CA0PR;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,gBAAgB,EAC/B,YAAY,EAAE,kBAAkB,EAChC,SAAS,EAAE,aAAa,EACxB,aAAa,EAAE,aAAa,EAC5B,SAAS,CAAC,EAAE,SAAS,EACrB,YAAY,GAAE,wBAAoE,EAClF,cAAc,GAAE,yBAAwF,GACvG,OAAO,CAAC,aAAa,CAAC,CAqIxB;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,aAAa,EAC5B,YAAY,EAAE,kBAAkB,GAC/B,kBAAkB,CAwDpB;AAcD,wBAAsB,aAAa,CACjC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAAC,gBAAgB,CAAC,CA8X3B"}