audit-tools 0.52.3 → 0.52.4

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;
     }[];
 }>;

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

@@ -711,7 +711,7 @@ export declare const FindingSchema: 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: {
@@ -723,7 +723,7 @@ export declare const FindingSchema: 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;
@@ -774,7 +774,7 @@ export declare const FindingSchema: 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: {
@@ -786,7 +786,7 @@ export declare const FindingSchema: 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;
@@ -853,7 +853,7 @@ export declare const WorkBlockSchema: z.ZodObject<{
     finding_ids: string[];
     owned_files: string[];
     role: "implementation" | "coordination";
-    max_severity: "high" | "low" | "critical" | "medium" | "info";
+    max_severity: "info" | "high" | "low" | "critical" | "medium";
     rationale: string;
     depends_on: string[];
     token_estimate?: number | undefined;
@@ -863,7 +863,7 @@ export declare const WorkBlockSchema: z.ZodObject<{
     finding_ids: string[];
     owned_files: string[];
     role: "implementation" | "coordination";
-    max_severity: "high" | "low" | "critical" | "medium" | "info";
+    max_severity: "info" | "high" | "low" | "critical" | "medium";
     rationale: string;
     depends_on: string[];
     token_estimate?: number | undefined;
@@ -1049,15 +1049,15 @@ export declare const LensCoverageEntrySchema: z.ZodObject<{
     findings_count: z.ZodNumber;
     outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
 }, "strict", z.ZodTypeAny, {
+    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     lens: string;
     selected: boolean;
     findings_count: number;
-    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
 }, {
+    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     lens: string;
     selected: boolean;
     findings_count: number;
-    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
 }>;
 export type LensCoverageEntry = z.infer<typeof LensCoverageEntrySchema>;
 export declare const AuditFindingsSummarySchema: z.ZodObject<{
@@ -1106,15 +1106,15 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
         findings_count: z.ZodNumber;
         outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
     }, "strict", z.ZodTypeAny, {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         lens: string;
         selected: boolean;
         findings_count: number;
-        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     }, {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         lens: string;
         selected: boolean;
         findings_count: number;
-        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     finding_count: number;
@@ -1127,10 +1127,10 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
     grounding_status_breakdown?: Record<string, number> | undefined;
     verification_status_breakdown?: Record<string, number> | undefined;
     lens_coverage?: {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         lens: string;
         selected: boolean;
         findings_count: number;
-        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     }[] | undefined;
 }, {
     finding_count: number;
@@ -1143,10 +1143,10 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
     grounding_status_breakdown?: Record<string, number> | undefined;
     verification_status_breakdown?: Record<string, number> | undefined;
     lens_coverage?: {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         lens: string;
         selected: boolean;
         findings_count: number;
-        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     }[] | undefined;
 }>;
 export type AuditFindingsSummary = z.infer<typeof AuditFindingsSummarySchema>;
@@ -1243,15 +1243,15 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             findings_count: z.ZodNumber;
             outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
         }, "strict", z.ZodTypeAny, {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }, {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         finding_count: number;
@@ -1264,10 +1264,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     }, {
         finding_count: number;
@@ -1280,10 +1280,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     }>;
     findings: z.ZodArray<z.ZodObject<{
@@ -1581,7 +1581,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -1593,7 +1593,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -1644,7 +1644,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -1656,7 +1656,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -1761,7 +1761,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -1771,7 +1771,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -2124,7 +2124,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2136,7 +2136,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2187,7 +2187,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2199,7 +2199,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2284,7 +2284,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2296,7 +2296,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2354,10 +2354,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     };
     contract_version: string;
@@ -2381,7 +2381,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -2408,7 +2408,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2420,7 +2420,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2477,7 +2477,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2489,7 +2489,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2547,10 +2547,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     };
     contract_version: string;
@@ -2574,7 +2574,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -2601,7 +2601,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2613,7 +2613,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2670,7 +2670,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2682,7 +2682,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2740,10 +2740,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     };
     contract_version: string;
@@ -2767,7 +2767,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -2794,7 +2794,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2806,7 +2806,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2863,7 +2863,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2875,7 +2875,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;
@@ -2933,10 +2933,10 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         grounding_status_breakdown?: Record<string, number> | undefined;
         verification_status_breakdown?: Record<string, number> | undefined;
         lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
             lens: string;
             selected: boolean;
             findings_count: number;
-            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
         }[] | undefined;
     };
     contract_version: string;
@@ -2960,7 +2960,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         finding_ids: string[];
         owned_files: string[];
         role: "implementation" | "coordination";
-        max_severity: "high" | "low" | "critical" | "medium" | "info";
+        max_severity: "info" | "high" | "low" | "critical" | "medium";
         rationale: string;
         depends_on: string[];
         token_estimate?: number | undefined;
@@ -2987,7 +2987,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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: {
@@ -2999,7 +2999,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<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;