@patronage/software-factory 1.0.0-alpha.23 → 1.0.0-alpha.24

package/dist/index.d.ts

@@ -17,8 +17,8 @@ declare const boundaryManifestBaseSchema: z.ZodObject<{
   boundary: z.ZodString;
   closeout: z.ZodOptional<z.ZodObject<{
     review: z.ZodEnum<{
-      oracle: "oracle";
       "independent-model": "independent-model";
+      oracle: "oracle";
       human: "human";
     }>;
   }, z.core.$loose>>;
@@ -26,8 +26,8 @@ declare const boundaryManifestBaseSchema: z.ZodObject<{
   integrationBranch: z.ZodOptional<z.ZodString>;
   schemaVersion: z.ZodLiteral<1>;
   topology: z.ZodEnum<{
-    flagged: "flagged";
     "each-to-main": "each-to-main";
+    flagged: "flagged";
     stacked: "stacked";
     "each-to-epic": "each-to-epic";
   }>;
@@ -36,8 +36,8 @@ declare const boundaryManifestBaseSchema: z.ZodObject<{
     issues: z.ZodArray<z.ZodNumber>;
     name: z.ZodString;
     review: z.ZodEnum<{
-      oracle: "oracle";
       "independent-model": "independent-model";
+      oracle: "oracle";
       human: "human";
     }>;
   }, z.core.$loose>>;
@@ -46,8 +46,8 @@ declare const boundaryManifestSchema: z.ZodObject<{
   boundary: z.ZodString;
   closeout: z.ZodOptional<z.ZodObject<{
     review: z.ZodEnum<{
-      oracle: "oracle";
       "independent-model": "independent-model";
+      oracle: "oracle";
       human: "human";
     }>;
   }, z.core.$loose>>;
@@ -55,8 +55,8 @@ declare const boundaryManifestSchema: z.ZodObject<{
   integrationBranch: z.ZodOptional<z.ZodString>;
   schemaVersion: z.ZodLiteral<1>;
   topology: z.ZodEnum<{
-    flagged: "flagged";
     "each-to-main": "each-to-main";
+    flagged: "flagged";
     stacked: "stacked";
     "each-to-epic": "each-to-epic";
   }>;
@@ -65,8 +65,8 @@ declare const boundaryManifestSchema: z.ZodObject<{
     issues: z.ZodArray<z.ZodNumber>;
     name: z.ZodString;
     review: z.ZodEnum<{
-      oracle: "oracle";
       "independent-model": "independent-model";
+      oracle: "oracle";
       human: "human";
     }>;
   }, z.core.$loose>>;
@@ -151,8 +151,8 @@ declare const boundaryReviewProofBaseSchema: z.ZodObject<{
   }>;
   producer: z.ZodString;
   rung: z.ZodEnum<{
-    oracle: "oracle";
     "independent-model": "independent-model";
+    oracle: "oracle";
     human: "human";
   }>;
   schemaVersion: z.ZodLiteral<1>;
@@ -195,8 +195,8 @@ declare const boundaryReviewProofSchema: z.ZodObject<{
   }>;
   producer: z.ZodString;
   rung: z.ZodEnum<{
-    oracle: "oracle";
     "independent-model": "independent-model";
+    oracle: "oracle";
     human: "human";
   }>;
   schemaVersion: z.ZodLiteral<1>;
@@ -475,6 +475,7 @@ declare function sweepHqSpoolOrphans(input: {
 //#region src/packages/review-prompt-sections/schema.d.ts
 declare const reviewPromptSectionSchema: z.ZodObject<{
   provenance: z.ZodEnum<{
+    "coding-standards": "coding-standards";
     "prior-review-ledger": "prior-review-ledger";
     "issue-review-focus": "issue-review-focus";
   }>;
@@ -485,6 +486,7 @@ type ReviewPromptSection = z.infer<typeof reviewPromptSectionSchema>;
 type ReviewPromptSectionProvenance = ReviewPromptSection["provenance"];
 declare const reviewPromptSectionsSchema: z.ZodArray<z.ZodObject<{
   provenance: z.ZodEnum<{
+    "coding-standards": "coding-standards";
     "prior-review-ledger": "prior-review-ledger";
     "issue-review-focus": "issue-review-focus";
   }>;
@@ -891,35 +893,108 @@ interface CheckoutRepository {
   owner: string;
 }
 //#endregion
-//#region src/follow-up.d.ts
-interface FactoryCliInvocation {
-  /** Runtime arguments ending with the factory CLI entry module. */
-  argvPrefix: string[];
-  executable: string;
+//#region src/policy-resolution.d.ts
+/** How a gate resolved the review policy it evaluated a candidate under. */
+declare const policyResolutionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+  basePolicyDigest: z.ZodString;
+  baseRefName: z.ZodString;
+  candidatePolicyDigest: z.ZodString;
+  effectiveDigest: z.ZodString;
+  policyBaseSha: z.ZodString;
+  reviewPolicyChanged: z.ZodBoolean;
+  status: z.ZodLiteral<"authoritative">;
+}, z.core.$strict>, z.ZodObject<{
+  baseRefName: z.ZodString;
+  reason: z.ZodString;
+  status: z.ZodLiteral<"unresolved">;
+}, z.core.$strict>], "status">;
+type PolicyResolution = z.infer<typeof policyResolutionSchema>;
+//#endregion
+//#region src/profile.d.ts
+declare const DEFAULT_FACTORY_REPOSITORY = "unknown/unknown";
+/** The one profile shape this build accepts (ADR 0023, #318, #351, #742). */
+declare const PROFILE_SCHEMA_VERSION = 6;
+declare const factoryProjectProfileSchema: z.ZodObject<{
+  $schema: z.ZodOptional<z.ZodString>;
+  extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+  hq: z.ZodOptional<z.ZodObject<{
+    enabled: z.ZodBoolean;
+    endpoint: z.ZodIntersection<z.ZodString, z.ZodString>;
+  }, z.core.$strict>>;
+  impact: z.ZodOptional<z.ZodObject<{
+    inert: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    targets: z.ZodArray<z.ZodObject<{
+      importers: z.ZodArray<z.ZodString>;
+      name: z.ZodString;
+      paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+  }, z.core.$strict>>;
+  lifecycleContract: z.ZodOptional<z.ZodObject<{
+    command: z.ZodString;
+    jobName: z.ZodOptional<z.ZodString>;
+  }, z.core.$strict>>;
+  repository: z.ZodObject<{
+    name: z.ZodString;
+    owner: z.ZodString;
+  }, z.core.$strict>;
+  requiredChecks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    name: z.ZodString;
+    scope: z.ZodOptional<z.ZodObject<{
+      classifications: z.ZodArray<z.ZodEnum<{
+        "docs/process-only": "docs/process-only";
+        "non-trivial": "non-trivial";
+      }>>;
+    }, z.core.$strict>>;
+  }, z.core.$strict>>>;
+  review: z.ZodOptional<z.ZodObject<{
+    conditional: z.ZodArray<z.ZodObject<{
+      paths: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+  }, z.core.$strict>>;
+  schemaVersion: z.ZodLiteral<6>;
+  verification: z.ZodObject<{
+    commands: z.ZodArray<z.ZodObject<{
+      command: z.ZodString;
+      description: z.ZodString;
+      impactTarget: z.ZodOptional<z.ZodString>;
+      name: z.ZodString;
+      requiredCheck: z.ZodOptional<z.ZodString>;
+      scope: z.ZodDefault<z.ZodEnum<{
+        trivial: "trivial";
+        "docs-only": "docs-only";
+        full: "full";
+      }>>;
+    }, z.core.$strip>>;
+  }, z.core.$strip>;
+}, z.core.$strict>;
+type FactoryProjectProfile = z.infer<typeof factoryProjectProfileSchema>;
+declare const resolveFactoryRepository: (profile?: Pick<FactoryProjectProfile, "repository"> | undefined) => string;
+interface LoadProjectProfileInput {
+  cwd?: string;
+  profilePath?: string;
 }
-declare const FactoryCliInvocationSchema: z.ZodType<FactoryCliInvocation>;
-interface FollowUpAction {
-  /**
-   * Machine-safe argv-style array for the obvious next action, e.g.
-   * ["gh","pr","merge","513","--squash"]. Same shape and field name that
-   * `factory:delegate --print` emits, so an orchestrating agent can spawn the
-   * next command without reconstructing a shell string. argv[0] is the
-   * executable; the rest are literal, already-split arguments.
-   */
-  argv: string[];
+interface LoadProjectProfileResult {
+  path: string;
+  profile: FactoryProjectProfile;
+}
+declare function loadProjectProfile(input?: LoadProjectProfileInput): LoadProjectProfileResult;
+//#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;
   /**
-   * Human-readable rendering of {@link argv} for logs and operators. Additive
-   * to argv, never a substitute for it — argv is the source of truth.
+   * 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.
    */
-  command: string;
+  mergedTreeSha: string;
+  /** The ref that proves the second parent is admitted content. */
+  upstreamRef: string;
 }
-/**
- * Build a {@link FollowUpAction} from a literal argv array. The `command`
- * string is derived from argv so the two never drift.
- */
-declare const followUpFromArgv: (argv: string[]) => FollowUpAction;
-/** Canonical zod schema for the optional follow-up field on JSON outputs. */
-declare const FollowUpActionSchema: z.ZodType<FollowUpAction>;
 //#endregion
 //#region src/diff-classification.d.ts
 declare const DIFF_CLASSIFICATIONS: readonly ["docs/process-only", "trivial", "non-trivial"];
@@ -998,74 +1073,89 @@ declare const impactStampScopeDecision: ({
   targetName: string;
 }) => ImpactScopeDecision;
 //#endregion
-//#region src/profile.d.ts
-declare const DEFAULT_FACTORY_REPOSITORY = "unknown/unknown";
-/** The one profile shape this build accepts (ADR 0023, #318, #351, #742). */
-declare const PROFILE_SCHEMA_VERSION = 6;
-declare const factoryProjectProfileSchema: z.ZodObject<{
-  $schema: z.ZodOptional<z.ZodString>;
-  extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-  hq: z.ZodOptional<z.ZodObject<{
-    enabled: z.ZodBoolean;
-    endpoint: z.ZodIntersection<z.ZodString, z.ZodString>;
-  }, z.core.$strict>>;
-  impact: z.ZodOptional<z.ZodObject<{
-    inert: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    targets: z.ZodArray<z.ZodObject<{
-      importers: z.ZodArray<z.ZodString>;
-      name: z.ZodString;
-      paths: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
-  lifecycleContract: z.ZodOptional<z.ZodObject<{
-    command: z.ZodString;
-    jobName: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  repository: z.ZodObject<{
-    name: z.ZodString;
-    owner: z.ZodString;
-  }, z.core.$strict>;
-  requiredChecks: z.ZodOptional<z.ZodArray<z.ZodObject<{
-    name: z.ZodString;
-    scope: z.ZodOptional<z.ZodObject<{
-      classifications: z.ZodArray<z.ZodEnum<{
-        "docs/process-only": "docs/process-only";
-        "non-trivial": "non-trivial";
-      }>>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>>;
-  review: z.ZodOptional<z.ZodObject<{
-    conditional: z.ZodArray<z.ZodObject<{
-      paths: z.ZodArray<z.ZodString>;
-    }, z.core.$strict>>;
-  }, z.core.$strict>>;
-  schemaVersion: z.ZodLiteral<6>;
-  verification: z.ZodObject<{
-    commands: z.ZodArray<z.ZodObject<{
-      command: z.ZodString;
-      description: z.ZodString;
-      impactTarget: z.ZodOptional<z.ZodString>;
-      name: z.ZodString;
-      requiredCheck: z.ZodOptional<z.ZodString>;
-      scope: z.ZodDefault<z.ZodEnum<{
-        trivial: "trivial";
-        "docs-only": "docs-only";
-        full: "full";
-      }>>;
-    }, z.core.$strip>>;
-  }, z.core.$strip>;
+//#region src/required-check-policy.d.ts
+declare const EVIDENCE_CHECK_TYPES: readonly ["review", "verify"];
+type EvidenceCheckType = (typeof EVIDENCE_CHECK_TYPES)[number];
+declare const requiredCheckScopeSchema: z.ZodObject<{
+  classifications: z.ZodArray<z.ZodEnum<{
+    "docs/process-only": "docs/process-only";
+    trivial: "trivial";
+    "non-trivial": "non-trivial";
+  }>>;
 }, z.core.$strict>;
-type FactoryProjectProfile = z.infer<typeof factoryProjectProfileSchema>;
-declare const resolveFactoryRepository: (profile?: Pick<FactoryProjectProfile, "repository"> | undefined) => string;
-interface LoadProjectProfileInput {
-  cwd?: string;
-  profilePath?: string;
+type RequiredCheckScope = z.infer<typeof requiredCheckScopeSchema>;
+interface RequiredCheckScopeContext {
+  catchUpRecognition?: CatchUpRecognition;
+  classification: DiffClassification | undefined;
+  impactStamp?: ImpactStamp;
 }
-interface LoadProjectProfileResult {
-  path: string;
-  profile: FactoryProjectProfile;
+interface ScopeDecision {
+  inScope: boolean;
+  reason: string;
+}
+declare const requiredCheckInScope: ({
+  context,
+  scope
+}: {
+  context: RequiredCheckScopeContext;
+  scope?: RequiredCheckScope;
+}) => ScopeDecision;
+interface RequiredCheck {
+  name: string;
+  checkType: EvidenceCheckType;
+  scope?: RequiredCheckScope;
 }
-declare function loadProjectProfile(input?: LoadProjectProfileInput): LoadProjectProfileResult;
+//#endregion
+//#region src/demand-resolution.d.ts
+/**
+ * The two GitHub reads that make the base policy authoritative: the live tip of
+ * a branch, and one file's content at an exact commit. Injectable so tests can
+ * state what the authority says; an absent implementation is the real read, so
+ * an unstated authority is a refusal rather than a silent pass.
+ */
+interface BaseReviewPolicyAuthority {
+  branchTipSha: (input: {
+    branch: string;
+    cwd: string;
+    repository: CheckoutRepository;
+  }) => string;
+  profileContentAtRef: (input: {
+    cwd: string;
+    profilePath: string;
+    ref: string;
+    repository: CheckoutRepository;
+  }) => string;
+}
+//#endregion
+//#region src/follow-up.d.ts
+interface FactoryCliInvocation {
+  /** Runtime arguments ending with the factory CLI entry module. */
+  argvPrefix: string[];
+  executable: string;
+}
+declare const FactoryCliInvocationSchema: z.ZodType<FactoryCliInvocation>;
+interface FollowUpAction {
+  /**
+   * Machine-safe argv-style array for the obvious next action, e.g.
+   * ["gh","pr","merge","513","--squash"]. Same shape and field name that
+   * `factory:delegate --print` emits, so an orchestrating agent can spawn the
+   * next command without reconstructing a shell string. argv[0] is the
+   * executable; the rest are literal, already-split arguments.
+   */
+  argv: string[];
+  /**
+   * Human-readable rendering of {@link argv} for logs and operators. Additive
+   * to argv, never a substitute for it — argv is the source of truth.
+   */
+  command: string;
+}
+/**
+ * Build a {@link FollowUpAction} from a literal argv array. The `command`
+ * string is derived from argv so the two never drift.
+ */
+declare const followUpFromArgv: (argv: string[]) => FollowUpAction;
+/** Canonical zod schema for the optional follow-up field on JSON outputs. */
+declare const FollowUpActionSchema: z.ZodType<FollowUpAction>;
 //#endregion
 //#region src/pr-verify-mode.d.ts
 /**
@@ -1219,8 +1309,8 @@ declare const mergeFreezeStateSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
   generationId: z.ZodNumber;
   headSha: z.ZodString;
   outcome: z.ZodEnum<{
-    active: "active";
     stale: "stale";
+    active: "active";
   }>;
   reason: z.ZodString;
   recordedAt: z.ZodISODateTime;
@@ -1382,9 +1472,9 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
     mergeable: z.ZodString;
     requiredChecks: z.ZodEnum<{
       unknown: "unknown";
-      pending: "pending";
       passed: "passed";
       failed: "failed";
+      pending: "pending";
       none: "none";
     }>;
     reviewDecision: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1450,8 +1540,8 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       "run-interior-cycle": "run-interior-cycle";
     }>;
     stage: z.ZodEnum<{
-      interior: "interior";
       gate: "gate";
+      interior: "interior";
       "interior-complete": "interior-complete";
     }>;
   }, z.core.$strip>>;
@@ -1467,10 +1557,10 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       reviewedHeadSha: z.ZodOptional<z.ZodString>;
       reviewedPatchId: z.ZodOptional<z.ZodString>;
       status: z.ZodEnum<{
-        "not-required": "not-required";
-        stale: "stale";
         blocked: "blocked";
+        "not-required": "not-required";
         current: "current";
+        stale: "stale";
         missing: "missing";
       }>;
     }, z.core.$strip>;
@@ -1479,10 +1569,10 @@ declare const managedReadinessLedgerSchema: z.ZodObject<{
       reviewedHeadSha: z.ZodOptional<z.ZodString>;
       reviewedPatchId: z.ZodOptional<z.ZodString>;
       status: z.ZodEnum<{
-        "not-required": "not-required";
-        stale: "stale";
         blocked: "blocked";
+        "not-required": "not-required";
         current: "current";
+        stale: "stale";
         missing: "missing";
       }>;
     }, z.core.$strip>>;
@@ -1600,23 +1690,6 @@ interface UpsertFactoryPrStatusCommentResult {
 }
 declare function upsertFactoryPrStatusComment(input: UpsertFactoryPrStatusCommentInput, dependencies?: UpsertFactoryPrStatusCommentDependencies): Promise<UpsertFactoryPrStatusCommentResult>;
 //#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];
@@ -2126,6 +2199,14 @@ interface GitHubPullRequest {
   body: string;
   headRefName?: string;
   headRefOid: string;
+  /**
+   * Whether the head branch lives in a different repository from the base
+   * (#922). Required, not optional, for the reason `autoMergeRequest` is: the
+   * trusted checkout names ONE repository, and for a fork PR that is not the
+   * base repository. An implementation that omitted the field would silently
+   * resolve base policy from whichever repository the checkout points at.
+   */
+  isCrossRepository: boolean;
   isDraft: boolean;
   mergeStateStatus: string;
   mergeable: string;
@@ -2185,6 +2266,13 @@ interface PrReadyProof {
    * waived demand reads to a human. Absent when there are none.
    */
   notices?: string[];
+  /**
+   * The policy identity readiness resolved review demand under (#922): the
+   * base ref, its live tip, and the digests of the base, candidate, and merged
+   * review policies. Optional on the wire and additive — this is a new record
+   * on an unchanged contract, so no schema version moves.
+   */
+  policyResolution?: PolicyResolution;
   /** Committed profile blob evaluated by readiness. Required for merge. */
   profileBlobSha?: string;
   /** Checkout-relative committed profile path evaluated by readiness. */
@@ -2208,6 +2296,13 @@ interface PrReadyDependencies {
    * call plus the read-back that says what actually happened.
    */
   armAutoMerge?: (input: ArmAutoMergeInput) => ArmAutoMergeOutcome;
+  /**
+   * Reads the authoritative base review policy (#922): the profile committed at
+   * the live tip of the PR's own base ref. Defaults to the real GitHub reads,
+   * so an unstated authority refuses rather than falling back to candidate
+   * policy — unreadable authority is never absent authority.
+   */
+  basePolicy?: BaseReviewPolicyAuthority;
   github?: {
     fetchClosingPullRequests?: (input: {
       issue: number;
@@ -2273,39 +2368,6 @@ declare function validatePrReadyProof(value: unknown): PrReadyProof;
 declare function readPrReadyProof(filePath: string): PrReadyProof;
 declare function runPrReady(args: PrReadyArgs, dependencies?: PrReadyDependencies): Promise<PrReadyProof>;
 //#endregion
-//#region src/required-check-policy.d.ts
-declare const EVIDENCE_CHECK_TYPES: readonly ["review", "verify"];
-type EvidenceCheckType = (typeof EVIDENCE_CHECK_TYPES)[number];
-declare const requiredCheckScopeSchema: z.ZodObject<{
-  classifications: z.ZodArray<z.ZodEnum<{
-    "docs/process-only": "docs/process-only";
-    trivial: "trivial";
-    "non-trivial": "non-trivial";
-  }>>;
-}, z.core.$strict>;
-type RequiredCheckScope = z.infer<typeof requiredCheckScopeSchema>;
-interface RequiredCheckScopeContext {
-  catchUpRecognition?: CatchUpRecognition;
-  classification: DiffClassification | undefined;
-  impactStamp?: ImpactStamp;
-}
-interface ScopeDecision {
-  inScope: boolean;
-  reason: string;
-}
-declare const requiredCheckInScope: ({
-  context,
-  scope
-}: {
-  context: RequiredCheckScopeContext;
-  scope?: RequiredCheckScope;
-}) => ScopeDecision;
-interface RequiredCheck {
-  name: string;
-  checkType: EvidenceCheckType;
-  scope?: RequiredCheckScope;
-}
-//#endregion
 //#region src/factory-session.d.ts
 declare const resolveAuthoringSessionIds: ({
   override,
@@ -2337,8 +2399,8 @@ declare const evidenceEnvelopeBaseSchema: z.ZodObject<{
   producer: z.ZodString;
   requestId: z.ZodOptional<z.ZodString>;
   rung: z.ZodOptional<z.ZodEnum<{
-    oracle: "oracle";
     "independent-model": "independent-model";
+    oracle: "oracle";
     human: "human";
   }>>;
   schemaVersion: z.ZodLiteral<1>;
@@ -2364,8 +2426,8 @@ declare const evidenceEnvelopeSchema: z.ZodObject<{
   producer: z.ZodString;
   requestId: z.ZodOptional<z.ZodString>;
   rung: z.ZodOptional<z.ZodEnum<{
-    oracle: "oracle";
     "independent-model": "independent-model";
+    oracle: "oracle";
     human: "human";
   }>>;
   schemaVersion: z.ZodLiteral<1>;
@@ -2467,10 +2529,10 @@ declare const loadEvidenceEnvelopes: (cwd: string) => LoadedEvidenceEnvelope[];
 //#region src/review-proof-applicability.d.ts
 declare const REVIEW_STATUS_VALUES: readonly ["not-required", "current", "stale", "missing", "blocked"];
 declare const reviewStatusSchema: z.ZodEnum<{
-  "not-required": "not-required";
-  stale: "stale";
   blocked: "blocked";
+  "not-required": "not-required";
   current: "current";
+  stale: "stale";
   missing: "missing";
 }>;
 type ReviewStatus = z.infer<typeof reviewStatusSchema>;
@@ -2585,8 +2647,8 @@ declare const boundaryCheckProofSchema: z.ZodObject<{
     wave: z.ZodString;
   }, z.core.$strip>>;
   demandedRung: z.ZodOptional<z.ZodEnum<{
-    oracle: "oracle";
     "independent-model": "independent-model";
+    oracle: "oracle";
     human: "human";
   }>>;
   epicIssue: z.ZodNumber;
@@ -2601,8 +2663,8 @@ declare const boundaryCheckProofSchema: z.ZodObject<{
     commentUrl: z.ZodOptional<z.ZodString>;
     producer: z.ZodString;
     rung: z.ZodEnum<{
-      oracle: "oracle";
       "independent-model": "independent-model";
+      oracle: "oracle";
       human: "human";
     }>;
     sessionId: z.ZodOptional<z.ZodString>;
@@ -2618,8 +2680,8 @@ declare const boundaryCheckProofSchema: z.ZodObject<{
     value: z.ZodString;
   }, z.core.$strip>>;
   status: z.ZodEnum<{
-    blocked: "blocked";
     ready: "ready";
+    blocked: "blocked";
   }>;
 }, z.core.$strip>;
 type BoundaryCheckProofRecord = z.infer<typeof boundaryCheckProofSchema>;
@@ -2740,6 +2802,7 @@ type CatchUpRecognizer = (input: {
 //#endregion
 //#region src/pr-review.d.ts
 interface PrReviewArgs extends LoadProjectProfileInput {
+  assemble?: boolean;
   base: string;
   cycle: number;
   dispositions?: string;
@@ -2754,10 +2817,18 @@ interface PrReviewGitDependencies {
   currentHeadSha: (cwd: string) => string;
   isAncestor: (cwd: string, ancestor: string, descendant: string) => boolean;
   recognizeCatchUp?: CatchUpRecognizer;
+  repositoryRoot?: (cwd: string) => string;
+  showFileAtRef?: (cwd: string, ref: string, absolutePath: string) => string | undefined;
   stablePatchId: (cwd: string, base: string) => string;
   statusPorcelain: (cwd: string) => string;
 }
+interface PrReviewIssueBodyInput {
+  issue: number;
+  owner: string;
+  repo: string;
+}
 interface PrReviewDependencies {
+  fetchIssueBody?: (input: PrReviewIssueBodyInput) => string;
   git?: PrReviewGitDependencies;
   hq?: HqIngestDependencies;
 }
@@ -3077,11 +3148,11 @@ declare const LegacyWorkerCloseoutStatusTraceEventSchema: z.ZodObject<{
   threadId: z.ZodOptional<z.ZodString>;
   workerId: z.ZodOptional<z.ZodString>;
   archiveStatus: z.ZodOptional<z.ZodEnum<{
+    pending: "pending";
     unavailable: "unavailable";
     archived: "archived";
     skipped: "skipped";
     "not-applicable": "not-applicable";
-    pending: "pending";
   }>>;
   closeoutReason: z.ZodOptional<z.ZodString>;
   eventType: z.ZodLiteral<"worker-closeout-lessons">;
@@ -3254,8 +3325,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     sessionId: z.ZodOptional<z.ZodString>;
   }, z.core.$strict>>;
   stage: z.ZodEnum<{
-    interior: "interior";
     gate: "gate";
+    interior: "interior";
   }>;
   usage: z.ZodOptional<z.ZodObject<{
     estimatedCostUsd: z.ZodOptional<z.ZodNumber>;
@@ -3307,8 +3378,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     sessionId: z.ZodOptional<z.ZodString>;
   }, z.core.$strict>>;
   stage: z.ZodEnum<{
-    interior: "interior";
     gate: "gate";
+    interior: "interior";
   }>;
   usage: z.ZodOptional<z.ZodObject<{
     estimatedCostUsd: z.ZodOptional<z.ZodNumber>;
@@ -3351,8 +3422,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
       sessionId: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     stage: z.ZodEnum<{
-      interior: "interior";
       gate: "gate";
+      interior: "interior";
     }>;
     usage: z.ZodOptional<z.ZodObject<{
       estimatedCostUsd: z.ZodOptional<z.ZodNumber>;
@@ -3382,7 +3453,7 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     staleRepeats: number;
   };
   observedAt: string;
-  stage: "interior" | "gate";
+  stage: "gate" | "interior";
   issue?: number | undefined;
   pr?: number | undefined;
   threadId?: string | undefined;
@@ -3475,11 +3546,11 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
   threadId: z.ZodOptional<z.ZodString>;
   workerId: z.ZodOptional<z.ZodString>;
   archiveStatus: z.ZodOptional<z.ZodEnum<{
+    pending: "pending";
     unavailable: "unavailable";
     archived: "archived";
     skipped: "skipped";
     "not-applicable": "not-applicable";
-    pending: "pending";
   }>>;
   closeoutReason: z.ZodOptional<z.ZodString>;
   eventType: z.ZodLiteral<"worker-closeout-lessons">;
@@ -3516,11 +3587,11 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
   }, z.core.$strict>], "lessonStatus">;
   readonly 2: z.ZodObject<{
     archiveStatus: z.ZodOptional<z.ZodEnum<{
+      pending: "pending";
       unavailable: "unavailable";
       archived: "archived";
       skipped: "skipped";
       "not-applicable": "not-applicable";
-      pending: "pending";
     }>>;
     closeoutReason: z.ZodOptional<z.ZodString>;
     lessonStatus: z.ZodOptional<z.ZodEnum<{
@@ -3658,8 +3729,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     model: z.ZodString;
     tier: z.ZodEnum<{
       review: "review";
-      delegate: "delegate";
       oracle: "oracle";
+      delegate: "delegate";
       workhorse: "workhorse";
       scout: "scout";
     }>;
@@ -3667,8 +3738,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
   startedAt: z.ZodString;
   tier: z.ZodEnum<{
     review: "review";
-    delegate: "delegate";
     oracle: "oracle";
+    delegate: "delegate";
     workhorse: "workhorse";
     scout: "scout";
   }>;
@@ -3737,8 +3808,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     model: z.ZodString;
     tier: z.ZodEnum<{
       review: "review";
-      delegate: "delegate";
       oracle: "oracle";
+      delegate: "delegate";
       workhorse: "workhorse";
       scout: "scout";
     }>;
@@ -3746,8 +3817,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
   startedAt: z.ZodString;
   tier: z.ZodEnum<{
     review: "review";
-    delegate: "delegate";
     oracle: "oracle";
+    delegate: "delegate";
     workhorse: "workhorse";
     scout: "scout";
   }>;
@@ -3807,8 +3878,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
       model: z.ZodString;
       tier: z.ZodEnum<{
         review: "review";
-        delegate: "delegate";
         oracle: "oracle";
+        delegate: "delegate";
         workhorse: "workhorse";
         scout: "scout";
       }>;
@@ -3816,8 +3887,8 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     startedAt: z.ZodString;
     tier: z.ZodEnum<{
       review: "review";
-      delegate: "delegate";
       oracle: "oracle";
+      delegate: "delegate";
       workhorse: "workhorse";
       scout: "scout";
     }>;
@@ -3866,11 +3937,11 @@ declare const FACTORY_TRACE_EVENT_DEFINITIONS: readonly [DefinedTraceEvent<"revi
     engine: string;
     layerSource: "committedDefault" | "operatorSession" | "userConfig";
     model: string;
-    tier: "review" | "delegate" | "oracle" | "workhorse" | "scout";
+    tier: "review" | "oracle" | "delegate" | "workhorse" | "scout";
     fallbackTier?: "delegate" | undefined;
   };
   startedAt: string;
-  tier: "review" | "delegate" | "oracle" | "workhorse" | "scout";
+  tier: "review" | "oracle" | "delegate" | "workhorse" | "scout";
   tokenUsage: {
     source: "cursor-csv" | "codex-json" | "cursor-json" | "claude-json";
     status: "available";
@@ -4192,7 +4263,7 @@ declare const evaluateReadiness: (input: EvaluationInput) => {
       draft: boolean;
       mergeStateStatus: string;
       mergeable: string;
-      requiredChecks: "unknown" | "pending" | "passed" | "failed" | "none";
+      requiredChecks: "unknown" | "passed" | "failed" | "pending" | "none";
       unresolvedReviewThreads: number;
       reviewDecision?: string | null | undefined;
     };
@@ -4207,13 +4278,13 @@ declare const evaluateReadiness: (input: EvaluationInput) => {
     reviews: {
       correctness: {
         required: boolean;
-        status: "not-required" | "stale" | "blocked" | "current" | "missing";
+        status: "blocked" | "not-required" | "current" | "stale" | "missing";
         reviewedHeadSha?: string | undefined;
         reviewedPatchId?: string | undefined;
       };
       security?: {
         required: boolean;
-        status: "not-required" | "stale" | "blocked" | "current" | "missing";
+        status: "blocked" | "not-required" | "current" | "stale" | "missing";
         reviewedHeadSha?: string | undefined;
         reviewedPatchId?: string | undefined;
       } | undefined;
@@ -4276,7 +4347,7 @@ declare const evaluateReadiness: (input: EvaluationInput) => {
         interior: number;
       };
       nextAction: "run-gate-cycle" | "accept-nonblocking-findings" | "escalate-to-triage" | "ready-for-human" | "advance-to-gate" | "run-interior-cycle";
-      stage: "interior" | "gate" | "interior-complete";
+      stage: "gate" | "interior" | "interior-complete";
       forcedTransition?: "gate-cap-exhausted" | "interior-cap-reached" | undefined;
     } | undefined;
     reviewRuns?: PrReviewResult[] | undefined;
@@ -4533,6 +4604,7 @@ declare const reviewFocusFromIssueBody: (body: string) => string | undefined;
 interface AssembleReviewPromptInput {
   base: string;
   changedFiles: string[];
+  cwd?: string;
   headSha: string;
   issueFocus?: IssueReviewFocus;
   kind: PrReviewKind;
@@ -4540,6 +4612,13 @@ interface AssembleReviewPromptInput {
   priorLedgerEntries?: FindingLedgerEntry[];
   profile: FactoryProjectProfile;
 }
+interface AssembleReviewPromptGitDependencies {
+  repositoryRoot: (cwd: string) => string;
+  showFileAtRef: (cwd: string, ref: string, absolutePath: string) => string | undefined;
+}
+interface AssembleReviewPromptDependencies {
+  git?: AssembleReviewPromptGitDependencies;
+}
 interface AssembledReviewPrompt {
   prompt: string;
   sections: ReviewPromptSection[];
@@ -4547,13 +4626,14 @@ interface AssembledReviewPrompt {
 declare const assembleReviewPrompt: ({
   base,
   changedFiles,
+  cwd,
   headSha,
   issueFocus,
   kind,
   patchId,
   priorLedgerEntries,
   profile
-}: AssembleReviewPromptInput) => AssembledReviewPrompt;
+}: AssembleReviewPromptInput, dependencies?: AssembleReviewPromptDependencies) => AssembledReviewPrompt;
 //#endregion
 //#region src/review-ladder-trace.d.ts
 interface ReviewLadderTraceIdentity {