@patronage/software-factory 1.0.0-alpha.2 → 1.0.0-alpha.21

package/dist/schemas.d.ts

@@ -1,5 +1,4 @@
 import { z } from "zod";
-
 //#region src/demand-waiver.d.ts
 /**
  * A demand that was in force, was NOT met, and was waived by the operator.
@@ -113,6 +112,33 @@ interface FollowUpAction {
 declare const DIFF_CLASSIFICATIONS: readonly ["docs/process-only", "trivial", "non-trivial"];
 type DiffClassification = (typeof DIFF_CLASSIFICATIONS)[number];
 //#endregion
+//#region src/impact-stamp.d.ts
+/**
+ * The recorded stamp. `targets` satisfies the completeness invariant: every
+ * target the profile declares is present, each with its exact basis — never
+ * silently absent. `basis: "conservative"` means an unmodelled or unprovable
+ * input widened every target to full impact.
+ */
+declare const impactStampSchema: z.ZodObject<{
+  basis: z.ZodEnum<{
+    "target-scoped": "target-scoped";
+    conservative: "conservative";
+  }>;
+  inertPaths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+  reasons: z.ZodArray<z.ZodString>;
+  stampVersion: z.ZodLiteral<3>;
+  targets: z.ZodArray<z.ZodObject<{
+    basis: z.ZodString;
+    impact: z.ZodEnum<{
+      affected: "affected";
+      "not-affected": "not-affected";
+    }>;
+    name: z.ZodString;
+  }, z.core.$strip>>;
+  unsubscribedPaths: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+type ImpactStamp = z.infer<typeof impactStampSchema>;
+//#endregion
 //#region src/pr-verify-mode.d.ts
 /**
  * The verification mode `pr:verify` resolved for a run.
@@ -242,7 +268,7 @@ interface PrReviewProof {
   cleanedPaths: string[];
   ladder?: PrReviewLadderState;
   reviewRequirement?: {
-    reason: "no-applicable-mode";
+    reason: "no-applicable-mode" | "faithful-merge";
     status: "not-required";
   };
   reviews: PrReviewResult[];
@@ -417,6 +443,207 @@ type ReadinessRepair = z.infer<typeof readinessRepairSchema>;
 type ReadinessStatus = "ready" | "blocked";
 type ManagedReadinessLedger = z.infer<typeof managedReadinessLedgerSchema>;
 //#endregion
+//#region src/catch-up-recognition-record.d.ts
+interface CatchUpRecognition {
+  /** The ref the candidate targets, as the recognizing command resolved it. */
+  baseRef: string;
+  /** The live target tip at recognition time; the head's first parent. */
+  baseTipSha: string;
+  /** The head's second parent: the admitted base-side content merged in. */
+  mergedParentSha: string;
+  /**
+   * The tree `git merge-tree --write-tree` produced for the two parents. It
+   * equals the head's own tree; that equality is the faithfulness proof.
+   */
+  mergedTreeSha: string;
+  /** The ref that proves the second parent is admitted content. */
+  upstreamRef: string;
+}
+//#endregion
+//#region src/pr-verify-proof-contract.d.ts
+declare const SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS: readonly [1, 2, 3, 4];
+type PrVerifySchemaVersion = (typeof SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS)[number];
+interface PrVerifyCommandResult {
+  command: string;
+  description: string;
+  /**
+   * Epic #550 wave 3 (#430): the profile's declared impact target for this
+   * command, recorded from v4 on. It is the proof's own command→target
+   * mapping: a `notRequiredCommands` entry must name the target recorded HERE
+   * for the same command, so a withholding cannot point at whichever released
+   * target happens to be convenient. Absent for a command the profile does
+   * not scope, and for v1–v3 proofs, which predate the field.
+   */
+  impactTarget?: string;
+  name: string;
+  scope: "always" | "docs-only" | "trivial" | "full";
+}
+interface PrVerifyExecutedCommand {
+  command: string;
+  counts?: {
+    testFiles?: number;
+    tests?: number;
+  };
+  durationMs: number;
+  exitCode: number;
+  name: string;
+  scope: "always" | "docs-only" | "trivial" | "full";
+}
+/**
+ * Epic #550 wave 3 (#430): a verification command the impact stamp proved this
+ * candidate cannot reach, so the battery did not run it.
+ *
+ * The completeness invariant lives in the pairing: `verificationCommands`
+ * records every command the resolved mode selected, `executedCommands` records
+ * what ran, and this list records the rest WITH the stamp's own basis. A
+ * withheld stack is therefore never silently absent from the proof — it is
+ * present, named, and explained.
+ */
+interface PrVerifyNotRequiredCommand {
+  basis: string;
+  impactTarget: string;
+  name: string;
+}
+/**
+ * Epic #758 (#762): a consumer package a stamp-scoped selection skipped, and
+ * why. Bound to the proof's stamp identity — the field is v4-only (the same
+ * window that can carry `impactStamp`) and refused when the proof records no
+ * stamp. The factory does not write this list; consumers do.
+ */
+interface PrVerifyNotDemandedRecord {
+  basis: string;
+  name: string;
+}
+interface PrVerifyProof {
+  schemaVersion: PrVerifySchemaVersion;
+  authoringSession?: string;
+  base: string;
+  baselineFullProofs?: {
+    base: string;
+    changedFiles: string[];
+    headSha: string;
+    profilePath: string;
+    projectKey: string;
+    repository: string;
+  }[];
+  catchUpRecognition?: CatchUpRecognition;
+  changedFiles: string[];
+  classification: DiffClassification;
+  classificationReasons: string[];
+  command: "patronage-factory pr:verify";
+  durationMs: number;
+  endedAt: string;
+  executedCommands?: PrVerifyExecutedCommand[];
+  headSha: string;
+  impactStamp?: ImpactStamp;
+  mode: ResolvedPrVerifyMode;
+  mergeBaseSha?: string;
+  notDemandedRecords?: PrVerifyNotDemandedRecord[];
+  notRequiredCommands?: PrVerifyNotRequiredCommand[];
+  outcome?: "aborted" | "passed";
+  patchId?: string;
+  profilePath: string;
+  projectKey: string;
+  repository: string;
+  startedAt: string;
+  verificationCommands: PrVerifyCommandResult[];
+}
+declare const prVerifyProofSchema: z.ZodObject<{
+  authoringSession: z.ZodOptional<z.ZodString>;
+  base: z.ZodString;
+  baselineFullProofs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    base: z.ZodString;
+    changedFiles: z.ZodArray<z.ZodString>;
+    headSha: z.ZodString;
+    profilePath: z.ZodString;
+    projectKey: z.ZodString;
+    repository: z.ZodString;
+  }, z.core.$strip>>>;
+  catchUpRecognition: z.ZodOptional<z.ZodType<CatchUpRecognition, unknown, z.core.$ZodTypeInternals<CatchUpRecognition, unknown>>>;
+  changedFiles: z.ZodArray<z.ZodString>;
+  classification: z.ZodEnum<{
+    "docs/process-only": "docs/process-only";
+    trivial: "trivial";
+    "non-trivial": "non-trivial";
+  }>;
+  classificationReasons: z.ZodArray<z.ZodString>;
+  command: z.ZodLiteral<"patronage-factory pr:verify">;
+  durationMs: z.ZodNumber;
+  endedAt: z.ZodISODateTime;
+  executedCommands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    command: z.ZodString;
+    counts: z.ZodOptional<z.ZodObject<{
+      testFiles: z.ZodOptional<z.ZodNumber>;
+      tests: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    durationMs: z.ZodNumber;
+    exitCode: z.ZodNumber;
+    name: z.ZodString;
+    scope: z.ZodEnum<{
+      trivial: "trivial";
+      always: "always";
+      "docs-only": "docs-only";
+      full: "full";
+    }>;
+  }, z.core.$strip>>>;
+  headSha: z.ZodString;
+  impactStamp: z.ZodOptional<z.ZodObject<{
+    basis: z.ZodEnum<{
+      "target-scoped": "target-scoped";
+      conservative: "conservative";
+    }>;
+    inertPaths: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    reasons: z.ZodArray<z.ZodString>;
+    stampVersion: z.ZodLiteral<3>;
+    targets: z.ZodArray<z.ZodObject<{
+      basis: z.ZodString;
+      impact: z.ZodEnum<{
+        affected: "affected";
+        "not-affected": "not-affected";
+      }>;
+      name: z.ZodString;
+    }, z.core.$strip>>;
+    unsubscribedPaths: z.ZodArray<z.ZodString>;
+  }, z.core.$strip>>;
+  mergeBaseSha: z.ZodOptional<z.ZodString>;
+  mode: z.ZodEnum<{
+    trivial: "trivial";
+    "docs-only": "docs-only";
+    full: "full";
+  }>;
+  notDemandedRecords: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    basis: z.ZodString;
+    name: z.ZodString;
+  }, z.core.$strip>>>;
+  notRequiredCommands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    basis: z.ZodString;
+    impactTarget: z.ZodString;
+    name: z.ZodString;
+  }, z.core.$strip>>>;
+  outcome: z.ZodOptional<z.ZodEnum<{
+    passed: "passed";
+    aborted: "aborted";
+  }>>;
+  patchId: z.ZodOptional<z.ZodString>;
+  profilePath: z.ZodString;
+  projectKey: z.ZodString;
+  repository: z.ZodString;
+  schemaVersion: z.ZodNumber & z.ZodType<1 | 2 | 3 | 4, number, z.core.$ZodTypeInternals<1 | 2 | 3 | 4, number>>;
+  startedAt: z.ZodISODateTime;
+  verificationCommands: z.ZodArray<z.ZodObject<{
+    command: z.ZodString;
+    description: z.ZodString;
+    impactTarget: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    scope: z.ZodEnum<{
+      trivial: "trivial";
+      always: "always";
+      "docs-only": "docs-only";
+      full: "full";
+    }>;
+  }, z.core.$strip>>;
+}, z.core.$strip>;
+//#endregion
 //#region src/pr-ready.d.ts
 interface PrReadyProof {
   schemaVersion: 3;
@@ -484,31 +711,6 @@ interface PrReadyProof {
   waivedDemands?: WaivedDemand[];
 }
 //#endregion
-//#region src/impact-stamp.d.ts
-/**
- * The recorded stamp. `targets` satisfies the completeness invariant: every
- * target the profile declares is present, each with its exact basis — never
- * silently absent. `basis: "conservative"` means an unmodelled or unprovable
- * input widened every target to full impact.
- */
-declare const impactStampSchema: z.ZodObject<{
-  basis: z.ZodEnum<{
-    "target-scoped": "target-scoped";
-    conservative: "conservative";
-  }>;
-  reasons: z.ZodArray<z.ZodString>;
-  stampVersion: z.ZodLiteral<2>;
-  targets: z.ZodArray<z.ZodObject<{
-    basis: z.ZodString;
-    impact: z.ZodEnum<{
-      affected: "affected";
-      "not-affected": "not-affected";
-    }>;
-    name: z.ZodString;
-  }, z.core.$strip>>;
-}, z.core.$strip>;
-type ImpactStamp = z.infer<typeof impactStampSchema>;
-//#endregion
 //#region src/pr-readiness/external-evidence.d.ts
 declare const evidenceEnvelopeBaseSchema: z.ZodObject<{
   check: z.ZodString;
@@ -539,112 +741,14 @@ declare const evidenceEnvelopeBaseSchema: z.ZodObject<{
 }, z.core.$loose>;
 type EvidenceEnvelope = z.infer<typeof evidenceEnvelopeBaseSchema>;
 //#endregion
-//#region src/pr-readiness/verification-proof.d.ts
-declare const SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS$1: readonly [1, 2, 3, 4];
-type PrVerifySchemaVersion = (typeof SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS$1)[number];
-interface PrVerifyCommandResult {
-  command: string;
-  description: string;
-  /**
-   * Epic #550 wave 3 (#430): the profile's declared impact target for this
-   * command, recorded from v4 on. It is the proof's own command→target
-   * mapping: a `notRequiredCommands` entry must name the target recorded HERE
-   * for the same command, so a withholding cannot point at whichever released
-   * target happens to be convenient. Absent for a command the profile does
-   * not scope, and for v1–v3 proofs, which predate the field.
-   */
-  impactTarget?: string;
-  name: string;
-  scope: "always" | "docs-only" | "trivial" | "full";
-}
-interface PrVerifyExecutedCommand {
-  command: string;
-  counts?: {
-    testFiles?: number;
-    tests?: number;
-  };
-  durationMs: number;
-  exitCode: number;
-  name: string;
-  scope: "always" | "docs-only" | "trivial" | "full";
-}
-/**
- * Epic #550 wave 3 (#430): a verification command the impact stamp proved this
- * candidate cannot reach, so the battery did not run it.
- *
- * The completeness invariant lives in the pairing: `verificationCommands`
- * records every command the resolved mode selected, `executedCommands` records
- * what ran, and this list records the rest WITH the stamp's own basis. A
- * withheld stack is therefore never silently absent from the proof — it is
- * present, named, and explained.
- */
-interface PrVerifyNotRequiredCommand {
-  basis: string;
-  impactTarget: string;
-  name: string;
-}
-interface PrVerifyProof {
-  schemaVersion: PrVerifySchemaVersion;
-  authoringSession?: string;
-  base: string;
-  baselineFullProofs?: {
-    base: string;
-    changedFiles: string[];
-    headSha: string;
-    profilePath: string;
-    projectKey: string;
-    repository: string;
-  }[];
-  changedFiles: string[];
-  classification: DiffClassification;
-  classificationReasons: string[];
-  command: "patronage-factory pr:verify";
-  durationMs: number;
-  endedAt: string;
-  executedCommands?: PrVerifyExecutedCommand[];
-  headSha: string;
-  impactStamp?: ImpactStamp;
-  mode: ResolvedPrVerifyMode;
-  mergeBaseSha?: string;
-  notRequiredCommands?: PrVerifyNotRequiredCommand[];
-  outcome?: "aborted" | "passed";
-  patchId?: string;
-  profilePath: string;
-  projectKey: string;
-  repository: string;
-  startedAt: string;
-  verificationCommands: PrVerifyCommandResult[];
-}
-//#endregion
 //#region src/closeout-artifact.d.ts
-/** Current writer plus retained reader versions accepted at ingest. */
-declare const SUPPORTED_CLOSEOUT_SCHEMA_VERSIONS: readonly [3, 4];
+/** Artifact versions accepted at ingest. */
+declare const SUPPORTED_CLOSEOUT_SCHEMA_VERSIONS: readonly [5];
 /** Strict, bounded runtime transport contract emitted by factory:closeout. */
 declare const closeoutArtifactSchema: z.ZodObject<{
-  boundaryThermo: z.ZodObject<{
-    owner: z.ZodString;
-    runs: z.ZodNumber;
-    waived: z.ZodBoolean;
-    waiverRationale: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>;
   budget: z.ZodObject<{
     note: z.ZodString;
     tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict> | z.ZodObject<{
-    interiorSourcesConsumed: z.ZodNumber;
-    note: z.ZodString;
-    scoping: z.ZodOptional<z.ZodObject<{
-      epic: z.ZodString;
-      issueFilter: z.ZodOptional<z.ZodNumber>;
-      prFilter: z.ZodOptional<z.ZodNumber>;
-      repo: z.ZodString;
-      scopedByEpicIssueSet: z.ZodBoolean;
-      window: z.ZodObject<{
-        from: z.ZodString;
-        to: z.ZodString;
-      }, z.core.$strict>;
-    }, z.core.$strict>>;
-    tier: z.ZodLiteral<"overseer">;
   }, z.core.$strict>;
   couldNotSee: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
@@ -653,82 +757,12 @@ declare const closeoutArtifactSchema: z.ZodObject<{
   }, z.core.$strict>>;
   epic: z.ZodString;
   generatedAt: z.ZodISODateTime;
-  ledgerRows: z.ZodArray<z.ZodObject<{
-    detail: z.ZodOptional<z.ZodString>;
-    epic: z.ZodString;
-    generatedAt: z.ZodISODateTime;
-    key: z.ZodString;
-    landingSpot: z.ZodOptional<z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>>;
-    repo: z.ZodString;
-    rowType: z.ZodEnum<{
-      metric: "metric";
-      lesson: "lesson";
-      blindspot: "blindspot";
-    }>;
-    schemaVersion: z.ZodLiteral<3 | 4>;
-    source: z.ZodString;
-    unit: z.ZodOptional<z.ZodString>;
-    value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull]>;
-  }, z.core.$strict>>;
-  lessons: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>>;
-  }, z.core.$strict> | z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
   metrics: z.ZodArray<z.ZodObject<{
     label: z.ZodString;
     metric: z.ZodString;
     source: z.ZodObject<{
       detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict> | z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
+      kind: z.ZodLiteral<"token-harvest">;
     }, z.core.$strict>;
     unit: z.ZodEnum<{
       boolean: "boolean";
@@ -736,561 +770,13 @@ declare const closeoutArtifactSchema: z.ZodObject<{
       count: "count";
       tokens: "tokens";
       usd: "usd";
-      ratio: "ratio";
     }>;
     value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
   }, z.core.$strict>>;
   repo: z.ZodString;
-  schemaVersion: z.ZodLiteral<3 | 4>;
+  schemaVersion: z.ZodLiteral<5>;
 }, z.core.$strict>;
-/** Reader-only compatibility for closeout artifacts written before #554. */
-declare const legacyCloseoutArtifactSchema: z.ZodObject<{
-  boundaryThermo: z.ZodObject<{
-    owner: z.ZodString;
-    runs: z.ZodNumber;
-    waived: z.ZodBoolean;
-    waiverRationale: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>;
-  budget: z.ZodObject<{
-    note: z.ZodString;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict> | z.ZodObject<{
-    interiorSourcesConsumed: z.ZodNumber;
-    note: z.ZodString;
-    scoping: z.ZodOptional<z.ZodObject<{
-      epic: z.ZodString;
-      issueFilter: z.ZodOptional<z.ZodNumber>;
-      prFilter: z.ZodOptional<z.ZodNumber>;
-      repo: z.ZodString;
-      scopedByEpicIssueSet: z.ZodBoolean;
-      window: z.ZodObject<{
-        from: z.ZodString;
-        to: z.ZodString;
-      }, z.core.$strict>;
-    }, z.core.$strict>>;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict>;
-  couldNotSee: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    note: z.ZodString;
-    reason: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  epic: z.ZodString;
-  generatedAt: z.ZodISODateTime;
-  ledgerRows: z.ZodArray<z.ZodObject<{
-    detail: z.ZodOptional<z.ZodString>;
-    epic: z.ZodString;
-    generatedAt: z.ZodISODateTime;
-    key: z.ZodString;
-    landingSpot: z.ZodOptional<z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>>;
-    repo: z.ZodString;
-    rowType: z.ZodEnum<{
-      metric: "metric";
-      lesson: "lesson";
-      blindspot: "blindspot";
-    }>;
-    schemaVersion: z.ZodLiteral<3 | 4>;
-    source: z.ZodString;
-    unit: z.ZodOptional<z.ZodString>;
-    value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull]>;
-  }, z.core.$strict>>;
-  lessons: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>>;
-  }, z.core.$strict> | z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
-  metrics: z.ZodArray<z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict> | z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-      tokens: "tokens";
-      usd: "usd";
-      ratio: "ratio";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict>>;
-  repo: z.ZodString;
-  schemaVersion: z.ZodLiteral<3 | 4>;
-}, z.core.$strict>;
-/** Accept current output and retained v3 artifacts when reading or replaying. */
-declare const closeoutArtifactReadSchema: z.ZodUnion<readonly [z.ZodObject<{
-  boundaryThermo: z.ZodObject<{
-    owner: z.ZodString;
-    runs: z.ZodNumber;
-    waived: z.ZodBoolean;
-    waiverRationale: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>;
-  budget: z.ZodObject<{
-    note: z.ZodString;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict> | z.ZodObject<{
-    interiorSourcesConsumed: z.ZodNumber;
-    note: z.ZodString;
-    scoping: z.ZodOptional<z.ZodObject<{
-      epic: z.ZodString;
-      issueFilter: z.ZodOptional<z.ZodNumber>;
-      prFilter: z.ZodOptional<z.ZodNumber>;
-      repo: z.ZodString;
-      scopedByEpicIssueSet: z.ZodBoolean;
-      window: z.ZodObject<{
-        from: z.ZodString;
-        to: z.ZodString;
-      }, z.core.$strict>;
-    }, z.core.$strict>>;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict>;
-  couldNotSee: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    note: z.ZodString;
-    reason: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  epic: z.ZodString;
-  generatedAt: z.ZodISODateTime;
-  ledgerRows: z.ZodArray<z.ZodObject<{
-    detail: z.ZodOptional<z.ZodString>;
-    epic: z.ZodString;
-    generatedAt: z.ZodISODateTime;
-    key: z.ZodString;
-    landingSpot: z.ZodOptional<z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>>;
-    repo: z.ZodString;
-    rowType: z.ZodEnum<{
-      metric: "metric";
-      lesson: "lesson";
-      blindspot: "blindspot";
-    }>;
-    schemaVersion: z.ZodLiteral<3 | 4>;
-    source: z.ZodString;
-    unit: z.ZodOptional<z.ZodString>;
-    value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull]>;
-  }, z.core.$strict>>;
-  lessons: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>>;
-  }, z.core.$strict> | z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
-  metrics: z.ZodArray<z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict> | z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-      tokens: "tokens";
-      usd: "usd";
-      ratio: "ratio";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict>>;
-  repo: z.ZodString;
-  schemaVersion: z.ZodLiteral<3 | 4>;
-}, z.core.$strict>, z.ZodObject<{
-  boundaryThermo: z.ZodObject<{
-    owner: z.ZodString;
-    runs: z.ZodNumber;
-    waived: z.ZodBoolean;
-    waiverRationale: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>;
-  budget: z.ZodObject<{
-    note: z.ZodString;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict> | z.ZodObject<{
-    interiorSourcesConsumed: z.ZodNumber;
-    note: z.ZodString;
-    scoping: z.ZodOptional<z.ZodObject<{
-      epic: z.ZodString;
-      issueFilter: z.ZodOptional<z.ZodNumber>;
-      prFilter: z.ZodOptional<z.ZodNumber>;
-      repo: z.ZodString;
-      scopedByEpicIssueSet: z.ZodBoolean;
-      window: z.ZodObject<{
-        from: z.ZodString;
-        to: z.ZodString;
-      }, z.core.$strict>;
-    }, z.core.$strict>>;
-    tier: z.ZodLiteral<"overseer">;
-  }, z.core.$strict>;
-  couldNotSee: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    note: z.ZodString;
-    reason: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  epic: z.ZodString;
-  generatedAt: z.ZodISODateTime;
-  ledgerRows: z.ZodArray<z.ZodObject<{
-    detail: z.ZodOptional<z.ZodString>;
-    epic: z.ZodString;
-    generatedAt: z.ZodISODateTime;
-    key: z.ZodString;
-    landingSpot: z.ZodOptional<z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>>;
-    repo: z.ZodString;
-    rowType: z.ZodEnum<{
-      metric: "metric";
-      lesson: "lesson";
-      blindspot: "blindspot";
-    }>;
-    schemaVersion: z.ZodLiteral<3 | 4>;
-    source: z.ZodString;
-    unit: z.ZodOptional<z.ZodString>;
-    value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodNull]>;
-  }, z.core.$strict>>;
-  lessons: z.ZodArray<z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>>;
-  }, z.core.$strict> | z.ZodObject<{
-    id: z.ZodString;
-    landingSpot: z.ZodEnum<{
-      CLI: "CLI";
-      profile: "profile";
-      skill: "skill";
-      ADR: "ADR";
-    }>;
-    lesson: z.ZodString;
-    rationale: z.ZodOptional<z.ZodString>;
-    source: z.ZodOptional<z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
-  metrics: z.ZodArray<z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodLiteral<"boundary-thermo-attestation">;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict> | z.ZodObject<{
-    label: z.ZodString;
-    metric: z.ZodString;
-    source: z.ZodObject<{
-      detail: z.ZodString;
-      kind: z.ZodEnum<{
-        "boundary-thermo-attestation": "boundary-thermo-attestation";
-        "interior-telemetry": "interior-telemetry";
-      }>;
-    }, z.core.$strict>;
-    unit: z.ZodEnum<{
-      boolean: "boolean";
-      text: "text";
-      count: "count";
-      tokens: "tokens";
-      usd: "usd";
-      ratio: "ratio";
-    }>;
-    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
-  }, z.core.$strict>>;
-  repo: z.ZodString;
-  schemaVersion: z.ZodLiteral<3 | 4>;
-}, z.core.$strict>]>;
 type CloseoutArtifact = z.infer<typeof closeoutArtifactSchema>;
-type HistoricalCloseoutArtifact = z.infer<typeof legacyCloseoutArtifactSchema>;
-//#endregion
-//#region src/retro-envelope.d.ts
-/**
- * Versioned retro envelope schema (epic #27 wave 2, issue #34).
- *
- * One envelope per lane, built at `factory:closeout` and delivered through the
- * typed gate-sink as the `retro-envelope` ingest kind. Re-derived in TypeScript
- * from the `spike/telemetry-layer2` S5 scratch schema (reference-only, never
- * merged). This module is the single source of truth for the v1 wire shape
- * and its bounds ({@link RETRO_ENVELOPE_WIRE_BOUNDS}) — producer and consumer
- * alike. HQ imports these exports directly from the Worker-safe
- * `@patronage/software-factory/schemas` subpath
- * (`software-factory-hq/src/contracts/retro-schemas.ts`) instead of
- * maintaining a parallel hand-written copy, so there is exactly one wire
- * contract and no drift-detection machinery is needed (issue #350; formerly
- * a hand-written twin plus a 767-line parity test, #46).
- *
- * DESIGN INVARIANT: cross-family token sums must be UNREPRESENTABLE.
- *
- * The two model families use different tokenizers, prices, and accounting
- * conventions, so any token total that spans Claude and GPT is a lie:
- *
- * 1. There is no combined/total token field anywhere in the envelope.
- * 2. `tokenFamilies` is strict — its only keys are `claude` and `gpt`; data
- *    cannot smuggle in a third "all"/"combined" slot.
- * 3. The family BLOCKS are structurally different shapes with DIFFERENT keys
- *    (claude is a single flat block keyed on freshInput/cacheReadInput/
- *    cacheCreationInput; gpt is `{ roles: [...] }`). The exclusive input-tier
- *    COUNTS share no key name across families. The residual names shared
- *    between the claude block and a gpt ROLE entry are pinned to exactly
- *    {costUsd, model, output} (PR #32 advisory): `costUsd` is deliberate —
- *    USD is the one cross-family summable unit (rule 4); `model` is an
- *    unsummable label; `output` is the same name at DIFFERENT depths (lane
- *    block vs per-role entry), frozen by a tripwire test in
- *    `retro-envelope.test.ts` so the overlap cannot grow. Renaming `output`
- *    is a schemaVersion-2 wire change, deliberately not spent in v1.
- * 4. Cost is per-family USD and nullable. Combined totals are allowed in USD
- *    only, and only as a projection-time sum of per-family USD.
- *
- * Field names also encode the S2/S3 reader lessons: Claude `freshInput` alone
- * is not prompt size (true input context = freshInput + cacheReadInput +
- * cacheCreationInput, requestId-deduped), and codex `inputInclusiveOfCache`
- * already includes `cachedInput`, so `freshInputDerived` (inclusive − cached)
- * is the only value safe to feed a per-token pricer.
- *
- * COMPLETENESS POSTURE: harvest may have no usable native log for a lane, so
- * `tokenFamilies` may legitimately be absent. The closeout build gate demands
- * a valid envelope, not available telemetry. A families-absent envelope keeps
- * its operator-visible data gaps and is a replayable advisory HQ event, so it
- * never substitutes unavailable usage with zero. The wire shape (field names,
- * types, structure) stays byte-parity with HQ v1.
- */
-declare const RETRO_ENVELOPE_SCHEMA_VERSION = 1;
-/**
- * v1 wire bounds — the single source the schemas below are built from and the
- * builder's sanitization seam clamps to (`retro-envelope-builder.ts` imports
- * these; it keeps no bound constants of its own). HQ imports this module
- * directly (issue #350), so there is one set of bounds, not a second copy to
- * keep in sync.
- */
-declare const RETRO_ENVELOPE_WIRE_BOUNDS: {
-  /** archiveRef pointer (key/URL) max characters. */readonly archiveRefMaxChars: 2048; /** refs.branch max characters (git ref length ceiling). */
-  readonly branchMaxChars: 255; /** gates[] wire cap — the builder keeps the most recent records. */
-  readonly gatesMax: 500; /** gpt roles[] cap (delegated roles per lane). */
-  readonly gptRolesMax: 20; /** Cap for list fields: joinKeys id arrays, phases, dataGaps. */
-  readonly listMax: 100; /** Bounded name fields: agentRunId, gate, phase name, refs, join-key ids. */
-  readonly nameMaxChars: 200; /** Short identifier fields: repo name/owner, model, role. */
-  readonly shortMaxChars: 100; /** Free-text fields: dataGaps entries, outcome.verdict. */
-  readonly textMaxChars: 500;
-};
-declare const retroEnvelopeV1Schema: z.ZodObject<{
-  agentRunId: z.ZodString;
-  archiveRef: z.ZodOptional<z.ZodString>;
-  cycles: z.ZodObject<{
-    gateRunsToFirstGreen: z.ZodNumber;
-    reviewerFixRounds: z.ZodNumber;
-    thermoFixRounds: z.ZodNumber;
-  }, z.core.$strict>;
-  dataGaps: z.ZodDefault<z.ZodArray<z.ZodString>>;
-  gates: z.ZodArray<z.ZodObject<{
-    cycle: z.ZodNumber;
-    duration: z.ZodNumber;
-    gate: z.ZodString;
-    outcome: z.ZodEnum<{
-      pass: "pass";
-      fail: "fail";
-      skip: "skip";
-    }>;
-    startedAt: z.ZodISODateTime;
-  }, z.core.$strict>>;
-  generatedAt: z.ZodISODateTime;
-  interventions: z.ZodObject<{
-    count: z.ZodNumber;
-  }, z.core.$strict>;
-  joinKeys: z.ZodObject<{
-    claudeSessionIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-    codexThreadIds: z.ZodDefault<z.ZodArray<z.ZodString>>;
-  }, z.core.$strict>;
-  kind: z.ZodLiteral<"retro-envelope">;
-  outcome: z.ZodOptional<z.ZodObject<{
-    status: z.ZodEnum<{
-      fail: "fail";
-      success: "success";
-      blocked: "blocked";
-      "ship-with-followups": "ship-with-followups";
-    }>;
-    verdict: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  phases: z.ZodArray<z.ZodObject<{
-    at: z.ZodISODateTime;
-    deltaSec: z.ZodOptional<z.ZodNumber>;
-    name: z.ZodString;
-  }, z.core.$strict>>;
-  refs: z.ZodObject<{
-    branch: z.ZodOptional<z.ZodString>;
-    epic: z.ZodOptional<z.ZodString>;
-    headSha: z.ZodOptional<z.ZodString>;
-    issue: z.ZodOptional<z.ZodString>;
-    prNumber: z.ZodOptional<z.ZodNumber>;
-  }, z.core.$strict>;
-  repo: z.ZodObject<{
-    name: z.ZodString;
-    owner: z.ZodString;
-  }, z.core.$strict>;
-  schemaVersion: z.ZodLiteral<1>;
-  tokenFamilies: z.ZodObject<{
-    claude: z.ZodOptional<z.ZodObject<{
-      cacheCreationInput: z.ZodNumber;
-      cacheReadInput: z.ZodNumber;
-      costUsd: z.ZodNullable<z.ZodNumber>;
-      family: z.ZodLiteral<"claude">;
-      freshInput: z.ZodNumber;
-      model: z.ZodString;
-      output: z.ZodNumber;
-      requests: z.ZodNumber;
-    }, z.core.$strict>>;
-    gpt: z.ZodOptional<z.ZodObject<{
-      family: z.ZodLiteral<"gpt">;
-      roles: z.ZodArray<z.ZodObject<{
-        cachedInput: z.ZodNumber;
-        costUsd: z.ZodNullable<z.ZodNumber>;
-        freshInputDerived: z.ZodNumber;
-        inputInclusiveOfCache: z.ZodNumber;
-        model: z.ZodString;
-        output: z.ZodNumber;
-        reasoningOutput: z.ZodNumber;
-        role: z.ZodString;
-        threadId: z.ZodOptional<z.ZodString>;
-      }, z.core.$strict>>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>;
-  wallClock: z.ZodObject<{
-    endTs: z.ZodISODateTime;
-    startTs: z.ZodISODateTime;
-    totalSec: z.ZodNumber;
-  }, z.core.$strict>;
-}, z.core.$strict>;
-type RetroEnvelope = z.infer<typeof retroEnvelopeV1Schema>;
-/**
- * Versioned payload validators, keyed by schema major. Unknown majors never
- * reach these — {@link parseRetroEnvelope} returns them raw and marked
- * degraded, mirroring HQ's ingest skew posture (stored raw, never dropped).
- */
-declare const RETRO_ENVELOPE_VALIDATORS: Record<number, z.ZodType<RetroEnvelope, unknown>>;
-declare const SUPPORTED_RETRO_ENVELOPE_SCHEMA_VERSIONS: readonly number[];
-type ParsedRetroEnvelope = {
-  disposition: "trusted";
-  envelope: RetroEnvelope;
-  schemaVersion: number;
-} | {
-  disposition: "degraded";
-  raw: unknown;
-  schemaVersion: number | undefined;
-};
-/** Epic anchor for an envelope: refs.epic, else refs.issue, else the PR. */
-declare const retroEpicReference: (refs: RetroEnvelope["refs"]) => string | undefined;
 //#endregion
 //#region src/schemas.d.ts
 declare const EVIDENCE_ENVELOPE_SCHEMA_VERSION = 1;
@@ -1321,95 +807,6 @@ declare const evidenceEnvelopeSchema: z.ZodObject<{
   sessionId: z.ZodOptional<z.ZodString>;
   timestamp: z.ZodOptional<z.ZodISODateTime>;
 }, z.core.$loose>;
-declare const SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS: readonly [1, 2, 3, 4];
-declare const prVerifyProofSchema: z.ZodObject<{
-  authoringSession: z.ZodOptional<z.ZodString>;
-  base: z.ZodString;
-  baselineFullProofs: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    base: z.ZodString;
-    changedFiles: z.ZodArray<z.ZodString>;
-    headSha: z.ZodString;
-    profilePath: z.ZodString;
-    projectKey: z.ZodString;
-    repository: z.ZodString;
-  }, z.core.$strip>>>;
-  changedFiles: z.ZodArray<z.ZodString>;
-  classification: z.ZodEnum<{
-    "docs/process-only": "docs/process-only";
-    trivial: "trivial";
-    "non-trivial": "non-trivial";
-  }>;
-  classificationReasons: z.ZodArray<z.ZodString>;
-  command: z.ZodLiteral<"patronage-factory pr:verify">;
-  durationMs: z.ZodNumber;
-  endedAt: z.ZodISODateTime;
-  executedCommands: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    command: z.ZodString;
-    counts: z.ZodOptional<z.ZodObject<{
-      testFiles: z.ZodOptional<z.ZodNumber>;
-      tests: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strip>>;
-    durationMs: z.ZodNumber;
-    exitCode: z.ZodNumber;
-    name: z.ZodString;
-    scope: z.ZodEnum<{
-      trivial: "trivial";
-      always: "always";
-      "docs-only": "docs-only";
-      full: "full";
-    }>;
-  }, z.core.$strip>>>;
-  headSha: z.ZodString;
-  impactStamp: z.ZodOptional<z.ZodObject<{
-    basis: z.ZodEnum<{
-      "target-scoped": "target-scoped";
-      conservative: "conservative";
-    }>;
-    reasons: z.ZodArray<z.ZodString>;
-    stampVersion: z.ZodLiteral<2>;
-    targets: z.ZodArray<z.ZodObject<{
-      basis: z.ZodString;
-      impact: z.ZodEnum<{
-        affected: "affected";
-        "not-affected": "not-affected";
-      }>;
-      name: z.ZodString;
-    }, z.core.$strip>>;
-  }, z.core.$strip>>;
-  mergeBaseSha: z.ZodOptional<z.ZodString>;
-  mode: z.ZodEnum<{
-    trivial: "trivial";
-    "docs-only": "docs-only";
-    full: "full";
-  }>;
-  notRequiredCommands: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    basis: z.ZodString;
-    impactTarget: z.ZodString;
-    name: z.ZodString;
-  }, z.core.$strip>>>;
-  outcome: z.ZodOptional<z.ZodEnum<{
-    aborted: "aborted";
-    passed: "passed";
-  }>>;
-  patchId: z.ZodOptional<z.ZodString>;
-  profilePath: z.ZodString;
-  projectKey: z.ZodString;
-  repository: z.ZodString;
-  schemaVersion: z.ZodNumber & z.ZodType<1 | 2 | 3 | 4, number, z.core.$ZodTypeInternals<1 | 2 | 3 | 4, number>>;
-  startedAt: z.ZodISODateTime;
-  verificationCommands: z.ZodArray<z.ZodObject<{
-    command: z.ZodString;
-    description: z.ZodString;
-    impactTarget: z.ZodOptional<z.ZodString>;
-    name: z.ZodString;
-    scope: z.ZodEnum<{
-      trivial: "trivial";
-      always: "always";
-      "docs-only": "docs-only";
-      full: "full";
-    }>;
-  }, z.core.$strip>>;
-}, z.core.$strip>;
 declare const PR_REVIEW_SCHEMA_VERSION = 2;
 declare const prReviewProofSchema: z.ZodObject<{
   base: z.ZodString;
@@ -1449,6 +846,7 @@ declare const prReviewProofSchema: z.ZodObject<{
   reviewRequirement: z.ZodOptional<z.ZodObject<{
     reason: z.ZodEnum<{
       "no-applicable-mode": "no-applicable-mode";
+      "faithful-merge": "faithful-merge";
     }>;
     status: z.ZodLiteral<"not-required">;
   }, z.core.$strict>>;
@@ -1965,4 +1363,4 @@ declare const prReadyProofSchema: z.ZodObject<{
   waivedDemands: z.ZodOptional<z.ZodArray<z.ZodType<WaivedDemand, unknown, z.core.$ZodTypeInternals<WaivedDemand, unknown>>>>;
 }, z.core.$strip>;
 //#endregion
-export { BLOCKED_REASONS_MAX, BLOCKED_REASON_DETAIL_MAX, BOUNDARY_CHECK_SCHEMA_VERSION, BOUNDARY_REVIEW_PROOF_KIND, type BlockedReason, BoundaryCheckProofRecord, type BoundaryReviewProof, type CloseoutArtifact, EVIDENCE_ENVELOPE_SCHEMA_VERSION, type EvidenceEnvelope, type HistoricalCloseoutArtifact, PR_READY_SCHEMA_VERSION, PR_REVIEW_SCHEMA_VERSION, type ParsedRetroEnvelope, type PrReadyProof, type PrReviewProof, type PrVerifyProof, RETRO_ENVELOPE_SCHEMA_VERSION, RETRO_ENVELOPE_VALIDATORS, RETRO_ENVELOPE_WIRE_BOUNDS, type RetroEnvelope, SUPPORTED_CLOSEOUT_SCHEMA_VERSIONS, SUPPORTED_PR_READY_SCHEMA_VERSIONS, SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS, SUPPORTED_RETRO_ENVELOPE_SCHEMA_VERSIONS, type WaivedDemand, blockedReasonSchema, blockedReasonsSchema, boundaryCheckProofSchema, boundaryReviewProofSchema, closeoutArtifactReadSchema, closeoutArtifactSchema, evidenceEnvelopeSchema, legacyCloseoutArtifactSchema, prReadyProofSchema, prReviewProofSchema, prVerifyProofSchema, retroEnvelopeV1Schema, retroEpicReference, waivedDemandSchema };
+export { BLOCKED_REASONS_MAX, BLOCKED_REASON_DETAIL_MAX, BOUNDARY_CHECK_SCHEMA_VERSION, BOUNDARY_REVIEW_PROOF_KIND, type BlockedReason, BoundaryCheckProofRecord, type BoundaryReviewProof, type CloseoutArtifact, EVIDENCE_ENVELOPE_SCHEMA_VERSION, type EvidenceEnvelope, PR_READY_SCHEMA_VERSION, PR_REVIEW_SCHEMA_VERSION, type PrReadyProof, type PrReviewProof, type PrVerifyProof, SUPPORTED_CLOSEOUT_SCHEMA_VERSIONS, SUPPORTED_PR_READY_SCHEMA_VERSIONS, SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS, type WaivedDemand, blockedReasonSchema, blockedReasonsSchema, boundaryCheckProofSchema, boundaryReviewProofSchema, closeoutArtifactSchema, evidenceEnvelopeSchema, prReadyProofSchema, prReviewProofSchema, prVerifyProofSchema, waivedDemandSchema };