@defrex/autobuild 0.11.0 → 0.13.0

package/packages/core/src/kernel/__snapshots__/reducer-registry.test.ts.snap

@@ -138,27 +138,28 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.lastEvent.actor.user: string",
     "$.lastEvent.actor: object",
     "$.lastEvent.build: string",
+    "$.lastEvent.payload.answer: string",
     "$.lastEvent.payload.artifact.kind: string",
     "$.lastEvent.payload.artifact.rev: number",
     "$.lastEvent.payload.artifact: object",
-    "$.lastEvent.payload.asset.assetId: number",
-    "$.lastEvent.payload.asset.provider: string",
-    "$.lastEvent.payload.asset.releaseId: number",
-    "$.lastEvent.payload.asset.repository: string",
-    "$.lastEvent.payload.asset.url: string",
-    "$.lastEvent.payload.asset: object",
+    "$.lastEvent.payload.assets: array",
+    "$.lastEvent.payload.assets[].dirCount: number",
+    "$.lastEvent.payload.assets[].fileCount: number",
+    "$.lastEvent.payload.assets[].kind: string",
+    "$.lastEvent.payload.assets[].layout: string",
+    "$.lastEvent.payload.assets[].name: string",
+    "$.lastEvent.payload.assets[].revision: number",
+    "$.lastEvent.payload.assets[].size: number",
+    "$.lastEvent.payload.assets[]: object",
     "$.lastEvent.payload.attempt: number",
     "$.lastEvent.payload.base.sha: string",
     "$.lastEvent.payload.base.source: string",
     "$.lastEvent.payload.base: object",
+    "$.lastEvent.payload.base: string",
+    "$.lastEvent.payload.baseSha: string",
+    "$.lastEvent.payload.boundary: number",
     "$.lastEvent.payload.branch: string",
     "$.lastEvent.payload.cause: string",
-    "$.lastEvent.payload.cleanupPending: boolean",
-    "$.lastEvent.payload.command: string",
-    "$.lastEvent.payload.commandSeq: number",
-    "$.lastEvent.payload.commits.base: string",
-    "$.lastEvent.payload.commits.head: string",
-    "$.lastEvent.payload.commits: object",
     "$.lastEvent.payload.counters.claimed: number",
     "$.lastEvent.payload.counters.closed: number",
     "$.lastEvent.payload.counters.conflicted: number",
@@ -174,7 +175,6 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.lastEvent.payload.decision: string",
     "$.lastEvent.payload.defaultSeq: number",
     "$.lastEvent.payload.dependencyDiagnostics: array",
-    "$.lastEvent.payload.designationSeq: number",
     "$.lastEvent.payload.dispositions: array",
     "$.lastEvent.payload.dispositions[].action: string",
     "$.lastEvent.payload.dispositions[].occurrence.build: string",
@@ -185,15 +185,15 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.lastEvent.payload.effectiveConfig.kind: string",
     "$.lastEvent.payload.effectiveConfig.rev: number",
     "$.lastEvent.payload.effectiveConfig: object",
+    "$.lastEvent.payload.eligibleAfter: string",
     "$.lastEvent.payload.enabled: boolean",
     "$.lastEvent.payload.environmentId: string",
     "$.lastEvent.payload.error: string",
     "$.lastEvent.payload.escalation: number",
     "$.lastEvent.payload.execution: string",
-    "$.lastEvent.payload.exitStatus: number",
     "$.lastEvent.payload.filename: string",
-    "$.lastEvent.payload.files: array",
     "$.lastEvent.payload.findings: array",
+    "$.lastEvent.payload.generation: number",
     "$.lastEvent.payload.globs: array",
     "$.lastEvent.payload.globs[]: string",
     "$.lastEvent.payload.host: string",
@@ -207,37 +207,36 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.lastEvent.payload.kind: string",
     "$.lastEvent.payload.level: string",
     "$.lastEvent.payload.mediaType: string",
+    "$.lastEvent.payload.mergeCommit: string",
     "$.lastEvent.payload.message: string",
     "$.lastEvent.payload.observations: array",
     "$.lastEvent.payload.observations[].build: string",
     "$.lastEvent.payload.observations[].seq: number",
     "$.lastEvent.payload.observations[]: object",
