@patronage/software-factory 0.25.0 → 0.30.0-beta.1

package/dist/schemas.d.ts

@@ -13,7 +13,7 @@ interface WaivedDemand {
   operator: string;
   rationale: string;
   recordedAt: string;
-  session: string;
+  session?: string;
   /** The demand's refusals at evaluation time, preserved verbatim. */
   unmetReasons: string[];
 }
@@ -109,105 +109,6 @@ interface FollowUpAction {
   command: string;
 }
 //#endregion
-//#region src/merge-preflight/worktree-held-branch.d.ts
-/**
- * Detects when a PR head branch is checked out in a local git worktree.
- *
- * `gh pr merge --delete-branch` fails when the local branch is held by a
- * worktree (git refuses to delete a checked-out branch), which previously
- * broke the auto-merge lane mid-merge (patronage/internal#284). The merge
- * preflight surfaces this as an actionable notice — not a hard fail — so the
- * operator merges without `--delete-branch` (or prunes the worktree first)
- * and defers local branch cleanup to closeout.
- */
-interface WorktreeHeldBranch {
-  branch: string;
-  worktreePath: string;
-}
-//#endregion
-//#region src/pr-readiness/merge-identity.d.ts
-interface PostProofCommit {
-  sha: string;
-  subject: string;
-}
-type MergeIdentityResult = {
-  kind: "match";
-  headSha: string;
-} | {
-  kind: "diverged";
-  liveHeadSha: string;
-  postProofCommits?: PostProofCommit[];
-  proofHeadSha: string;
-};
-type MergeGuardIdentity = MergeIdentityResult | {
-  kind: "live-head-invalid";
-  pr: number;
-  received: string;
-} | {
-  kind: "ready-proof-missing";
-  errorDetail?: string;
-  readyProofPath: string;
-} | {
-  kind: "ready-proof-pr-mismatch";
-  proofPr: number;
-  requestedPr: number;
-} | {
-  kind: "ready-proof-not-ready";
-  blockingReasons: string[];
-  status: string;
-};
-//#endregion
-//#region src/review-rungs.d.ts
-declare const EVIDENCE_REVIEW_RUNGS: readonly ["independent-model", "oracle", "human"];
-type EvidenceReviewRung = (typeof EVIDENCE_REVIEW_RUNGS)[number];
-//#endregion
-//#region src/pr-merge-check.d.ts
-interface PrMergeCheckProof {
-  schemaVersion: 1;
-  blockingReasons: string[];
-  boundary?: {
-    autoMerge: boolean;
-    epic: number;
-    review: EvidenceReviewRung;
-    wave: string;
-  };
-  command: "patronage-factory pr:merge-check";
-  /**
-   * Machine-safe arg array for the obvious next action (#523): on `pass`, the
-   * remote-only GitHub merge API invocation for this PR; on `fail`, the re-run that clears the
-   * block (`pr:ready`, or `pr:verify` then `pr:ready` after a head
-   * divergence). Same `argv` shape `factory:delegate --print` emits. Optional
-   * and purely additive — existing consumers ignore it.
-   */
-  followUp?: FollowUpAction;
-  identity: MergeGuardIdentity;
-  /**
-   * The pushed PR head SHA fetched from GitHub at check time. Absent only
-   * when GitHub returned no usable 40-hex head (identity kind
-   * "live-head-invalid"), which is itself a fail-closed blocking state.
-   */
-  liveHeadSha?: string;
-  /**
-   * Actionable operational notices that do not block the merge, e.g. a PR
-   * head branch held by a local worktree, which makes
-   * `gh pr merge --delete-branch` fail (patronage/internal#284).
-   */
-  notices?: string[];
-  pr: number;
-  status: "pass" | "fail";
-  /**
-   * Demands that were in force, were NOT met, and were waived by the operator
-   * (#354). Each entry carries the demand's refusals verbatim, so a waived
-   * demand can never read as a met one; the merge proceeds on the recorded
-   * operator act, not on evidence.
-   */
-  waivedDemands?: WaivedDemand[];
-  /** Present when the PR head branch is checked out in a local worktree. */
-  worktreeHeldBranch?: WorktreeHeldBranch;
-  /** All merge-relevant branches held by local worktrees (head and default). */
-  worktreeHeldBranches?: WorktreeHeldBranch[];
-}
-//#endregion
 //#region src/diff-classification.d.ts
 declare const DIFF_CLASSIFICATIONS: readonly ["docs/process-only", "trivial", "non-trivial"];
 type DiffClassification = (typeof DIFF_CLASSIFICATIONS)[number];
