audit-tools 0.52.3 → 0.52.5

package/dist/remediate/steps/contractPipelinePrompts.js

@@ -7,7 +7,7 @@
  */
 import { DEPENDENCY_MAP } from "../contractPipeline/artifactStore.js";
 import { GOAL_ID_MAX_LENGTH } from "../contractPipeline/idRegistry.js";
-import { ASSESSMENT_FINDING_STATUSES, ASSESSMENT_VERDICTS, CONTRACT_REPAIR_TARGETS_OFFERED, CONTEXT_ENTRY_KINDS, COUNTEREXAMPLE_CLASSIFICATIONS, CRITIQUE_ITEM_KINDS, CRITIQUE_ITEM_SEVERITIES, CRITIQUE_VERDICTS, GOAL_SOURCE_TYPES, IMPLEMENTATION_EDGE_KINDS, IMPLEMENTATION_NODE_STATUSES, JUDGE_VERDICTS, OBLIGATION_KINDS, OBLIGATION_STATUSES, SEAM_RESOLUTION_DECISIONS, TEST_SPEC_KINDS, sketchValues, } from "../contractPipeline/sketchSource.js";
+import { ASSESSMENT_FINDING_STATUSES, ASSESSMENT_VERDICTS, CONTRACT_REPAIR_TARGETS_OFFERED, CONTEXT_ENTRY_KINDS, COUNTEREXAMPLE_CLASSIFICATIONS, CONCEPTUAL_CRITIQUE_REPAIR_TARGETS, CRITIQUE_ITEM_KINDS, CRITIQUE_ITEM_SEVERITIES, CRITIQUE_VERDICTS, GOAL_SOURCE_TYPES, IMPLEMENTATION_EDGE_KINDS, IMPLEMENTATION_NODE_STATUSES, JUDGE_VERDICTS, OBLIGATION_KINDS, OBLIGATION_STATUSES, SEAM_RESOLUTION_DECISIONS, TEST_SPEC_KINDS, sketchValues, } from "../contractPipeline/sketchSource.js";
 import { renderIndependentReviewMandate } from "audit-tools/shared";
 import { loaderCommand } from "./prompts.js";
 /**
@@ -184,13 +184,14 @@ export const ROLES = {
   "contract_version": "remediate-code-contract-pipeline/conceptual-design-critique/v1alpha1",
   "goal_id": "<from goal_spec>",
   "items": [{ "id": "<id>", "kind": "${sketchValues(CRITIQUE_ITEM_KINDS)}", "description": "...", "severity": "${sketchValues(CRITIQUE_ITEM_SEVERITIES)}" }],
+  "repair_target": "${sketchValues(CONCEPTUAL_CRITIQUE_REPAIR_TARGETS)}",
   "verdict": "${sketchValues(CRITIQUE_VERDICTS)}"
 }`,
-        description: "Critique the finalized module contracts: philosophy, alternatives, direction.",
+        description: "Critique the finalized module contracts and their owning module decomposition: philosophy, alternatives, direction, and declared file scope.",
         fieldRules: [
-            "Mark an item `blocking` only when the finalized contracts must change and can express the change. Mark every other item `advisory`.",
+            "For blocking interface changes, set `repair_target` to `finalized_module_contracts`. For module ownership, module-set, or `file_scope` changes, select the owning `module_decomposition` artifact; never invent these fields in finalized interfaces. Mark genuinely optional concerns `advisory`.",
         ],
-        isIndependentCritic: true,
+        reviewPolicy: { full: "independent", light: "degraded_allowed" },
     },
     test_validator_plan: {
         title: "Test and Validator Plan",
@@ -243,7 +244,7 @@ export const ROLES = {
   }]
 }`,
         description: "Adversarially attack the design: produce concrete counterexamples that falsify design invariants, obligations, or assessment claims. Each counterexample must name the claim it falsifies, concrete reproduction steps, and the obligation(s) it violates. Search hard for inputs, orderings, and edge states the design mishandles; an empty counterexamples array is only acceptable when you genuinely cannot falsify anything.",
-        isIndependentCritic: true,
+        reviewPolicy: { full: "independent", light: "degraded_allowed" },
     },
     judge: {
         title: "Adversarial Judge",
@@ -265,9 +266,9 @@ export const ROLES = {
         description: "Judge every counterexample from the critic: `accepted` (a real flaw the contract must address), `out_of_scope` (outside the goal spec), `duplicate`, `invalid` (does not falsify the claim), or `residual_risk` (real but tolerable; recorded, not repaired). The verdict is `approved` only when no accepted counterexample needs a contract repair; then omit `repair_directive`. Otherwise the verdict is `needs_repair`, and `repair_directive` names the one artifact whose rewrite addresses the accepted counterexamples.",
         fieldRules: [
             `\`repair_directive.target\` is one of ${CONTRACT_REPAIR_TARGETS_OFFERED.map((t) => `\`${t}\``).join(", ")}.`,
-            "A repair must be expressible in the target's own schema. For `finalized_module_contracts`, that is the seven interface fields, prose `seam_adjustments`, and implementation order only as `artifact:<name>` tokens in `inputs` and `outputs`, with the module set kept. A counterexample whose remedy needs anything else (a new schema field, a new module, structured per-block data) is `residual_risk`, not `accepted`.",
+            "A repair must be expressible in the target's own schema. For `finalized_module_contracts`, that is the seven interface fields, prose `seam_adjustments`, and implementation order only as `artifact:<name>` tokens in `inputs` and `outputs`, with the module set kept. For module ownership, a new module, or `file_scope`, target `module_decomposition`; downstream contracts and obligations are re-derived by the tool. Never invent unsupported schema fields or classify an otherwise blocking defect as tolerated merely because its fix belongs upstream.",
         ],
-        isIndependentCritic: true,
+        reviewPolicy: { full: "independent", light: "independent" },
     },
     implementation_planning: {
         title: "Implementation Planning (DAG)",
@@ -301,7 +302,7 @@ export const ROLES = {
 };
 /**
  * Phases whose value is adversarial independence — the reviewer must NOT be the
- * author of the design under review. Derived from ROLES' isIndependentCritic flag
+ * author of the design under review. Declared in ROLES' explicit reviewPolicy
  * so the set is always in sync with the phase definitions and never hand-maintained.
  *
  * Currently includes 'critique' (conceptual design critique), 'critic' (counterexample search), and
@@ -310,40 +311,35 @@ export const ROLES = {
  * adjudication is only worth anything from an independent reviewer; memory:
  * delegate the judge too). The 'assessment' phase is the author's OWN coverage
  * self-assessment (not an adversarial review of someone else's work), so it is
- * intentionally excluded (isIndependentCritic is not set).
+ * intentionally excluded (no review policy).
  */
