@patronage/software-factory 1.0.0-alpha.17 → 1.0.0-alpha.19

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.
@@ -444,103 +443,6 @@ type ReadinessRepair = z.infer<typeof readinessRepairSchema>;
 type ReadinessStatus = "ready" | "blocked";
 type ManagedReadinessLedger = z.infer<typeof managedReadinessLedgerSchema>;
 //#endregion
-//#region src/pr-ready.d.ts
-interface PrReadyProof {
-  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
-   * refusal. Same refusals as `blockingReasons`, in the same order — the
-   * analyzable projection of a flat string list, so a wall of blocked proofs
-   * on one PR can be counted by cause. Absent when nothing blocked.
-   */
-  blockedReasons?: BlockedReason[];
-  blockingReasons: string[];
-  humanBlockingReasons: string[];
-  command: "patronage-factory pr:ready";
-  /**
-   * 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;
-  /**
-   * `ledger.headSha` is the evaluated head SHA: the GitHub `pr.headRefOid`
-   * captured at evaluation time (not a local git read), recorded explicitly
-   * so merge-time identity checks are a pure comparison against the live
-   * 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. */
-  profilePath?: string;
-  repairs: ReadinessRepair[];
-  /** 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
-declare const evidenceEnvelopeBaseSchema: 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>;
-type EvidenceEnvelope = z.infer<typeof evidenceEnvelopeBaseSchema>;
-//#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];
@@ -723,6 +625,103 @@ declare const prVerifyProofSchema: z.ZodObject<{
   }, z.core.$strip>>;
 }, z.core.$strip>;
 //#endregion
+//#region src/pr-ready.d.ts
+interface PrReadyProof {
+  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
+   * refusal. Same refusals as `blockingReasons`, in the same order — the
+   * analyzable projection of a flat string list, so a wall of blocked proofs
+   * on one PR can be counted by cause. Absent when nothing blocked.
+   */
+  blockedReasons?: BlockedReason[];
+  blockingReasons: string[];
+  humanBlockingReasons: string[];
+  command: "patronage-factory pr:ready";
+  /**
+   * 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;
+  /**
+   * `ledger.headSha` is the evaluated head SHA: the GitHub `pr.headRefOid`
+   * captured at evaluation time (not a local git read), recorded explicitly
+   * so merge-time identity checks are a pure comparison against the live
+   * 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. */
+  profilePath?: string;
+  repairs: ReadinessRepair[];
+  /** 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
+declare const evidenceEnvelopeBaseSchema: 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>;
+type EvidenceEnvelope = z.infer<typeof evidenceEnvelopeBaseSchema>;
+//#endregion
 //#region src/closeout-artifact.d.ts
 /** Artifact versions accepted at ingest. */
 declare const SUPPORTED_CLOSEOUT_SCHEMA_VERSIONS: readonly [5];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@patronage/software-factory",
-  "version": "1.0.0-alpha.17",
+  "version": "1.0.0-alpha.19",
   "description": "Shared Patronage software factory CLI and project-profile validation tools",
   "license": "MIT",
   "repository": {
@@ -37,7 +37,7 @@
     "picomatch": "^4.0.5",
     "yaml": "^2.9.0",
     "zod": "4.4.3",
-    "@patronage/factory-ci": "1.0.0-alpha.17"
+    "@patronage/factory-ci": "1.0.0-alpha.19"
   },
   "devDependencies": {
     "@types/node": "24.13.3",