+    "$.lastEvent.payload.occurrence: number",
     "$.lastEvent.payload.ok: boolean",
     "$.lastEvent.payload.operation: string",
     "$.lastEvent.payload.operator: string",
     "$.lastEvent.payload.outcome: string",
-    "$.lastEvent.payload.output: string",
     "$.lastEvent.payload.phase: string",
     "$.lastEvent.payload.pid: number",
-    "$.lastEvent.payload.policyCause: string",
     "$.lastEvent.payload.pr.headSha: string",
     "$.lastEvent.payload.pr.number: number",
     "$.lastEvent.payload.pr.url: string",
+    "$.lastEvent.payload.pr: number",
     "$.lastEvent.payload.pr: object",
     "$.lastEvent.payload.provider: string",
     "$.lastEvent.payload.question: string",
     "$.lastEvent.payload.queued: number",
     "$.lastEvent.payload.reason: string",
     "$.lastEvent.payload.ref: string",
-    "$.lastEvent.payload.refs: array",
-    "$.lastEvent.payload.refs[]: string",
     "$.lastEvent.payload.remote: boolean",
     "$.lastEvent.payload.report.kind: string",
     "$.lastEvent.payload.report.rev: number",
     "$.lastEvent.payload.report: object",
     "$.lastEvent.payload.request: number",
     "$.lastEvent.payload.resetAt: string",
-    "$.lastEvent.payload.retryable: boolean",
+    "$.lastEvent.payload.resolution: string",
     "$.lastEvent.payload.role: string",
     "$.lastEvent.payload.roleWarnings: array",
     "$.lastEvent.payload.roleWarnings[]: string",
@@ -253,10 +252,8 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.lastEvent.payload.snapshots.outcome: string",
     "$.lastEvent.payload.snapshots: object",
     "$.lastEvent.payload.source: string",
-    "$.lastEvent.payload.stage: string",
     "$.lastEvent.payload.step: string",
     "$.lastEvent.payload.stream: string",
-    "$.lastEvent.payload.summary: string",
     "$.lastEvent.payload.text: string",
     "$.lastEvent.payload.ticket.id: string",
     "$.lastEvent.payload.ticket.source: string",
@@ -324,7 +321,6 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.pending.abort[].actor.user: string",
     "$.pending.abort[].actor: object",
     "$.pending.abort[].command: string",
-    "$.pending.abort[].reason: string",
     "$.pending.abort[].reason: undefined",
     "$.pending.abort[].seq: number",
     "$.pending.abort[]: object",
@@ -393,7 +389,6 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.terminal: string",
     "$.terminal: undefined",
     "$.verify.currentStep: string",
-    "$.verify.currentStep: undefined",
     "$.verify.cycleSince: number",
     "$.verify.maxAttemptSeen: number",
     "$.verify.results: array",
@@ -520,19 +515,11 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.intervals.reconcile.open: object",
     "$.intervals.reconcile: object",
     "$.intervals.verify:types.closed: array",
-    "$.intervals.verify:types.closed[].end: number",
-    "$.intervals.verify:types.closed[].start: number",
-    "$.intervals.verify:types.closed[].startSeq: number",
-    "$.intervals.verify:types.closed[]: object",
     "$.intervals.verify:types.open.start: number",
     "$.intervals.verify:types.open.startSeq: number",
     "$.intervals.verify:types.open: object",
     "$.intervals.verify:types: object",
     "$.intervals.verify:unit.closed: array",
-    "$.intervals.verify:unit.closed[].end: number",
-    "$.intervals.verify:unit.closed[].start: number",
-    "$.intervals.verify:unit.closed[].startSeq: number",
-    "$.intervals.verify:unit.closed[]: object",
     "$.intervals.verify:unit.open.start: number",
     "$.intervals.verify:unit.open.startSeq: number",
     "$.intervals.verify:unit.open: object",
@@ -587,6 +574,23 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.workspaceReleased: number",
     "$: object",
   ],
