audit-tools 0.28.0

package/dist/remediate/state/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAM7D,OAAO,KAAK,EAAE,OAAO,EAAgB,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAEpF,YAAY,EAAE,OAAO,EAAE,CAAC;AAExB,eAAO,MAAM,sBAAsB;;;;;IAM/B;;;;OAIG;;IAEH;;;;OAIG;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAhB9B;;;;WAIG;;QAEH;;;;WAIG;;;;;;;;;;;;;;;;;;;;;;IAoBH,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGxE,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAC7B,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAC;AAE3D,eAAO,MAAM,cAAc;;;;IAKvB;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBI,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;EAe5B,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,0BAA0B;IAEnC,+DAA+D;;IAE/D,6EAA6E;;;;;;;;EAGtE,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,iBAAiB;;;IAI1B;;;;OAIG;;IAEH;;;;OAIG;;QAtBH,+DAA+D;;QAE/D,6EAA6E;;;;;;;;;;;;;;;;;;;;;;;;;EAuBtE,CAAC;AACZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EACP,SAAS,GACT,aAAa,GACb,qBAAqB,GACrB,uBAAuB,GACvB,uBAAuB,GACvB,oBAAoB,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sEAAsE;IACtE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,gBAAgB,EAAE,kCAAkC,CAAC;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,wBAAwB,EAAE,MAAM,CAAC;IACjC,wFAAwF;IACxF,qBAAqB,EAAE,MAAM,CAAC;IAC9B;;;;;;OAMG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,OAAO,EAAE,mBAAmB,EAAE,CAAC;CAChC;AAED;;;;;GAKG;AACH,MAAM,MAAM,6BAA6B,GACrC,OAAO,GACP,QAAQ,GACR,SAAS,GACT,SAAS,CAAC;AAEd;;;GAGG;AACH,MAAM,WAAW,eACf,SAAQ,IAAI,CAAC,QAAQ,EAAE,iBAAiB,GAAG,WAAW,GAAG,eAAe,CAAC;IACzE,0FAA0F;IAC1F,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IAChE,2EAA2E;IAC3E,OAAO,EAAE,OAAO,CAAC;IACjB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,qDAAqD;IACrD,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACvC,iFAAiF;IACjF,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,yEAAyE;IACzE,YAAY,EAAE,6BAA6B,CAAC;IAC5C;;;OAGG;IACH,cAAc,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC;CACjD;AAED,0EAA0E;AAC1E,MAAM,MAAM,sBAAsB,GAC9B,kBAAkB,GAClB,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,aAAa,CAAC;AAElB;;;;GAIG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,0FAA0F;IAC1F,WAAW,CAAC,EAAE,sBAAsB,CAAC;CACtC;AAED,sEAAsE;AACtE,MAAM,WAAW,qBAAsB,SAAQ,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC;IAC5E,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAID;;;;;;;;GAQG;AACH,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAAG,UAAU,CAAC;AAE3E;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAC7B,UAAU,GACV,oBAAoB,GACpB,SAAS,GACT,sBAAsB,GACtB,yBAAyB,CAAC;AAE9B,0DAA0D;AAC1D,MAAM,WAAW,qBAAqB;IACpC,+EAA+E;IAC/E,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,qBAAqB,CAAC;CACpC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,wBAAwB;IACvC,oEAAoE;IACpE,gBAAgB,EAAE,yBAAyB,CAAC;IAC5C,+EAA+E;IAC/E,WAAW,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,qBAAqB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,QAAQ,CAAC;IACrB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,iFAAiF;IACjF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,wGAAwG;IACxG,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;OAIG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B"}

package/dist/remediate/state/types.js

