audit-tools 0.52.2 → 0.52.4

package/dist/shared/types/contractPipeline/implementation.d.ts

@@ -1,3 +1,4 @@
+import { z } from "zod";
 /**
  * Contract-pipeline artifact: implementation phase.
  *
@@ -61,4 +62,57 @@ export interface ImplementationDAG {
     /** ISO-8601 timestamp when this DAG was created. */
     created_at: string;
 }
+/** Node-specific implementation facts not already present in findings or module contracts. */
+export declare const ImplementationContextSchema: 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;
+}>;
+export type ImplementationContext = z.infer<typeof ImplementationContextSchema>;
 //# sourceMappingURL=implementation.d.ts.map

package/dist/shared/types/contractPipeline/implementation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"implementation.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,eAAO,MAAM,4CAA4C,EACvD,8DAAuE,CAAC;AAG1E,YAAY,EAAE,eAAe,EAAE,CAAC;AAIhC,0CAA0C;AAC1C,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,+EAA+E;IAC/E,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC,2DAA2D;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kEAAkE;IAClE,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,oDAAoD;IACpD,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mCAAmC;IACnC,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC;IAC3D,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,iGAAiG;IACjG,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,2FAA2F;IAC3F,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,GAAG,cAAc,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,4CAA4C,CAAC;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"implementation.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,eAAO,MAAM,4CAA4C,EACvD,8DAAuE,CAAC;AAG1E,YAAY,EAAE,eAAe,EAAE,CAAC;AAIhC,0CAA0C;AAC1C,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,+EAA+E;IAC/E,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC,2DAA2D;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kEAAkE;IAClE,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,oDAAoD;IACpD,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mCAAmC;IACnC,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC;IAC3D,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,iGAAiG;IACjG,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,2FAA2F;IAC3F,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,GAAG,cAAc,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,4CAA4C,CAAC;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,8FAA8F;AAC9F,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK7B,CAAC;AACZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC"}

package/dist/shared/types/contractPipeline/implementation.js

@@ -1,8 +1,13 @@
-/**
- * Contract-pipeline artifact: implementation phase.
- *
- * ImplementationDAG — directed acyclic graph of implementation tasks.
- */
+// sites-pinned: tests/remediate/host-handoff.test.ts, tests/remediate/contract-pipeline.test.ts
+import { z } from "zod";
+import { CounterexampleSchema } from "./obligations.js";
 // ── Version constants ────────────────────────────────────────────────────────
 export const CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION = "remediate-code-contract-pipeline/implementation-dag/v1alpha1";
+/** Node-specific implementation facts not already present in findings or module contracts. */
+export const ImplementationContextSchema = z.object({
+    description: z.string().optional(),
+    preconditions: z.array(z.string()).optional(),
+    expected_changes: z.string().optional(),
+    counterexamples: z.array(CounterexampleSchema).optional(),
+}).strict();
 //# sourceMappingURL=implementation.js.map

package/dist/shared/types/contractPipeline/implementation.js.map

@@ -1 +1 @@
-{"version":3,"file":"implementation.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,4CAA4C,GACvD,8DAAuE,CAAC"}
+{"version":3,"file":"implementation.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AASxD,gFAAgF;AAEhF,MAAM,CAAC,MAAM,4CAA4C,GACvD,8DAAuE,CAAC;AAiE1E,8FAA8F;AAC9F,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC7C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE;CAC1D,CAAC,CAAC,MAAM,EAAE,CAAC"}

package/dist/shared/types/contractPipeline/obligations.d.ts

@@ -1,3 +1,4 @@
+import { z } from "zod";
 /**
  * Contract-pipeline artifact: obligations phase.
  *
@@ -148,19 +149,29 @@ export interface ContractAssessmentReport {
     created_at: string;
 }
 /** A concrete example produced by the adversarial critic that falsifies a design claim. */