@@ -226,7 +127,6 @@ type ResolvedPrVerifyMode = "docs-only" | "trivial" | "full";
 declare const reviewPromptSectionSchema: z.ZodObject<{
   provenance: z.ZodEnum<{
     "prior-review-ledger": "prior-review-ledger";
-    "profile-standing-checklist": "profile-standing-checklist";
     "issue-review-focus": "issue-review-focus";
   }>;
   source: z.ZodString;
@@ -252,6 +152,10 @@ interface ReviewFindingAttributes {
   title: string;
 }
 //#endregion
+//#region src/review-rungs.d.ts
+declare const EVIDENCE_REVIEW_RUNGS: readonly ["independent-model", "oracle", "human"];
+type EvidenceReviewRung = (typeof EVIDENCE_REVIEW_RUNGS)[number];
+//#endregion
 //#region src/review-ladder-ledger.d.ts
 type LadderCycleStage = "interior" | "gate";
 type LadderFindingReport = ReviewFindingAttributes;
@@ -349,7 +253,6 @@ declare const readinessRepairSchema: z.ZodObject<{
   action: z.ZodString;
   code: z.ZodEnum<{
     "undraft-pr": "undraft-pr";
-    "render-pr-body-sections": "render-pr-body-sections";
     "await-post-undraft-checks": "await-post-undraft-checks";
   }>;
   command: z.ZodString;
@@ -371,12 +274,11 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
     name: z.ZodString;
     reason: z.ZodOptional<z.ZodString>;
     scope: z.ZodOptional<z.ZodObject<{
-      classifications: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+      classifications: z.ZodArray<z.ZodEnum<{
         "docs/process-only": "docs/process-only";
         trivial: "trivial";
         "non-trivial": "non-trivial";
-      }>>>;
-      labels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+      }>>;
     }, z.core.$strict>>;
     scopeReason: z.ZodString;
     status: z.ZodEnum<{
@@ -385,9 +287,7 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       "out-of-scope": "out-of-scope";
     }>;
   }, z.core.$strip>>>;
-  finalReviewPoint: z.ZodBoolean;
   github: z.ZodObject<{
-    currentWithBase: z.ZodBoolean;
     draft: z.ZodBoolean;
     mergeStateStatus: z.ZodString;
     mergeable: z.ZodString;
@@ -398,67 +298,17 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       pending: "pending";
       none: "none";
     }>;
+    reviewDecision: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     unresolvedReviewThreads: z.ZodNumber;
   }, z.core.$strip>;
-  handledCommentsProducer: z.ZodOptional<z.ZodObject<{
-    identity: z.ZodString;
-    mode: z.ZodEnum<{
-      app: "app";
-      "commit-status": "commit-status";
-    }>;
-  }, z.core.$strip>>;
-  handledHumanComments: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    clearedAt: z.ZodOptional<z.ZodString>;
-    sessionId: z.ZodOptional<z.ZodString>;
-    source: z.ZodEnum<{
-      cli: "cli";
-      "check-run": "check-run";
-    }>;
-    url: z.ZodString;
-  }, z.core.$strip>>>;
   headSha: z.ZodString;
   mergeBaseSha: z.ZodOptional<z.ZodString>;
   patchId: z.ZodString;
