audit-tools 0.52.0 → 0.52.1

package/dist/remediate/steps/contractPipelinePrompts.js

@@ -1,3 +1,4 @@
+// sites-pinned: tests/remediate/contract-pipeline-prompts.test.ts, tests/remediate/step-prompt-sketch-drift.test.ts, tests/remediate/contract-validation-gates.test.ts
 /**
  * Bounded prompt renderers for each of the contract-pipeline roles.
  * Each renderer accepts only the required artifact paths for its role and
@@ -5,9 +6,18 @@
  * schema-grounded rather than embedding raw artifact content.
  */
 import { DEPENDENCY_MAP } from "../contractPipeline/artifactStore.js";
-import { ASSESSMENT_FINDING_STATUSES, ASSESSMENT_VERDICTS, CONTRACT_REPAIR_TARGETS_OFFERED, CONTEXT_ENTRY_KINDS, COUNTEREXAMPLE_CLASSIFICATIONS, CRITIQUE_ITEM_KINDS, CRITIQUE_ITEM_SEVERITIES, CRITIQUE_VERDICTS, CYCLIC_SEAM_BREAK_STRATEGIES, CYCLIC_SEAM_RESOLUTION_STATUSES, GOAL_SOURCE_TYPES, IMPLEMENTATION_EDGE_KINDS, IMPLEMENTATION_NODE_STATUSES, JUDGE_VERDICTS, OBLIGATION_KINDS, OBLIGATION_STATUSES, SEAM_RESOLUTION_DECISIONS, TEST_SPEC_KINDS, VERIFICATION_FINDING_STATUSES, VERIFICATION_REPORT_STATUSES, VERIFICATION_TRACE_KINDS, VERIFICATION_TRACE_STATUSES, sketchValues, } from "../contractPipeline/sketchSource.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 { renderIndependentReviewMandate } from "audit-tools/shared";
 import { loaderCommand } from "./prompts.js";
+/**
+ * The ONE statement of the `targeted_commands` rule. The tool executes each
+ * entry verbatim through a shell, one invocation per entry; the rule is
+ * single-sourced in `audit-tools/shared` (`commandLeavesDeclaredShape`), and
+ * this text states it where the field is written. A worker that emitted
+ * `npm run build && npm run check` on 23 nodes cost a whole DAG regeneration.
+ */
+const TARGETED_COMMANDS_RULE = "`targeted_commands`: one command per entry, run verbatim through a shell. Write `\"npm run build\"` and `\"npm run check\"` as two entries, never `\"npm run build && npm run check\"`. Do not use a pipe, a redirect, `;` or command substitution: the tool refuses those, and the whole DAG is written again.";
 export const ROLES = {
     goal_normalization: {
         title: "Goal Normalization",
@@ -20,7 +30,11 @@ export const ROLES = {
   "success_criteria": ["<measurable criteria>"],
   "source_type": "${sketchValues(GOAL_SOURCE_TYPES)}"
 }`,
-        description: "Normalize the remediation objective into a bounded, unambiguous goal spec.",
+        description: "State the remediation objective as one bounded goal.",
+        fieldRules: [
+            `\`goal_id\` is kebab-case: a lowercase letter first, then lowercase letters, digits and single \`-\` separators, at most ${GOAL_ID_MAX_LENGTH} characters.`,
+        ],
+        pathASeed: "Frame the goal around these findings.",
     },
     context_collection: {
         title: "Context Collection",
@@ -31,7 +45,10 @@ export const ROLES = {
   "entries": [{ "path": "<repo-relative>", "kind": "${sketchValues(CONTEXT_ENTRY_KINDS)}", "relevance_reason": "..." }],
   "context_summary": "<free-text summary>"
 }`,
-        description: "Collect the code and documentation context relevant to the goal.",
+        description: "Collect the code and documents that the goal touches. Give one reason for each entry.",
+        fieldRules: ["Every `path` is relative to the repository root."],
+        repoReads: "that are relevant to the goal",
+        pathASeed: "Include every file these findings name.",
     },
     decomposition: {
         title: "Module Decomposition",
@@ -47,7 +64,14 @@ export const ROLES = {
     "prepares_seam_ids": ["<required audit seam ids prepared by this module before parallel refactors; [] when none>"]
   }]
 }`,
-        description: "Decompose the goal into a set of named modules with rough responsibilities and file scope. For a Path-A seed, preserve its bounded work topology: map implementation modules with source_work_block_ids, and create a distinct seam-preparation module for every work_block_seam where requires_preparation=true (one module may prepare several seams). A seam-preparation module lists prepares_seam_ids and must own each prepared seam's contested `file` in its file_scope; downstream implementation modules are mechanically dependency-gated behind it. Do not draft seam contracts yet — only identify modules and ownership/preparation roles. Before assigning a module's file_scope, verify where the named responsibility logic ACTUALLY lives in the repository — open the candidate file and confirm it implements the logic. Do NOT scope a module at a thin re-export shim / barrel (a file that only does `export * from …` / `export { x } from …`): scope it at the file where the real logic lives, or the enforcing gate (validateDecompositionFileScope) will reject a shim-only file_scope.",
+        description: "Split the goal into named modules. Give each module its responsibility and the files it owns. On Path A, map modules to work blocks with `source_work_block_ids`, and add one seam-preparation module for each seam in the seed where `requires_preparation` is true (one module may prepare several seams). Do not draft contracts.",
+        fieldRules: [
+            "Scope each module at the file that holds its logic, never at a file that only re-exports (`export * from …`, `export { x } from …`).",
+            "Every `file_scope` path exists in the repository.",
+            "A seam-preparation module lists the seams in `prepares_seam_ids`, and its `file_scope` includes each prepared seam's `file`.",
+        ],
+        repoReads: "to confirm where each module's logic lives",
+        pathASeed: "Map every work block in the seed to a module.",
     },
     module_contract_drafting: {
         title: "Per-Module Contract Drafting",
@@ -69,7 +93,14 @@ export const ROLES = {
     }]
   }]
 }`,
-        description: "For every module in the decomposition, draft a contract covering inputs, outputs, invariants, side-effects, validation boundary, failure modes, and what it needs from each neighbor. Read each module's file scope from the repository before drafting. No single agent owns both sides of a seam.",
+        description: "Draft a contract for each module in the decomposition: inputs, outputs, invariants, side effects, validation boundary, failure modes, and what it needs from each neighbor.",
+        fieldRules: [
+            "Each `name` equals a module name in the decomposition.",
+            "`inputs` and `outputs` are not empty.",
+            "On Path A, each finding id in the seed appears in an invariant, a failure mode, an input or an output.",
+        ],
+        repoReads: "in each module's file scope",
+        pathASeed: "Cover every finding id in the seed.",
     },
     seam_reconciliation: {
         title: "Seam Reconciliation",
@@ -88,7 +119,10 @@ export const ROLES = {
     }
   }]
 }`,