+  "dispatchFailureBudget": [
+    "$.aborted: boolean",
+    "$.failures: array",
+    "$.failures[].actor.kind: string",
+    "$.failures[].actor: object",
+    "$.failures[].build: string",
+    "$.failures[].payload.attempt: number",
+    "$.failures[].payload.error: string",
+    "$.failures[].payload.stage: string",
+    "$.failures[].payload: object",
+    "$.failures[].seq: number",
+    "$.failures[].ts: string",
+    "$.failures[].type: string",
+    "$.failures[]: object",
+    "$.open: array",
+    "$: object",
+  ],
   "dispatchSettings": [
     "$.autoMergeSeq: number",
     "$.defaultAutoMerge: boolean",
@@ -617,6 +621,21 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.yieldedHolder: undefined",
     "$: object",
   ],
+  "executionNoProgress": [
+    "$.active.eligible: boolean",
+    "$.active.instance: string",
+    "$.active.seq: number",
+    "$.active: null",
+    "$.active: object",
+    "$.count: number",
+    "$.latest.instance: string",
+    "$.latest.seq: number",
+    "$.latest: null",
+    "$.latest: object",
+    "$.open: array",
+    "$.open[]: string",
+    "$: object",
+  ],
   "frozenPrImageHost": [
     "$.created.seq: number",
     "$.created: object",
@@ -719,20 +738,6 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.byKind.screenshot.type: string",
     "$.byKind.screenshot: object",
     "$.byKind: object",
-    "$.hostedByDesignation.1.actor.kind: string",
-    "$.hostedByDesignation.1.actor: object",
-    "$.hostedByDesignation.1.build: string",
-    "$.hostedByDesignation.1.payload.asset.assetId: number",
-    "$.hostedByDesignation.1.payload.asset.provider: string",
-    "$.hostedByDesignation.1.payload.asset.releaseId: number",
-    "$.hostedByDesignation.1.payload.asset.repository: string",
-    "$.hostedByDesignation.1.payload.asset.url: string",
-    "$.hostedByDesignation.1.payload.asset: object",
-    "$.hostedByDesignation.1.payload.designationSeq: number",
-    "$.hostedByDesignation.1.payload: object",
-    "$.hostedByDesignation.1.seq: number",
-    "$.hostedByDesignation.1.ts: string",
-    "$.hostedByDesignation.1.type: string",
     "$.hostedByDesignation.12.actor.kind: string",
     "$.hostedByDesignation.12.actor: object",
     "$.hostedByDesignation.12.build: string",
@@ -748,37 +753,36 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.hostedByDesignation.12.ts: string",
     "$.hostedByDesignation.12.type: string",
     "$.hostedByDesignation.12: object",
-    "$.hostedByDesignation.15.actor.kind: string",
-    "$.hostedByDesignation.15.actor: object",
-    "$.hostedByDesignation.15.build: string",
-    "$.hostedByDesignation.15.payload.asset.assetId: number",
-    "$.hostedByDesignation.15.payload.asset.provider: string",
-    "$.hostedByDesignation.15.payload.asset.releaseId: number",
-    "$.hostedByDesignation.15.payload.asset.repository: string",
-    "$.hostedByDesignation.15.payload.asset.url: string",
-    "$.hostedByDesignation.15.payload.asset: object",
-    "$.hostedByDesignation.15.payload.designationSeq: number",
-    "$.hostedByDesignation.15.payload: object",
-    "$.hostedByDesignation.15.seq: number",
-    "$.hostedByDesignation.15.ts: string",
-    "$.hostedByDesignation.15.type: string",
-    "$.hostedByDesignation.15: object",
-    "$.hostedByDesignation.1: object",
-    "$.hostedByDesignation.2.actor.kind: string",
-    "$.hostedByDesignation.2.actor: object",
-    "$.hostedByDesignation.2.build: string",
-    "$.hostedByDesignation.2.payload.asset.assetId: number",
-    "$.hostedByDesignation.2.payload.asset.provider: string",
-    "$.hostedByDesignation.2.payload.asset.releaseId: number",
-    "$.hostedByDesignation.2.payload.asset.repository: string",
-    "$.hostedByDesignation.2.payload.asset.url: string",
-    "$.hostedByDesignation.2.payload.asset: object",
-    "$.hostedByDesignation.2.payload.designationSeq: number",
-    "$.hostedByDesignation.2.payload: object",
-    "$.hostedByDesignation.2.seq: number",
-    "$.hostedByDesignation.2.ts: string",
-    "$.hostedByDesignation.2.type: string",
-    "$.hostedByDesignation.2: object",
+    "$.hostedByDesignation.13.actor.kind: string",
+    "$.hostedByDesignation.13.actor: object",
+    "$.hostedByDesignation.13.build: string",
+    "$.hostedByDesignation.13.payload.asset.assetId: number",
+    "$.hostedByDesignation.13.payload.asset.provider: string",
+    "$.hostedByDesignation.13.payload.asset.releaseId: number",
+    "$.hostedByDesignation.13.payload.asset.repository: string",
+    "$.hostedByDesignation.13.payload.asset.url: string",
+    "$.hostedByDesignation.13.payload.asset: object",
+    "$.hostedByDesignation.13.payload.designationSeq: number",
+    "$.hostedByDesignation.13.payload: object",
+    "$.hostedByDesignation.13.seq: number",
+    "$.hostedByDesignation.13.ts: string",
+    "$.hostedByDesignation.13.type: string",
+    "$.hostedByDesignation.13: object",
+    "$.hostedByDesignation.19.actor.kind: string",
+    "$.hostedByDesignation.19.actor: object",
+    "$.hostedByDesignation.19.build: string",
+    "$.hostedByDesignation.19.payload.asset.assetId: number",
+    "$.hostedByDesignation.19.payload.asset.provider: string",
+    "$.hostedByDesignation.19.payload.asset.releaseId: number",
+    "$.hostedByDesignation.19.payload.asset.repository: string",
+    "$.hostedByDesignation.19.payload.asset.url: string",
+    "$.hostedByDesignation.19.payload.asset: object",
+    "$.hostedByDesignation.19.payload.designationSeq: number",
+    "$.hostedByDesignation.19.payload: object",
+    "$.hostedByDesignation.19.seq: number",
+    "$.hostedByDesignation.19.ts: string",
+    "$.hostedByDesignation.19.type: string",
+    "$.hostedByDesignation.19: object",
     "$.hostedByDesignation.3.actor.kind: string",
     "$.hostedByDesignation.3.actor: object",
     "$.hostedByDesignation.3.build: string",
@@ -809,6 +813,36 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.hostedByDesignation.4.ts: string",
     "$.hostedByDesignation.4.type: string",
     "$.hostedByDesignation.4: object",
+    "$.hostedByDesignation.5.actor.kind: string",
+    "$.hostedByDesignation.5.actor: object",
+    "$.hostedByDesignation.5.build: string",
+    "$.hostedByDesignation.5.payload.asset.assetId: number",
+    "$.hostedByDesignation.5.payload.asset.provider: string",
+    "$.hostedByDesignation.5.payload.asset.releaseId: number",
+    "$.hostedByDesignation.5.payload.asset.repository: string",
+    "$.hostedByDesignation.5.payload.asset.url: string",
+    "$.hostedByDesignation.5.payload.asset: object",
+    "$.hostedByDesignation.5.payload.designationSeq: number",
+    "$.hostedByDesignation.5.payload: object",
+    "$.hostedByDesignation.5.seq: number",
+    "$.hostedByDesignation.5.ts: string",
+    "$.hostedByDesignation.5.type: string",
+    "$.hostedByDesignation.5: object",
+    "$.hostedByDesignation.6.actor.kind: string",
+    "$.hostedByDesignation.6.actor: object",
+    "$.hostedByDesignation.6.build: string",
+    "$.hostedByDesignation.6.payload.asset.assetId: number",
+    "$.hostedByDesignation.6.payload.asset.provider: string",
+    "$.hostedByDesignation.6.payload.asset.releaseId: number",
+    "$.hostedByDesignation.6.payload.asset.repository: string",
+    "$.hostedByDesignation.6.payload.asset.url: string",
+    "$.hostedByDesignation.6.payload.asset: object",
+    "$.hostedByDesignation.6.payload.designationSeq: number",
+    "$.hostedByDesignation.6.payload: object",
+    "$.hostedByDesignation.6.seq: number",
+    "$.hostedByDesignation.6.ts: string",
+    "$.hostedByDesignation.6.type: string",
+    "$.hostedByDesignation.6: object",
     "$.hostedByDesignation.8.actor.kind: string",
     "$.hostedByDesignation.8.actor: object",
     "$.hostedByDesignation.8.build: string",
@@ -1025,16 +1059,15 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.hosted[].type: string",
     "$.hosted[]: object",
     "$.reclaimedAt.10: number",
-    "$.reclaimedAt.11: number",
-    "$.reclaimedAt.15: number",
+    "$.reclaimedAt.12: number",
     "$.reclaimedAt.16: number",
-    "$.reclaimedAt.18: number",
-    "$.reclaimedAt.1: number",
+    "$.reclaimedAt.17: number",
+    "$.reclaimedAt.19: number",
     "$.reclaimedAt.20: number",
-    "$.reclaimedAt.3: number",
+    "$.reclaimedAt.2: number",
     "$.reclaimedAt.6: number",
-    "$.reclaimedAt.7: number",
     "$.reclaimedAt.8: number",
+    "$.reclaimedAt.9: number",
     "$.reclaimedAt: object",
     "$: object",
   ],