@@ -0,0 +1,122 @@
+import { z } from "zod";
+import { CLOSING_ACTIONS } from "./closingActions.js";
+import { FindingSchema, FindingThemeSchema } from "audit-tools/shared";
+export const RemediationBlockSchema = z
+    .object({
+    block_id: z.string(),
+    items: z.array(z.string()),
+    parallel_safe: z.boolean(),
+    dependencies: z.array(z.string()).optional(),
+    /**
+     * Commands to run as a post-merge verification gate after this block's
+     * worktree branch is merged into the main tree. When present, these are
+     * preferred over `RemediationPlan.test_command` for the gate check.
+     */
+    targeted_commands: z.array(z.string()).optional(),
+    /**
+     * Repo-relative paths that this block's implementation is expected to touch.
+     * Used by `attributePostMergeFailure` to identify which merged blocks share
+     * an implicated surface when the post-merge gate fails.
+     */
+    touched_files: z.array(z.string()).optional(),
+})
+    .strict();
+export const RemediationPlanSchema = z
+    .object({
+    plan_id: z.string(),
+    goal_id: z.string().optional(),
+    source: z.string().optional(),
+    findings: z.array(FindingSchema),
+    blocks: z.array(RemediationBlockSchema),
+    project_type: z.string(),
+    test_command: z.string().optional(),
+    e2e_command: z.string().optional(),
+    candidate_closing_actions: z.array(z.enum(CLOSING_ACTIONS)),
+    block_strategy: z
+        .enum(["test_graph", "git_cocommit", "file_overlap", "manual"])
+        .optional(),
+    /** Synthesis themes carried from audit-findings.json (Phase 6/7 fix hints). */
+    themes: z.array(FindingThemeSchema).optional(),
+})
+    .strict();
+/**
+ * Canonical names of the bounded remediation steps. Defined as named constants
+ * (rather than bare string literals scattered across the phases) so the
+ * implement phase, the validator, and the item-spec contract share one source
+ * of truth for these magic strings.
+ */
+export const REMEDIATION_STEP = {
+    WRITE_TESTS: "Write Tests",
+    REFACTOR_CODE: "Refactor Code",
+    VERIFY_AGAINST_TESTS: "Verify Code Against Tests",
+    VERIFY_AGAINST_DOCUMENTATION: "Verify Code Against Documentation",
+};
+export const ItemSpecSchema = z
+    .object({
+    finding_id: z.string(),
+    concrete_change: z.string(),
+    no_change: z.boolean().optional(),
+    /**
+     * Repo-relative paths the fix will create or modify, as declared by the
+     * document worker. The document phase can correct or extend the finding's
+     * pre-document affected_files (e.g. when the real fix lives elsewhere); block
+     * access is recomputed from this union so the implementer may write them.
+     */
+    touched_files: z.array(z.string()).optional(),
+    tests_to_write: z.array(z.object({ name: z.string(), assertions: z.array(z.string()) }).strict()),
+    not_applicable_steps: z.array(z
+        .object({
+        step: z.enum([
+            REMEDIATION_STEP.WRITE_TESTS,
+            REMEDIATION_STEP.REFACTOR_CODE,
+            REMEDIATION_STEP.VERIFY_AGAINST_TESTS,
+            REMEDIATION_STEP.VERIFY_AGAINST_DOCUMENTATION,
+        ]),
+        rationale: z.string(),
+    })
+        .strict()),
+})
+    .strict();
+export const ClarificationRequestSchema = z
+    .object({
+    finding_id: z.string(),
+    category: z.enum([
+        "public_contract",
+        "behavioral_semantics",
+        "scope_of_fix",
+        "dependency_introduction",
+        "compatibility_policy",
+        "intent_vs_symptom",
+        "issue_appropriateness",
+    ]),
+    description: z.string(),
+    options: z.array(z.string()).optional(),
+})
+    .strict();
+export const ClosingActionPreviewSchema = z
+    .object({
+    /** Repo-relative paths that would be staged for the commit. */
+    files: z.array(z.string()),
+    /** Generated commit message derived from item summaries / finding titles. */
+    commit_message: z.string(),
+})
+    .strict();
+export const ClosingPlanSchema = z
+    .object({
+    action: z.enum(CLOSING_ACTIONS),
+    custom_command: z.array(z.string()).optional(),
+    /**
+     * When true, the host has explicitly confirmed the closing action preview and
+     * the close phase may proceed to execute git/publish commands without an
+     * additional confirmation prompt.
+     */
+    pre_authorized: z.boolean().optional(),
+    /**
+     * Set by the close phase before executing actions that require user
+     * confirmation. Contains the staged file list and generated commit message so
+     * the host can present them to the user. Cleared once the action executes.
+     */
+    closing_action_preview: ClosingActionPreviewSchema.optional(),
+})
+    .strict();
+//# sourceMappingURL=types.js.map

