audit-tools 0.45.0 → 0.48.0

package/dist/remediate/steps/contractPipeline.d.ts

@@ -1,7 +1,6 @@
 import { type ValidationIssue, type JudgeReport, type WorkBlock, type WorkBlockSeam } from "audit-tools/shared";
 import { readIntakeRiskSignal, type AdversarialDepth } from "../riskSignal.js";
 import { type ContractPipelineCrossGateInputs, type GateOutcome } from "../validation/contractPipelineGates.js";
-import type { Finding } from "audit-tools/shared";
 import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
 import type { RemediationStep } from "./types.js";
 import { intakePaths } from "../intake.js";
@@ -496,6 +495,19 @@ export declare function normalizeBlockTargetedCommands(commands: readonly string
  * rather than as a thrown stack that wedges every subsequent next-step.
  */
 export declare function collectDagWriteScopeRefusals(artifactsDir: string, root: string): Promise<string[]>;
+/**
+ * Path-A canonical-block membership validation, run BEFORE anything is promoted
+ * (OBL-seam-prep-remediate-core-inv-2 / COR-114e4941). These are exactly the
+ * checks the promoter itself performs while building its node→canonical-group
+ * map — but there they THROW out of `promoteImplementationDagToExtractedPlan`,
+ * an unclassified stack that wedged every subsequent next-step. Hoisted here so
+ * an invalid `source_finding_ids` declaration takes the same bounded re-emit as
+ * every other promotion rejection, with no gate having executed past it.
+ *
+ * Returns one line per violation; empty means the DAG is promotable on this
+ * axis (or Path A is not in play at all).
+ */
+export declare function collectPathARefusals(artifactsDir: string): Promise<string[]>;
 /**
  * Convert a completed ImplementationDAG into the extracted-plan.json format
  * that the existing handlePendingExtractedPlan/applyPlanPipeline path consumes.
@@ -549,23 +561,5 @@ export interface ContractPipelinePlanningOutputs {
  * promoted yet.
  */
 export declare function readContractPipelinePlanningOutputs(artifactsDir: string): Promise<ContractPipelinePlanningOutputs | null>;
-/** Source tag stamped on a lean-fast-path extracted plan (distinguishes it from `contract_pipeline`). */
-export declare const LEAN_FAST_PATH_SOURCE = "lean_fast_path";
-/** The minimal `extracted-plan.json` shape the lean path emits. */
-export interface LeanExtractedPlan {
-    plan_id: string;
-    findings: Finding[];
-    project_type: string;
-    source: typeof LEAN_FAST_PATH_SOURCE;
-    candidate_closing_actions: string[];
-}
-/**
- * Build the lean extracted plan from the approved findings. Blocks are
- * intentionally omitted: `normalizeExtractedPlan` synthesizes one block per
- * finding and `applyPlanPipeline` then merges blocks sharing a file + splits by
- * context budget — the same deterministic block derivation the contract pipeline
- * feeds into, single-sourced rather than reimplemented here.
- */
-export declare function buildLeanExtractedPlan(findings: Finding[], planId: string): LeanExtractedPlan;
 export {};
 //# sourceMappingURL=contractPipeline.d.ts.map

package/dist/remediate/steps/contractPipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AAwBA,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,WAAW,EAIhB,KAAK,SAAS,EACd,KAAK,aAAa,EAQnB,MAAM,oBAAoB,CAAC;AAuB5B,OAAO,EACL,oBAAoB,EAKpB,KAAK,gBAAgB,EAEtB,MAAM,kBAAkB,CAAC;AAyD1B,OAAO,EAML,KAAK,+BAA+B,EACpC,KAAK,WAAW,EACjB,MAAM,wCAAwC,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAGzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AA2C3C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAuErD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF;;;;;OAKG;IACH,QAAQ,EAAE;QACR,WAAW,EAAE,MAAM,CAAC;QACpB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,CAAC;QACxB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,EAAE,CAAC;IACJ,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAoCzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA0DlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACxD;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC;;;;;;;;;;;;;OAaG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAgEf;AAiDD,gFAAgF;AAChF,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAgBrC;AAID;;;;GAIG;AAGH,KAAK,oBAAoB,GAAG,4BAA4B,GAAG,mBAAmB,GAAG,4BAA4B,CAAC;AAE9G;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAkJD,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAapE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA4CtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAkEhC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC,6BAA6B,CAAC,CAKxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAkClG;AAoFD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAgBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAiaD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,uDAAuD;IACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAoTD,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,QAAQ,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EACxC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GACzC,gBAAgB,CAwBlB;AAg1CD;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B,EAAE,SAAS,MAAM,EAEzD,CAAC;AAEF;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAsCjC;AAwBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,wBAAwB,4DAK3B,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAIvE;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAGnE;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,IAAI,MAAM,EAAE,CAI7D;AAqED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,MAAM,GACd,4BAA4B,CA8B9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,8BAA8B,CAClD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAwB1C;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,yBAAyB;IACxC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,MAAM,GACd,yBAAyB,CAU3B;AAED;;;;;;;GAOG;AACH,wBAAsB,4BAA4B,CAChD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED;;;;;;;GAOG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,GAChD,OAAO,CAAC,IAAI,CAAC,CA2Uf;AAID;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,+BAA+B;IAC9C,wEAAwE;IACxE,gBAAgB,EAAE,KAAK,CAAC;QACtB,QAAQ,EAAE,MAAM,CAAC;QACjB,KAAK,EAAE,MAAM,EAAE,CAAC;QAChB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,iBAAiB,EAAE,MAAM,EAAE,CAAC;KAC7B,CAAC,CAAC;IACH,mFAAmF;IACnF,QAAQ,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,EAAE,OAAO,CAAA;KAAE,CAAC;IAC9D,0EAA0E;IAC1E,eAAe,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvE,yEAAyE;IACzE,mBAAmB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC9D;AAED;;;GAGG;AACH,wBAAsB,mCAAmC,CACvD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,+BAA+B,GAAG,IAAI,CAAC,CA8DjD;AAgBD,yGAAyG;AACzG,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AAEtD,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,yBAAyB,EAAE,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,MAAM,GACb,iBAAiB,CAQnB"}
+{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AAwBA,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,WAAW,EAIhB,KAAK,SAAS,EACd,KAAK,aAAa,EAQnB,MAAM,oBAAoB,CAAC;AAuB5B,OAAO,EACL,oBAAoB,EAKpB,KAAK,gBAAgB,EAEtB,MAAM,kBAAkB,CAAC;AAyD1B,OAAO,EAML,KAAK,+BAA+B,EACpC,KAAK,WAAW,EACjB,MAAM,wCAAwC,CAAC;AAGhD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAGzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAgE3C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAuErD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF;;;;;OAKG;IACH,QAAQ,EAAE;QACR,WAAW,EAAE,MAAM,CAAC;QACpB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,CAAC;QACxB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,EAAE,CAAC;IACJ,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAoCzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA0DlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACxD;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC;;;;;;;;;;;;;OAaG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAgEf;AAiDD,gFAAgF;AAChF,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAgBrC;AAID;;;;GAIG;AAGH,KAAK,oBAAoB,GAAG,4BAA4B,GAAG,mBAAmB,GAAG,4BAA4B,CAAC;AAE9G;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAkJD,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAapE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA4CtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAkEhC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC,6BAA6B,CAAC,CAKxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAkClG;AAoFD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAgBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAiaD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,uDAAuD;IACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAiVD,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,QAAQ,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EACxC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GACzC,gBAAgB,CAwBlB;AAi2CD;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B,EAAE,SAAS,MAAM,EAEzD,CAAC;AAEF;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAsCjC;AAwBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,wBAAwB,4DAK3B,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAIvE;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAGnE;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,IAAI,MAAM,EAAE,CAI7D;AAqED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,MAAM,GACd,4BAA4B,CA8B9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,8BAA8B,CAClD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAwB1C;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,yBAAyB;IACxC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,MAAM,GACd,yBAAyB,CAU3B;AAED;;;;;;;GAOG;AACH,wBAAsB,4BAA4B,CAChD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAuEnB;AAED;;;;;;;GAOG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,GAChD,OAAO,CAAC,IAAI,CAAC,CA2Uf;AAID;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,+BAA+B;IAC9C,wEAAwE;IACxE,gBAAgB,EAAE,KAAK,CAAC;QACtB,QAAQ,EAAE,MAAM,CAAC;QACjB,KAAK,EAAE,MAAM,EAAE,CAAC;QAChB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,iBAAiB,EAAE,MAAM,EAAE,CAAC;KAC7B,CAAC,CAAC;IACH,mFAAmF;IACnF,QAAQ,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,EAAE,OAAO,CAAA;KAAE,CAAC;IAC9D,0EAA0E;IAC1E,eAAe,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvE,yEAAyE;IACzE,mBAAmB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC9D;AAED;;;GAGG;AACH,wBAAsB,mCAAmC,CACvD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,+BAA+B,GAAG,IAAI,CAAC,CA8DjD"}

package/dist/remediate/steps/contractPipeline.js

@@ -63,23 +63,44 @@ const ARTIFACT_TO_PHASE = {
 const CONTRACT_STEP_KIND = "contract_pipeline";
 const PRE_IMPLEMENTATION_PHASE_ORDER = CONTRACT_PIPELINE_PHASE_ORDER.filter((phase) => phase !== "closing");
 /**
- * Granularity collapse group (T1 slice 4b). The framing phases — goal, context,
- * decomposition — are ONE coherent act of authoring (scope the change top-down):
- * they carry no adversarial judgment and no deterministic derivation interleaves
- * them, so for low-complexity work they fold into a single round-trip producing
- * all three artifacts instead of three gated steps. The group deliberately STOPS
- * at decomposition (before module_contract_drafting): keeping the decomposition→
- * drafting boundary lets the slice-4a escalate-on-evidence intercept inspect the
- * fresh decomposition and raise the tier — un-collapsing every remaining phase —
- * before any contract is drafted or the per-module wave fans out. Collapse is
+ * Granularity collapse GROUPS (T1 slice 4b). Each group is a run of CONSECUTIVE
+ * phases that folds into ONE round-trip at the `collapsed` granularity — i.e.
+ * only at the `low` tier (see `roundTripGranularityForTier`). Collapse is
  * best-effort: any member artifact the worker omits or writes malformed is
  * re-emitted as its own fine-grained step by `nextMissingContractPhase`, so no
- * work is ever lost. See `roundTripGranularityForTier`.
- */
-const FRAMING_COLLAPSE_GROUP = [
-    "goal_normalization",
-    "context_collection",
-    "decomposition",
+ * work is ever lost.
+ *
+ * These are the ONLY two safe groups, and the gaps between them are not
+ * oversights — each is a property worth more than the round-trip it would save.
+ * The full per-phase map is `docs/reviews/low-tier-phase-cost-2026-08-25.md`;
+ * the boundaries that matter here:
+ *
+ *   - The framing group STOPS at `decomposition`. Keeping the decomposition→
+ *     drafting boundary lets the slice-4a escalate-on-evidence intercept read
+ *     the fresh decomposition and raise the tier — un-collapsing everything
+ *     after it — before any contract is drafted or the module wave fans out.
+ *   - `critique`, `critic` and `judge` are independent-adversary phases and can
+ *     never join a group with what they review. Collapsing critic+judge is the
+ *     sharpest case: the judge verdict is the SOLE admission to implementation
+ *     planning, so one worker emitting both artifacts could write zero
+ *     counterexamples plus `approved` and let the loop certify its own exit.
+ *   - `implementation_planning` is the phase `judgeRepairGate` protects, and its
+ *     scaffold is built from the judge's accepted counterexamples, which do not
+ *     exist at judge-render time.
+ *
+ * A collapsed section carries exactly what its fine-grained step would have
+ * carried — see `collapsedSectionExtra`.
+ */
+const COLLAPSE_GROUPS = [
+    // Framing: scope the change top-down. One coherent authoring act, no
+    // adversarial judgment, no deterministic derivation interleaved.
+    ["goal_normalization", "context_collection", "decomposition"],
+    // Authoring tail: the test/validator plan and the author's OWN coverage
+    // self-assessment. `assessment` is deliberately not an independent-critic
+    // phase, and `contract_assessment_report` already depends on
+    // `test_validator_plan` — the same later-reads-earlier shape the framing
+    // group relies on. The critic reviews both afterwards, unchanged.
+    ["test_validator_plan", "assessment"],
 ];
 // ── Bounded-loop caps ─────────────────────────────────────────────────────────
 /**
@@ -1297,8 +1318,25 @@ function writeContractBlockedStep(ctx, params) {
  * overrides the per-section "stop after writing" lines so they are not read as
  * three separate stop points.
  */
-function writeCollapsedFramingStep(ctx, phases) {
-    const sections = phases.map((phase) => ({
+/**
+ * The extra section a collapsed member carries, mirroring the gate that would
+ * have claimed that phase on its own — so collapsing changes the number of
+ * round-trips and nothing else about what the worker is told.
+ *
+ * This is load-bearing, not tidiness. `collapsedRoundTripGate` is registered
+ * BEFORE `scaffoldedPhaseGate`, so without this a group containing
+ * `test_validator_plan` would silently drop the S3 skeleton the worker is
+ * supposed to fill in, and the collapse would quietly make that phase HARDER
+ * rather than cheaper.
+ */
+async function collapsedSectionExtra(phase, artifactsDir) {
+    if (phase === "test_validator_plan" || phase === "implementation_planning") {
+        return await buildScaffoldSection(phase, artifactsDir);
+    }
+    return await buildReReviewSection(phase, artifactsDir);
+}
+async function writeCollapsedRoundTripStep(ctx, phases) {
+    const sections = await Promise.all(phases.map(async (phase) => ({
         phase,
         rendered: renderContractPipelinePrompt({
             role: phase,
@@ -1308,7 +1346,8 @@ function writeCollapsedFramingStep(ctx, phases) {
             pathASeedPath: ctx.pathASeedPath,
             adversarialDepth: ctx.adversarialDepth,
         }),
-    }));
+        extra: await collapsedSectionExtra(phase, ctx.artifactsDir),
+    })));
     const outputPaths = sections.map((s) => s.rendered.outputPath);
     const header = `# Collapsed Authoring Round-Trip — ${phases.length} Phases
 
@@ -1320,11 +1359,13 @@ If you cannot complete a section (an artifact would be malformed), write the one
 
 Artifacts to produce (in order):
 ${outputPaths.map((p, i) => `${i + 1}. \`${p}\` (${phases[i]})`).join("\n")}`;
-    const body = sections.map((s) => `\n---\n\n${s.rendered.prompt}`).join("\n");
+    const body = sections
+        .map((s) => `\n---\n\n${s.extra ? `${s.rendered.prompt}\n${s.extra}` : s.rendered.prompt}`)
+        .join("\n");
     return writeContractPromptStep(ctx, {
         prompt: `${header}\n${body}`,
         outputPath: outputPaths[outputPaths.length - 1],
-        stopCondition: `Stop after writing all ${phases.length} collapsed-framing artifacts (${phases.join(", ")}) and running next-step once.`,
+        stopCondition: `Stop after writing all ${phases.length} collapsed artifacts (${phases.join(", ")}) and running next-step once.`,
     });
 }
 /**
@@ -1420,8 +1461,8 @@ async function writeContractStepPlan(ctx, plan) {
             return await writeContractBlockedStep(ctx, plan);
         case "module_wave":
             return await writeParallelModuleWaveStep(ctx, plan.phase);
-        case "collapsed_framing":
-            return await writeCollapsedFramingStep(ctx, plan.phases);
+        case "collapsed_round_trip":
+            return await writeCollapsedRoundTripStep(ctx, plan.phases);
         case "rederive":
             // A deterministic artifact was just written; the frontier moved, so the
             // whole walk re-runs against the new state rather than guessing the phase.
@@ -1999,13 +2040,29 @@ ${rejectionRewriteInstruction(archived)}`,
     };
 }
 /**
- * All phases exist: enforce referential integrity, traceability and the
- * fail-closed contract-obligation gates, then convert the implementation_dag
- * into an extracted plan and ground its citations.
+ * All phases exist: enforce referential integrity, traceability, the
+ * fail-closed contract-obligation gates, and the Path-A canonical-block join,
+ * then convert the implementation_dag into an extracted plan and ground its citations.
  */
 const implementationPlanPromotionGate = async (ctx) => {
     if (ctx.nextPhase)
         return null;
+    // Path-A canonical-block membership (inv-2), FIRST in this walk so a late
+    // source_finding_ids violation fails before any other gate executes instead
+    // of throwing out of the promoter below and wedging every subsequent
+    // next-step (COR-114e4941). Same bounded re-emit as every other promotion
+    // rejection; no gate has executed past it.
+    const pathARefusals = await collectPathARefusals(ctx.artifactsDir);
+    if (pathARefusals.length > 0) {
+        return await dagRegenerationPlan(ctx, {
+            heading: "Path-A Canonical Block Join Failed",
+            blockedBody: "The implementation_dag repeatedly declares source_finding_ids that cannot be joined to a canonical audit work block:",
+            reEmitBody: `## Path-A Canonical Block Errors From the Previous Attempt
+
+Each node's source_finding_ids must name exactly one canonical audit work block, and together the nodes must cover every block exactly once. Fix every entry below:`,
+            violations: pathARefusals,
+        });
+    }
     // DAG referential integrity + bidirectional coverage (ARC-86b18f1b-2), run
     // before the traceability check so specific referential violations are
     // reported first (traceability is a superset check).
@@ -2547,25 +2604,27 @@ const phaseCutCritiqueGate = async (ctx) => {
     };
 };
 /**
- * Granularity collapse (T1 slice 4b): for low-complexity work, fold the framing
- * suffix [nextPhase..decomposition] into ONE round-trip producing several
+ * Granularity collapse (T1 slice 4b): for low-complexity work, fold the suffix
+ * [nextPhase .. end of its group] into ONE round-trip producing several
  * artifacts, instead of one gated step per phase. Reads the POST-escalation
  * riskSignal (the escalate-on-evidence intercept may have already raised the
  * tier), so the dial is never frozen at run start — `fine` for medium/high keeps
- * full per-phase isolation. Only collapses a genuine multi-phase suffix.
+ * full per-phase isolation. Only collapses a genuine multi-phase suffix, so a
+ * lone trailing member falls through to its ordinary per-phase step.
  */
-const collapsedFramingGate = (ctx) => {
+const collapsedRoundTripGate = (ctx) => {
     const phase = ctx.nextPhase;
     if (phase === null ||
-        roundTripGranularityForTier(ctx.riskSignal?.tier) !== "collapsed" ||
-        !FRAMING_COLLAPSE_GROUP.includes(phase)) {
+        roundTripGranularityForTier(ctx.riskSignal?.tier) !== "collapsed") {
         return null;
     }
-    const startIdx = FRAMING_COLLAPSE_GROUP.indexOf(phase);
-    const suffix = FRAMING_COLLAPSE_GROUP.slice(startIdx);
+    const group = COLLAPSE_GROUPS.find((g) => g.includes(phase));
+    if (!group)
+        return null;
+    const suffix = group.slice(group.indexOf(phase));
     if (suffix.length <= 1)
         return null;
-    return { via: "collapsed_framing", phases: [...suffix] };
+    return { via: "collapsed_round_trip", phases: [...suffix] };
 };
 /**
  * Skeleton-scaffolded phases (S3): the tool pre-fills structure/ids from the
@@ -2630,7 +2689,7 @@ const CONTRACT_PIPELINE_GATES = {
     pre_critic_structural: preCriticStructuralGate,
     parallel_module_wave: parallelModuleWaveGate,
     phase_cut_critique: phaseCutCritiqueGate,
-    collapsed_framing_round_trip: collapsedFramingGate,
+    collapsed_round_trip: collapsedRoundTripGate,
     scaffolded_phase: scaffoldedPhaseGate,
 };
 /**
@@ -2928,6 +2987,69 @@ export async function collectDagWriteScopeRefusals(artifactsDir, root) {
     }
     return refusals;
 }
+/**
+ * Path-A canonical-block membership validation, run BEFORE anything is promoted
+ * (OBL-seam-prep-remediate-core-inv-2 / COR-114e4941). These are exactly the
+ * checks the promoter itself performs while building its node→canonical-group
+ * map — but there they THROW out of `promoteImplementationDagToExtractedPlan`,
+ * an unclassified stack that wedged every subsequent next-step. Hoisted here so
+ * an invalid `source_finding_ids` declaration takes the same bounded re-emit as
+ * every other promotion rejection, with no gate having executed past it.
+ *
+ * Returns one line per violation; empty means the DAG is promotable on this
+ * axis (or Path A is not in play at all).
+ */
+export async function collectPathARefusals(artifactsDir) {
+    const dag = envelopePayload(await readContractArtifact(artifactsDir, "implementation_dag"));
+    const nodes = Array.isArray(dag?.nodes) ? dag.nodes : [];
+    if (nodes.length === 0)
+        return [];
+    if (!nodes.some((node) => Array.isArray(node.source_finding_ids)))
+        return [];
+    const pathASeed = await readOptionalJsonFile(pathASeedFilePath(artifactsDir));
+    const approvedSource = pathASeed
+        ? projectApprovedFindings(await readOptionalJsonFile(pathASeed.audit_findings_path))
+        : undefined;
+    if (!approvedSource) {
+        return [
+            "implementation_dag declares source_finding_ids but no Path-A seed is present, so the ids cannot be joined to a canonical audit work block.",
+        ];
+    }
+    const signature = (ids) => JSON.stringify([...ids].sort((left, right) => left.localeCompare(right)));
+    const canonicalGroups = new Map(approvedSource.workBlocks.map((block) => [
+        signature(block.finding_ids),
+        [...block.finding_ids].sort((left, right) => left.localeCompare(right)),
+    ]));
+    const usedGroups = new Set();
+    const refusals = [];
+    for (const [index, node] of nodes.entries()) {
+        const nodeId = ensureNodeId(node.id, index);
+        const sourceIds = node.source_finding_ids;
+        if (!Array.isArray(sourceIds) || sourceIds.length === 0) {
+            refusals.push(`implementation_dag node "${nodeId}" must declare source_finding_ids for Path-A promotion.`);
+            continue;
+        }
+        const uniqueIds = [...new Set(sourceIds)];
+        if (uniqueIds.length !== sourceIds.length) {
+            refusals.push(`implementation_dag node "${nodeId}" repeats a source_finding_ids member.`);
+        }
+        const groupSignature = signature(uniqueIds);
+        const canonicalGroup = canonicalGroups.get(groupSignature);
+        if (!canonicalGroup) {
+            refusals.push(`implementation_dag node "${nodeId}" source_finding_ids do not match a canonical audit work block.`);
+            continue;
+        }
+        if (usedGroups.has(groupSignature)) {
+            refusals.push(`implementation_dag node "${nodeId}" duplicates a canonical audit work block.`);
+        }
+        usedGroups.add(groupSignature);
+    }
+    if (refusals.length === 0 &&
+        usedGroups.size !== canonicalGroups.size) {
+        refusals.push("implementation_dag source_finding_ids do not cover every canonical audit work block exactly once.");
+    }
+    return refusals;
+}
 /**
  * Convert a completed ImplementationDAG into the extracted-plan.json format
  * that the existing handlePendingExtractedPlan/applyPlanPipeline path consumes.
@@ -3240,35 +3362,4 @@ export async function readContractPipelinePlanningOutputs(artifactsDir) {
         ].sort((left, right) => compareCodeUnits(left.path, right.path)),
     };
 }
-// ── Lean-path extracted plan (the `low` risk tier's plan emission) ────────────
-//
-// The heavy pipeline above derives its `extracted-plan.json` from the adversarial
-// DAG (`source: "contract_pipeline"`). The `low` risk tier skips that design loop
-// (its findings are a handful of concrete, already-grounded fixes) and emits this
-// lean sibling instead, tagged `source: "lean_fast_path"` so the two producers are
-// distinguished at the artifact level. Both rejoin the SAME plan→implement→close
-// machinery — `normalizeExtractedPlan` synthesizes one block per finding and
-// `applyPlanPipeline` merges blocks sharing a file + splits by context budget, so
-// block derivation is single-sourced, not reimplemented here. The retained safety
-// net (grounding re-pass, affected-file hash snapshot, per-node verify-before-merge,
-// final whole-repo gate) still runs; only the adversarial DESIGN loop + obligation
-// derivation are dropped. (Relocated from the retired `steps/leanFastPath.ts` — DD-21.)
-/** Source tag stamped on a lean-fast-path extracted plan (distinguishes it from `contract_pipeline`). */
-export const LEAN_FAST_PATH_SOURCE = "lean_fast_path";
-/**
- * Build the lean extracted plan from the approved findings. Blocks are
- * intentionally omitted: `normalizeExtractedPlan` synthesizes one block per
- * finding and `applyPlanPipeline` then merges blocks sharing a file + splits by
- * context budget — the same deterministic block derivation the contract pipeline
- * feeds into, single-sourced rather than reimplemented here.
- */
-export function buildLeanExtractedPlan(findings, planId) {
-    return {
-        plan_id: planId,
-        findings,
-        project_type: "unknown",
-        source: LEAN_FAST_PATH_SOURCE,
-        candidate_closing_actions: ["none"],
-    };
-}
 //# sourceMappingURL=contractPipeline.js.map