-function getIndependentCriticPhases() {
-    const phases = new Set();
-    for (const [roleName, role] of Object.entries(ROLES)) {
-        if (role.isIndependentCritic) {
-            phases.add(roleName);
-        }
-    }
-    return phases;
+export function reviewRequirementForRole(role, depth) {
+    const policy = ROLES[role]?.reviewPolicy;
+    return policy ? policy[depth === "light" ? "light" : "full"] : "ordinary";
 }
-const INDEPENDENT_CRITIC_PHASES = getIndependentCriticPhases();
 /**
  * Render the independent-review directive for an adversarial review phase.
  *
  * Depth-gated (T1 slice 3): when `adversarialDepth` is `light` (a low-risk run),
  * the phase runs as a lightweight inline self-check — the floor, never skipped.
- * Otherwise (`full`, the fail-safe default) it requires an INDEPENDENT CONTEXT
- * (no shared authorship), degrading to an explicit inline-self-review
- * instruction the host can honestly take. Empty for any non-adversarial phase.
+ * Full review and the final judge require an INDEPENDENT CONTEXT. Only the
+ * explicit light critique/critic policy permits declared self-review. Empty
+ * for any non-adversarial phase.
  *
  * The mandate text itself is single-sourced in `audit-tools/shared`
  * (`renderIndependentReviewMandate`) and states the NEED, not a mechanism —
  * read that function's header before rewording anything here.
  */
 function renderIndependentCriticDirective(role, adversarialDepth) {
-    if (!INDEPENDENT_CRITIC_PHASES.has(role))
+    const requirement = reviewRequirementForRole(role, adversarialDepth);
+    if (requirement === "ordinary")
         return "";
     // LANE-CLASS-conditional, never capability-conditional (design resolution 2,
     // gate-resolved 2026-08-05): the shared mandate text carries both the
     // independent-context requirement and the explicitly-degraded fallback in one
     // capability-neutral form. Depth stays a policy axis: light (low-risk floor)
     // keeps its proportionate inline self-check.
-    return renderIndependentReviewMandate(adversarialDepth === "light" ? "light" : "full");
+    return renderIndependentReviewMandate(adversarialDepth === "light" ? "light" : "full", requirement);
 }
 /**
  * The `## Field Rules` section, or nothing when a role has no enforced rule.
@@ -405,8 +401,9 @@ export function renderContractPipelinePrompt(input) {
         throw new Error(`Contract-pipeline role "${input.role}" requires output artifact path for "${role.outputKey}" but it was not provided.`);
     }
     const inputSections = requiredInputKeys.map((key) => {
-        const path = input.artifactPaths[key];
-        return `- \`${path}\` (${key})`;
+        const canonical = input.artifactReadPaths?.[key];
+        const path = canonical ?? input.artifactPaths[key];
+        return `- \`${path}\` (${key}${input.artifactReadPaths ? canonical ? "; canonical envelope: read payload" : "; staged raw domain artifact" : ""})`;
     });
     const sourceSections = input.sourcePaths && input.sourcePaths.length > 0
         ? `\n## Source Inputs\n\n${input.sourcePaths.map((p) => `- \`${p}\``).join("\n")}\n`
@@ -424,6 +421,7 @@ ${role.description}
 ${renderCwdNote(input.repoRoot)}${independentCriticDirective}
 ## Required Inputs
 ${inputSections.length > 0 ? inputSections.join("\n") : "_No artifact inputs required for this role._"}
+${input.artifactReadPaths ? "For inputs marked canonical, read the `payload` field as domain data; review provenance is metadata. Inputs marked staged are raw artifacts authored earlier in this same round trip. Do not edit canonical files." : ""}
 ${sourceSections}${pathASeedSection}
 ## What You May Read
 
@@ -502,7 +500,7 @@ export const CONTRACT_PIPELINE_PHASE_ORDER = Object.keys(PHASE_TO_ARTIFACT);
  */
 const REPAIR_TRIGGER_CONTRACT = {
     judge: {
-        lead: (target) => `The adversarial judge rejected the current contract. Rewrite \`${target}\` in full so that it addresses every accepted counterexample.`,
+        lead: (target) => `The adversarial judge rejected the current contract. Make targeted edits to \`${target}\` so that it addresses every accepted counterexample.`,
         instructionHeading: "Judge Instruction",
         requiredInputs: [
             "goal_spec",
@@ -515,7 +513,7 @@ const REPAIR_TRIGGER_CONTRACT = {
         readingNote: "the accepted counterexamples in the judge report's classifications",
     },
     critique: {
-        lead: (target) => `The conceptual design critique raised blocking concerns. Rewrite \`${target}\` in full so that no blocking concern still applies.`,
+        lead: (target) => `The conceptual design critique raised blocking concerns. Make targeted edits to \`${target}\` so that no blocking concern still applies.`,
         instructionHeading: "Blocking Concerns",
         // The critique gate runs BEFORE any downstream artifact is derived, so the
         // judge-side artifacts do not exist yet. Listing them is what sent workers
@@ -535,13 +533,14 @@ const REPAIR_TRIGGER_CONTRACT = {
  * set of rules from one place.
  */
 const REPAIR_TARGET_ROLE = {
+    module_decomposition: ROLES.decomposition,
     finalized_module_contracts: ROLES.contract_finalization,
     obligation_ledger: ROLES.obligation_ledger,
     contract_assessment_report: ROLES.assessment,
 };
 /**
- * Render the bounded repair step for a failing gate: rewrite the named contract
- * artifact in full, addressing the gate's instruction. The worker edits only the
+ * Render the bounded repair step for a failing gate: targeted edits to the named
+ * artifact, serialized as complete JSON. The worker edits only the
  * target; the pipeline brings every later artifact back on its own.
  */
 export function renderContractRepairPrompt(input) {
@@ -550,7 +549,9 @@ export function renderContractRepairPrompt(input) {
         throw new Error(`Contract repair requires an artifact path for "${input.target}" but it was not provided.`);
     }
     const contract = REPAIR_TRIGGER_CONTRACT[input.trigger];
-    const requiredInputs = contract.requiredInputs;
+    const requiredInputs = input.target === "module_decomposition"
+        ? [...new Set([...contract.requiredInputs, "context_bundle", "module_decomposition"])]
+        : contract.requiredInputs;
     for (const key of requiredInputs) {
         if (!input.artifactPaths[key]) {
             throw new Error(`Contract repair (${input.trigger}) requires artifact path for "${key}" but it was not provided.`);
@@ -567,11 +568,12 @@ ${input.instruction}
 
 ## Required Inputs
 
-${requiredInputs.map((key) => `- \`${input.artifactPaths[key]}\` (${key})`).join("\n")}
+${requiredInputs.map((key) => `- \`${(input.artifactReadPaths ?? input.artifactPaths)[key]}\` (${key})`).join("\n")}
+${input.artifactReadPaths ? "Read the `payload` field of each canonical input envelope as its domain artifact; do not edit the canonical files." : ""}
 
 ## Your Task
 
-Read the inputs above. Attend to ${contract.readingNote}. Write the complete artifact, not a diff, to exactly:
+Read the inputs above. Attend to ${contract.readingNote}. Apply targeted edits; preserve the canonical goal identity and every untouched module/obligation identity. Do not regenerate or collapse the existing module set when repairing finalized interfaces. Serialize the complete updated JSON, not a diff, to exactly:
 
 \`${outputPath}\`
 

package/dist/remediate/steps/contractPipelinePrompts.js.map

@@ -1 +1 @@
-{"version":3,"file":"contractPipelinePrompts.js","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipelinePrompts.ts"],"names":[],"mappings":"AAAA,uKAAuK;AACvK;;;;;GAKG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,mBAAmB,EACnB,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,EACjB,yBAAyB,EACzB,4BAA4B,EAC5B,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,YAAY,GACb,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA8C7C;;;;;;GAMG;AACH,MAAM,sBAAsB,GAC1B,iTAAiT,CAAC;AAEpT,MAAM,CAAC,MAAM,KAAK,GAAyC;IACzD,kBAAkB,EAAE;QAClB,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,WAAW;QACtB,YAAY,EAAE;;;;;;oBAME,YAAY,CAAC,iBAAiB,CAAC;EACjD;QACE,WAAW,EAAE,sDAAsD;QACnE,UAAU,EAAE;YACV,4HAA4H,kBAAkB,cAAc;SAC7J;QACD,SAAS,EAAE,uCAAuC;KACnD;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE;;;sDAGoC,YAAY,CAAC,mBAAmB,CAAC;;EAErF;QACE,WAAW,EACT,uFAAuF;QACzF,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,SAAS,EAAE,+BAA+B;QAC1C,SAAS,EAAE,yCAAyC;KACrD;IACD,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,SAAS,EAAE,sBAAsB;QACjC,YAAY,EAAE;;;;;;;;;;EAUhB;QACE,WAAW,EACT,sUAAsU;QACxU,UAAU,EAAE;YACV,sIAAsI;YACtI,mDAAmD;YACnD,8HAA8H;SAC/H;QACD,SAAS,EAAE,4CAA4C;QACvD,SAAS,EAAE,+CAA+C;KAC3D;IACD,wBAAwB,EAAE;QACxB,KAAK,EAAE,8BAA8B;QACrC,SAAS,EAAE,kBAAkB;QAC7B,YAAY,EAAE;;;;;;;;;;;;;;;;EAgBhB;QACE,WAAW,EACT,6KAA6K;QAC/K,UAAU,EAAE;YACV,wDAAwD;YACxD,uCAAuC;YACvC,wGAAwG;SACzG;QACD,SAAS,EAAE,6BAA6B;QACxC,SAAS,EAAE,qCAAqC;KACjD;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;2CASyB,YAAY,CAAC,yBAAyB,CAAC;;;;EAIhF;QACE,WAAW,EACT,qNAAqN;QACvN,UAAU,EAAE;YACV,6EAA6E;SAC9E;KACF;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,kCAAkC;QACzC,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;;;;;EAahB;QACE,WAAW,EACT,wWAAwW;QAC1W,UAAU,EAAE;YACV,gGAAgG;YAChG,uCAAuC;YACvC,0BAA0B;SAC3B;KACF;IACD,6DAA6D;IAC7D,4EAA4E;IAC5E,uEAAuE;IACvE,0DAA0D;IAC1D,iBAAiB,EAAE;QACjB,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,YAAY,EAAE;;;;;;eAMH,YAAY,CAAC,gBAAgB,CAAC;;iBAE5B,YAAY,CAAC,mBAAmB,CAAC;;;;;EAKhD;QACE,WAAW,EAAE,oEAAoE;QACjF,UAAU,EAAE;YACV,kKAAkK;YAClK,qRAAqR;YACrR,sGAAsG;YACtG,2GAA2G;SAC5G;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,4BAA4B;QACnC,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;uCAGqB,YAAY,CAAC,mBAAmB,CAAC,yCAAyC,YAAY,CAAC,wBAAwB,CAAC;gBACvI,YAAY,CAAC,iBAAiB,CAAC;EAC7C;QACE,WAAW,EACT,+EAA+E;QACjF,UAAU,EAAE;YACV,qIAAqI;SACtI;QACD,mBAAmB,EAAE,IAAI;KAC1B;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,yBAAyB;QAChC,SAAS,EAAE,qBAAqB;QAChC,YAAY,EAAE;;;;;;eAMH,YAAY,CAAC,eAAe,CAAC;;;;;;;EAO1C;QACE,WAAW,EACT,6NAA6N;QAC/N,UAAU,EAAE;YACV,2RAA2R;YAC3R,+HAA+H;SAChI;KACF;IACD,UAAU,EAAE;QACV,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;uDAGqC,YAAY,CAAC,2BAA2B,CAAC;gBAChF,YAAY,CAAC,mBAAmB,CAAC;EAC/C;QACE,WAAW,EACT,4EAA4E;QAC9E,UAAU,EAAE,CAAC,yDAAyD,CAAC;KACxE;IACD,MAAM,EAAE;QACN,KAAK,EAAE,4CAA4C;QACnD,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE;;;;;;;;;;;EAWhB;QACE,WAAW,EACT,oaAAoa;QACta,mBAAmB,EAAE,IAAI;KAC1B;IACD,KAAK,EAAE;QACL,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE;;;gBAGF,YAAY,CAAC,cAAc,CAAC;;;yBAGnB,YAAY,CAAC,8BAA8B,CAAC;;;;iBAIpD,YAAY,CAAC,+BAA+B,CAAC;;;EAG5D;QACE,WAAW,EACT,kgBAAkgB;QACpgB,UAAU,EAAE;YACV,yCAAyC,+BAA+B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC7G,6ZAA6Z;SAC9Z;QACD,mBAAmB,EAAE,IAAI;KAC1B;IACD,uBAAuB,EAAE;QACvB,KAAK,EAAE,+BAA+B;QACtC,SAAS,EAAE,oBAAoB;QAC/B,YAAY,EAAE;;;;;;;;;;;;;;iBAcD,YAAY,CAAC,4BAA4B,CAAC;;uDAEJ,YAAY,CAAC,yBAAyB,CAAC;EAC5F;QACE,WAAW,EAAE,kEAAkE;QAC/E,UAAU,EAAE;YACV,+KAA+K;YAC/K,iGAAiG;YACjG,sMAAsM;YACtM,sBAAsB;SACvB;KACF;CACF,CAAC;AA4BF;;;;;;;;;;;;GAYG;AACH,SAAS,0BAA0B;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,yBAAyB,GAAG,0BAA0B,EAAE,CAAC;AAE/D;;;;;;;;;;;;GAYG;AACH,SAAS,gCAAgC,CACvC,IAAY,EACZ,gBAA8C;IAE9C,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,6EAA6E;IAC7E,sEAAsE;IACtE,8EAA8E;IAC9E,6EAA6E;IAC7E,6CAA6C;IAC7C,OAAO,8BAA8B,CACnC,gBAAgB,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAChD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,KAAoC;IAC5D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,OAAO,uBAAuB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAChF,CAAC;AAED,kDAAkD;AAClD,SAAS,eAAe,CACtB,SAAuC,EACvC,UAAkB,EAClB,QAA4B;IAE5B,OAAO;;;IAGL,aAAa,CACb,4BAA4B,SAAS,WAAW,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACrG;;;CAGF,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,QAA4B;IACjD,OAAO,QAAQ;QACb,CAAC,CAAC,iDAAiD,QAAQ,mCAAmC;QAC9F,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAQD;;;;;;;;;;;GAWG;AACH,SAAS,oBAAoB,CAC3B,IAA0B;IAE1B,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAkC;IAElC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CACb,oCAAoC,KAAK,CAAC,IAAI,mBAAmB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAClG,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAErD,4BAA4B;IAC5B,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,CAAC,IAAI,iCAAiC,GAAG,4BAA4B,CACtG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,CAAC,IAAI,wCAAwC,IAAI,CAAC,SAAS,4BAA4B,CACxH,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAE,CAAC;QACvC,OAAO,OAAO,IAAI,OAAO,GAAG,GAAG,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAClB,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC/C,CAAC,CAAC,yBAAyB,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACpF,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,gBAAgB,GACpB,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,SAAS;QACnC,CAAC,CAAC,iCAAiC,KAAK,CAAC,aAAa,sBAAsB,IAAI,CAAC,SAAS,IAAI;QAC9F,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS;QAC9B,CAAC,CAAC,4DAA4D,IAAI,CAAC,SAAS,GAAG;QAC/E,CAAC,CAAC,gDAAgD,CAAC;IAErD,MAAM,0BAA0B,GAAG,gCAAgC,CACjE,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,KAAK;;EAE9B,IAAI,CAAC,WAAW;EAChB,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,0BAA0B;;EAE1D,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,8CAA8C;EACpG,cAAc,GAAG,gBAAgB;;;EAGjC,SAAS;;;;;;IAMP,UAAU;;;;;EAKZ,IAAI,CAAC,YAAY;;EAEjB,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;;CAEhG,CAAC;IAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAiD;IAC7E,kBAAkB,EAAE,WAAW;IAC/B,kBAAkB,EAAE,gBAAgB;IACpC,aAAa,EAAE,sBAAsB;IACrC,wBAAwB,EAAE,kBAAkB;IAC5C,mBAAmB,EAAE,4BAA4B;IACjD,qBAAqB,EAAE,4BAA4B;IACnD,QAAQ,EAAE,4BAA4B;IACtC,iBAAiB,EAAE,mBAAmB;IACtC,sBAAsB,EAAE,wBAAwB;IAChD,mBAAmB,EAAE,qBAAqB;IAC1C,UAAU,EAAE,4BAA4B;IACxC,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,cAAc;IACrB,uBAAuB,EAAE,oBAAoB;CAC9C,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AAwBtF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,uBAAuB,GAYzB;IACF,KAAK,EAAE;QACL,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,kEAAkE,MAAM,gEAAgE;QAC1I,kBAAkB,EAAE,mBAAmB;QACvC,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,mBAAmB;YACnB,4BAA4B;YAC5B,gBAAgB;YAChB,cAAc;SACf;QACD,WAAW,EAAE,oEAAoE;KAClF;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,sEAAsE,MAAM,uDAAuD;QACrI,kBAAkB,EAAE,mBAAmB;QACvC,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,4BAA4B;SAC7B;QACD,WAAW,EAAE,yDAAyD;KACvE;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,kBAAkB,GAAsE;IAC5F,0BAA0B,EAAE,KAAK,CAAC,qBAAqB;IACvD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;IAC1C,0BAA0B,EAAE,KAAK,CAAC,UAAU;CAC7C,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAgC;IAEhC,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,kDAAkD,KAAK,CAAC,MAAM,4BAA4B,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,oBAAoB,KAAK,CAAC,OAAO,iCAAiC,GAAG,4BAA4B,CAClG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,sBAAsB,KAAK,CAAC,MAAM;;EAEjD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;EAC3B,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;KAC1B,QAAQ,CAAC,kBAAkB;;EAE9B,KAAK,CAAC,WAAW;;;;EAIjB,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;;mCAInD,QAAQ,CAAC,WAAW;;IAEnD,UAAU;;;;;EAKZ,IAAI,CAAC,YAAY;;EAEjB,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;;CAE9F,CAAC;IAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"contractPipelinePrompts.js","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipelinePrompts.ts"],"names":[],"mappings":"AAEA,uKAAuK;AACvK;;;;;GAKG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,kCAAkC,EAClC,mBAAmB,EACnB,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,EACjB,yBAAyB,EACzB,4BAA4B,EAC5B,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,YAAY,GACb,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA8C7C;;;;;;GAMG;AACH,MAAM,sBAAsB,GAC1B,iTAAiT,CAAC;AAEpT,MAAM,CAAC,MAAM,KAAK,GAAyC;IACzD,kBAAkB,EAAE;QAClB,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,WAAW;QACtB,YAAY,EAAE;;;;;;oBAME,YAAY,CAAC,iBAAiB,CAAC;EACjD;QACE,WAAW,EAAE,sDAAsD;QACnE,UAAU,EAAE;YACV,4HAA4H,kBAAkB,cAAc;SAC7J;QACD,SAAS,EAAE,uCAAuC;KACnD;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE;;;sDAGoC,YAAY,CAAC,mBAAmB,CAAC;;EAErF;QACE,WAAW,EACT,uFAAuF;QACzF,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,SAAS,EAAE,+BAA+B;QAC1C,SAAS,EAAE,yCAAyC;KACrD;IACD,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,SAAS,EAAE,sBAAsB;QACjC,YAAY,EAAE;;;;;;;;;;EAUhB;QACE,WAAW,EACT,sUAAsU;QACxU,UAAU,EAAE;YACV,sIAAsI;YACtI,mDAAmD;YACnD,8HAA8H;SAC/H;QACD,SAAS,EAAE,4CAA4C;QACvD,SAAS,EAAE,+CAA+C;KAC3D;IACD,wBAAwB,EAAE;QACxB,KAAK,EAAE,8BAA8B;QACrC,SAAS,EAAE,kBAAkB;QAC7B,YAAY,EAAE;;;;;;;;;;;;;;;;EAgBhB;QACE,WAAW,EACT,6KAA6K;QAC/K,UAAU,EAAE;YACV,wDAAwD;YACxD,uCAAuC;YACvC,wGAAwG;SACzG;QACD,SAAS,EAAE,6BAA6B;QACxC,SAAS,EAAE,qCAAqC;KACjD;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;2CASyB,YAAY,CAAC,yBAAyB,CAAC;;;;EAIhF;QACE,WAAW,EACT,qNAAqN;QACvN,UAAU,EAAE;YACV,6EAA6E;SAC9E;KACF;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,kCAAkC;QACzC,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;;;;;EAahB;QACE,WAAW,EACT,wWAAwW;QAC1W,UAAU,EAAE;YACV,gGAAgG;YAChG,uCAAuC;YACvC,0BAA0B;SAC3B;KACF;IACD,6DAA6D;IAC7D,4EAA4E;IAC5E,uEAAuE;IACvE,0DAA0D;IAC1D,iBAAiB,EAAE;QACjB,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,YAAY,EAAE;;;;;;eAMH,YAAY,CAAC,gBAAgB,CAAC;;iBAE5B,YAAY,CAAC,mBAAmB,CAAC;;;;;EAKhD;QACE,WAAW,EAAE,oEAAoE;QACjF,UAAU,EAAE;YACV,kKAAkK;YAClK,qRAAqR;YACrR,sGAAsG;YACtG,2GAA2G;SAC5G;KACF;IACD,QAAQ,EAAE;QACR,KAAK,EAAE,4BAA4B;QACnC,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;uCAGqB,YAAY,CAAC,mBAAmB,CAAC,yCAAyC,YAAY,CAAC,wBAAwB,CAAC;sBACjI,YAAY,CAAC,kCAAkC,CAAC;gBACtD,YAAY,CAAC,iBAAiB,CAAC;EAC7C;QACE,WAAW,EACT,8IAA8I;QAChJ,UAAU,EAAE;YACV,oSAAoS;SACrS;QACD,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,kBAAkB,EAAE;KACjE;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,yBAAyB;QAChC,SAAS,EAAE,qBAAqB;QAChC,YAAY,EAAE;;;;;;eAMH,YAAY,CAAC,eAAe,CAAC;;;;;;;EAO1C;QACE,WAAW,EACT,6NAA6N;QAC/N,UAAU,EAAE;YACV,2RAA2R;YAC3R,+HAA+H;SAChI;KACF;IACD,UAAU,EAAE;QACV,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;uDAGqC,YAAY,CAAC,2BAA2B,CAAC;gBAChF,YAAY,CAAC,mBAAmB,CAAC;EAC/C;QACE,WAAW,EACT,4EAA4E;QAC9E,UAAU,EAAE,CAAC,yDAAyD,CAAC;KACxE;IACD,MAAM,EAAE;QACN,KAAK,EAAE,4CAA4C;QACnD,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE;;;;;;;;;;;EAWhB;QACE,WAAW,EACT,oaAAoa;QACta,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,kBAAkB,EAAE;KACjE;IACD,KAAK,EAAE;QACL,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE;;;gBAGF,YAAY,CAAC,cAAc,CAAC;;;yBAGnB,YAAY,CAAC,8BAA8B,CAAC;;;;iBAIpD,YAAY,CAAC,+BAA+B,CAAC;;;EAG5D;QACE,WAAW,EACT,kgBAAkgB;QACpgB,UAAU,EAAE;YACV,yCAAyC,+BAA+B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC7G,oiBAAoiB;SACriB;QACD,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE;KAC5D;IACD,uBAAuB,EAAE;QACvB,KAAK,EAAE,+BAA+B;QACtC,SAAS,EAAE,oBAAoB;QAC/B,YAAY,EAAE;;;;;;;;;;;;;;iBAcD,YAAY,CAAC,4BAA4B,CAAC;;uDAEJ,YAAY,CAAC,yBAAyB,CAAC;EAC5F;QACE,WAAW,EAAE,kEAAkE;QAC/E,UAAU,EAAE;YACV,+KAA+K;YAC/K,iGAAiG;YACjG,sMAAsM;YACtM,sBAAsB;SACvB;KACF;CACF,CAAC;AA8BF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,KAAwB;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IACzC,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,gCAAgC,CACvC,IAAY,EACZ,gBAA8C;IAE9C,MAAM,WAAW,GAAG,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACrE,IAAI,WAAW,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IAC1C,6EAA6E;IAC7E,sEAAsE;IACtE,8EAA8E;IAC9E,6EAA6E;IAC7E,6CAA6C;IAC7C,OAAO,8BAA8B,CACnC,gBAAgB,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAC/C,WAAW,CACZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,KAAoC;IAC5D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,OAAO,uBAAuB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAChF,CAAC;AAED,kDAAkD;AAClD,SAAS,eAAe,CACtB,SAAuC,EACvC,UAAkB,EAClB,QAA4B;IAE5B,OAAO;;;IAGL,aAAa,CACb,4BAA4B,SAAS,WAAW,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACrG;;;CAGF,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,QAA4B;IACjD,OAAO,QAAQ;QACb,CAAC,CAAC,iDAAiD,QAAQ,mCAAmC;QAC9F,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAQD;;;;;;;;;;;GAWG;AACH,SAAS,oBAAoB,CAC3B,IAA0B;IAE1B,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACxC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAkC;IAElC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CACb,oCAAoC,KAAK,CAAC,IAAI,mBAAmB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAClG,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAErD,4BAA4B;IAC5B,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,CAAC,IAAI,iCAAiC,GAAG,4BAA4B,CACtG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,2BAA2B,KAAK,CAAC,IAAI,wCAAwC,IAAI,CAAC,SAAS,4BAA4B,CACxH,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,MAAM,SAAS,GAAG,KAAK,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,GAAG,CAAE,CAAC;QACpD,OAAO,OAAO,IAAI,OAAO,GAAG,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;IACrJ,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAClB,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC/C,CAAC,CAAC,yBAAyB,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACpF,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,gBAAgB,GACpB,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,SAAS;QACnC,CAAC,CAAC,iCAAiC,KAAK,CAAC,aAAa,sBAAsB,IAAI,CAAC,SAAS,IAAI;QAC9F,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS;QAC9B,CAAC,CAAC,4DAA4D,IAAI,CAAC,SAAS,GAAG;QAC/E,CAAC,CAAC,gDAAgD,CAAC;IAErD,MAAM,0BAA0B,GAAG,gCAAgC,CACjE,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC;IAEF,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,KAAK;;EAE9B,IAAI,CAAC,WAAW;EAChB,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,0BAA0B;;EAE1D,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,8CAA8C;EACpG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,oNAAoN,CAAC,CAAC,CAAC,EAAE;EACnP,cAAc,GAAG,gBAAgB;;;EAGjC,SAAS;;;;;;IAMP,UAAU;;;;;EAKZ,IAAI,CAAC,YAAY;;EAEjB,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;;CAEhG,CAAC;IAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAiD;IAC7E,kBAAkB,EAAE,WAAW;IAC/B,kBAAkB,EAAE,gBAAgB;IACpC,aAAa,EAAE,sBAAsB;IACrC,wBAAwB,EAAE,kBAAkB;IAC5C,mBAAmB,EAAE,4BAA4B;IACjD,qBAAqB,EAAE,4BAA4B;IACnD,QAAQ,EAAE,4BAA4B;IACtC,iBAAiB,EAAE,mBAAmB;IACtC,sBAAsB,EAAE,wBAAwB;IAChD,mBAAmB,EAAE,qBAAqB;IAC1C,UAAU,EAAE,4BAA4B;IACxC,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,cAAc;IACrB,uBAAuB,EAAE,oBAAoB;CAC9C,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AA0BtF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,uBAAuB,GAYzB;IACF,KAAK,EAAE;QACL,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,iFAAiF,MAAM,wDAAwD;QACjJ,kBAAkB,EAAE,mBAAmB;QACvC,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,mBAAmB;YACnB,4BAA4B;YAC5B,gBAAgB;YAChB,cAAc;SACf;QACD,WAAW,EAAE,oEAAoE;KAClF;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,qFAAqF,MAAM,+CAA+C;QAC5I,kBAAkB,EAAE,mBAAmB;QACvC,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,4BAA4B;SAC7B;QACD,WAAW,EAAE,yDAAyD;KACvE;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,kBAAkB,GAAsE;IAC5F,oBAAoB,EAAE,KAAK,CAAC,aAAa;IACzC,0BAA0B,EAAE,KAAK,CAAC,qBAAqB;IACvD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;IAC1C,0BAA0B,EAAE,KAAK,CAAC,UAAU;CAC7C,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,KAAgC;IAEhC,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,kDAAkD,KAAK,CAAC,MAAM,4BAA4B,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,KAAK,sBAAsB;QAC5D,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,gBAAgB,EAAE,sBAAsB,CAAU,CAAC,CAAC;QAC/F,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CACb,oBAAoB,KAAK,CAAC,OAAO,iCAAiC,GAAG,4BAA4B,CAClG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,sBAAsB,KAAK,CAAC,MAAM;;EAEjD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;EAC3B,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;KAC1B,QAAQ,CAAC,kBAAkB;;EAE9B,KAAK,CAAC,WAAW;;;;EAIjB,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;EACjH,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,oHAAoH,CAAC,CAAC,CAAC,EAAE;;;;mCAIlH,QAAQ,CAAC,WAAW;;IAEnD,UAAU;;;;;EAKZ,IAAI,CAAC,YAAY;;EAEjB,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC;;CAE9F,CAAC;IAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC"}

package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts

@@ -0,0 +1,31 @@
+import type { ConformanceReviewIssueCode } from "./hostContracts.js";
+import { type AcceptedConformanceReview } from "../../../shared/types/reviewIndependence.js";
+import type { RemediationHostResult, RemediationHostDecision, RemediationHostWorkItem } from "./hostContracts.js";
+export declare function conformanceReviewPaths(artifactsDir: string, runId: string, itemId: string): {
+    request: string;
+    response: string;
+};
+export interface ConformanceReviewIssue {
+    code: ConformanceReviewIssueCode;
+    work_item_id: string;
+    result_path: string;
+    review_request_path: string;
+    message: string;
+}
+export type ConformanceReviewCheck = {
+    ok: true;
+    receipt?: AcceptedConformanceReview;
+} | {
+    ok: false;
+    issue: ConformanceReviewIssue;
+};
+/** Called only AFTER mechanical result, obligation, commit, scope and test checks pass. */
+export declare function checkContractConformance(params: {
+    root: string;
+    artifactsDir: string;
+    runId: string;
+    item: RemediationHostWorkItem;
+    result: RemediationHostResult | RemediationHostDecision;
+    contracts: readonly unknown[];
+}): Promise<ConformanceReviewCheck>;
+//# sourceMappingURL=contractConformanceReview.d.ts.map

package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractConformanceReview.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/contractConformanceReview.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAQrE,OAAO,EAAqF,KAAK,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAChL,OAAO,KAAK,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAgBlH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAIjI;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,0BAA0B,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,sBAAsB,GAC9B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,yBAAyB,CAAA;CAAE,GACjD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAEjD,2FAA2F;AAC3F,wBAAsB,wBAAwB,CAAC,MAAM,EAAE;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,uBAAuB,CAAC;IAC9B,MAAM,EAAE,qBAAqB,GAAG,uBAAuB,CAAC;IACxD,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CAC/B,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAmElC"}

package/dist/remediate/steps/dispatch/contractConformanceReview.js

@@ -0,0 +1,98 @@
+import { readSubmissionDocument } from "../../../shared/submission/submissionClassifier.js";
+import { join, resolve } from "node:path";
+import { z } from "zod";
+import { hashContent } from "../../../shared/hash.js";
+import { headCommit } from "../../../shared/git.js";
+import { stableStringify } from "../../../shared/stableStringify.js";
+import { writeJsonFile } from "../../../shared/io/json.js";
+import { ReviewDeclarationSchema, reviewIndependenceIssue, AcceptedConformanceReviewSchema } from "../../../shared/types/reviewIndependence.js";
+const ConformanceResponseSchema = z.object({
+    schema_version: z.literal("contract-conformance-review/v1"),
+    binding: z.string().regex(/^[0-9a-f]{64}$/u),
+    declaration: ReviewDeclarationSchema,
+    verdict: z.enum(["pass", "insufficient"]),
+    summary: z.string().trim().min(1),
+    obligations: z.array(z.object({
+        obligation_id: z.string().min(1),
+        verdict: z.enum(["satisfied", "insufficient"]),
+        evidence: z.array(z.string().trim().min(1)).min(1),
+    }).strict()),
+}).strict();
+const digest = (value) => hashContent(stableStringify(value));
+export function conformanceReviewPaths(artifactsDir, runId, itemId) {
+    const stem = digest({ run_id: runId, work_item_id: itemId });
+    const dir = join(artifactsDir, "conformance-review");
+    return { request: join(dir, `${stem}.request.json`), response: join(dir, `${stem}.response.json`) };
+}
+/** Called only AFTER mechanical result, obligation, commit, scope and test checks pass. */
+export async function checkContractConformance(params) {
+    const paths = conformanceReviewPaths(params.artifactsDir, params.runId, params.item.id);
+    const verifiedHead = "outcome" in params.result ? await headCommit(params.root) : undefined;
+    const content = {
+        repository_root: params.root,
+        run_id: params.runId,
+        work_item_id: params.item.id,
+        baseline_commit: params.item.baseline_commit,
+        ...(verifiedHead ? { verified_head: verifiedHead } : {}),
+        prompt_sha256: params.item.prompt.sha256,
+        obligation_ids: params.item.obligation_ids,
+        module_contracts: params.contracts,
+        result: params.result,
+    };
+    const binding = digest(content);
+    const request = {
+        schema_version: "contract-conformance-request/v1",
+        binding,
+        review_requirement: "independent",
+        content,
+        response_path: paths.response,
+        instructions: [
+            "Review the result's obligation evidence against every carried module contract in an independent context that did not author the implementation and cannot see its author's reasoning.",
+            `Inspect the cited source and tests at ${verifiedHead ? "the verified_head commit" : "the landed commit"}. Do not accept a citation merely because it exists; explain how it satisfies the obligation and the relevant contract.`,
+            "Do not edit source, contracts, or the implementation result. Return one evidence-backed verdict per exact obligation id.",
+            "Independence is a host declaration, not mechanically proven identity. If an independent context is unavailable, declare unavailable; self-review/degraded mode cannot satisfy this required lane.",
+            "Use verdict insufficient with actionable missing evidence when the result or implementation needs repair. Write only the response file; the conversation host owns continuation.",
+        ],
+        response_template: {
+            schema_version: "contract-conformance-review/v1", binding,
+            declaration: { mode: "independent", reason: "<how this context is independent of authorship>" },
+            verdict: "pass", summary: "<evidence-based conclusion>",
+            obligations: params.item.obligation_ids.map(obligation_id => ({ obligation_id, verdict: "satisfied", evidence: ["<specific source/test evidence and why it suffices>"] })),
+        },
+    };
+    const existing = await readSubmissionDocument(paths.request);
+    if (stableStringify(existing.kind === "value" ? existing.value : null) !== stableStringify(request))
+        await writeJsonFile(paths.request, request);
+    const issue = (code, message) => ({ ok: false, issue: {
+            code, work_item_id: params.item.id, result_path: paths.response, review_request_path: paths.request, message,
+        } });
+    const raw = await readSubmissionDocument(paths.response);
+    const response = ConformanceResponseSchema.safeParse(raw.kind === "value" ? raw.value : undefined);
+    if (!response.success || response.data.binding !== binding) {
+        return issue("conformance_review_required", `Independent contract conformance review required for ${params.item.id}. Read ${paths.request}; write the bound response to ${paths.response}. A missing, invalid or stale review cannot authorize acceptance.`);
+    }
+    const review = response.data;
+    const independence = reviewIndependenceIssue("independent", review.declaration);
+    if (independence)
+        return issue("conformance_review_unavailable", independence);
+    const ids = review.obligations.map(entry => entry.obligation_id);
+    if (ids.length !== new Set(ids).size || ids.length !== params.item.obligation_ids.length || ids.some(id => !params.item.obligation_ids.includes(id))) {
+        return issue("conformance_review_required", "The review must assess every bound obligation exactly once, with no extra ids; correct the review response.");
+    }
+    if (review.verdict !== "pass" || review.obligations.some(entry => entry.verdict !== "satisfied")) {
+        return issue("conformance_review_insufficient", `Repair the implementation or its obligation evidence, then obtain a fresh bound review: ${review.summary}`);
+    }
+    // The result may have been edited while mechanical test commands were running.
+    // Never accept a receipt for bytes other than the ones this pass validated.
+    const currentResult = await readSubmissionDocument(resolve(params.root, params.item.result_path));
+    if (currentResult.kind !== "value" || stableStringify(currentResult.value) !== stableStringify(params.result)) {
+        return issue("conformance_review_required", "The implementation result changed during verification. Re-run next-step so mechanical validation and review bind the new result.");
+    }
+    if (verifiedHead && await headCommit(params.root) !== verifiedHead) {
+        return issue("conformance_review_required", "Repository HEAD changed during no-change review verification. Re-run next-step to validate and review the current context.");
+    }
+    return { ok: true, receipt: AcceptedConformanceReviewSchema.parse({
+            requirement: "independent", binding, review: review.declaration, summary: review.summary.slice(0, 2000),
+        }) };
+}
+//# sourceMappingURL=contractConformanceReview.js.map

package/dist/remediate/steps/dispatch/contractConformanceReview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contractConformanceReview.js","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/contractConformanceReview.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oDAAoD,CAAC;AAC5F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,+BAA+B,EAAkC,MAAM,6CAA6C,CAAC;AAGhL,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IAC3D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC5C,WAAW,EAAE,uBAAuB;IACpC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;QAC9C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KACnD,CAAC,CAAC,MAAM,EAAE,CAAC;CACb,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,MAAM,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/E,MAAM,UAAU,sBAAsB,CAAC,YAAoB,EAAE,KAAa,EAAE,MAAc;IACxF,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,oBAAoB,CAAC,CAAC;IACrD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,gBAAgB,CAAC,EAAE,CAAC;AACtG,CAAC;AAcD,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAO9C;IACC,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,YAAY,GAAG,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,MAAM,OAAO,GAAG;QACd,eAAe,EAAE,MAAM,CAAC,IAAI;QAC5B,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;QAC5B,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe;QAC5C,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM;QACxC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,cAAc;QAC1C,gBAAgB,EAAE,MAAM,CAAC,SAAS;QAClC,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG;QACd,cAAc,EAAE,iCAAiC;QACjD,OAAO;QACP,kBAAkB,EAAE,aAAa;QACjC,OAAO;QACP,aAAa,EAAE,KAAK,CAAC,QAAQ;QAC7B,YAAY,EAAE;YACZ,uLAAuL;YACvL,yCAAyC,YAAY,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,mBAAmB,yHAAyH;YACjO,0HAA0H;YAC1H,mMAAmM;YACnM,kLAAkL;SACnL;QACD,iBAAiB,EAAE;YACjB,cAAc,EAAE,gCAAgC,EAAE,OAAO;YACzD,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,iDAAiD,EAAE;YAC/F,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,6BAA6B;YACvD,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,qDAAqD,CAAC,EAAE,CAAC,CAAC;SAC3K;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7D,IAAI,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC;QAAE,MAAM,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjJ,MAAM,KAAK,GAAG,CAAC,IAAgC,EAAE,OAAe,EAA0B,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;YAChH,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO;SAC7G,EAAE,CAAC,CAAC;IACL,MAAM,GAAG,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACnG,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC,6BAA6B,EAAE,wDAAwD,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,KAAK,CAAC,OAAO,iCAAiC,KAAK,CAAC,QAAQ,mEAAmE,CAAC,CAAC;IAC/P,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC7B,MAAM,YAAY,GAAG,uBAAuB,CAAC,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChF,IAAI,YAAY;QAAE,OAAO,KAAK,CAAC,gCAAgC,EAAE,YAAY,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACjE,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrJ,OAAO,KAAK,CAAC,6BAA6B,EAAE,6GAA6G,CAAC,CAAC;IAC7J,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,WAAW,CAAC,EAAE,CAAC;QACjG,OAAO,KAAK,CAAC,iCAAiC,EAAE,2FAA2F,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/J,CAAC;IACD,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,aAAa,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAClG,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,IAAI,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,OAAO,KAAK,CAAC,6BAA6B,EAAE,kIAAkI,CAAC,CAAC;IAClL,CAAC;IACD,IAAI,YAAY,IAAI,MAAM,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,YAAY,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC,6BAA6B,EAAE,4HAA4H,CAAC,CAAC;IAC5K,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,+BAA+B,CAAC,KAAK,CAAC;YAChE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;SACxG,CAAC,EAAE,CAAC;AACP,CAAC"}

package/dist/remediate/steps/dispatch/hostContracts.d.ts

@@ -0,0 +1,133 @@
+import { type LaneDemand, type SubmissionIssue, type WorkItemOutcome } from "audit-tools/shared";
+import { REMEDIATION_STATE_CONTRACT_VERSION, type RemediationState } from "../../state/store.js";
+import type { RemediationPlan, RemediationItemState, RemediationHostHandoffRecord, ConformanceReviewBinding } from "../../state/types.js";
+import { REMEDIATION_HOST_DECISION_CONTRACT_VERSION as DECISION_CONTRACT_VERSION, REMEDIATION_HOST_RESULT_CONTRACT_VERSION as RESULT_CONTRACT_VERSION, REMEDIATION_HOST_WORKLOAD_CONTRACT_VERSION as WORKLOAD_CONTRACT_VERSION } from "../types.js";
+export declare const CONFORMANCE_REVIEW_ISSUES: readonly ["conformance_review_required", "conformance_review_unavailable", "conformance_review_insufficient"];
+export type ConformanceReviewIssueCode = (typeof CONFORMANCE_REVIEW_ISSUES)[number];
+export type UnsupportedRetiredRemediationState = "unsupported_retired_state";
+export type CurrentRemediationHostState = RemediationState & {
+    readonly contract_version: typeof REMEDIATION_STATE_CONTRACT_VERSION;
+    readonly status: "implementing";
+    readonly plan: RemediationPlan;
+    readonly items: Record<string, RemediationItemState>;
+};
+export interface RemediationHostWorkItem {
+    readonly id: string;
+    readonly finding_ids: readonly string[];
+    readonly allowed_files: readonly string[];
+    readonly baseline_commit: string;
+    /**
+     * The contract obligation ids this item's landed work must satisfy — the
+     * sorted, deduplicated union of `contract_obligation_ids` over the block's
+     * findings (what promotion mints from each DAG node's
+     * `satisfies_obligations`). Empty for a plan without contract overlays. The
+     * result's `obligation_evidence` must cover exactly this set.
+     */
+    readonly obligation_ids: readonly string[];
+    readonly prompt: {
+        readonly text: string;
+        readonly sha256: string;
+    };
+    readonly required_tests: readonly string[];
+    readonly result_path: string;
+    /**
+     * The lane's demand ranking (size / complexity / risk) — the same shared
+     * shape the audit draw emits, so a host matching a backend to work reads one
+     * vocabulary from both halves of the pipeline. Names DEMAND only: never a
+     * backend, provider, model or tier (see `LaneDemandSchema`).
+     */
+    readonly demand: LaneDemand;
+    readonly token_estimate: number;
+}
+export interface RemediationHostWorkload {
+    readonly contract_version: typeof WORKLOAD_CONTRACT_VERSION;
+    readonly run_id: string;
+    readonly work_items: readonly RemediationHostWorkItem[];
+}
+export interface PreparedRemediationHostHandoff {
+    readonly workload: RemediationHostWorkload;
+    readonly workload_path: string;
+    readonly conformance_review: ConformanceReviewBinding;
+    /** Persist this in RemediationState before exposing the workload to the host. */
+    readonly handoff_record: RemediationHostHandoffRecord;
+}
+/**
+ * Remediation's issue vocabulary: the SHARED submission codes plus this draw's
+ * own domain corroboration codes.
+ *
+ * The submission half is imported, never restated — a submission that is
+ * missing, unparseable, contract-invalid, or a duplicate identity means exactly
+ * the same thing on both sides of the pipeline, and the two used to spell it
+ * differently (`result_missing` here, a bare `null` in the audit ingest). The
+ * git/worktree/test half stays here: audit has no analogue and dragging
+ * `commit_not_landed` into the shared core would suggest it could emit one.
+ */
+export declare const REMEDIATION_ISSUE_CODES: readonly ["submission_missing", "submission_malformed", "submission_contract_invalid", "submission_rejected", "duplicate_submission_id", "workload_missing", "workload_invalid", "trusted_binding_missing", "commit_missing", "commit_not_landed", "baseline_not_ancestor", "changed_files_mismatch", "run_start_dirty_overlap", "required_test_failed", "required_test_timed_out", "required_test_output_overflow", "dependency_missing", "block_contract_invalid", "recovery_unrecorded", "tree_moved_between_phases", "state_moved_between_phases", "baseline_missing", "baseline_orphaned", "landed_commit_invalid", "work_item_not_eligible", "workload_stale", "conformance_review_required", "conformance_review_unavailable", "conformance_review_insufficient"];
+export type RemediationIssueCode = (typeof REMEDIATION_ISSUE_CODES)[number];
+export type RemediationHostIngestIssue = SubmissionIssue<RemediationIssueCode> & {
+    readonly review_request_path?: string;
+};
+export interface RemediationHostIngestSummary {
+    readonly accepted_count: number;
+    readonly completed_work_item_ids: readonly string[];
+    readonly pending_work_item_ids: readonly string[];
+    readonly issues: readonly RemediationHostIngestIssue[];
+    /**
+     * Every work item this ingest OBSERVED, by the outcome it observed — so a
+     * caller never has to re-derive progress from the issue list, where an item
+     * with no result file and an item whose write succeeded but whose result is
+     * missing both used to read as the same absence.
+     *
+     * Keyed by work item id; content-sorted on insertion so a re-ingest of an
+     * unchanged frontier produces byte-identical content.
+     */
+    readonly work_item_outcomes: ReadonlyMap<string, WorkItemOutcome>;
+    readonly state_changed: boolean;
+    readonly state: CurrentRemediationHostState;
+}
+export interface RemediationHostResult {
+    readonly contract_version: typeof RESULT_CONTRACT_VERSION;
+    readonly result_id: string;
+    readonly run_id: string;
+    readonly work_item_id: string;
+    readonly prompt_sha256: string;
+    /**
+     * The full id of the one commit that carries this item's edits, on HEAD.
+     * The ONLY fact about the work the host states (v1alpha3, owner review of
+     * prompt 20, 2026-09-18): the changed files come from git, the tests from the
+     * tool's own rerun of `required_tests`, and the landing from ancestry — so a
+     * host is never asked to restate what the tool derives and then checks.
+     */
+    readonly landed_commit: string;
+    /**
+     * Cited evidence per satisfied contract obligation — the evidence-coverage
+     * floor between "received" and "accepted". Must cover exactly the work
+     * item's bound `obligation_ids` (empty when none are bound); each entry
+     * cites at least one non-empty string. Coverage is validated mechanically at
+     * ingestion; judging the citations' semantic sufficiency is the per-run
+     * conformance review's job, never this parser's.
+     */
+    readonly obligation_evidence: readonly {
+        readonly obligation_id: string;
+        readonly evidence: readonly string[];
+    }[];
+}
+export interface RemediationHostDecision {
+    readonly contract_version: typeof DECISION_CONTRACT_VERSION;
+    readonly result_id: string;
+    readonly run_id: string;
+    readonly work_item_id: string;
+    readonly prompt_sha256: string;
+    readonly outcome: {
+        readonly status: "resolved_no_change";
+        readonly evidence: readonly string[];
+    } | {
+        readonly status: "blocked";
+        readonly failure_reason: string;
+    } | {
+        readonly status: "needs_clarification";
+        readonly question: string;
+        readonly category?: string;
+    };
+}
+//# sourceMappingURL=hostContracts.d.ts.map

package/dist/remediate/steps/dispatch/hostContracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hostContracts.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/hostContracts.ts"],"names":[],"mappings":"AACA,OAAO,EAAgD,KAAK,UAAU,EAAE,KAAK,eAAe,EAAE,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC/I,OAAO,EAAE,kCAAkC,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACjG,OAAO,KAAK,EAAE,eAAe,EAAE,oBAAoB,EAAE,4BAA4B,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAC1I,OAAO,EAAE,0CAA0C,IAAI,yBAAyB,EAAE,wCAAwC,IAAI,uBAAuB,EAAE,0CAA0C,IAAI,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAEpP,eAAO,MAAM,yBAAyB,+GAE5B,CAAC;AACX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpF,MAAM,MAAM,kCAAkC,GAAG,2BAA2B,CAAC;AAE7E,MAAM,MAAM,2BAA2B,GAAG,gBAAgB,GAAG;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,OAAO,kCAAkC,CAAC;IACrE,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CACtD,CAAC;AAEF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,yBAAyB,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,wBAAwB,CAAC;IACtD,iFAAiF;IACjF,QAAQ,CAAC,cAAc,EAAE,4BAA4B,CAAC;CACvD;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,0uBAsF1B,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5E,MAAM,MAAM,0BAA0B,GAAG,eAAe,CAAC,oBAAoB,CAAC,GAAG;IAAE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3H,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACvD;;;;;;;;OAQG;IACH,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAClE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC;CAC7C;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,uBAAuB,CAAC;IAC1D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;;OAOG;IACH,QAAQ,CAAC,mBAAmB,EAAE,SAAS;QACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;KACtC,EAAE,CAAC;CACL;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,yBAAyB,CAAC;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EACZ;QAAE,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAC/E;QAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;QAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;KAAE,GAC/D;QACE,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;QACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;KAC5B,CAAC;CACP"}