@@ -1164,6 +1197,7 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.retained[].payload.base: string",
     "$.retained[].payload.baseBranch: string",
     "$.retained[].payload.baseSha: string",
+    "$.retained[].payload.boundary: number",
     "$.retained[].payload.branch: string",
     "$.retained[].payload.cause: string",
     "$.retained[].payload.cleanupPending: boolean",
@@ -1188,6 +1222,7 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.retained[].payload.defaultSeq: number",
     "$.retained[].payload.dependencyDiagnostics: array",
     "$.retained[].payload.designationSeq: number",
+    "$.retained[].payload.disposition: string",
     "$.retained[].payload.dispositions: array",
     "$.retained[].payload.dispositions[].action: string",
     "$.retained[].payload.dispositions[].occurrence.build: string",
@@ -1198,6 +1233,7 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.retained[].payload.effectiveConfig.kind: string",
     "$.retained[].payload.effectiveConfig.rev: number",
     "$.retained[].payload.effectiveConfig: object",
+    "$.retained[].payload.eligibleAfter: string",
     "$.retained[].payload.enabled: boolean",
     "$.retained[].payload.environmentId: string",
     "$.retained[].payload.error: string",
@@ -1227,6 +1263,7 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.retained[].payload.observations[].build: string",
     "$.retained[].payload.observations[].seq: number",
     "$.retained[].payload.observations[]: object",