package/dist/remediate/state/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAQtD,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGvE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjD;;;;OAIG;IACH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACvC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,yBAAyB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC3D,cAAc,EAAE,CAAC;SACd,IAAI,CAAC,CAAC,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;SAC9D,QAAQ,EAAE;IACb,+EAA+E;IAC/E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,WAAW,EAAE,aAAa;IAC1B,aAAa,EAAE,eAAe;IAC9B,oBAAoB,EAAE,2BAA2B;IACjD,4BAA4B,EAAE,mCAAmC;CACzD,CAAC;AAKX,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACjC;;;;;OAKG;IACH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC7C,cAAc,EAAE,CAAC,CAAC,KAAK,CACrB,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CACzE;IACD,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAC3B,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACX,gBAAgB,CAAC,WAAW;YAC5B,gBAAgB,CAAC,aAAa;YAC9B,gBAAgB,CAAC,oBAAoB;YACrC,gBAAgB,CAAC,4BAA4B;SAC9C,CAAC;QACF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;KACtB,CAAC;SACD,MAAM,EAAE,CACZ;CACF,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC;QACf,iBAAiB;QACjB,sBAAsB;QACtB,cAAc;QACd,yBAAyB;QACzB,sBAAsB;QACtB,mBAAmB;QACnB,uBAAuB;KACxB,CAAC;IACF,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,+DAA+D;IAC/D,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;CAC3B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;IAC/B,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC9C;;;;OAIG;IACH,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACtC;;;;OAIG;IACH,sBAAsB,EAAE,0BAA0B,CAAC,QAAQ,EAAE;CAC9D,CAAC;KACD,MAAM,EAAE,CAAC"}

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