-        description: "Deterministically list every seam mismatch where module A's declared output differs from module B's declared input (or neighbor_need). For each mismatch, decide which side adjusts and what the agreed interface is. A seam_reconciliation_report with no mismatches (all seams already consistent) is valid.",
+        description: "For each seam where one module's output differs from its neighbor's input or need, record the mismatch, which side adjusts, and the agreed interface. An empty `mismatches` list is correct when every seam agrees.",
+        fieldRules: [
+            "`module_a` and `module_b` are exact module names from the module contracts.",
+        ],
     },
     contract_finalization: {
         title: "Per-Module Contract Finalization",
@@ -107,30 +141,17 @@ export const ROLES = {
     "seam_adjustments": ["<adjustments made per seam_reconciliation_report, if any>"]
   }]
 }`,
-        description: "For every module contract in module_contracts, incorporate any reconciliation decisions from seam_reconciliation_report and produce the finalized module contract. Record which seam adjustments were applied. When one module produces something another consumes, tag that shared artifact identically in the producer's outputs and the consumer's inputs with an 'artifact:<name>' token (e.g. 'artifact:validated-roster') — the tool matches these tokens to derive implementation ordering (producer before consumer) mechanically, so you never have to hand-add depends_on edges.",
-    },
-    cyclic_seam_resolution: {
-        title: "Cyclic Seam Resolution",
-        outputKey: "cyclic_seam_resolution",
-        outputSchema: `{
-  "contract_version": "remediate-code-contract-pipeline/cyclic-seam-resolution/v1alpha1",
-  "goal_id": "<from obligation_ledger>",
-  "cycles": [{
-    "members": ["<obligation-id>", "..."],
-    "break_strategy": "${sketchValues(CYCLIC_SEAM_BREAK_STRATEGIES)}",
-    "designated_obligation_id": "<the mediating obligation, or the single authority — must exist in the rewritten ledger>",
-    "resolution_description": "<what was changed and why>",
-    "exception_registration": "<scoped exception name when single_authority, otherwise null>"
-  }],
-  "status": "${sketchValues(CYCLIC_SEAM_RESOLUTION_STATUSES)}"
-}`,
-        description: "Detect and resolve circular interface-definition obligations in the obligation ledger. If no cycles exist, record status=no_cycles and an empty cycles array. For each detected cycle, choose a sanctioned break strategy (mediator module or single authority) and record the resolution. Verify mentally that the break does not re-introduce a cycle before writing the output.",
+        description: "Apply each reconciliation decision and write the final contract for each module. Record the seam adjustments you applied. When one module produces something another consumes, tag it as `artifact:<name>` (for example `artifact:validated-roster`) in the producer's `outputs` and in the consumer's `inputs`: the tool orders the implementation from these tokens.",
+        fieldRules: [
+            "Keep the module set exactly: one contract for each module in `module_contracts`, and no other.",
+            "`inputs` and `outputs` are not empty.",
+            "Do not add `depends_on`.",
+        ],
     },
-    // NOTE: the obligation ledger is now DERIVED deterministically by the tool
-    // (S1, `contractPipeline/derive.ts` → the `obligation_ledger` intercept in
-    // `buildNextContractPipelineStep`), so this role is not dispatched on the
-    // normal path. It is retained for the judge-repair path (a judge may target
-    // `obligation_ledger`) and as the canonical shape documentation.
+    // Repair only: the tool derives the obligation ledger itself
+    // (`contractPipeline/derive.ts`), so this role reaches a worker only as the
+    // target of a judge repair. The text states that derivation, because a
+    // repaired ledger passes the same gates as a derived one.
     obligation_ledger: {
         title: "Obligation Ledger",
         outputKey: "obligation_ledger",
@@ -138,14 +159,23 @@ export const ROLES = {
   "contract_version": "remediate-code-contract-pipeline/obligation-ledger/v1alpha1",
   "goal_id": "<from goal_spec>",
   "obligations": [{
-    "id": "<obligation-id>",
+    "id": "OBL-<module-slug>-<suffix>",
     "description": "<concrete obligation>",
     "kind": "${sketchValues(OBLIGATION_KINDS)}",
     "depends_on": [],
-    "status": "${sketchValues(OBLIGATION_STATUSES)}"
+    "status": "${sketchValues(OBLIGATION_STATUSES)}",
+    "module": "<module-name>",
+    "change_classification": "<keep the value from the current ledger>",
+    "source_finding_ids": ["<audit finding id this obligation implements, when any>"]
   }]
 }`,
