@patronage/software-factory 1.0.0-alpha.13 → 1.0.0-alpha.16

package/dist/schemas.d.ts

@@ -113,6 +113,32 @@ 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";
+  }>;
+  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.
@@ -484,32 +510,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<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-readiness/external-evidence.d.ts
 declare const evidenceEnvelopeBaseSchema: z.ZodObject<{
   check: z.ZodString;
@@ -540,9 +540,9 @@ 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];
+//#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;
@@ -616,713 +616,6 @@ interface PrVerifyProof {
   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];
-/** 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;
-    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>;
-/** 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;
-declare const evidenceEnvelopeSchema: z.ZodObject<{
-  check: z.ZodString;
-  checkType: z.ZodEnum<{
-    review: "review";
-    verify: "verify";
-  }>;
-  findingsPointer: z.ZodOptional<z.ZodString>;
-  headSha: z.ZodString;
-  mergeBaseSha: z.ZodString;
-  model: z.ZodOptional<z.ZodString>;
-  outcome: z.ZodEnum<{
-    pass: "pass";
-    fail: "fail";
-  }>;
-  patchId: z.ZodString;
-  policyVersion: z.ZodOptional<z.ZodString>;
-  producer: z.ZodString;
-  requestId: z.ZodOptional<z.ZodString>;
-  rung: z.ZodOptional<z.ZodEnum<{
-    "independent-model": "independent-model";
-    oracle: "oracle";
-    human: "human";
-  }>>;
-  schemaVersion: z.ZodLiteral<1>;
-  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;
@@ -1390,8 +683,8 @@ declare const prVerifyProofSchema: z.ZodObject<{
     name: z.ZodString;
   }, z.core.$strip>>>;
   outcome: z.ZodOptional<z.ZodEnum<{
-    aborted: "aborted";
     passed: "passed";
+    aborted: "aborted";
   }>>;
   patchId: z.ZodOptional<z.ZodString>;
   profilePath: z.ZodString;
@@ -1412,6 +705,73 @@ declare const prVerifyProofSchema: z.ZodObject<{
     }>;
   }, z.core.$strip>>;
 }, z.core.$strip>;
+//#endregion
+//#region src/closeout-artifact.d.ts
+/** 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<{
+  budget: z.ZodObject<{
+    note: z.ZodString;
+    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;
+  metrics: z.ZodArray<z.ZodObject<{
+    label: z.ZodString;
+    metric: z.ZodString;
+    source: z.ZodObject<{
+      detail: z.ZodString;
+      kind: z.ZodLiteral<"token-harvest">;
+    }, z.core.$strict>;
+    unit: z.ZodEnum<{
+      boolean: "boolean";
+      text: "text";
+      count: "count";
+      tokens: "tokens";
+      usd: "usd";
+    }>;
+    value: z.ZodUnion<readonly [z.ZodNumber, z.ZodString, z.ZodBoolean, z.ZodNull]>;
+  }, z.core.$strict>>;
+  repo: z.ZodString;
+  schemaVersion: z.ZodLiteral<5>;
+}, z.core.$strict>;
+type CloseoutArtifact = z.infer<typeof closeoutArtifactSchema>;
+//#endregion
+//#region src/schemas.d.ts
+declare const EVIDENCE_ENVELOPE_SCHEMA_VERSION = 1;
+declare const evidenceEnvelopeSchema: z.ZodObject<{
+  check: z.ZodString;
+  checkType: z.ZodEnum<{
+    review: "review";
+    verify: "verify";
+  }>;
+  findingsPointer: z.ZodOptional<z.ZodString>;
+  headSha: z.ZodString;
+  mergeBaseSha: z.ZodString;
+  model: z.ZodOptional<z.ZodString>;
+  outcome: z.ZodEnum<{
+    pass: "pass";
+    fail: "fail";
+  }>;
+  patchId: z.ZodString;
+  policyVersion: z.ZodOptional<z.ZodString>;
+  producer: z.ZodString;
+  requestId: z.ZodOptional<z.ZodString>;
+  rung: z.ZodOptional<z.ZodEnum<{
+    "independent-model": "independent-model";
+    oracle: "oracle";
+    human: "human";
+  }>>;
+  schemaVersion: z.ZodLiteral<1>;
+  sessionId: z.ZodOptional<z.ZodString>;
+  timestamp: z.ZodOptional<z.ZodISODateTime>;
+}, z.core.$loose>;
 declare const PR_REVIEW_SCHEMA_VERSION = 2;
 declare const prReviewProofSchema: z.ZodObject<{
   base: z.ZodString;
@@ -1967,4 +1327,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 };