-  postReadinessHumanComments: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    author: z.ZodString;
-    createdAt: z.ZodString;
-    summary: z.ZodString;
-    url: z.ZodString;
-  }, z.core.$strip>>>;
-  postReadinessHumanReviews: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    author: z.ZodString;
-    createdAt: z.ZodString;
-    summary: z.ZodString;
-    url: z.ZodString;
-  }, z.core.$strip>>>;
   pr: z.ZodNumber;
-  previewDeploy: z.ZodOptional<z.ZodObject<{
-    adminUrl: z.ZodOptional<z.ZodString>;
-    apiHealthUrl: z.ZodOptional<z.ZodString>;
-    headSha: z.ZodOptional<z.ZodString>;
-    localPreviewProof: z.ZodOptional<z.ZodUnknown>;
-    localProofPath: z.ZodOptional<z.ZodString>;
-    proofSource: z.ZodOptional<z.ZodEnum<{
-      "github-actions": "github-actions";
-      "local-self-certified": "local-self-certified";
-    }>>;
-    publicUrl: z.ZodOptional<z.ZodString>;
-    seedStatus: z.ZodEnum<{
-      unknown: "unknown";
-      passed: "passed";
-      failed: "failed";
-      skipped: "skipped";
-    }>;
-    stage: z.ZodOptional<z.ZodString>;
-    timingsMs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodOptional<z.ZodNumber>>>;
-    workflowRunUrl: z.ZodOptional<z.ZodString>;
-  }, z.core.$strip>>;
-  previewDeployRequired: z.ZodBoolean;
   repairs: z.ZodDefault<z.ZodArray<z.ZodObject<{
     action: z.ZodString;
     code: z.ZodEnum<{
       "undraft-pr": "undraft-pr";
-      "render-pr-body-sections": "render-pr-body-sections";
       "await-post-undraft-checks": "await-post-undraft-checks";
     }>;
     command: z.ZodString;
@@ -524,7 +374,6 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
   }>>;
   reviews: z.ZodObject<{
     correctness: z.ZodObject<{
-      docsOnlyDeltaAccepted: z.ZodOptional<z.ZodBoolean>;
       required: z.ZodBoolean;
       reviewedHeadSha: z.ZodOptional<z.ZodString>;
       reviewedPatchId: z.ZodOptional<z.ZodString>;
@@ -537,7 +386,6 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       }>;
     }, z.core.$strip>;
     security: z.ZodOptional<z.ZodObject<{
-      docsOnlyDeltaAccepted: z.ZodOptional<z.ZodBoolean>;
       required: z.ZodBoolean;
       reviewedHeadSha: z.ZodOptional<z.ZodString>;
       reviewedPatchId: z.ZodOptional<z.ZodString>;
@@ -551,12 +399,6 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
     }, z.core.$strip>>;
   }, z.core.$strip>;
   schemaVersion: z.ZodLiteral<1>;
-  stackRole: z.ZodEnum<{
-    single: "single";
-    slice: "slice";
-    rollup: "rollup";
-    "merge-gate prerequisite": "merge-gate prerequisite";
-  }>;
   verification: z.ZodObject<{
     command: z.ZodLiteral<"patronage-factory pr:verify">;
     docsOnlyDeltaAccepted: z.ZodOptional<z.ZodBoolean>;
@@ -572,12 +414,25 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
   }, z.core.$strip>;
 }, z.core.$strip>;
 type ReadinessRepair = z.infer<typeof readinessRepairSchema>;