-        description: "Derive a bounded set of implementation obligations from the goal spec and finalized module contracts. Each invariant in the finalized module contracts yields an invariant obligation; each seam interface yields a test obligation. Derive obligations largely deterministically from the finalized contracts.",
+        description: "Rewrite the obligation ledger from the finalized module contracts.",
+        fieldRules: [
+            "One `structural` obligation for each module, one `invariant` obligation for each module invariant, and one `behavioral` obligation for each module failure mode.",
+            "Each id is `OBL-<module-slug>-<suffix>`. The suffix is `contract` for the structural obligation, `inv-<n>` for the n-th invariant and `fail-<n>` for the n-th failure mode. `<module-slug>` is the module name in lowercase, with each run of other characters replaced by one `-`.",
+            "`module` is the module name. Keep each obligation's `change_classification` from the current ledger.",
+            "Keep every audit finding id that the current ledger names, in `source_finding_ids` or in the description.",
+        ],
     },
     critique: {
         title: "Conceptual Design Critique",
@@ -156,7 +186,10 @@ export const ROLES = {
   "items": [{ "id": "<id>", "kind": "${sketchValues(CRITIQUE_ITEM_KINDS)}", "description": "...", "severity": "${sketchValues(CRITIQUE_ITEM_SEVERITIES)}" }],
   "verdict": "${sketchValues(CRITIQUE_VERDICTS)}"
 }`,
-        description: "Provide philosophy/alternatives/directions critique of the finalized module contracts.",
+        description: "Critique the finalized module contracts: philosophy, alternatives, direction.",
+        fieldRules: [
+            "Mark an item `blocking` only when the finalized contracts must change and can express the change. Mark every other item `advisory`.",
+        ],
         isIndependentCritic: true,
     },
     test_validator_plan: {
@@ -176,7 +209,11 @@ export const ROLES = {
     }
   }]
 }`,
-        description: "Convert every obligation in the obligation ledger into a concrete test spec BEFORE any implementation begins. One TestSpec entry per obligation. A worker may flag a planned test inapplicable only by citing the specific obligation_id it disputes and providing a falsifiable reason that can be checked against the ledger — bare rationale is not sufficient. Do not invent obligations not present in the ledger.",
+        description: "Write one test spec for each invariant and behavioral obligation, before any implementation. To dispute an obligation, write an `inapplicable_claim` with a reason that the ledger can disprove. Do not invent obligations.",
+        fieldRules: [
+            "A spec for a behavior change has at least one positive (success-path) assertion and one negative (failure-path) assertion. The negative assertion names the changed symbol or file, not the whole repository. An obligation classified as an addition needs one assertion of either kind.",
+            "A disputed spec has only `obligation_id`, `name` and `inapplicable_claim`, and the claim's `obligation_id` equals the spec's.",
+        ],
     },
     assessment: {
         title: "Contract Assessment",
@@ -187,7 +224,8 @@ export const ROLES = {
   "findings": [{ "obligation_id": "<id>", "status": "${sketchValues(ASSESSMENT_FINDING_STATUSES)}", "evidence": ["..."], "rationale": "..." }],
   "verdict": "${sketchValues(ASSESSMENT_VERDICTS)}"
 }`,
-        description: "Assess whether the design spec satisfies all invariants and obligations.",
+        description: "For each obligation, state whether the design satisfies it, with evidence.",
+        fieldRules: ["A `violated` finding lists at least one evidence entry."],
     },
     critic: {
         title: "Adversarial Critic (Counterexample Search)",
@@ -224,7 +262,11 @@ export const ROLES = {
     "instruction": "<bounded instruction for regenerating the target artifact>"
   }
 }`,
-        description: "Judge every counterexample from the critic: `accepted` (real flaw the contract must address), `out_of_scope` (outside the goal spec), `duplicate`, `invalid` (does not actually falsify the claim), or `residual_risk` (real but tolerable; recorded, not repaired). Verdict is `approved` only when no accepted counterexample demands a contract repair — then omit `repair_directive`. Otherwise verdict is `needs_repair` and `repair_directive` must name the single artifact whose regeneration addresses the accepted counterexamples. A repair demand must be EXPRESSIBLE in the target artifact's own schema: for finalized_module_contracts that surface is the seven interface fields, prose seam_adjustments, and implementation ordering ONLY as `artifact:<name>` producer/consumer tokens in inputs/outputs, with the module set preserved. A counterexample whose remedy needs anything outside that surface (a new schema field, a new module, structured per-block data) is `residual_risk` (recorded), never `accepted` — an accepted demand the repair cannot express stalls the loop instead of fixing anything.",
+        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`.",
+        ],
         isIndependentCritic: true,
     },
     implementation_planning: {
@@ -248,22 +290,13 @@ export const ROLES = {
   }],
   "edges": [{ "from": "<id>", "to": "<id>", "kind": "${sketchValues(IMPLEMENTATION_EDGE_KINDS)}" }]
 }`,
-        description: "Decompose the implementation into a bounded dependency DAG of tasks. Traceability is mandatory: every node must list at least one obligation id from the obligation ledger (in satisfies_obligations or verification_obligation_ids) or one judge-accepted counterexample id (in addresses_counterexamples) — untraceable nodes are rejected. Accepted and residual_risk counterexamples from the judge report must be covered by nodes or verification obligations. Declare in output_files EVERY file a node will create or edit — including the test files it must write, the sources generated artifacts mirror, new shared modules, and manifests: the enforced write scope derives from these declarations plus the owning module's contract, and an omitted companion file stalls the work item on a mid-run clarification.",
-    },
-    closing: {
-        title: "Contract Pipeline Closing",
-        outputKey: "verification_report",
-        outputSchema: `{
-  "contract_version": "remediate-code-verification-report/v1alpha1",
-  "goal_id": "<from goal_spec>",
-  "findings": [{
-    "finding_id": "<id>",
-    "traces": [{ "trace_id": "<id>", "kind": "${sketchValues(VERIFICATION_TRACE_KINDS)}", "label": "...", "evidence": ["..."], "status": "${sketchValues(VERIFICATION_TRACE_STATUSES)}" }],
-    "overall_status": "${sketchValues(VERIFICATION_FINDING_STATUSES)}"
-  }],
-  "overall_status": "${sketchValues(VERIFICATION_REPORT_STATUSES)}"
-}`,
-        description: "Verify all obligations are satisfied and produce the verification report.",
+        description: "Split the implementation into a dependency DAG of bounded tasks.",
+        fieldRules: [
+            "Every node lists at least one obligation id (in `satisfies_obligations` or `verification_obligation_ids`) or one accepted counterexample id (in `addresses_counterexamples`).",
+            "Every accepted counterexample that is not waived is in some node's `addresses_counterexamples`.",
+            "`output_files` lists every file the node creates or edits: the tests it writes, the sources a generated artifact mirrors, new shared modules and manifests. Each file is in a directory that exists.",
+            TARGETED_COMMANDS_RULE,
+        ],
     },
 };
 /**
@@ -313,39 +346,29 @@ function renderIndependentCriticDirective(role, adversarialDepth) {
     return renderIndependentReviewMandate(adversarialDepth === "light" ? "light" : "full");
 }
 /**
- * Per-role OUTPUT constraints — the field rules that are mechanically enforced
- * downstream, stated in the prompt that produces the field.
- *
- * Why these live in the prompt at all, given the tool also enforces them: the
- * tool's enforcement is the guarantee, but it can only REFUSE — repair costs a
- * bounded re-emit, and a re-emit that does not state the rule re-earns the same
- * refusal. Stating the rule where the field is authored is what makes the first
- * attempt admissible; the tool still refuses an inadmissible one regardless of
- * whether the producer read this. The rule is single-sourced in
- * `audit-tools/shared` (`commandLeavesDeclaredShape`), so this text and the
- * refusal cannot drift on what the rule IS.
- *
- * `implementation_planning` is the one role with such a constraint today: its
- * `targeted_commands` are executed verbatim through a shell, one invocation per
- * entry. A worker that emitted `npm run build && npm run check` on 23 nodes
- * burned a whole DAG regeneration on a defect the tool can also repair
- * mechanically — but the repair still costs a round-trip, and the one-invocation
- * rule was nowhere in the prompt that asked for the field.
+ * The `## Field Rules` section, or nothing when a role has no enforced rule.
+ * The worker prompt and the repair prompt both render it, from the same role.
  */