+    "$.retained[].payload.occurrence: number",
     "$.retained[].payload.ok: boolean",
     "$.retained[].payload.operation: string",
     "$.retained[].payload.operator: string",
@@ -1239,6 +1276,7 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.retained[].payload.pr.headSha: string",
     "$.retained[].payload.pr.number: number",
     "$.retained[].payload.pr.url: string",
+    "$.retained[].payload.pr: number",
     "$.retained[].payload.pr: object",
     "$.retained[].payload.provider: string",
     "$.retained[].payload.question: string",
@@ -1368,6 +1406,30 @@ exports[`reducer registry accumulator shapes 1`] = `
     "$.failures[]: number",
     "$: object",
   ],
+  "summaryBoundary": [
+    "$.boundary: number",
+    "$.occurrence: number",
+    "$.sessions.s_a: boolean",
+    "$.sessions.s_b: boolean",
+    "$.sessions: object",
+    "$: object",
+  ],
+  "summaryRequests": [
+    "$.requests: array",
+    "$.requests[].actor.kind: string",
+    "$.requests[].actor: object",
+    "$.requests[].build: string",
+    "$.requests[].payload.boundary: number",
+    "$.requests[].payload.occurrence: number",
+    "$.requests[].payload: object",
+    "$.requests[].seq: number",
+    "$.requests[].ts: string",
+    "$.requests[].type: string",
+    "$.requests[]: object",
+    "$.settled: array",
+    "$.settled[]: number",
+    "$: object",
+  ],
   "ticketSourceHealth": [
     "$.active.cause: string",
     "$.active.message: string",

package/packages/core/src/kernel/engine.ts

@@ -55,6 +55,7 @@ export type VerifyAction =
 export type FinalizeAction = { kind: 'check'; command: string } | { kind: 'agent'; skill: string }
 
 export type Decision =
+  | { kind: 'capture-reconcile-policy'; reconcileSeq: number }
   | { kind: 'wait'; reason: WaitReason }
   | { kind: 'acknowledge'; command: 'pause' | 'resume' | 'abort' }
   | {
@@ -80,6 +81,7 @@ export type Decision =
       step: string
       attempt: number
       reason: string
+      skipCause?: 'post-reconcile-policy'
     }
   | { kind: 'run-finalize-step'; step: string; action: FinalizeAction }
   | {
@@ -313,6 +315,18 @@ export function decideNextFromFacts(state: BuildState, log: LogIndex, config: Co
   const cycleAttempts = [...cycleResults, ...cycleStarted].map((v) => v.attempt)
   const attempt =
     cycleAttempts.length > 0 ? Math.max(...cycleAttempts) : log.maxVerifyAttemptEver + 1
+  // Freeze only a fresh reconcile cycle. A newer code-review approval restores
+  // ordinary verification. Already-started historical cycles have no snapshot:
+  // preserve their rerun-all policy, including after a crashed verify start.
+  const reconcileCycle =
+    log.lastReconcileCompletedSeq > Math.max(log.code.latestApproveSeq, log.restartSeq)
+  const policy =
+    reconcileCycle && log.reconcilePolicy?.reconcileSeq === cycleBoundary
+      ? log.reconcilePolicy
+      : undefined
+  if (reconcileCycle && policy === undefined && cycleAttempts.length === 0) {
+    return { kind: 'capture-reconcile-policy', reconcileSeq: cycleBoundary }
+  }
   const approvedPlan = log.plan.approvedPlan
   const approvedSelection =
     approvedPlan?.verifySteps === undefined
@@ -333,6 +347,16 @@ export function decideNextFromFacts(state: BuildState, log: LogIndex, config: Co
     const stepConfig = config.verify.stepConfigs[step]
     if (stepConfig === undefined) continue // unreachable: configSchema cross-validates (§16.1)
 
+    const exclusion = policy?.steps.find((s) => s.step === step && !s.enabled)
+    if (exclusion !== undefined)
+      return {
+        kind: 'skip-verify',
+        step,
+        attempt,
+        skipCause: 'post-reconcile-policy',
+        reason: `skipped by post-reconcile policy: ${exclusion.source} = false`,
+      }
+
     // Missing selection data is the historical default-all behavior. For a
     // current explicit selection, exclusion precedes path evaluation and any
     // verifier construction. Mandatory gates remain selected defensively even

package/packages/core/src/kernel/generators/build-log.ts

@@ -151,7 +151,7 @@ function randomWrite(rand: () => number): EventWrite {
         id,
         phase: 'plan',
         source: 'policy',
-        policyCause: 'infrastructure-failure-limit',
+        policyCause: round % 2 === 0 ? 'execution-no-progress' : 'infrastructure-failure-limit',
         question: 'q',
       }),
     () =>
@@ -207,6 +207,16 @@ function randomWrite(rand: () => number): EventWrite {
         },
       }),
     () => w('pr-attachment.reclaimed', { hostedSeq: 1 + Math.floor(rand() * 20) }),
+    () => w('pr-summary.requested', { occurrence: round, boundary: round + 1 }),
+    () => w('pr-summary.settled', { request: round, disposition: 'attempted' }),
+    () => w('pr-summary.attempted', { occurrence: round, boundary: round + 1, pr: 7 }),
+    () =>
+      w('pr-summary.result', {
+        attempt: round,
+        outcome: 'rate-limited',
+        eligibleAfter: '2026-10-15T00:01:00.000Z',
+      }),
+    () => w('finalize.step-started', { step: 'notes' }),
     () => w('build.auto-merge-default-observed', { defaultSeq: round }),
     () =>
       w('observation.recorded', {

package/packages/core/src/kernel/incremental-fixtures.ts

@@ -99,7 +99,12 @@ export function randomBuildItem(rand: Rand): readonly [string, Record<string, un
     ],
     () => [
       'execution.ended',
-      { instance, workspaceRef: ref, outcome: pick(rand, ['completed', 'stopped', 'lost']) },
+      {
+        instance,
+        workspaceRef: ref,
+        outcome: pick(rand, ['completed', 'stopped', 'lost']),
+        ...(rand() < 0.5 ? { exitCode: pick(rand, [0, 1, null]) } : {}),
+      },
     ],
     () => [
       'workspace.provisioned',
@@ -132,7 +137,13 @@ export function randomBuildItem(rand: Rand): readonly [string, Record<string, un
         phase: pick(rand, ['setup', 'plan', 'implement', 'verify:unit']),
         source: pick(rand, ['policy', 'agent']),
         ...(rand() < 0.7
-          ? { policyCause: pick(rand, ['infrastructure-failure-limit', 'setup-failure-limit']) }
+          ? {
+              policyCause: pick(rand, [
+                'infrastructure-failure-limit',
+                'setup-failure-limit',
+                'execution-no-progress',
+              ]),
+            }
           : {}),
         ...(rand() < 0.5 ? { round: 1 } : {}),
         question: 'q',

package/packages/core/src/kernel/log-index.ts

@@ -84,6 +84,7 @@ export interface VerifyRecord {
   attempt: number
   outcome: VerifyOutcome
   report?: ArtifactRef
+  skipCause?: 'post-reconcile-policy'
   reason?: string
 }
 
@@ -111,6 +112,12 @@ export interface ReconcileProgressRecord {
 }
 
 export interface LogIndex {
+  /** Latest post-restart policy fact; authoritative only for its originating
+   * reconcile completion, never for a newer review or reconcile cycle. */
+  reconcilePolicy?: {
+    reconcileSeq: number
+    steps: { step: string; enabled: boolean; source: string }[]
+  }
   /** seq of the latest `spec.revised`, else 0 — the restart boundary (§6.3). */
   restartSeq: number
   plan: LoopIndex
@@ -195,6 +202,7 @@ export type LogIndexCandidate =
     }
   | { kind: 'implement-completed'; seq: number }
   | { kind: 'verify-started'; seq: number; attempt: number }
+  | { kind: 'reconcile-policy'; seq: number; policy: NonNullable<LogIndex['reconcilePolicy']> }
   | { kind: 'verify-completed'; record: VerifyRecord }
   | { kind: 'finalize-completed'; seq: number }
   | { kind: 'finalize-step'; seq: number; step: string }
@@ -362,6 +370,9 @@ function foldLogIndex(acc: LogIndexAcc, events: readonly AbEvent[]): void {
         }
         break
       }
+      case 'verify.reconcile-policy-captured':
+        acc.candidates.push({ kind: 'reconcile-policy', seq: event.seq, policy: event.payload })
+        break
       case 'verify.completed': {
         const result = normalizeVerifyCompletion(event.payload)
         acc.maxVerifyAttemptEver = Math.max(acc.maxVerifyAttemptEver, result.attempt)
@@ -374,6 +385,7 @@ function foldLogIndex(acc: LogIndexAcc, events: readonly AbEvent[]): void {
             outcome: result.outcome,
             ...(result.report !== undefined ? { report: result.report } : {}),
             ...(result.reason !== undefined ? { reason: result.reason } : {}),
+            ...(result.skipCause !== undefined ? { skipCause: result.skipCause } : {}),
           },
         })
         break
@@ -451,6 +463,7 @@ function finishLogIndex(acc: LogIndexAcc): LogIndex {
   const verifyCompleted: VerifyRecord[] = []
   const verifyStarted: { seq: number; attempt: number }[] = []
   const finalizeStepsDone = new Set<string>()
+  let reconcilePolicy: LogIndex['reconcilePolicy']
   let lastReconcileCompletedSeq = 0
   let lastImplementCompletedSeq = 0
   let finalizeCompleted = false
@@ -521,6 +534,9 @@ function finishLogIndex(acc: LogIndexAcc): LogIndex {
       case 'verify-started':
         verifyStarted.push({ seq: candidate.seq, attempt: candidate.attempt })
         break
+      case 'reconcile-policy':
+        reconcilePolicy = candidate.policy
+        break
       case 'verify-completed':
         verifyCompleted.push({ ...candidate.record })
         break
@@ -594,6 +610,7 @@ function finishLogIndex(acc: LogIndexAcc): LogIndex {
     verifyCompleted,
     verifyStarted,
     maxVerifyAttemptEver: acc.maxVerifyAttemptEver,
+    reconcilePolicy,
     lastReconcileCompletedSeq,
     lastImplementCompletedSeq,
     finalizeCompleted,