audit-tools 0.52.3 → 0.52.5

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

@@ -1,3 +1,4 @@
+import type { AcceptedConformanceReview } from "../../shared/types/reviewIndependence.js";
 import { z } from "zod";
 import type { RemediationItemStatus } from "./itemStatus.js";
 import type { Finding, RemediationOutcome, MechanicalVerification } from "audit-tools/shared";
@@ -56,6 +57,58 @@ export declare const RemediationBlockSchema: z.ZodObject<{
      * files. It is metadata for the host, never a backend-fit claim.
      */
     token_estimate: z.ZodOptional<z.ZodNumber>;
+    /** Distinct instructions from the implementation node, carried into the bound prompt. */
+    implementation_context: z.ZodOptional<z.ZodObject<{
+        description: z.ZodOptional<z.ZodString>;
+        preconditions: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        expected_changes: z.ZodOptional<z.ZodString>;
+        counterexamples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            claim: z.ZodString;
+            reproduction_steps: z.ZodArray<z.ZodString, "many">;
+            expected: z.ZodString;
+            actual: z.ZodString;
+            violated_obligation_ids: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }, {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        description?: string | undefined;
+        preconditions?: string[] | undefined;
+        expected_changes?: string | undefined;
+        counterexamples?: {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }[] | undefined;
+    }, {
+        description?: string | undefined;
+        preconditions?: string[] | undefined;
+        expected_changes?: string | undefined;
+        counterexamples?: {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }[] | undefined;
+    }>>;
     /**
      * The APPROVED finalized module contract(s) this block implements (the
      * evidence-coverage entry in docs/backlog/open-bugs.md). Attached VERBATIM at promotion by resolving each DAG
@@ -85,6 +138,19 @@ export declare const RemediationBlockSchema: z.ZodObject<{
     dependencies?: string[] | undefined;
     phase_ordinal?: number | undefined;
     cofile_parallel_safe?: boolean | undefined;
+    implementation_context?: {
+        description?: string | undefined;
+        preconditions?: string[] | undefined;
+        expected_changes?: string | undefined;
+        counterexamples?: {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }[] | undefined;
+    } | undefined;
     module_contracts?: {
         module: string;
         contract: Record<string, unknown>;
@@ -99,6 +165,19 @@ export declare const RemediationBlockSchema: z.ZodObject<{
     dependencies?: string[] | undefined;
     phase_ordinal?: number | undefined;
     cofile_parallel_safe?: boolean | undefined;
+    implementation_context?: {
+        description?: string | undefined;
+        preconditions?: string[] | undefined;
+        expected_changes?: string | undefined;
+        counterexamples?: {
+            expected: string;
+            id: string;
+            claim: string;
+            reproduction_steps: string[];
+            actual: string;
+            violated_obligation_ids: string[];
+        }[] | undefined;
+    } | undefined;
     module_contracts?: {
         module: string;
         contract: Record<string, unknown>;
@@ -281,7 +360,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         confidence: "high" | "low" | "medium";
         title: string;
         category: string;
-        severity: "high" | "low" | "critical" | "medium" | "info";
+        severity: "info" | "high" | "low" | "critical" | "medium";
         lens: string;
         summary: string;
         affected_files: {
@@ -293,7 +372,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
             no_quotable_span?: string | undefined;
             hash_at_plan_time?: string | undefined;
         }[];
-        severity_downgraded_from?: "high" | "low" | "critical" | "medium" | "info" | undefined;
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         evidence?: string[] | undefined;
@@ -344,7 +423,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         confidence: "high" | "low" | "medium";
         title: string;
         category: string;
-        severity: "high" | "low" | "critical" | "medium" | "info";
+        severity: "info" | "high" | "low" | "critical" | "medium";
         lens: string;
         summary: string;
         affected_files: {
@@ -356,7 +435,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
             no_quotable_span?: string | undefined;
             hash_at_plan_time?: string | undefined;
         }[];
-        severity_downgraded_from?: "high" | "low" | "critical" | "medium" | "info" | undefined;
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         evidence?: string[] | undefined;
@@ -455,6 +534,58 @@ export declare const RemediationPlanSchema: z.ZodObject<{
          * files. It is metadata for the host, never a backend-fit claim.
          */
         token_estimate: z.ZodOptional<z.ZodNumber>;
+        /** Distinct instructions from the implementation node, carried into the bound prompt. */
+        implementation_context: z.ZodOptional<z.ZodObject<{
+            description: z.ZodOptional<z.ZodString>;
+            preconditions: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            expected_changes: z.ZodOptional<z.ZodString>;
+            counterexamples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                claim: z.ZodString;
+                reproduction_steps: z.ZodArray<z.ZodString, "many">;
+                expected: z.ZodString;
+                actual: z.ZodString;
+                violated_obligation_ids: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }, {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }>, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        }, {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        }>>;
         /**
          * The APPROVED finalized module contract(s) this block implements (the
          * evidence-coverage entry in docs/backlog/open-bugs.md). Attached VERBATIM at promotion by resolving each DAG
@@ -484,6 +615,19 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         dependencies?: string[] | undefined;
         phase_ordinal?: number | undefined;
         cofile_parallel_safe?: boolean | undefined;
+        implementation_context?: {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        } | undefined;
         module_contracts?: {
             module: string;
             contract: Record<string, unknown>;
@@ -498,6 +642,19 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         dependencies?: string[] | undefined;
         phase_ordinal?: number | undefined;
         cofile_parallel_safe?: boolean | undefined;
+        implementation_context?: {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        } | undefined;
         module_contracts?: {
             module: string;
             contract: Record<string, unknown>;
@@ -510,26 +667,6 @@ export declare const RemediationPlanSchema: z.ZodObject<{
     e2e_command_source: z.ZodOptional<z.ZodEnum<["project_facts", "explicit"]>>;
     candidate_closing_actions: z.ZodArray<z.ZodEnum<["commit", "push", "open-pr", "publish", "tag", "none", "custom"]>, "many">;
     block_strategy: z.ZodOptional<z.ZodEnum<["test_graph", "git_cocommit", "file_overlap", "manual"]>>;
-    /** Synthesis themes carried from audit-findings.json (Phase 6/7 fix hints). */
-    themes: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        theme_id: z.ZodString;
-        title: z.ZodString;
-        root_cause: z.ZodString;
-        finding_ids: z.ZodArray<z.ZodString, "many">;
-        suggested_fix_pattern: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        title: string;
-        theme_id: string;
-        finding_ids: string[];
-        root_cause: string;
-        suggested_fix_pattern: string;
-    }, {
-        title: string;
-        theme_id: string;
-        finding_ids: string[];
-        root_cause: string;
-        suggested_fix_pattern: string;
-    }>, "many">>;
     /**
      * What the AUDIT read (`AuditRead`), stamped by the TOOL at plan application
      * from the validated source findings report — never taken from the
@@ -555,7 +692,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         confidence: "high" | "low" | "medium";
         title: string;
         category: string;
-        severity: "high" | "low" | "critical" | "medium" | "info";
+        severity: "info" | "high" | "low" | "critical" | "medium";
         lens: string;
         summary: string;
         affected_files: {
@@ -567,7 +704,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
             no_quotable_span?: string | undefined;
             hash_at_plan_time?: string | undefined;
         }[];
-        severity_downgraded_from?: "high" | "low" | "critical" | "medium" | "info" | undefined;
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         evidence?: string[] | undefined;
@@ -626,19 +763,25 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         dependencies?: string[] | undefined;
         phase_ordinal?: number | undefined;
         cofile_parallel_safe?: boolean | undefined;
+        implementation_context?: {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        } | undefined;
         module_contracts?: {
             module: string;
             contract: Record<string, unknown>;
         }[] | undefined;
     }[];
     plan_id: string;
-    themes?: {
-        title: string;
-        theme_id: string;
-        finding_ids: string[];
-        root_cause: string;
-        suggested_fix_pattern: string;
-    }[] | undefined;
     audit_read?: {
         commit: string;
         dirty_paths: string[];
@@ -656,7 +799,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         confidence: "high" | "low" | "medium";
         title: string;
         category: string;
-        severity: "high" | "low" | "critical" | "medium" | "info";
+        severity: "info" | "high" | "low" | "critical" | "medium";
         lens: string;
         summary: string;
         affected_files: {
@@ -668,7 +811,7 @@ export declare const RemediationPlanSchema: z.ZodObject<{
             no_quotable_span?: string | undefined;
             hash_at_plan_time?: string | undefined;
         }[];
-        severity_downgraded_from?: "high" | "low" | "critical" | "medium" | "info" | undefined;
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
         impact?: string | undefined;
         likelihood?: string | undefined;
         evidence?: string[] | undefined;
@@ -727,19 +870,25 @@ export declare const RemediationPlanSchema: z.ZodObject<{
         dependencies?: string[] | undefined;
         phase_ordinal?: number | undefined;
         cofile_parallel_safe?: boolean | undefined;
+        implementation_context?: {
+            description?: string | undefined;
+            preconditions?: string[] | undefined;
+            expected_changes?: string | undefined;
+            counterexamples?: {
+                expected: string;
+                id: string;
+                claim: string;
+                reproduction_steps: string[];
+                actual: string;
+                violated_obligation_ids: string[];
+            }[] | undefined;
+        } | undefined;
         module_contracts?: {
             module: string;
             contract: Record<string, unknown>;
         }[] | undefined;
     }[];
     plan_id: string;
-    themes?: {
-        title: string;
-        theme_id: string;
-        finding_ids: string[];
-        root_cause: string;
-        suggested_fix_pattern: string;
-    }[] | undefined;
     audit_read?: {
         commit: string;
         dirty_paths: string[];
@@ -762,10 +911,26 @@ export type RemediationPlan = z.infer<typeof RemediationPlanSchema>;
 export declare const REMEDIATION_HOST_HANDOFF_RECORD_V1ALPHA1: "remediation-host-handoff-record/v1alpha1";
 export declare const REMEDIATION_HOST_HANDOFF_RECORD_V1ALPHA2: "remediation-host-handoff-record/v1alpha2";
 export declare const REMEDIATION_HOST_SCOPE_SEMANTICS: "explicit-directory-markers/v1";
+export declare const ConformanceReviewBindingSchema: z.ZodObject<{
+    run_id: z.ZodString;
+    enabled: z.ZodBoolean;
+    checkpoint_sha256: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    enabled: boolean;
+    run_id: string;
+    checkpoint_sha256?: string | undefined;
+}, {
+    enabled: boolean;
+    run_id: string;
+    checkpoint_sha256?: string | undefined;
+}>;
+export type ConformanceReviewBinding = z.infer<typeof ConformanceReviewBindingSchema>;
 export declare const RemediationHostHandoffRecordSchema: z.ZodDiscriminatedUnion<"contract_version", [z.ZodObject<{
     run_id: z.ZodString;
     baseline_commit: z.ZodString;
     workload_sha256: z.ZodString;
+    /** Enforces persistence of the tool-minted required-review snapshot alongside this handoff. */
+    conformance_policy_sha256: z.ZodOptional<z.ZodString>;
     work_item_ids: z.ZodArray<z.ZodString, "many">;
     contract_version: z.ZodLiteral<"remediation-host-handoff-record/v1alpha1">;
 }, "strict", z.ZodTypeAny, {
@@ -774,16 +939,20 @@ export declare const RemediationHostHandoffRecordSchema: z.ZodDiscriminatedUnion
     baseline_commit: string;
     workload_sha256: string;
     work_item_ids: string[];
+    conformance_policy_sha256?: string | undefined;
 }, {
     run_id: string;
     contract_version: "remediation-host-handoff-record/v1alpha1";
     baseline_commit: string;
     workload_sha256: string;
     work_item_ids: string[];
+    conformance_policy_sha256?: string | undefined;
 }>, z.ZodObject<{
     run_id: z.ZodString;
     baseline_commit: z.ZodString;
     workload_sha256: z.ZodString;
+    /** Enforces persistence of the tool-minted required-review snapshot alongside this handoff. */
+    conformance_policy_sha256: z.ZodOptional<z.ZodString>;
     work_item_ids: z.ZodArray<z.ZodString, "many">;
     contract_version: z.ZodLiteral<"remediation-host-handoff-record/v1alpha2">;
     scope_semantics: z.ZodLiteral<"explicit-directory-markers/v1">;
@@ -794,6 +963,7 @@ export declare const RemediationHostHandoffRecordSchema: z.ZodDiscriminatedUnion
     workload_sha256: string;
     work_item_ids: string[];
     scope_semantics: "explicit-directory-markers/v1";
+    conformance_policy_sha256?: string | undefined;
 }, {
     run_id: string;
     contract_version: "remediation-host-handoff-record/v1alpha2";
@@ -801,6 +971,7 @@ export declare const RemediationHostHandoffRecordSchema: z.ZodDiscriminatedUnion
     workload_sha256: string;
     work_item_ids: string[];
     scope_semantics: "explicit-directory-markers/v1";
+    conformance_policy_sha256?: string | undefined;
 }>]>;
 export type RemediationHostHandoffRecord = z.infer<typeof RemediationHostHandoffRecordSchema>;
 export declare const ClarificationRequestSchema: z.ZodObject<{
@@ -1009,6 +1180,8 @@ export interface RemediationItemState {
     failure_reason?: string;
     /** Prompt-bound evidence supplied for a verified no-change host outcome. */
     host_result_evidence?: string[];
+    /** Validated successful semantic review receipt, retained through final outcomes. */
+    conformance_review?: AcceptedConformanceReview;
     /**
      * WHAT LANDED for this item, persisted at acceptance — the corroborated
      * worktree outcome, not the host's claim. The result's `landed_commit` was

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAM7D,OAAO,KAAK,EACV,OAAO,EACP,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,OAAO,EAAE,CAAC;AAWxB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0CAA0C,CAAC;AAIzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAE9D,eAAO,MAAM,sBAAsB;;;IAI/B;;;OAGG;;IAEH;;;;OAIG;;IAEH;;;;OAIG;;IAEH;;;;;;;;OAQG;;IAEH;;;;;;;OAOG;;IAEH;;;;;;OAMG;;IAEH;;;OAGG;;IAEH;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYI,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAxE9B;;;WAGG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;QAEH;;;;;;;;WAQG;;QAEH;;;;;;;WAOG;;QAEH;;;;;;WAMG;;QAEH;;;WAGG;;QAEH;;;;;;;;WAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+BH,+EAA+E;;;;;;;;;;;;;;;;;;;;IAE/E;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,wCAAwC,EACnD,0CAAmD,CAAC;AACtD,eAAO,MAAM,wCAAwC,EACnD,0CAAmD,CAAC;AACtD,eAAO,MAAM,gCAAgC,EAC3C,+BAAwC,CAAC;AAwB3C,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM9C,CAAC;AACF,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAChD,OAAO,kCAAkC,CAC1C,CAAC;AAEF,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;EAe5B,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE7E,+EAA+E;AAC/E,eAAO,MAAM,wBAAwB,8JACc,CAAC;AACpD,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAErE,uEAAuE;AACvE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,qBAAqB,CAKhC;AAED,eAAO,MAAM,0BAA0B;IAEnC,+DAA+D;;IAE/D,6EAA6E;;IAE7E;;;;;;OAMG;;;;;;;;;;EAGI,CAAC;AAEZ,eAAO,MAAM,iBAAiB;;;IAI1B;;;;OAIG;;IAEH;;;;OAIG;;QA7BH,+DAA+D;;QAE/D,6EAA6E;;QAE7E;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBI,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;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IAChE,2EAA2E;IAC3E,OAAO,EAAE,OAAO,CAAC;IACjB,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;AAKD,YAAY,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAE9D,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC;;;;;;;;;;;;;;;;;;;OAmBG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,8EAA8E;IAC9E,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;OAGG;IACH,uBAAuB,CAAC,EAAE,sBAAsB,CAAC;IACjD,+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,sBAAsB,CAAC,EAAE,qBAAqB,CAAC;IAC/C;;;;OAIG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;;;;OAMG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;CAC9C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AAG1F,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAM7D,OAAO,KAAK,EACV,OAAO,EACP,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,OAAO,EAAE,CAAC;AAWxB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0CAA0C,CAAC;AAIzE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAE9D,eAAO,MAAM,sBAAsB;;;IAI/B;;;OAGG;;IAEH;;;;OAIG;;IAEH;;;;OAIG;;IAEH;;;;;;;;OAQG;;IAEH;;;;;;;OAOG;;IAEH;;;;;;OAMG;;IAEH;;;OAGG;;IAEH,yFAAyF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEzF;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYI,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA1E9B;;;WAGG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;QAEH;;;;;;;;WAQG;;QAEH;;;;;;;WAOG;;QAEH;;;;;;WAMG;;QAEH;;;WAGG;;QAEH,yFAAyF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAEzF;;;;;;;;WAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+BH;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,wCAAwC,EACnD,0CAAmD,CAAC;AACtD,eAAO,MAAM,wCAAwC,EACnD,0CAAmD,CAAC;AACtD,eAAO,MAAM,gCAAgC,EAC3C,+BAAwC,CAAC;AAE3C,eAAO,MAAM,8BAA8B;;;;;;;;;;;;EAIhC,CAAC;AACZ,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC;AA2BtF,eAAO,MAAM,kCAAkC;;;;IArB7C,+FAA+F;;;;;;;;;;;;;;;;;;;;;;IAA/F,+FAA+F;;;;;;;;;;;;;;;;;;;;;IA2BhG,CAAC;AACF,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAChD,OAAO,kCAAkC,CAC1C,CAAC;AAEF,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;EAe5B,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,IAAI,CAAC,oBAAoB,EAAE,YAAY,CAAC,CAAC;AAE7E,+EAA+E;AAC/E,eAAO,MAAM,wBAAwB,8JACc,CAAC;AACpD,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAErE,uEAAuE;AACvE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,qBAAqB,CAKhC;AAED,eAAO,MAAM,0BAA0B;IAEnC,+DAA+D;;IAE/D,6EAA6E;;IAE7E;;;;;;OAMG;;;;;;;;;;EAGI,CAAC;AAEZ,eAAO,MAAM,iBAAiB;;;IAI1B;;;;OAIG;;IAEH;;;;OAIG;;QA7BH,+DAA+D;;QAE/D,6EAA6E;;QAE7E;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBI,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;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IAChE,2EAA2E;IAC3E,OAAO,EAAE,OAAO,CAAC;IACjB,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;AAKD,YAAY,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAE9D,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,qFAAqF;IACrF,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IAC/C;;;;;;;;;;;;;;;;;;;OAmBG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,8EAA8E;IAC9E,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;OAGG;IACH,uBAAuB,CAAC,EAAE,sBAAsB,CAAC;IACjD,+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,sBAAsB,CAAC,EAAE,qBAAqB,CAAC;IAC/C;;;;OAIG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;;;;OAMG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;CAC9C"}

package/dist/remediate/state/types.js

@@ -1,7 +1,8 @@
+import { ImplementationContextSchema } from "../../shared/types/contractPipeline/implementation.js";
 // sites-pinned: tests/remediate/audit-read-plan-stamp.test.ts
 import { z } from "zod";
 import { CLOSING_ACTIONS } from "audit-tools/shared";
-import { AuditReadSchema, FindingSchema, FindingThemeSchema } from "audit-tools/shared";
+import { AuditReadSchema, FindingSchema } from "audit-tools/shared";
 export const RemediationBlockSchema = z
     .object({
     block_id: z.string(),
@@ -55,6 +56,8 @@ export const RemediationBlockSchema = z
      * files. It is metadata for the host, never a backend-fit claim.
      */
     token_estimate: z.number().int().nonnegative().optional(),
+    /** Distinct instructions from the implementation node, carried into the bound prompt. */
+    implementation_context: ImplementationContextSchema.optional(),
     /**
      * The APPROVED finalized module contract(s) this block implements (the
      * evidence-coverage entry in docs/backlog/open-bugs.md). Attached VERBATIM at promotion by resolving each DAG
@@ -90,8 +93,6 @@ export const RemediationPlanSchema = z
     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(),
     /**
      * What the AUDIT read (`AuditRead`), stamped by the TOOL at plan application
      * from the validated source findings report — never taken from the
@@ -113,10 +114,17 @@ export const RemediationPlanSchema = z
 export const REMEDIATION_HOST_HANDOFF_RECORD_V1ALPHA1 = "remediation-host-handoff-record/v1alpha1";
 export const REMEDIATION_HOST_HANDOFF_RECORD_V1ALPHA2 = "remediation-host-handoff-record/v1alpha2";
 export const REMEDIATION_HOST_SCOPE_SEMANTICS = "explicit-directory-markers/v1";
+export const ConformanceReviewBindingSchema = z.object({
+    run_id: z.string().min(1),
+    enabled: z.boolean(),
+    checkpoint_sha256: z.string().regex(/^[0-9a-f]{64}$/u).optional(),
+}).strict();
 const RemediationHostHandoffBindingFields = {
     run_id: z.string().regex(/^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/u),
     baseline_commit: z.string().regex(/^(?:[0-9a-f]{40}|[0-9a-f]{64})$/u),
     workload_sha256: z.string().regex(/^[0-9a-f]{64}$/u),
+    /** Enforces persistence of the tool-minted required-review snapshot alongside this handoff. */
+    conformance_policy_sha256: z.string().regex(/^[0-9a-f]{64}$/u).optional(),
     work_item_ids: z.array(z.string()).min(1),
 };
 const LegacyRemediationHostHandoffRecordSchema = z

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

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAYrD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAkBxF,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;;;OAGG;IACH,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B;;;;OAIG;IACH,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;;;;;;;;OAQG;IACH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC;;;;;;;OAOG;IACH,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD;;;;;;OAMG;IACH,oBAAoB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC5C;;;OAGG;IACH,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACzD;;;;;;;;OAQG;IACH,gBAAgB,EAAE,CAAC;SAChB,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;QAClB,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;KAC5C,CAAC;SACD,MAAM,EAAE,CACZ;SACA,QAAQ,EAAE;CACd,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,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrE,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpE,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;IAC9C;;;;;;;;OAQG;IACH,UAAU,EAAE,eAAe,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAClD,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wCAAwC,GACnD,0CAAmD,CAAC;AACtD,MAAM,CAAC,MAAM,wCAAwC,GACnD,0CAAmD,CAAC;AACtD,MAAM,CAAC,MAAM,gCAAgC,GAC3C,+BAAwC,CAAC;AAE3C,MAAM,mCAAmC,GAAG;IAC1C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC;IAC/D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC;IACrE,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpD,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1C,CAAC;AAEF,MAAM,wCAAwC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC;IACrE,GAAG,mCAAmC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,+CAA+C,GAAG,CAAC;KACtD,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC;IACrE,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IAC5D,GAAG,mCAAmC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC,kBAAkB,CACpE,kBAAkB,EAClB;IACE,wCAAwC;IACxC,+CAA+C;CAChD,CACF,CAAC;AAKF,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;AAaZ,+EAA+E;AAC/E,MAAM,CAAC,MAAM,wBAAwB,GACnC,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;AAGpD,uEAAuE;AACvE,MAAM,UAAU,uBAAuB,CACrC,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,wBAA8C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,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;IAC1B;;;;;;OAMG;IACH,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,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"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/remediate/state/types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,uDAAuD,CAAC;AACpG,8DAA8D;AAC9D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAYrD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAkBpE,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;;;OAGG;IACH,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B;;;;OAIG;IACH,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;;;;;;;;OAQG;IACH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC;;;;;;;OAOG;IACH,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACxD;;;;;;OAMG;IACH,oBAAoB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC5C;;;OAGG;IACH,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACzD,yFAAyF;IACzF,sBAAsB,EAAE,2BAA2B,CAAC,QAAQ,EAAE;IAC9D;;;;;;;;OAQG;IACH,gBAAgB,EAAE,CAAC;SAChB,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;QAClB,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;KAC5C,CAAC;SACD,MAAM,EAAE,CACZ;SACA,QAAQ,EAAE;CACd,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,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrE,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IACpE,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;;;;;;;;OAQG;IACH,UAAU,EAAE,eAAe,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CAClD,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wCAAwC,GACnD,0CAAmD,CAAC;AACtD,MAAM,CAAC,MAAM,wCAAwC,GACnD,0CAAmD,CAAC;AACtD,MAAM,CAAC,MAAM,gCAAgC,GAC3C,+BAAwC,CAAC;AAE3C,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE;CAClE,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,mCAAmC,GAAG;IAC1C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC;IAC/D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC;IACrE,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpD,+FAA+F;IAC/F,yBAAyB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE;IACzE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAE1C,CAAC;AAEF,MAAM,wCAAwC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC;IACrE,GAAG,mCAAmC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,+CAA+C,GAAG,CAAC;KACtD,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC;IACrE,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IAC5D,GAAG,mCAAmC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC,kBAAkB,CACpE,kBAAkB,EAClB;IACE,wCAAwC;IACxC,+CAA+C;CAChD,CACF,CAAC;AAKF,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;AAaZ,+EAA+E;AAC/E,MAAM,CAAC,MAAM,wBAAwB,GACnC,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;AAGpD,uEAAuE;AACvE,MAAM,UAAU,uBAAuB,CACrC,KAAc;IAEd,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACxB,wBAA8C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,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;IAC1B;;;;;;OAMG;IACH,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,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

@@ -1,3 +1,4 @@
+import { type ConceptualCritiqueRepairTarget } from "../../shared/types/contractPipeline/design.js";
 import { type ValidationIssue, type JudgeReport, type WorkBlock, type WorkBlockSeam, type AuditRead } from "audit-tools/shared";
 import { OBLIGATION_KIND_PRIORITY, type ObligationKind } from "../contractPipeline/obligationKinds.js";
 import { readIntakeRiskSignal, type AdversarialDepth } from "../riskSignal.js";
@@ -92,7 +93,10 @@ export interface ContractIngestionResult {
     invalid: {
         name: ContractPipelineArtifactName;
         issues: ValidationIssue[];
+        unavailable?: boolean;
     }[];
+    /** Previously reviewed context changed; freshness work must run upstream-first. */
+    stale?: ContractPipelineArtifactName[];
 }
 /**
  * Derive validated canonical envelopes from the host's plain INPUT files (D3).
@@ -103,7 +107,7 @@ export interface ContractIngestionResult {
  * dependencies are enveloped before their dependents and dependency hashes are
  * always available.
  */
-export declare function ingestContractArtifacts(artifactsDir: string): Promise<ContractIngestionResult>;
+export declare function ingestContractArtifacts(artifactsDir: string, adversarialDepth?: AdversarialDepth): Promise<ContractIngestionResult>;
 export interface ContractPipelineCheckResult {
     /** True when the contract pipeline should handle the next step. */
     shouldHandleContractPipeline: boolean;
@@ -273,17 +277,54 @@ type ExtendedRepairTarget = Exclude<JudgeRepairTarget, "design_spec">;
  *   fallback                                        → finalized_module_contracts
  */
 export declare function inferRepairTarget(classifications: JudgeReport["classifications"] | undefined): ExtendedRepairTarget;
+type JudgeGate = {
+    kind: "proceed";
+} | {
+    kind: "escalate";
+    reason: "stall" | "runaway" | "invalid_waivers";
+    /** Accepted counterexample ids still standing — waived ones excluded. */
+    outstanding: string[];
+    note: string;
+    /** Present only for reason "invalid_waivers": why the file was refused. */
+    waiverIssues?: string[];
+} | {
+    kind: "repair";
+    directive: {
+        target: ExtendedRepairTarget;
+        instruction: string;
+    };
+    judgeHash: string;
+    acceptedCeIds: string[];
+    addressedCeFingerprints: string[];
+};
+/**
+ * Decide whether implementation planning may proceed. Convergence-terminated,
+ * NOT capped at an arbitrary count:
+ *   - approved verdict ⇒ proceed (the fixpoint);
+ *   - a needs_repair verdict that surfaces a NEW accepted counterexample (one not
+ *     already addressed by a prior repair) ⇒ repair (genuine progress);
+ *   - a needs_repair verdict whose accepted counterexamples were ALL already
+ *     addressed ⇒ escalate (stall/oscillation — the repair loop is not converging,
+ *     surface the outstanding counterexamples to the user instead of silently
+ *     shipping residual risk or looping);
+ *   - the runaway backstop (MAX_CONTRACT_REPAIR_ITERATIONS) ⇒ escalate (loud).
+ * The former fixed N=2 cap that proceeded-with-residual-risk at an arbitrary count
+ * is gone: a deep-but-converging run is no longer cut mid-convergence, and a
+ * genuinely non-converging run is surfaced rather than buried.
+ */
+export declare function evaluateJudgeGate(artifactsDir: string): Promise<JudgeGate>;
 type CritiqueGate = {
     kind: "proceed";
 } | {
     kind: "escalate";
-    reason: "stall" | "runaway";
+    reason: "stall" | "runaway" | "unsupported_target";
     blocking: string[];
     note: string;
 } | {
     kind: "repair";
     critiqueHash: string;
     blockingIds: string[];
+    target: ConceptualCritiqueRepairTarget;
 };
 /**
  * Decide whether the pipeline may advance past the conceptual-design critique.
@@ -298,7 +339,7 @@ type CritiqueGate = {
  * is advisory display; the blocking-item set is the contract.
  *
  * Convergence-terminated, mirroring {@link evaluateJudgeGate}: the first blocking
- * critique ⇒ repair the design (`finalized_module_contracts`); repairing it
+ * critique ⇒ repair its declared owner (legacy: `finalized_module_contracts`); repairing it
  * re-stales and re-emits the critique (it depends on the finalized contracts), so
  * a clean re-critique ⇒ proceed (the fixpoint). A fresh critique whose blocking
  * ids were ALL already addressed by a prior repair, with none new ⇒ escalate
@@ -373,6 +414,22 @@ declare const PARALLEL_MODULE_PHASES: {
 };
 type ParallelModulePhase = keyof typeof PARALLEL_MODULE_PHASES;
 export declare function isParallelModulePhase(phase: string): phase is ParallelModulePhase;
+/**
+ * Resolve the adversarial-depth dial for a run (extracted from
+ * buildNextContractPipelineStep for testability; behavior-preserving).
+ *
+ * The depth derives from the intake risk signal (the slice-2 shared signal).
+ * Escalate-on-evidence (optimistic-start): the run begins at the cheap intake
+ * tier; once decomposition reveals the work's actual shape, the tier is raised
+ * for THIS and every subsequent next-step. The raise is idempotent + convergent
+ * (escalateRiskSignal no-ops once the tier already covers the evidence), and the
+ * signal is rewritten only on a real raise. Absent signal ⇒ undefined ⇒ the
+ * renderer applies its fail-safe full depth (floor is `light`, never off).
+ */
+export declare function resolveAdversarialDepth(artifactsDir: string): Promise<{
+    riskSignal: Awaited<ReturnType<typeof readIntakeRiskSignal>>;
+    adversarialDepth: AdversarialDepth | undefined;
+}>;
 /**
  * Everything a gate is handed. Assembled once per invocation, then passed to
  * every gate in the walk, so each gate is a module-level function that can be
@@ -395,6 +452,7 @@ export interface ContractGateContext {
     readonly sourcePaths?: string[];
     readonly paths: ReturnType<typeof intakePaths>;
     readonly artifactPaths: Partial<Record<ContractPipelineArtifactName, string>>;
+    readonly artifactReadPaths: Partial<Record<ContractPipelineArtifactName, string>>;
     /** Present only for structured_audit (path-A) runs. */
     readonly pathASeedPath?: string;
     readonly riskSignal: Awaited<ReturnType<typeof readIntakeRiskSignal>>;