-function renderOutputConstraints(role) {
-    if (role !== "implementation_planning")
+function renderFieldRules(rules) {
+    if (!rules || rules.length === 0)
         return "";
+    return `\n## Field Rules\n\n${rules.map((rule) => `- ${rule}`).join("\n")}\n`;
+}
+/** The self-check block both prompts end with. */
+function renderSelfCheck(outputKey, outputPath, repoRoot) {
     return `
-## Field Constraints — enforced, not advisory
+Check the file before you stop:
 
-Each node's \`targeted_commands\` entries are executed ONE INVOCATION PER ENTRY,
-verbatim through a shell. Write \`"npm run build"\` and \`"npm run check"\` as TWO
-entries — never \`"npm run build && npm run check"\`, and never with a pipe,
-redirect, \`;\` or command substitution. A bare \`&&\` chain is split for you, but
-every other chained or substituting form is REFUSED and costs a full DAG
-regeneration.
+\`${loaderCommand(`validate-artifact --name ${outputKey} --file ${outputPath}${repoRoot ? ` --root ${repoRoot}` : ""}`)}\`
+
+\`status: "ok"\` means the file is admissible. Otherwise, fix each problem it names.
 `;
 }
+function renderCwdNote(repoRoot) {
+    return repoRoot
+        ? `\n> Set the shell/tool working directory to \`${repoRoot}\` before running any commands.\n`
+        : "";
+}
 /**
  * The artifacts a role must read, DERIVED from the artifact store's dependency
  * DAG rather than re-declared per role.
@@ -388,50 +411,37 @@ export function renderContractPipelinePrompt(input) {
     const sourceSections = input.sourcePaths && input.sourcePaths.length > 0
         ? `\n## Source Inputs\n\n${input.sourcePaths.map((p) => `- \`${p}\``).join("\n")}\n`
         : "";
-    const cwdNote = input.repoRoot
-        ? `\n> Set the shell/tool working directory to \`${input.repoRoot}\` before running any commands.\n`
-        : "";
-    // Path-A seed section: included for goal_normalization and context_collection
-    // when the intake source is a structured audit-findings report.
-    const PATH_A_SEED_ROLES = new Set([
-        "goal_normalization",
-        "context_collection",
-        "decomposition",
-        "module_contract_drafting",
-    ]);
-    const pathASeedSection = input.pathASeedPath && PATH_A_SEED_ROLES.has(input.role)
-        ? `\n## Path-A Audit Seed\n\nThis run originates from a structured audit-findings report. The seed file below contains the findings summary and affected files — your output must frame the goal and context around these findings so every subsequent pipeline node traces to an auditor finding:\n\n- \`${input.pathASeedPath}\` (path_a_seed)\n`
+    const pathASeedSection = input.pathASeedPath && role.pathASeed
+        ? `\n## Path-A Audit Seed\n\n- \`${input.pathASeedPath}\` (path_a_seed) — ${role.pathASeed}\n`
         : "";
+    const readScope = role.repoReads
+        ? `Read the files above. You may also read repository files ${role.repoReads}.`
+        : "Read the files above. Do not read other files.";
     const independentCriticDirective = renderIndependentCriticDirective(input.role, input.adversarialDepth);
-    const outputConstraints = renderOutputConstraints(input.role);
     const prompt = `# ${role.title}
 
 ${role.description}
-${cwdNote}${independentCriticDirective}
+${renderCwdNote(input.repoRoot)}${independentCriticDirective}
 ## Required Inputs
 ${inputSections.length > 0 ? inputSections.join("\n") : "_No artifact inputs required for this role._"}
 ${sourceSections}${pathASeedSection}
-## Your Task
+## What You May Read
 
-Read only the artifact files listed above. Do not read unrelated source files.
+${readScope}
+
+## Your Task
 
-Write your result to exactly:
+Write the complete artifact to exactly:
 
 \`${outputPath}\`
 
-The output must conform to this JSON schema shape:
+It must have this JSON shape:
 
 \`\`\`json
 ${role.outputSchema}
 \`\`\`
-${outputConstraints}
-Before advancing, you can self-check the output against its contract:
-
-\`${loaderCommand(`validate-artifact --name ${role.outputKey} --file ${outputPath}${input.repoRoot ? ` --root ${input.repoRoot}` : ""}`)}\`
-
-A \`status: "ok"\` result means the structure is valid; otherwise fix the reported issues before running next-step.
-
-**Stop after writing the output file.** Do not edit source files. Do not advance to the next pipeline step.
+${renderFieldRules(role.fieldRules)}${renderSelfCheck(role.outputKey, outputPath, input.repoRoot)}
+**Stop after you write the output file.** Do not edit source files. Do not start the next phase.
 `;
     return { prompt, outputPath, role };
 }
@@ -440,6 +450,11 @@ A \`status: "ok"\` result means the structure is valid; otherwise fix the report
  * and the phase progression order (object insertion order is the dependency
  * order). `CONTRACT_PIPELINE_PHASE_ORDER` and contractPipeline.ts's
  * `ARTIFACT_TO_PHASE` both derive from this — never re-list the phases.
+ *
+ * `cyclic_seam_resolution` has no entry in `ROLES`: its one prompt is rendered
+ * by the gate that owns the phase (`renderCyclicSeamResolutionPrompt` in
+ * `contractPipeline.ts`), because it needs the detected cycles. There is no
+ * `closing` phase: the close phase writes the verification report itself.
  */
 export const PHASE_TO_ARTIFACT = {
     goal_normalization: "goal_spec",
@@ -456,7 +471,6 @@ export const PHASE_TO_ARTIFACT = {
     critic: "counterexample",
     judge: "judge_report",
     implementation_planning: "implementation_dag",
-    closing: "verification_report",
 };
 /**
  * Dependency order for pipeline phase progression — derived from
@@ -488,7 +502,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. Regenerate \`${target}\` IN FULL so that every judge-accepted counterexample is addressed.`,
+        lead: (target) => `The adversarial judge rejected the current contract. Rewrite \`${target}\` in full so that it addresses every accepted counterexample.`,
         instructionHeading: "Judge Instruction",
         requiredInputs: [
             "goal_spec",
@@ -498,10 +512,10 @@ const REPAIR_TRIGGER_CONTRACT = {
             "counterexample",
             "judge_report",
         ],
-        readingNote: "pay particular attention to the accepted counterexamples in the judge report's classifications",
+        readingNote: "the accepted counterexamples in the judge report's classifications",
     },
     critique: {
-        lead: (target) => `The conceptual design critique raised BLOCKING concerns about the current design. Regenerate \`${target}\` IN FULL so that none of those concerns still applies.`,
+        lead: (target) => `The conceptual design critique raised blocking concerns. Rewrite \`${target}\` in full 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
@@ -511,20 +525,24 @@ const REPAIR_TRIGGER_CONTRACT = {
             "finalized_module_contracts",
             "conceptual_design_critique",
         ],
-        readingNote: "read each blocking concern's own description in the conceptual design critique before rewriting",
+        readingNote: "each blocking concern in the conceptual design critique",
     },
 };
-/** Schema shape per repair target, sourced from the producing role. */
-const REPAIR_TARGET_SCHEMA = {
-    finalized_module_contracts: () => ROLES.contract_finalization.outputSchema,
-    obligation_ledger: () => ROLES.obligation_ledger.outputSchema,
-    contract_assessment_report: () => ROLES.assessment.outputSchema,
+/**
+ * The role that first writes each repair target. The repair prompt renders
+ * that role's sketch AND its field rules: a repaired artifact passes the same
+ * validator and the same gates as a first write, so the two prompts state one
+ * set of rules from one place.
+ */
+const REPAIR_TARGET_ROLE = {
+    finalized_module_contracts: ROLES.contract_finalization,
+    obligation_ledger: ROLES.obligation_ledger,
+    contract_assessment_report: ROLES.assessment,
 };
 /**
- * Render the bounded repair step for a failing judge verdict: regenerate the
- * named contract artifact in full, addressing the accepted counterexamples and
- * the judge's instruction. The next pipeline invocation re-validates and
- * re-derives everything downstream via the staleness DAG.
+ * 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
+ * target; the pipeline brings every later artifact back on its own.
  */
 export function renderContractRepairPrompt(input) {
     const outputPath = input.artifactPaths[input.target];
@@ -538,13 +556,11 @@ export function renderContractRepairPrompt(input) {
             throw new Error(`Contract repair (${input.trigger}) requires artifact path for "${key}" but it was not provided.`);
         }
     }
-    const cwdNote = input.repoRoot
-        ? `\n> Set the shell/tool working directory to \`${input.repoRoot}\` before running any commands.\n`
-        : "";
+    const role = REPAIR_TARGET_ROLE[input.target];
     const prompt = `# Contract Repair: ${input.target}
 
 ${contract.lead(input.target)}
-${cwdNote}
+${renderCwdNote(input.repoRoot)}
 ## ${contract.instructionHeading}
 
 ${input.instruction}
@@ -555,19 +571,17 @@ ${requiredInputs.map((key) => `- \`${input.artifactPaths[key]}\` (${key})`).join
 
 ## Your Task
 
-Read the inputs above — ${contract.readingNote}. Rewrite the complete, corrected artifact (not a diff) to exactly:
+Read the inputs above. Attend to ${contract.readingNote}. Write the complete artifact, not a diff, to exactly:
 
 \`${outputPath}\`
 
-The output must conform to this JSON schema shape:
+It must have this JSON shape:
 
 \`\`\`json
-${REPAIR_TARGET_SCHEMA[input.target]()}
+${role.outputSchema}
 \`\`\`
-
-Downstream artifacts are re-derived automatically after this repair — do not edit any other artifact.
-
-**Stop after writing the output file.** Do not edit source files. Do not advance to the next pipeline step.
+${renderFieldRules(role.fieldRules)}${renderSelfCheck(input.target, outputPath, input.repoRoot)}
+**Stop after you write the output file.** Do not edit any other artifact or any source file. Do not start the next phase.
 `;
     return { prompt, 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;;;;;GAKG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,mBAAmB,EACnB,wBAAwB,EACxB,iBAAiB,EACjB,4BAA4B,EAC5B,+BAA+B,EAC/B,iBAAiB,EACjB,yBAAyB,EACzB,4BAA4B,EAC5B,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,6BAA6B,EAC7B,4BAA4B,EAC5B,wBAAwB,EACxB,2BAA2B,EAC3B,YAAY,GACb,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAyB7C,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,EACT,4EAA4E;KAC/E;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,oBAAoB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,YAAY,EAAE;;;sDAGoC,YAAY,CAAC,mBAAmB,CAAC;;EAErF;QACE,WAAW,EACT,kEAAkE;KACrE;IACD,aAAa,EAAE;QACb,KAAK,EAAE,sBAAsB;QAC7B,SAAS,EAAE,sBAAsB;QACjC,YAAY,EAAE;;;;;;;;;;EAUhB;QACE,WAAW,EACT,qjCAAqjC;KACxjC;IACD,wBAAwB,EAAE;QACxB,KAAK,EAAE,8BAA8B;QACrC,SAAS,EAAE,kBAAkB;QAC7B,YAAY,EAAE;;;;;;;;;;;;;;;;EAgBhB;QACE,WAAW,EACT,qSAAqS;KACxS;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,qBAAqB;QAC5B,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;2CASyB,YAAY,CAAC,yBAAyB,CAAC;;;;EAIhF;QACE,WAAW,EACT,gTAAgT;KACnT;IACD,qBAAqB,EAAE;QACrB,KAAK,EAAE,kCAAkC;QACzC,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE;;;;;;;;;;;;;EAahB;QACE,WAAW,EACT,4jBAA4jB;KAC/jB;IACD,sBAAsB,EAAE;QACtB,KAAK,EAAE,wBAAwB;QAC/B,SAAS,EAAE,wBAAwB;QACnC,YAAY,EAAE;;;;;yBAKO,YAAY,CAAC,4BAA4B,CAAC;;;;;eAKpD,YAAY,CAAC,+BAA+B,CAAC;EAC1D;QACE,WAAW,EACT,oXAAoX;KACvX;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,iEAAiE;IACjE,iBAAiB,EAAE;QACjB,KAAK,EAAE,mBAAmB;QAC1B,SAAS,EAAE,mBAAmB;QAC9B,YAAY,EAAE;;;;;;eAMH,YAAY,CAAC,gBAAgB,CAAC;;iBAE5B,YAAY,CAAC,mBAAmB,CAAC;;EAEhD;QACE,WAAW,EACT,iTAAiT;KACpT;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,wFAAwF;QAC1F,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,yZAAyZ;KAC5Z;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,0EAA0E;KAC7E;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,ukCAAukC;QACzkC,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,EACT,oyBAAoyB;KACvyB;IACD,OAAO,EAAE;QACP,KAAK,EAAE,2BAA2B;QAClC,SAAS,EAAE,qBAAqB;QAChC,YAAY,EAAE;;;;;gDAK8B,YAAY,CAAC,wBAAwB,CAAC,sDAAsD,YAAY,CAAC,2BAA2B,CAAC;yBAC5J,YAAY,CAAC,6BAA6B,CAAC;;uBAE7C,YAAY,CAAC,4BAA4B,CAAC;EAC/D;QACE,WAAW,EACT,2EAA2E;KAC9E;CACF,CAAC;AA6BF;;;;;;;;;;;;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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,uBAAuB,CAAC,IAAY;IAC3C,IAAI,IAAI,KAAK,yBAAyB;QAAE,OAAO,EAAE,CAAC;IAClD,OAAO;;;;;;;;;CASR,CAAC;AACF,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,OAAO,GAAG,KAAK,CAAC,QAAQ;QAC5B,CAAC,CAAC,iDAAiD,KAAK,CAAC,QAAQ,mCAAmC;QACpG,CAAC,CAAC,EAAE,CAAC;IAEP,8EAA8E;IAC9E,gEAAgE;IAChE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;QAChC,oBAAoB;QACpB,oBAAoB;QACpB,eAAe;QACf,0BAA0B;KAC3B,CAAC,CAAC;IACH,MAAM,gBAAgB,GACpB,KAAK,CAAC,aAAa,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QACtD,CAAC,CAAC,0SAA0S,KAAK,CAAC,aAAa,oBAAoB;QACnV,CAAC,CAAC,EAAE,CAAC;IAET,MAAM,0BAA0B,GAAG,gCAAgC,CACjE,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,gBAAgB,CACvB,CAAC;IAEF,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAE9D,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,KAAK;;EAE9B,IAAI,CAAC,WAAW;EAChB,OAAO,GAAG,0BAA0B;;EAEpC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,8CAA8C;EACpG,cAAc,GAAG,gBAAgB;;;;;;;IAO/B,UAAU;;;;;EAKZ,IAAI,CAAC,YAAY;;EAEjB,iBAAiB;;;IAGf,aAAa,CACb,4BAA4B,IAAI,CAAC,SAAS,WAAW,UAAU,GAC7D,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EACjD,EAAE,CACH;;;;;CAKF,CAAC;IAEA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED;;;;;GAKG;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;IAC7C,OAAO,EAAE,qBAAqB;CAC/B,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,qEAAqE,MAAM,sEAAsE;QACnJ,kBAAkB,EAAE,mBAAmB;QACvC,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,mBAAmB;YACnB,4BAA4B;YAC5B,gBAAgB;YAChB,cAAc;SACf;QACD,WAAW,EACT,gGAAgG;KACnG;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,kGAAkG,MAAM,0DAA0D;QACpK,kBAAkB,EAAE,mBAAmB;QACvC,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,cAAc,EAAE;YACd,WAAW;YACX,4BAA4B;YAC5B,4BAA4B;SAC7B;QACD,WAAW,EACT,iGAAiG;KACpG;CACF,CAAC;AAEF,uEAAuE;AACvE,MAAM,oBAAoB,GAA8D;IACtF,0BAA0B,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,YAAY;IAC1E,iBAAiB,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,YAAY;IAC7D,0BAA0B,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY;CAChE,CAAC;AAEF;;;;;GAKG;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;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ;QAC5B,CAAC,CAAC,iDAAiD,KAAK,CAAC,QAAQ,mCAAmC;QACpG,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,MAAM,GAAG,sBAAsB,KAAK,CAAC,MAAM;;EAEjD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;EAC3B,OAAO;KACJ,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;;;;0BAI5D,QAAQ,CAAC,WAAW;;IAE1C,UAAU;;;;;EAKZ,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;;;;;;CAMrC,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":"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"}

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

@@ -1,4 +1,4 @@
-import { type WorkItemOutcome, type FindingSeverity, type LaneDemand, type SubmissionIssue } from "audit-tools/shared";
+import { type IssueRemedy, type WorkItemOutcome, type FindingSeverity, type LaneDemand, type SubmissionIssue } from "audit-tools/shared";
 import { type RemediationState } from "../../state/store.js";
 import { type RemediationBlock, type RemediationHostHandoffRecord, type RemediationItemState, type RemediationPlan } from "../../state/types.js";
 import { REMEDIATION_HOST_WORKLOAD_CONTRACT_VERSION as WORKLOAD_CONTRACT_VERSION } from "../types.js";
@@ -60,8 +60,10 @@ export interface PreparedRemediationHostHandoff {
  * 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"];
+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"];
 export type RemediationIssueCode = (typeof REMEDIATION_ISSUE_CODES)[number];
+/** The remedy for one classified remediation ingest failure. */
+export declare function remediationIssueRemedy(issue: SubmissionIssue<RemediationIssueCode>): IssueRemedy;
 export type RemediationHostIngestIssue = SubmissionIssue<RemediationIssueCode>;
 export interface RemediationHostIngestSummary {
     readonly accepted_count: number;
@@ -313,8 +315,8 @@ export declare function prepareRemediationHostHandoff(params: {
  * remote ref) also fails the ancestry test when work lands elsewhere, and that
  * is the ordinary stale-worker case — recovery refuses it. Every other
  * corroboration check runs unchanged (the landed commit exists and is reachable
- * from HEAD; its mechanically derived changed files exactly equal
- * `changed_files` and lie within the prompt-bound `allowed_files`; no overlap
+ * from HEAD; its mechanically derived changed files lie within the
+ * prompt-bound `allowed_files`; no overlap
  * with run-start dirt; the required tests rerun green), `parseResult` stays
  * fully strict, and dependency/phase eligibility is enforced exactly as on the
  * normal lane.

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

@@ -1 +1 @@
-{"version":3,"file":"hostHandoff.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/hostHandoff.ts"],"names":[],"mappings":"AAOA,OAAO,EAUL,KAAK,eAAe,EAsCpB,KAAK,eAAe,EAGpB,KAAK,UAAU,EACf,KAAK,eAAe,EAGrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAOL,KAAK,gBAAgB,EACrB,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACrB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EAGL,0CAA0C,IAAI,yBAAyB,EACxE,MAAM,aAAa,CAAC;AAMrB,QAAA,MAAM,sBAAsB,iCAAqC,CAAC;AAElE,MAAM,MAAM,kCAAkC,GAAG,2BAA2B,CAAC;AAE7E,MAAM,MAAM,2BAA2B,GAAG,gBAAgB,GAAG;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,OAAO,sBAAsB,CAAC;IACzD,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,iFAAiF;IACjF,QAAQ,CAAC,cAAc,EAAE,4BAA4B,CAAC;CACvD;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,whBA4D1B,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5E,MAAM,MAAM,0BAA0B,GAAG,eAAe,CAAC,oBAAoB,CAAC,CAAC;AAE/E,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;AA0gBD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,OAAO,CAAC;IACV,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,GAAG,IAAI,CAAC;CAC/D,GAAG,IAAI,CAAC,CA6DR;AAED,4EAA4E;AAC5E,wBAAgB,6BAA6B,CAAC,MAAM,EAAE;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAAC,GAC9C,gBAAgB,EAAE,EAAE,CAqEtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAAC,GAC9C,gBAAgB,EAAE,CAmDpB;AA+DD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,CA4BpE;AA82BD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,+BAA+B,GAAG,WAAW,CACvD,MAAM,EACN,mBAAmB,GAAG,IAAI,CAC3B,CAAC;AAwBF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,2BAA2B,GACjC,MAAM,GAAG,IAAI,CAWf;AA6BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,WAAW,GAAG,iBAAiB,GAAG,aAAa,CAAC;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAgBD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,2BAA2B,OAAQ,CAAC;AA4DjD;;;;;;GAMG;AACH,wBAAsB,eAAe,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,SAAS,GAAE,MAAiC,GAC3C,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAoFrC;AA6ED;;;;;;;;;;GAUG;AACH,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,GAAG,OAAO,CAAC,+BAA+B,GAAG,kCAAkC,CAAC,CAmChF;AAiHD,wBAAsB,6BAA6B,CAAC,MAAM,EAAE;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GAAG,OAAO,CAAC,8BAA8B,GAAG,kCAAkC,CAAC,CAkF/E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;KAChE,CAAC;CACH,GAAG,OAAO,CAAC,4BAA4B,GAAG,kCAAkC,CAAC,CAuD7E"}
+{"version":3,"file":"hostHandoff.d.ts","sourceRoot":"","sources":["../../../../src/remediate/steps/dispatch/hostHandoff.ts"],"names":[],"mappings":"AAOA,OAAO,EAWL,KAAK,WAAW,EAKhB,KAAK,eAAe,EAqCpB,KAAK,eAAe,EAGpB,KAAK,UAAU,EACf,KAAK,eAAe,EAGrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAOL,KAAK,gBAAgB,EACrB,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACrB,MAAM,sBAAsB,CAAC;AAO9B,OAAO,EAGL,0CAA0C,IAAI,yBAAyB,EACxE,MAAM,aAAa,CAAC;AAMrB,QAAA,MAAM,sBAAsB,iCAAqC,CAAC;AAElE,MAAM,MAAM,kCAAkC,GAAG,2BAA2B,CAAC;AAE7E,MAAM,MAAM,2BAA2B,GAAG,gBAAgB,GAAG;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,OAAO,sBAAsB,CAAC;IACzD,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,iFAAiF;IACjF,QAAQ,CAAC,cAAc,EAAE,4BAA4B,CAAC;CACvD;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,soBAqF1B,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AA2C5E,gEAAgE;AAChE,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,eAAe,CAAC,oBAAoB,CAAC,GAC3C,WAAW,CAEb;AAED,MAAM,MAAM,0BAA0B,GAAG,eAAe,CAAC,oBAAoB,CAAC,CAAC;AAE/E,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;AAmgBD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,OAAO,CAAC;IACV,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,GAAG,IAAI,CAAC;CAC/D,GAAG,IAAI,CAAC,CA6BR;AAED,4EAA4E;AAC5E,wBAAgB,6BAA6B,CAAC,MAAM,EAAE;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAAC,GAC9C,gBAAgB,EAAE,EAAE,CAqEtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,GAAG,OAAO,CAAC,GAC9C,gBAAgB,EAAE,CAmDpB;AA4HD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,CA4BpE;AAwyBD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,+BAA+B,GAAG,WAAW,CACvD,MAAM,EACN,mBAAmB,GAAG,IAAI,CAC3B,CAAC;AAwBF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,2BAA2B,GACjC,MAAM,GAAG,IAAI,CAWf;AA6BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,WAAW,GAAG,iBAAiB,GAAG,aAAa,CAAC;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAgBD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,2BAA2B,OAAQ,CAAC;AA4DjD;;;;;;GAMG;AACH,wBAAsB,eAAe,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,SAAS,GAAE,MAAiC,GAC3C,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAoFrC;AA6ED;;;;;;;;;;GAUG;AACH,wBAAsB,8BAA8B,CAAC,MAAM,EAAE;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,GAAG,OAAO,CAAC,+BAA+B,GAAG,kCAAkC,CAAC,CAmChF;AA8JD,wBAAsB,6BAA6B,CAAC,MAAM,EAAE;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GAAG,OAAO,CAAC,8BAA8B,GAAG,kCAAkC,CAAC,CA6F/E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAsB,4BAA4B,CAAC,MAAM,EAAE;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,oBAAoB,EAAE,+BAA+B,CAAC;KAChE,CAAC;CACH,GAAG,OAAO,CAAC,4BAA4B,GAAG,kCAAkC,CAAC,CAuD7E"}