-export interface Counterexample {
-    /** Stable identifier (referenced by the judge report and implementation DAG). */
+export declare const CounterexampleSchema: 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;
-    /** The design claim being falsified. */
     claim: string;
-    /** Concrete steps that reproduce the failure. */
     reproduction_steps: string[];
-    /** Expected vs. actual behavior. */
+    actual: string;
+    violated_obligation_ids: string[];
+}, {
     expected: string;
+    id: string;
+    claim: string;
+    reproduction_steps: string[];
     actual: string;
-    /** Which obligation(s) this counterexample violates. */
     violated_obligation_ids: string[];
-}
+}>;
+export type Counterexample = z.infer<typeof CounterexampleSchema>;
 /** The critic phase's output artifact: all counterexamples found against the design. */
 export interface CounterexampleReport {
     contract_version: typeof CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION;
@@ -196,10 +207,10 @@ export interface JudgedCounterexample {
  *
  * `counterexample` is NOT a member. The judge rules on the critic's report, so
  * it cannot order that report rewritten, and the repair loop can regenerate only
- * the three contract artifacts. It was admitted once and then swapped for an
+ * the declared owning contract artifacts. It was admitted once and then swapped for an
  * inferred target in silence; the validator now refuses it with that reason.
  */
-export declare const CONTRACT_REPAIR_TARGETS: readonly ["finalized_module_contracts", "obligation_ledger", "contract_assessment_report", "design_spec"];
+export declare const CONTRACT_REPAIR_TARGETS: readonly ["module_decomposition", "finalized_module_contracts", "obligation_ledger", "contract_assessment_report", "design_spec"];
 /**
  * The values a validator still ACCEPTS but no sketch OFFERS — the
  * accept-legacy / emit-current split, declared as data.
@@ -226,7 +237,7 @@ export declare const CONTRACT_REPAIR_TARGETS_LEGACY: readonly ["design_spec"];
  * {@link CONTRACT_REPAIR_TARGETS}, so adding a target adds it to the sketch
  * automatically and removing one cannot leave a stale alternation behind.
  */
-export declare const CONTRACT_REPAIR_TARGETS_OFFERED: ("design_spec" | "finalized_module_contracts" | "obligation_ledger" | "contract_assessment_report")[];
+export declare const CONTRACT_REPAIR_TARGETS_OFFERED: ("design_spec" | "module_decomposition" | "finalized_module_contracts" | "obligation_ledger" | "contract_assessment_report")[];
 /**
  * Contract artifacts the judge may order regenerated — DERIVED from the one
  * declaration above, which the validator and every prompt sketch also read.

package/dist/shared/types/contractPipeline/obligations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AACA;;;;;;;;GAQG;AAIH,eAAO,MAAM,2CAA2C,EACtD,6DAAsE,CAAC;AAEzE,eAAO,MAAM,6CAA6C,EACxD,+DAAwE,CAAC;AAE3E,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAElF,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAEtE,eAAO,MAAM,sCAAsC,EACjD,wDAAiE,CAAC;AAIpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iFAAiF;IACjF,WAAW,EAAE,QAAQ,GAAG,UAAU,CAAC;IACnC;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,aAAa,EACT,yBAAyB,GACzB,oBAAoB,GACpB,eAAe,GACf,cAAc,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACzD,6DAA6D;IAC7D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,aAAa,GAAG,UAAU,GAAG,gBAAgB,GAAG,QAAQ,CAAC;IAClE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,8BAA8B,CAAC;CACxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,OAAO,2CAA2C,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAEjE,UAAU,gBAAgB;IACxB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAmB,SAAQ,gBAAgB;IACnD,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kBAAkB,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE;QAClB,8EAA8E;QAC9E,aAAa,EAAE,MAAM,CAAC;QACtB,uEAAuE;QACvE,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,mEAAmE;AACnE,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,6DAA6D;IAC7D,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,2FAA2F;AAC3F,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iDAAiD;IACjD,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,uBAAuB,EAAE,MAAM,EAAE,CAAC;CACnC;AAED,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,kDAAkD;AAClD,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,cAAc,GACd,WAAW,GACX,SAAS,GACT,eAAe,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,4BAA4B,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,uBAAuB,2GAK1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,uGAG3C,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,gBAAgB,EAAE,OAAO,sCAAsC,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,UAAU,GAAG,cAAc,CAAC;IACrC,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}
+{"version":3,"file":"obligations.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AAIH,eAAO,MAAM,2CAA2C,EACtD,6DAAsE,CAAC;AAEzE,eAAO,MAAM,6CAA6C,EACxD,+DAAwE,CAAC;AAE3E,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAElF,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAEtE,eAAO,MAAM,sCAAsC,EACjD,wDAAiE,CAAC;AAIpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,8BAA8B;IAC7C,iFAAiF;IACjF,WAAW,EAAE,QAAQ,GAAG,UAAU,CAAC;IACnC;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,aAAa,EACT,yBAAyB,GACzB,oBAAoB,GACpB,eAAe,GACf,cAAc,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,CAAC;IACzD,6DAA6D;IAC7D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAC3C,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,MAAM,CAAC,EAAE,aAAa,GAAG,UAAU,GAAG,gBAAgB,GAAG,QAAQ,CAAC;IAClE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,8BAA8B,CAAC;CACxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,OAAO,2CAA2C,CAAC;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAEjE,UAAU,gBAAgB;IACxB,yEAAyE;IACzE,aAAa,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,kBAAmB,SAAQ,gBAAgB;IACnD,oBAAoB;IACpB,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,QAAQ,GAAG,WAAW,GAAG,KAAK,CAAC;IAC9D,gFAAgF;IAChF,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kBAAkB,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE;QAClB,8EAA8E;QAC9E,aAAa,EAAE,MAAM,CAAC;QACtB,uEAAuE;QACvE,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,mEAAmE;AACnE,MAAM,WAAW,yBAAyB;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,6DAA6D;IAC7D,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACzC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,2FAA2F;AAC3F,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;EAO/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,kDAAkD;AAClD,MAAM,MAAM,4BAA4B,GACpC,UAAU,GACV,cAAc,GACd,WAAW,GACX,SAAS,GACT,eAAe,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,4BAA4B,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,uBAAuB,mIAM1B,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,8BAA8B,0BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,gIAG3C,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzE,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,uDAAuD;IACvD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,WAAW;IAC1B,gBAAgB,EAAE,OAAO,sCAAsC,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,OAAO,EAAE,UAAU,GAAG,cAAc,CAAC;IACrC,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/obligations.js

@@ -1,3 +1,4 @@
+import { z } from "zod";
 // sites-pinned: tests/remediate/step-prompt-sketch-drift.test.ts, tests/remediate/contract-pipeline.test.ts
 /**
  * Contract-pipeline artifact: obligations phase.
@@ -14,6 +15,16 @@ export const CONTRACT_PIPELINE_TEST_VALIDATOR_PLAN_VERSION = "remediate-code-con
 export const CONTRACT_PIPELINE_CONTRACT_ASSESSMENT_REPORT_VERSION = "remediate-code-contract-pipeline/contract-assessment-report/v1alpha1";
 export const CONTRACT_PIPELINE_COUNTEREXAMPLE_VERSION = "remediate-code-contract-pipeline/counterexample/v1alpha1";
 export const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION = "remediate-code-contract-pipeline/judge-report/v1alpha1";
+// ── Counterexample ────────────────────────────────────────────────────────────
+/** A concrete example produced by the adversarial critic that falsifies a design claim. */
+export const CounterexampleSchema = z.object({
+    id: z.string().min(1),
+    claim: z.string().min(1),
+    reproduction_steps: z.array(z.string()),
+    expected: z.string().min(1),
+    actual: z.string().min(1),
+    violated_obligation_ids: z.array(z.string()),
+});
 /**
  * `judge_report.repair_directive.target` — the artifacts a repair may name.
  *
@@ -33,10 +44,11 @@ export const CONTRACT_PIPELINE_JUDGE_REPORT_VERSION = "remediate-code-contract-p
  *
  * `counterexample` is NOT a member. The judge rules on the critic's report, so
  * it cannot order that report rewritten, and the repair loop can regenerate only
- * the three contract artifacts. It was admitted once and then swapped for an
+ * the declared owning contract artifacts. It was admitted once and then swapped for an
  * inferred target in silence; the validator now refuses it with that reason.
  */
 export const CONTRACT_REPAIR_TARGETS = [
+    "module_decomposition",
     "finalized_module_contracts",
     "obligation_ledger",
     "contract_assessment_report",

package/dist/shared/types/contractPipeline/obligations.js.map

@@ -1 +1 @@
-{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,4GAA4G;AAC5G;;;;;;;;GAQG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2CAA2C,GACtD,6DAAsE,CAAC;AAEzE,MAAM,CAAC,MAAM,6CAA6C,GACxD,+DAAwE,CAAC;AAE3E,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC;AAElF,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC;AAEtE,MAAM,CAAC,MAAM,sCAAsC,GACjD,wDAAiE,CAAC;AAwMpE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,aAAa;CACL,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,aAAa,CAAU,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,uBAAuB,CAAC,MAAM,CAC3E,CAAC,MAAM,EAAE,EAAE,CACT,CAAE,8BAAoD,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1E,CAAC"}
+{"version":3,"file":"obligations.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/obligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,4GAA4G;AAC5G;;;;;;;;GAQG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,2CAA2C,GACtD,6DAAsE,CAAC;AAEzE,MAAM,CAAC,MAAM,6CAA6C,GACxD,+DAAwE,CAAC;AAE3E,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC;AAElF,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC;AAEtE,MAAM,CAAC,MAAM,sCAAsC,GACjD,wDAAiE,CAAC;AA6JpE,iFAAiF;AAEjF,2FAA2F;AAC3F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAC;AA6BH;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,sBAAsB;IACtB,4BAA4B;IAC5B,mBAAmB;IACnB,4BAA4B;IAC5B,aAAa;CACL,CAAC;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,aAAa,CAAU,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,uBAAuB,CAAC,MAAM,CAC3E,CAAC,MAAM,EAAE,EAAE,CACT,CAAE,8BAAoD,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1E,CAAC"}

package/dist/shared/types/disposition.d.ts

@@ -7,11 +7,11 @@ export declare const FileDispositionItemSchema: z.ZodObject<{
     reason: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     path: string;
-    status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+    status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
     reason?: string | undefined;
 }, {
     path: string;
-    status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+    status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
     reason?: string | undefined;
 }>;
 export type FileDispositionItem = z.infer<typeof FileDispositionItemSchema>;
@@ -22,23 +22,23 @@ export declare const FileDispositionSchema: z.ZodObject<{
         reason: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         path: string;
-        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
         reason?: string | undefined;
     }, {
         path: string;
-        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
         reason?: string | undefined;
     }>, "many">;
 }, "strict", z.ZodTypeAny, {
     files: {
         path: string;
-        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
         reason?: string | undefined;
     }[];
 }, {
     files: {
         path: string;
-        status: "included" | "excluded" | "generated" | "vendor" | "binary" | "doc_only";
+        status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
         reason?: string | undefined;
     }[];
 }>;