@patronage/software-factory 1.0.0-alpha.39 → 1.0.0-alpha.40

package/dist/schemas.d.ts

@@ -33,6 +33,11 @@ declare const policyResolutionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
   status: z.ZodLiteral<"authoritative">;
 }, z.core.$strict>, z.ZodObject<{
   baseRefName: z.ZodString;
+  cause: z.ZodOptional<z.ZodEnum<{
+    "no-pull-request": "no-pull-request";
+    "lookup-failed": "lookup-failed";
+    "policy-unreadable": "policy-unreadable";
+  }>>;
   reason: z.ZodString;
   status: z.ZodLiteral<"unresolved">;
 }, z.core.$strict>], "status">;
@@ -54,26 +59,6 @@ interface ReviewFindingAttributes {
   title: string;
 }
 //#endregion
-//#region src/review-recovery-item.d.ts
-/**
- * A schema-2 declaration the bounded import could not convert (ADR 0004
- * decision 7): the declaration as stored, the cycle that recorded it, why it
- * was refused and the occurrence addresses it could have meant. While any
- * item is present the proof admits nothing; an operator re-declares by
- * address on the next recording.
- */
-interface ReviewRecoveryItem {
-  candidates: string[];
-  cycle: number;
-  declaration: {
-    disposition: "fixed-in-thread" | "follow-up-filed" | "waived";
-    file?: string;
-    reference?: string;
-    title: string;
-  };
-  reason: 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];
@@ -94,7 +79,7 @@ interface ReviewOccurrenceRecord {
    */
   repeatOf?: string;
 }
-declare const POLICY_DECLARATION_RULES: readonly ["cycle-2-severity-floor", "identity-repeat", "schema-2-import"];
+declare const POLICY_DECLARATION_RULES: readonly ["cycle-2-severity-floor", "identity-repeat"];
 type PolicyDeclarationRule = (typeof POLICY_DECLARATION_RULES)[number];
 /**
  * A disposition declaration as stored (CONTEXT.md: disposition declaration):
@@ -131,22 +116,10 @@ interface ReviewRecordedCycleIdentity {
   findingsDigest: string;
   recordingId: string;
 }
-/**
- * A cycle the bounded importer converted from a schema-2 proof (decision 7).
- * No bytes were read for it, so it carries the digest of the retained source
- * proof instead of a recording identity; it can never answer a retry as
- * `already-recorded`.
- */
-interface ReviewImportedCycleIdentity {
-  imported: {
-    proofDigest: string;
-    schemaVersion: 2;
-  };
-}
 type ReviewCycleRecording = {
   declarations: ReviewDeclarationRecord[]; /** Index-aligned with the cycle's `findings`. */
   occurrences: ReviewOccurrenceRecord[];
-} & (ReviewRecordedCycleIdentity | ReviewImportedCycleIdentity);
+} & ReviewRecordedCycleIdentity;
 //#endregion
 //#region src/review-ladder.d.ts
 interface LadderSessionAttribution {
@@ -204,6 +177,9 @@ interface PrReviewResult {
   issuesFlagged: number;
   summary: string;
   findings: PrReviewFinding[];
+  lowerFindings?: (PrReviewFinding & {
+    priority: string;
+  })[];
   typedVerdict?: boolean;
   verdictSource?: "footer" | "recovered";
   promptSections?: ReviewPromptSection[];
@@ -219,21 +195,6 @@ interface PrReviewProof {
   changedFiles: string[];
   cleanedPaths: string[];
   ladder?: PrReviewLadderState;
-  /**
-   * Present when the ladder's earlier cycles were converted from a schema-2
-   * proof by the bounded import (#1068): the digest of the original bytes,
-   * retained content-addressed for audit before the converted proof is
-   * written.
-   */
-  importedFrom?: {
-    proofDigest: string;
-    schemaVersion: 2;
-  };
-  /**
-   * Schema-2 declarations the bounded import refused (#1068). Empty is never
-   * written; absent means nothing awaits recovery.
-   */
-  recoveryRequired?: ReviewRecoveryItem[];
   /**
    * The policy identity this review run resolved its demanded kinds under
    * (#922 Slice B). Optional: a run that could not reach the authority records
@@ -657,6 +618,11 @@ declare const prVerifyProofSchema: z.ZodObject<{
     status: z.ZodLiteral<"authoritative">;
   }, z.core.$strict>, z.ZodObject<{
     baseRefName: z.ZodString;
+    cause: z.ZodOptional<z.ZodEnum<{
+      "no-pull-request": "no-pull-request";
+      "lookup-failed": "lookup-failed";
+      "policy-unreadable": "policy-unreadable";
+    }>>;
     reason: z.ZodString;
     status: z.ZodLiteral<"unresolved">;
   }, z.core.$strict>], "status">>;
@@ -860,7 +826,8 @@ interface PrReadyProof {
   schemaVersion: 3;
   /**
    * What GitHub actually did when this run armed native auto-merge (#477).
-   * Present exactly when a ready run called the arming module (#1299): not
+   * Also reports an already-merged no-op (#1456). Otherwise present exactly
+   * when a ready run called the arming module (#1299): not
    * for an `autoMerge: false` wave, and not when a notice names why the run
    * did not arm. Read back from the PR rather than inferred from the
    * invocation, because `gh pr merge --auto` arms, merges, or does nothing
@@ -1224,7 +1191,6 @@ declare const prReadyProofSchema: z.ZodObject<{
         "out-of-scope": "out-of-scope";
       }>;
     }, z.core.$strip>>>;
-    finalReviewPoint: z.ZodOptional<z.ZodBoolean>;
     github: z.ZodObject<{
       draft: z.ZodBoolean;
       mergeStateStatus: z.ZodString;
@@ -1239,43 +1205,14 @@ declare const prReadyProofSchema: z.ZodObject<{
       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<{
-        "check-run": "check-run";
-        cli: "cli";
-      }>;
-      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;
     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;
@@ -1366,12 +1303,6 @@ declare const prReadyProofSchema: z.ZodObject<{
       }, z.core.$strict>>;
     }, z.core.$strip>;
     schemaVersion: z.ZodLiteral<2>;
-    stackRole: z.ZodOptional<z.ZodEnum<{
-      single: "single";
-      slice: "slice";
-      rollup: "rollup";
-      "merge-gate prerequisite": "merge-gate prerequisite";
-    }>>;
     verification: z.ZodDiscriminatedUnion<[z.ZodObject<{
       command: z.ZodLiteral<"patronage-factory pr:verify">;
       prVerify: z.ZodLiteral<"missing">;
@@ -1406,6 +1337,11 @@ declare const prReadyProofSchema: z.ZodObject<{
     status: z.ZodLiteral<"authoritative">;
   }, z.core.$strict>, z.ZodObject<{
     baseRefName: z.ZodString;
+    cause: z.ZodOptional<z.ZodEnum<{
+      "no-pull-request": "no-pull-request";
+      "lookup-failed": "lookup-failed";
+      "policy-unreadable": "policy-unreadable";
+    }>>;
     reason: z.ZodString;
     status: z.ZodLiteral<"unresolved">;
   }, z.core.$strict>], "status">>;
@@ -1415,7 +1351,6 @@ declare const prReadyProofSchema: 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;
@@ -1425,7 +1360,6 @@ declare const prReadyProofSchema: z.ZodObject<{
   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>;