-type ReadinessStatus = "ready" | "blocked" | "slice-ready/not-final";
+type ReadinessStatus = "ready" | "blocked";
 type ManagedReadinessLedger = z.infer<typeof managedReadinessLedgerSchema>;
 //#endregion
 //#region src/pr-ready.d.ts
 interface PrReadyProof {
-  schemaVersion: 2;
+  schemaVersion: 3;
+  /**
+   * What GitHub actually did when this run armed native auto-merge (#477).
+   * Present exactly when a ready wave authorizes machine merge and arming ran;
+   * read back from the PR rather than inferred from the invocation, because `gh pr merge
+   * --auto` arms, merges, or does nothing with the same exit code and the same
+   * empty output. `not-armed` means the candidate is admitted but nothing will
+   * merge it, and `followUp` carries the re-dispatch.
+   */
+  arming?: {
+    detail?: string;
+    headSha: string;
+    outcome: "armed" | "merged" | "not-armed";
+  };
   /**
    * Why this run blocked, one entry per refusing demand (#391): `code` is the
    * demand key from the resolver's vocabulary, `detail` the one-sentence
@@ -590,11 +445,12 @@ interface PrReadyProof {
   humanBlockingReasons: string[];
   command: "patronage-factory pr:ready";
   /**
-   * Machine-safe arg array for the obvious next action (#523): when `ready`,
-   * the `pr:merge-check` that must precede a merge; otherwise the `pr:verify`
-   * re-run that the blocking reasons name (re-verify the head, then re-run
-   * pr:ready). Same `argv` shape `factory:delegate --print` emits. Optional
-   * and purely additive.
+   * Machine-safe arg array for the obvious next action (#523): when `ready`
+   * but arming did not take effect, a `pr:ready` re-dispatch (idempotent on
+   * an unchanged head); otherwise the `gh pr ready` undraft repair or the
+   * `pr:verify` re-run that the blocking reasons name (re-verify the head,
+   * then re-run pr:ready). Same `argv` shape `factory:delegate --print`
+   * emits. Optional and purely additive.
    */
   followUp?: FollowUpAction;
   /**
@@ -604,6 +460,13 @@ interface PrReadyProof {
    * pushed HEAD, not a re-derivation. See the ledger schema.
    */
   ledger: ManagedReadinessLedger;
+  /**
+   * Actionable facts that did not block (#477): a settling merge-freeze
+   * generation that permitted readiness and any authorized arming with a
+   * notice, an admitted-but-unscheduled false boundary wave, and how each
+   * waived demand reads to a human. Absent when there are none.
+   */
+  notices?: string[];
   /** Committed profile blob evaluated by readiness. Required for merge. */
   profileBlobSha?: string;
   /** Checkout-relative committed profile path evaluated by readiness. */
@@ -612,6 +475,13 @@ interface PrReadyProof {
   /** Trusted checkout repository used for all GitHub reads and writes. */
   repository?: string;
   status: ReadinessStatus;
+  /**
+   * Demands that were in force, were NOT met, and were waived by the operator
+   * (#354, moved here from the merge-time proof by #477). Each entry carries
+   * the demand's refusals verbatim, so a waived demand can never read as a met
+   * one; readiness proceeds on the recorded operator act, not on evidence.
+   */
+  waivedDemands?: WaivedDemand[];
 }
 //#endregion
 //#region src/pr-readiness/external-evidence.d.ts
@@ -891,11 +761,6 @@ declare const retroEnvelopeV1Schema: z.ZodObject<{
   }, z.core.$strict>;
   kind: z.ZodLiteral<"retro-envelope">;
   outcome: z.ZodOptional<z.ZodObject<{
-    mergeCheck: z.ZodOptional<z.ZodEnum<{
-      pass: "pass";
-      fail: "fail";
-      "not-run": "not-run";
-    }>>;
     status: z.ZodEnum<{
       fail: "fail";
       success: "success";
@@ -1153,7 +1018,6 @@ declare const prReviewProofSchema: z.ZodObject<{
     promptSections: z.ZodOptional<z.ZodArray<z.ZodObject<{
       provenance: z.ZodEnum<{
         "prior-review-ledger": "prior-review-ledger";
-        "profile-standing-checklist": "profile-standing-checklist";
         "issue-review-focus": "issue-review-focus";
       }>;
       source: z.ZodString;
@@ -1296,64 +1160,24 @@ declare const boundaryCheckProofSchema: z.ZodObject<{
   }>;
 }, z.core.$strip>;
 type BoundaryCheckProofRecord = z.infer<typeof boundaryCheckProofSchema>;
-declare const PR_MERGE_CHECK_SCHEMA_VERSION = 1;
-declare const prMergeCheckProofSchema: z.ZodObject<{
-  blockingReasons: z.ZodArray<z.ZodString>;
-  command: z.ZodLiteral<"patronage-factory pr:merge-check">;
-  followUp: z.ZodOptional<z.ZodObject<{
-    argv: z.ZodArray<z.ZodString>;
-    command: z.ZodString;
-  }, z.core.$strict>>;
-  identity: z.ZodDiscriminatedUnion<[z.ZodObject<{
-    headSha: z.ZodString;
-    kind: z.ZodLiteral<"match">;
-  }, z.core.$strip>, z.ZodObject<{
-    kind: z.ZodLiteral<"diverged">;
-    liveHeadSha: z.ZodString;
-    postProofCommits: z.ZodOptional<z.ZodArray<z.ZodObject<{
-      sha: z.ZodString;
-      subject: z.ZodString;
-    }, z.core.$strip>>>;
-    proofHeadSha: z.ZodString;
-  }, z.core.$strip>, z.ZodObject<{
-    kind: z.ZodLiteral<"live-head-invalid">;
-    pr: z.ZodNumber;
-    received: z.ZodString;
-  }, z.core.$strip>, z.ZodObject<{
-    errorDetail: z.ZodOptional<z.ZodString>;
-    kind: z.ZodLiteral<"ready-proof-missing">;
-    readyProofPath: z.ZodString;
-  }, z.core.$strip>, z.ZodObject<{
-    kind: z.ZodLiteral<"ready-proof-pr-mismatch">;
-    proofPr: z.ZodNumber;
-    requestedPr: z.ZodNumber;
-  }, z.core.$strip>, z.ZodObject<{
-    blockingReasons: z.ZodArray<z.ZodString>;
-    kind: z.ZodLiteral<"ready-proof-not-ready">;
-    status: z.ZodString;
-  }, z.core.$strip>], "kind">;
-  liveHeadSha: z.ZodOptional<z.ZodString>;
-  notices: z.ZodOptional<z.ZodArray<z.ZodString>>;
-  pr: z.ZodNumber;
-  schemaVersion: z.ZodLiteral<1>;
-  status: z.ZodEnum<{
-    pass: "pass";
-    fail: "fail";
-  }>;
-  waivedDemands: z.ZodOptional<z.ZodArray<z.ZodType<WaivedDemand, unknown, z.core.$ZodTypeInternals<WaivedDemand, unknown>>>>;
-  worktreeHeldBranch: z.ZodOptional<z.ZodObject<{
-    branch: z.ZodString;
-    worktreePath: z.ZodString;
-  }, z.core.$strip>>;
-}, z.core.$strip>;
-declare const PR_READY_SCHEMA_VERSION = 2;
+declare const PR_READY_SCHEMA_VERSION = 3;
 /**
- * The pr:ready proof versions a reader still accepts. `pr:ready` emits v2 only
- * (#391) — one current contract — but v1 events were spooled before the bump
- * and HQ must ingest them without degrading, so the wire schema parses both.
+ * The pr:ready proof versions a reader still accepts. `pr:ready` emits v3 only
+ * (#477) — one current contract — but v1 and v2 events were spooled before the
+ * bumps and HQ must ingest them without degrading, so the wire schema parses
+ * all three.
  */
-declare const SUPPORTED_PR_READY_SCHEMA_VERSIONS: readonly [1, 2];
+declare const SUPPORTED_PR_READY_SCHEMA_VERSIONS: readonly [1, 2, 3];
 declare const prReadyProofSchema: z.ZodObject<{
+  arming: z.ZodOptional<z.ZodObject<{
+    detail: z.ZodOptional<z.ZodString>;
+    headSha: z.ZodString;
+    outcome: z.ZodEnum<{
+      merged: "merged";
+      armed: "armed";
+      "not-armed": "not-armed";
+    }>;
+  }, z.core.$strip>>;
   blockedReasons: z.ZodOptional<z.ZodArray<z.ZodObject<{
     code: z.ZodString;
     detail: z.ZodString;
@@ -1382,12 +1206,11 @@ declare const prReadyProofSchema: z.ZodObject<{
       name: z.ZodString;
       reason: z.ZodOptional<z.ZodString>;
       scope: z.ZodOptional<z.ZodObject<{
-        classifications: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+        classifications: z.ZodArray<z.ZodEnum<{
           "docs/process-only": "docs/process-only";
           trivial: "trivial";
           "non-trivial": "non-trivial";
-        }>>>;
-        labels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }>>;
       }, z.core.$strict>>;
       scopeReason: z.ZodString;
       status: z.ZodEnum<{
@@ -1396,9 +1219,8 @@ declare const prReadyProofSchema: z.ZodObject<{
         "out-of-scope": "out-of-scope";
       }>;
     }, z.core.$strip>>>;
-    finalReviewPoint: z.ZodBoolean;
+    finalReviewPoint: z.ZodOptional<z.ZodBoolean>;
     github: z.ZodObject<{
-      currentWithBase: z.ZodBoolean;
       draft: z.ZodBoolean;
       mergeStateStatus: z.ZodString;
       mergeable: z.ZodString;
@@ -1409,6 +1231,7 @@ declare const prReadyProofSchema: z.ZodObject<{
         pending: "pending";
         none: "none";
       }>;
+      reviewDecision: z.ZodOptional<z.ZodNullable<z.ZodString>>;
       unresolvedReviewThreads: z.ZodNumber;
     }, z.core.$strip>;
     handledCommentsProducer: z.ZodOptional<z.ZodObject<{
@@ -1436,29 +1259,13 @@ declare const prReadyProofSchema: z.ZodObject<{
       summary: z.ZodString;
       url: z.ZodString;
     }, z.core.$strip>>>;
+    postReadinessHumanReviews: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      author: z.ZodString;
+      createdAt: z.ZodString;
+      summary: z.ZodString;
+      url: z.ZodString;
+    }, z.core.$strip>>>;
     pr: z.ZodNumber;
-    previewDeploy: z.ZodOptional<z.ZodObject<{
-      adminUrl: z.ZodOptional<z.ZodString>;
-      apiHealthUrl: z.ZodOptional<z.ZodString>;
-      headSha: z.ZodOptional<z.ZodString>;
-      localPreviewProof: z.ZodOptional<z.ZodUnknown>;
-      localProofPath: z.ZodOptional<z.ZodString>;
-      proofSource: z.ZodOptional<z.ZodEnum<{
-        "github-actions": "github-actions";
-        "local-self-certified": "local-self-certified";
-      }>>;
-      publicUrl: z.ZodOptional<z.ZodString>;
-      seedStatus: z.ZodEnum<{
-        unknown: "unknown";
-        passed: "passed";
-        failed: "failed";
-        skipped: "skipped";
-      }>;
-      stage: z.ZodOptional<z.ZodString>;
-      timingsMs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodOptional<z.ZodNumber>>>;
-      workflowRunUrl: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-    previewDeployRequired: z.ZodBoolean;
     repairs: z.ZodDefault<z.ZodArray<z.ZodObject<{
       action: z.ZodString;
       code: z.ZodEnum<{
@@ -1565,7 +1372,6 @@ declare const prReadyProofSchema: z.ZodObject<{
       promptSections: z.ZodOptional<z.ZodArray<z.ZodObject<{
         provenance: z.ZodEnum<{
           "prior-review-ledger": "prior-review-ledger";
-          "profile-standing-checklist": "profile-standing-checklist";
           "issue-review-focus": "issue-review-focus";
         }>;
         source: z.ZodString;
@@ -1641,12 +1447,12 @@ declare const prReadyProofSchema: z.ZodObject<{
       }, z.core.$strip>>;
     }, z.core.$strip>;
     schemaVersion: z.ZodLiteral<1>;
-    stackRole: z.ZodEnum<{
+    stackRole: z.ZodOptional<z.ZodEnum<{
       single: "single";
       slice: "slice";
       rollup: "rollup";
       "merge-gate prerequisite": "merge-gate prerequisite";
-    }>;
+    }>>;
     verification: z.ZodObject<{
       command: z.ZodLiteral<"patronage-factory pr:verify">;
       docsOnlyDeltaAccepted: z.ZodOptional<z.ZodBoolean>;
@@ -1661,6 +1467,7 @@ declare const prReadyProofSchema: z.ZodObject<{
       verifiedHeadSha: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
   }, z.core.$strip>;
+  notices: z.ZodOptional<z.ZodArray<z.ZodString>>;
   profileBlobSha: z.ZodOptional<z.ZodString>;
   profilePath: z.ZodOptional<z.ZodString>;
   repairs: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -1673,12 +1480,13 @@ declare const prReadyProofSchema: z.ZodObject<{
     command: z.ZodString;
   }, z.core.$strip>>>;
   repository: z.ZodOptional<z.ZodString>;
-  schemaVersion: z.ZodNumber & z.ZodType<1 | 2, number, z.core.$ZodTypeInternals<1 | 2, number>>;
+  schemaVersion: z.ZodNumber & z.ZodType<1 | 2 | 3, number, z.core.$ZodTypeInternals<1 | 2 | 3, number>>;
   status: z.ZodEnum<{
     ready: "ready";
     blocked: "blocked";
     "slice-ready/not-final": "slice-ready/not-final";
   }>;
+  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, PR_MERGE_CHECK_SCHEMA_VERSION, PR_READY_SCHEMA_VERSION, PR_REVIEW_SCHEMA_VERSION, type ParsedRetroEnvelope, type PrMergeCheckProof, type PrReadyProof, type PrReviewProof, type PrVerifyProof, RETRO_ENVELOPE_SCHEMA_VERSION, RETRO_ENVELOPE_VALIDATORS, RETRO_ENVELOPE_WIRE_BOUNDS, type RetroEnvelope, SUPPORTED_PR_READY_SCHEMA_VERSIONS, SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS, SUPPORTED_RETRO_ENVELOPE_SCHEMA_VERSIONS, type WaivedDemand, blockedReasonSchema, blockedReasonsSchema, boundaryCheckProofSchema, boundaryReviewProofSchema, closeoutArtifactSchema, evidenceEnvelopeSchema, prMergeCheckProofSchema, 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 ParsedRetroEnvelope, type PrReadyProof, type PrReviewProof, type PrVerifyProof, RETRO_ENVELOPE_SCHEMA_VERSION, RETRO_ENVELOPE_VALIDATORS, RETRO_ENVELOPE_WIRE_BOUNDS, type RetroEnvelope, SUPPORTED_PR_READY_SCHEMA_VERSIONS, SUPPORTED_PR_VERIFY_SCHEMA_VERSIONS, SUPPORTED_RETRO_ENVELOPE_SCHEMA_VERSIONS, type WaivedDemand, blockedReasonSchema, blockedReasonsSchema, boundaryCheckProofSchema, boundaryReviewProofSchema, closeoutArtifactSchema, evidenceEnvelopeSchema, prReadyProofSchema, prReviewProofSchema, prVerifyProofSchema, retroEnvelopeV1Schema, retroEpicReference, waivedDemandSchema };