@@ -0,0 +1,173 @@
+import { type ValidationIssue, type JudgeReport } from "audit-tools/shared";
+import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
+import type { RemediationStep } from "./types.js";
+/**
+ * Maximum judge-ordered contract repairs per run. After the cap, the run
+ * proceeds to implementation planning with the unrepaired counterexamples
+ * carried as residual risks — an unbounded critic↔repair oscillation is the
+ * failure mode this exists to prevent.
+ */
+export declare const MAX_CONTRACT_REPAIR_ITERATIONS = 2;
+/** Maximum implementation_dag regenerations after traceability rejections. */
+export declare const MAX_DAG_REGENERATION_ATTEMPTS = 2;
+/**
+ * Maximum LLM cycle-break resolution attempts before routing to user-decision
+ * (and, if that also fails, to `blocked`).
+ */
+export declare const MAX_CYCLIC_SEAM_RESOLUTION_ATTEMPTS = 2;
+export interface CyclicSeamRepairState {
+    schema_version: "remediate-code-contract-pipeline/cyclic-seam-repair-state/v1alpha1";
+    /** Each attempt to resolve the detected cycles (keyed by obligation_ledger hash). */
+    attempts: {
+        ledger_hash: string;
+        at: string;
+        recheck_passed: boolean;
+    }[];
+    /** Whether a user-decision step has been emitted. */
+    user_decision_emitted: boolean;
+}
+export declare function readCyclicSeamRepairState(artifactsDir: string): Promise<CyclicSeamRepairState>;
+export declare function writeCyclicSeamRepairState(artifactsDir: string, state: CyclicSeamRepairState): Promise<void>;
+export interface ContractIngestionResult {
+    /** Raw worker payloads that validated and were wrapped into envelopes. */
+    ingested: ContractPipelineArtifactName[];
+    /** Raw worker payloads that failed validation (archived; phase re-emitted). */
+    invalid: {
+        name: ContractPipelineArtifactName;
+        issues: ValidationIssue[];
+    }[];
+}
+/**
+ * Wrap raw worker-written artifact payloads into validated envelopes. Workers
+ * write the bare payload the role schema describes; the envelope (content hash
+ * + dependency hashes) is the orchestrator's deterministic bookkeeping, added
+ * here. CP_ARTIFACT_NAMES is dependency-ordered, so dependencies are enveloped
+ * before their dependents and dependency hashes are always available.
+ */
+export declare function ingestContractArtifacts(artifactsDir: string): Promise<ContractIngestionResult>;
+export interface ContractPipelineCheckResult {
+    /** True when the contract pipeline should handle the next step. */
+    shouldHandleContractPipeline: boolean;
+    /** True when all pipeline phases (up to implementation_dag) are complete. */
+    pipelineComplete: boolean;
+}
+/**
+ * Determine whether the contract pipeline should be entered for this run.
+ * The pipeline is entered for ALL intake source types (structured_audit,
+ * document, conversation) when an extracted-plan.json has not yet been
+ * produced. Path A (structured_audit) seeds the pipeline via a path_a_seed.json
+ * before the first phase step, so goal_normalization and context_collection
+ * prompts can reference the auditor findings.
+ */
+export declare function shouldEnterContractPipeline(artifactsDir: string, _intakeSourceType: string | undefined): ContractPipelineCheckResult;
+/** Return the first pipeline phase whose output artifact does not exist. */
+export declare function nextMissingContractPhase(artifactsDir: string): string | null;
+export interface ContractPipelineStepOptions {
+    root: string;
+    artifactsDir: string;
+    runId: string;
+    sourcePaths?: string[];
+}
+export interface PathASeed {
+    schema_version: "remediate-code-contract-pipeline/path-a-seed/v1alpha1";
+    /** Absolute path to the audit-findings.json source file. */
+    audit_findings_path: string;
+    /** Number of findings in the report. */
+    finding_count: number;
+    /** Short per-finding summaries (id + title + lens). */
+    findings_summary: Array<{
+        id: string;
+        title: string;
+        lens: string;
+    }>;
+    /** Repo-relative paths cited as affected_files across all findings. */
+    affected_files: string[];
+    created_at: string;
+}
+/**
+ * Write a Path-A seed file from a parsed audit-findings report.
+ * The seed is written once (idempotent: skipped when it already exists).
+ * goal_normalization and context_collection prompts detect the seed and
+ * include its contents so every pipeline node traces to an auditor finding.
+ */
+export declare function writePathASeedFromFindings(artifactsDir: string, auditFindingsPath: string, auditFindings: unknown): Promise<void>;
+/**
+ * When a judge report omits `repair_directive`, infer the repair target from
+ * the failing classifications. Post-redesign the default is
+ * `finalized_module_contracts` (not `design_spec`).
+ */
+type ExtendedRepairTarget = "finalized_module_contracts" | "obligation_ledger" | "contract_assessment_report";
+/**
+ * Infer the most appropriate repair target from judge classifications when no
+ * explicit repair_directive is provided. Examines only accepted classifications
+ * and keyword-matches their rationale text.
+ *
+ * Priority (first match wins):
+ *   obligation/ledger/invariant/constraint keywords → obligation_ledger
+ *   assessment/finding/gap keywords                 → contract_assessment_report
+ *   fallback                                        → finalized_module_contracts
+ */
+export declare function inferRepairTarget(classifications: JudgeReport["classifications"]): ExtendedRepairTarget;
+export interface DagTraceabilityResult {
+    ok: boolean;
+    violations: string[];
+}
+/**
+ * The traceability invariant: no implementation_dag node may exist without
+ * tracing to an obligation from the ledger (satisfies_obligations or
+ * verification_obligation_ids) or to a judge-accepted counterexample
+ * (addresses_counterexamples). Untraceable nodes are unattributable work — the
+ * exact thing the contract pipeline exists to prevent.
+ */
+export declare function validateImplementationDagTraceability(artifactsDir: string): Promise<DagTraceabilityResult>;
+export interface ContractObligationsGateResult {
+    ok: boolean;
+    violations: string[];
+}
+/**
+ * Run the fail-closed contract-obligation gates against the persisted contract
+ * artifacts. Aggregates:
+ *   - validatePairedObligations  (obligation_ledger × test_validator_plan)
+ *   - validateEvidenceThreaded   (assessment × judge × implementation_dag)
+ *   - validateDigestCoverage     (goal_spec.source_type × finding-enumeration × ledger)
+ *   - validateReconciliationDerivation (seam report × finalized contracts)
+ *
+ * Only error-severity issues fail the gate. Each gate is individually tolerant
+ * of an absent input artifact (the upstream phase order guarantees presence by
+ * the time this runs, except the source-scoped digest-coverage check which is
+ * vacuous for non-enumerable sources).
+ */
+export declare function evaluateContractObligationsPromotionGate(artifactsDir: string): Promise<ContractObligationsGateResult>;
+/**
+ * Pre-adversarial structural floor (S5). The subset of the contract-obligation
+ * gates whose inputs all exist by the time the critic phase is reached
+ * (paired-obligation coverage, source-scoped digest coverage, and seam
+ * reconciliation derivation — none of which need the judge verdict or the
+ * implementation_dag). Running them BEFORE the expensive critic/judge loop means
+ * the adversarial phases only ever see structurally-sound obligations, tests, and
+ * contracts, and a structural gap is re-emitted to the precise responsible phase
+ * instead of being discovered at promotion (after the adversarial budget is spent)
+ * and re-emitted to the wrong phase. The full {@link evaluateContractObligationsPromotionGate}
+ * — including the evidence-threading check that needs the judge + DAG — still runs
+ * at promotion as the fail-closed backstop; this gate never replaces it.
+ *
+ * Returns the first failing gate's responsible phase + rendered error lines, or
+ * null when the structural floor is clean. Each underlying validator is tolerant
+ * of an absent input, so this is safe to call at the critic boundary.
+ */
+export declare function evaluatePreCriticStructuralGate(artifactsDir: string): Promise<{
+    phase: "contract_finalization" | "test_validator_plan";
+    errorLines: string[];
+} | null>;
+/**
+ * Build and write the next contract-pipeline step.
+ * Returns null when the pipeline is complete and the extracted plan is ready.
+ */
+export declare function buildNextContractPipelineStep(options: ContractPipelineStepOptions): Promise<RemediationStep | null>;
+/**
+ * Convert a completed ImplementationDAG into the extracted-plan.json format
+ * that the existing handlePendingExtractedPlan/applyPlanPipeline path consumes.
+ */
+export declare function promoteImplementationDagToExtractedPlan(artifactsDir: string): Promise<void>;
+export {};
+//# sourceMappingURL=contractPipeline.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AAwBA,OAAO,EAML,KAAK,eAAe,EACpB,KAAK,WAAW,EAIjB,MAAM,oBAAoB,CAAC;AAgD5B,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAGzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAwClD;;;;;GAKG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAuCrD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF,qFAAqF;IACrF,QAAQ,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IACzE,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AA2FD,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA6BlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAsCf;AAID;;;;GAIG;AAGH,KAAK,oBAAoB,GAAG,4BAA4B,GAAG,mBAAmB,GAAG,4BAA4B,CAAC;AAE9G;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAC9C,oBAAoB,CAYtB;AAwDD,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CA6ChC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,CAsCxC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAgDlG;AAID;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAyuBjC;AAkED;;;GAGG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CA4If"}