@defrex/autobuild 0.12.0 → 0.13.0

package/packages/core/src/cli/ticket.ts

@@ -1,3 +1,6 @@
+import { exportTickets, importTickets } from '../ports/tickets/migration'
+import { composeTicketAssets } from '../store/ticket-assets'
+import { editTicket, type TicketEditorRunner } from './ticket-editor'
 /**
  * Source-agnostic pre-build ticket operations (SPEC §8.8). These commands run
  * outside build sessions and resolve the repository's configured TicketSource,
@@ -19,7 +22,13 @@ import {
   ticketListCriteria,
   updateTicket,
 } from '../ports/tickets/operations'
-import type { Ticket, TicketSource, TicketStateInfo, TicketUpdate } from '../ports/types'
+import type {
+  TicketAssetStore,
+  Ticket,
+  TicketSource,
+  TicketStateInfo,
+  TicketUpdate,
+} from '../ports/types'
 import { reduceBuild } from '../kernel/reducer'
 import type { BuildStore } from '../store/types'
 import { spawnExec, type Exec } from '../ports/workspace/git-worktree'
@@ -45,6 +54,8 @@ export type TicketSourceFactory = (
 
 export interface TicketCommandOpts {
   targetRepo: string
+  expectedRevision?: string
+  editorRunner?: TicketEditorRunner
   /** Process environment — store selection and adapter secrets. */
   env: Record<string, string | undefined>
   /** Git seam supplied by the CLI; omitted direct callers use targetRepo. */
@@ -152,10 +163,13 @@ export interface TicketStateCreateOpts extends TicketCommandOpts {
 }
 
 type TicketCommandName =
+  | 'export'
+  | 'import'
   | 'states'
   | 'state create'
   | 'create'
   | 'update'
+  | 'edit'
   | 'block'
   | 'unblock'
   | 'list'
@@ -170,12 +184,11 @@ export interface ResolvedTicketCommand {
   source: TicketSource
 }
 
-/** Resolve linked-worktree identity, config, selected local state, and adapter
- * exactly once for one ticket command or another sessionless caller. */
-export async function openTicketSource(
-  opts: TicketCommandOpts & { storeRef?: string },
+/** Resolve the main checkout and config without requiring provider credentials. */
+async function resolveTicketConfig(
+  opts: TicketCommandOpts,
   label: string,
-): Promise<ResolvedTicketCommand> {
+): Promise<{ targetRepo: string; config: Config }> {
   const targetRepo =
     opts.exec === undefined
       ? resolve(opts.targetRepo)
@@ -194,6 +207,21 @@ export async function openTicketSource(
     throw error
   }
 
+  return { targetRepo, config }
+}
+
+/** Resolve configuration and construct the configured ticket adapter. */
+export async function openTicketSource(
+  opts: TicketCommandOpts & { storeRef?: string },
+  label: string,
+): Promise<ResolvedTicketCommand> {
+  return createTicketCommandSource(opts, await resolveTicketConfig(opts, label))
+}
+
+async function createTicketCommandSource(
+  opts: TicketCommandOpts,
+  { targetRepo, config }: { targetRepo: string; config: Config },
+): Promise<ResolvedTicketCommand> {
   // Ticket commands use the same trusted plugin catalog as dispatch. Loading
   // and registration finish before any adapter is constructed or called.
   const plugins = await loadPlugins(config.plugins, targetRepo)
@@ -313,18 +341,18 @@ export async function abTicketUpdate(opts: TicketUpdateOpts): Promise<void> {
     ...(opts.labels !== undefined ? { labels: [...opts.labels] } : {}),
   }
   if (opts.json === true) {
-    const updated = await updateTicket(source, opts.id, patch)
+    const updated = await updateTicket(source, opts.id, patch, true, opts.expectedRevision)
     if (updated !== null) emitTicketJson(opts, updated)
     return
   }
-  await updateTicket(source, opts.id, patch, false)
+  await updateTicket(source, opts.id, patch, false, opts.expectedRevision)
   opts.stdout(`ticket updated: ${source.name}:${opts.id}`)
 }
 
 export async function abTicketBlock(opts: TicketBlockerOpts): Promise<void> {
   const { source } = await resolveTicketCommand(opts, 'block')
   const blockerIds = [...new Set(opts.blockerIds)]
-  const updated = await changeBlockers(source, opts.id, blockerIds, 'block')
+  const updated = await changeBlockers(source, opts.id, blockerIds, 'block', opts.expectedRevision)
   if (opts.json === true) {
     emitTicketJson(opts, updated)
     return
@@ -337,7 +365,13 @@ export async function abTicketBlock(opts: TicketBlockerOpts): Promise<void> {
 export async function abTicketUnblock(opts: TicketBlockerOpts): Promise<void> {
   const { source } = await resolveTicketCommand(opts, 'unblock')
   const blockerIds = [...new Set(opts.blockerIds)]
-  const updated = await changeBlockers(source, opts.id, blockerIds, 'unblock')
+  const updated = await changeBlockers(
+    source,
+    opts.id,
+    blockerIds,
+    'unblock',
+    opts.expectedRevision,
+  )
   if (opts.json === true) {
     emitTicketJson(opts, updated)
     return
@@ -372,7 +406,7 @@ export async function abTicketShow(opts: TicketShowOpts): Promise<void> {
   const { source } = await resolveTicketCommand(opts, 'show')
   const ticket = await requireTicket(source, opts.id)
   // An asset-listing failure fails the command rather than hiding the assets.
-  const assets = await withTicketStore(opts, ({ store, repo }) =>
+  const assets = await withTicketAssets(opts, source, ({ store, repo }) =>
     store.listTicketAssets(repo, opts.id),
   )
   if (opts.json === true) {
@@ -399,6 +433,12 @@ export async function abTicketShow(opts: TicketShowOpts): Promise<void> {
   // Keep the adapter-provided body untouched. It may itself be multiline and
   // may intentionally end (or not end) with a newline.
   opts.stdout(ticket.body)
+  for (const comment of ticket.comments ?? []) {
+    opts.stdout(
+      `Comment ${comment.createdAt}${comment.author !== undefined ? ` — ${comment.author}` : ''}`,
+    )
+    opts.stdout(comment.body)
+  }
 }
 
 function withTicketStore<T>(
@@ -417,6 +457,19 @@ function withTicketStore<T>(
   )
 }
 
+function withTicketAssets<T>(
+  opts: TicketCommandOpts,
+  source: TicketSource,
+  use: (context: { store: TicketAssetStore; buildStore: BuildStore; repo: string }) => Promise<T>,
+): Promise<T> {
+  if (source.name === 'hosted' && !source.assets) {
+    throw new Error('hosted ticket source has no asset capability')
+  }
+  return withTicketStore(opts, ({ store, repo }) =>
+    use({ store: composeTicketAssets(source, store), buildStore: store, repo }),
+  )
+}
+
 /** Slugs of this repo's non-terminal builds for the ticket. A build freezes its
  * ticket assets at the claim (SPEC §6.3), so a change to them does not reach
  * it. The notice is advisory: a failed lookup yields none and never blocks. */
@@ -455,18 +508,26 @@ export async function abTicketAttach(opts: TicketAttachOpts): Promise<void> {
   await requireTicket(source, opts.id)
   const walk = await walkAssetPath(opts.path)
   const name = opts.name ?? walk.basename
-  const stored = await withTicketStore(opts, async ({ store, repo }) => {
+  const stored = await withTicketAssets(opts, source, async ({ store, buildStore, repo }) => {
     const limits = await store.ticketAssetLimits(repo)
     const input = await buildAssetInput(walk, { kind: opts.kind, name }, limits)
     const live = await store.listTicketAssets(repo, opts.id)
     const replacing = live.some((asset) => asset.kind === opts.kind && asset.name === name)
     const meta = await store.putTicketAsset(repo, opts.id, input)
-    return { meta, replacing, active: await activeBuildsFor(store, repo, opts.id) }
+    return { meta, replacing, active: await activeBuildsFor(buildStore, repo, opts.id) }
   })
   const { meta } = stored
   warnActiveBuilds(opts, stored.active)
   try {
-    await source.comment(opts.id, ticketAssetNote(stored.replacing ? 'replaced' : 'attached', meta))
+    await source.comment(
+      opts.id,
+      ticketAssetNote(
+        stored.replacing ? 'replaced' : 'attached',
+        meta,
+        'ab',
+        source.name === 'hosted',
+      ),
+    )
   } catch (error) {
     throw new Error(
       `ticket asset ${meta.kind}/${meta.name} was stored as revision ${meta.revision}, but the note on ` +
@@ -487,9 +548,17 @@ export async function abTicketAttach(opts: TicketAttachOpts): Promise<void> {
 /** `ab ticket asset get <id> <kind> <name> <dest>` — exact bytes at the
  * latest or a named revision. */
 export async function abTicketAssetGet(opts: TicketAssetGetOpts): Promise<void> {
-  const asset = await withTicketStore(opts, ({ store, repo }) =>
-    store.getTicketAsset(repo, opts.id, opts.kind, opts.name, opts.rev),
-  )
+  const resolved = await resolveTicketConfig(opts, 'ab ticket asset get')
+  const readAsset = ({ store, repo }: { store: TicketAssetStore; repo: string }) =>
+    store.getTicketAsset(repo, opts.id, opts.kind, opts.name, opts.rev)
+  const asset =
+    resolved.config.tickets.source === 'linear'
+      ? await withTicketStore(opts, readAsset)
+      : await withTicketAssets(
+          opts,
+          (await createTicketCommandSource(opts, resolved)).source,
+          readAsset,
+        )
   if (asset === null) {
     const revision = opts.rev === undefined ? '' : ` revision ${opts.rev}`
     throw new Error(
@@ -511,16 +580,23 @@ export async function abTicketAssetGet(opts: TicketAssetGetOpts): Promise<void>
  * (earlier revisions stay retrievable) and note the removal on the ticket. */
 export async function abTicketAssetRm(opts: TicketAssetRmOpts): Promise<void> {
   const { source } = await resolveTicketCommand(opts, 'asset rm')
-  const { removed, active } = await withTicketStore(opts, async ({ store, repo }) => ({
-    removed: await store.removeTicketAsset(repo, opts.id, opts.kind, opts.name),
-    active: await activeBuildsFor(store, repo, opts.id),
-  }))
+  const { removed, active } = await withTicketAssets(
+    opts,
+    source,
+    async ({ store, buildStore, repo }) => ({
+      removed: await store.removeTicketAsset(repo, opts.id, opts.kind, opts.name),
+      active: await activeBuildsFor(buildStore, repo, opts.id),
+    }),
+  )
   if (removed === null) {
     throw new Error(`ticket ${opts.id} has no current asset ${opts.kind}/${opts.name} to remove`)
   }
   warnActiveBuilds(opts, active)
   try {
-    await source.comment(opts.id, ticketAssetNote('removed', removed))
+    await source.comment(
+      opts.id,
+      ticketAssetNote('removed', removed, 'ab', source.name === 'hosted'),
+    )
   } catch (error) {
     throw new Error(
       `ticket asset ${opts.kind}/${opts.name} was removed, but the note on ${source.name}:${opts.id} ` +
@@ -537,7 +613,7 @@ export async function abTicketAssetRm(opts: TicketAssetRmOpts): Promise<void> {
 /** `ab ticket move <id> <state>` — adapter-owned state validation and move. */
 export async function abTicketMove(opts: TicketMoveOpts): Promise<void> {
   const { source } = await resolveTicketCommand(opts, 'move')
-  const moved = await moveTicket(source, opts.id, opts.state)
+  const moved = await moveTicket(source, opts.id, opts.state, opts.expectedRevision)
   if (opts.json === true) {
     opts.stdout(JSON.stringify(moved, null, 2))
     return
@@ -566,10 +642,10 @@ export function stateRoles(
   const named: Array<[TicketStateRole, string]> = [
     ['create', tickets.createState ?? 'triage'],
     ['ready', tickets.readyState],
-    ['claimed', 'doing'],
+    ['claimed', tickets.source === 'hosted' ? (tickets.claimedState ?? 'doing') : 'doing'],
     ['triage', triage],
     ['proposal', tickets.proposalState ?? triage],
-    ['done', 'done'],
+    ['done', tickets.source === 'hosted' ? (tickets.doneState ?? 'done') : 'done'],
   ]
   const roles = new Map<string, TicketStateRole[]>(names.map((name) => [name, []]))
   for (const [role, target] of named) {
@@ -620,7 +696,7 @@ export async function abTicketStates(opts: TicketStatesOpts): Promise<void> {
   })
 }
 
-/** `ab ticket state create <name> [--about <text>]` — idempotent. */
+/** `ab ticket state create <name> [--about <text>]` — duplicate policy belongs to the source. */
 export async function abTicketStateCreate(opts: TicketStateCreateOpts): Promise<void> {
   const { config, source } = await resolveTicketCommand(opts, 'state create')
   if (typeof source.addState !== 'function') {
@@ -650,9 +726,11 @@ export async function abTicketStateCreate(opts: TicketStateCreateOpts): Promise<
 const CREATE_USAGE =
   'usage: ab ticket create <title> --body <file> [--state <state>] [--labels a,b] [--blocked-by id,id] [--json] (§8.8)'
 const UPDATE_USAGE =
-  'usage: ab ticket update <id> [--title <title>] [--body <file>] [--labels a,b] [--json] (§8.8)'
-const BLOCK_USAGE = 'usage: ab ticket block <id> <blocker-id[,blocker-id...]> [--json] (§8.8)'
-const UNBLOCK_USAGE = 'usage: ab ticket unblock <id> <blocker-id[,blocker-id...]> [--json] (§8.8)'
+  'usage: ab ticket update <id> [--title <title>] [--body <file>] [--labels a,b] [--expected-revision <opaque>] [--json] (§8.8)'
+const BLOCK_USAGE =
+  'usage: ab ticket block <id> <blocker-id[,blocker-id...]> [--expected-revision <opaque>] [--json] (§8.8)'
+const UNBLOCK_USAGE =
+  'usage: ab ticket unblock <id> <blocker-id[,blocker-id...]> [--expected-revision <opaque>] [--json] (§8.8)'
 const LIST_USAGE = 'usage: ab ticket list [--state <state>] [--labels a,b] [--json] (§8.8)'
 const SHOW_USAGE = 'usage: ab ticket show <id> [--store <ref>] [--json] (§8.8)'
 const ATTACH_USAGE =
@@ -661,11 +739,15 @@ const ASSET_GET_USAGE =
   'usage: ab ticket asset get <id> <kind> <name> <dest> [--rev <n>] [--store <ref>] [--json] (§8.8)'
 const ASSET_RM_USAGE =
   'usage: ab ticket asset rm <id> <kind> <name> [--store <ref>] [--json] (§8.8)'
-const MOVE_USAGE = 'usage: ab ticket move <id> <state> [--json] (§8.8)'
+const MOVE_USAGE =
+  'usage: ab ticket move <id> <state> [--expected-revision <opaque>] [--json] (§8.8)'
 const STATES_USAGE = 'usage: ab ticket states [--json] (§8.8)'
 const STATE_CREATE_USAGE = 'usage: ab ticket state create <name> [--about <text>] [--json] (§8.8)'
 export const TICKET_USAGE = [
+  'usage: ab ticket export <dir> [--store <ref>]',
+  'usage: ab ticket import <dir> [--store <ref>]',
   CREATE_USAGE,
+  'usage: ab ticket edit <id> (§8.8)',
   UPDATE_USAGE,
   BLOCK_USAGE,
   UNBLOCK_USAGE,
@@ -696,6 +778,25 @@ interface TicketCliOpts extends TicketCommandOpts {
 export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<void> {
   const [command, ...args] = argv
   switch (command) {
+    case 'export':
+    case 'import': {
+      const parsed = parseArgs(args, { store: 'value' }, TICKET_USAGE)
+      const [dir, ...extra] = parsed.positionals
+      if (!dir?.trim() || extra.length) throw new Error(TICKET_USAGE)
+      const migrationOpts = { ...opts, storeRef: stringFlag(parsed, 'store') ?? opts.storeRef }
+      const { source } = await resolveTicketCommand(migrationOpts, command)
+      await withTicketAssets(migrationOpts, source, ({ store, repo }) =>
+        (command === 'export' ? exportTickets : importTickets)({
+          source,
+          assets: store,
+          repo,
+          dir,
+          print: opts.stdout,
+        }),
+      )
+      return
+    }
+
     case 'create': {
       const parsed = parseArgs(
         args,
@@ -723,10 +824,23 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
       return
     }
 
+    case 'edit': {
+      if (args.length !== 1 || !args[0]?.trim()) throw new Error('usage: ab ticket edit <id>')
+      const { source } = await resolveTicketCommand(opts, 'edit')
+      await editTicket(source, args[0], opts.env, opts.stdout, opts.editorRunner)
+      return
+    }
+
     case 'update': {
       const parsed = parseArgs(
         args,
-        { title: 'value', body: 'value', labels: 'value', json: 'boolean' },
+        {
+          title: 'value',
+          body: 'value',
+          labels: 'value',
+          'expected-revision': 'value',
+          json: 'boolean',
+        },
         TICKET_USAGE,
       )
       const [id, ...extra] = parsed.positionals
@@ -743,6 +857,7 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
       await abTicketUpdate({
         ...opts,
         id,
+        expectedRevision: stringFlag(parsed, 'expected-revision'),
         ...(title !== undefined ? { title } : {}),
         ...(bodyFile !== undefined ? { bodyFile } : {}),
         ...(labels !== undefined ? { labels: commaList(labels) } : {}),
@@ -753,7 +868,11 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
 
     case 'block':
     case 'unblock': {
-      const parsed = parseArgs(args, { json: 'boolean' }, TICKET_USAGE)
+      const parsed = parseArgs(
+        args,
+        { json: 'boolean', 'expected-revision': 'value' },
+        TICKET_USAGE,
+      )
       const [id, blockerList, ...extra] = parsed.positionals
       if (
         id === undefined ||
@@ -766,7 +885,13 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
       }
       const blockerIds = commaList(blockerList)
       if (blockerIds.length === 0) throw new Error(TICKET_USAGE)
-      const blockerOpts = { ...opts, id, blockerIds, json: parsed.flags.has('json') }
+      const blockerOpts = {
+        ...opts,
+        id,
+        blockerIds,
+        expectedRevision: stringFlag(parsed, 'expected-revision'),
+        json: parsed.flags.has('json'),
+      }
       if (command === 'block') await abTicketBlock(blockerOpts)
       else await abTicketUnblock(blockerOpts)
       return
@@ -910,7 +1035,11 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
     }
 
     case 'move': {
-      const parsed = parseArgs(args, { json: 'boolean' }, TICKET_USAGE)
+      const parsed = parseArgs(
+        args,
+        { json: 'boolean', 'expected-revision': 'value' },
+        TICKET_USAGE,
+      )
       const [id, state, ...extra] = parsed.positionals
       if (
         id === undefined ||
@@ -925,6 +1054,7 @@ export async function abTicket(argv: string[], opts: TicketCliOpts): Promise<voi
         ...opts,
         id,
         state,
+        expectedRevision: stringFlag(parsed, 'expected-revision'),
         json: parsed.flags.has('json'),
       })
       return

package/packages/core/src/config/schema.ts

@@ -535,7 +535,8 @@ export type PolicyConfig = z.infer<typeof policySchema>
 // API key comes from the LINEAR_API_KEY environment variable, never from this
 // file.
 
-export const ticketsSchema = z.strictObject({
+export const ticketsInputSchema = z.strictObject({
+  url: z.string().optional(),
   /** Builtin or plugin-registered TicketSource name. Registry membership is
    * validated after configured plugins load. */
   source: z
@@ -569,7 +570,8 @@ export const ticketsSchema = z.strictObject({
     .refine(
       (s) => s.trim().length > 0,
       '[tickets].readyState must not be blank — name the one workflow state a ticket must sit in to be dispatched (e.g. "ready").',
-    ),
+    )
+    .optional(),
   /**
    * Narrows readiness to tickets assigned to one Linear user — a third
    * conjunctive gate beside readyState and readyLabels. `"me"` is the owner of
@@ -592,7 +594,7 @@ export const ticketsSchema = z.strictObject({
     .min(1)
     .refine((value) => value.trim().length > 0, 'state must be nonblank')
     .optional(),
-  /** Hosted project completion state; defaults to Done. */
+  /** Hosted project completion state; defaults to done. */
   doneState: z
     .string()
     .min(1)
@@ -634,6 +636,36 @@ export const ticketsSchema = z.strictObject({
    * still tell a defaulted dir from an explicit one. */
   dir: z.string().min(1).optional(),
 })
+export const ticketsSchema = ticketsInputSchema
+  .superRefine((tickets, ctx) => {
+    if (tickets.source === 'hosted' && tickets.url !== undefined) {
+      try {
+        normalizeServiceURL(tickets.url, 'tickets.url')
+      } catch (error) {
+        ctx.addIssue({ code: 'custom', path: ['url'], message: (error as Error).message })
+      }
+    }
+    if (tickets.source !== 'hosted' && tickets.readyState === undefined)
+      ctx.addIssue({
+        code: 'custom',
+        path: ['readyState'],
+        message:
+          '[tickets].readyState is required — name the one workflow state a ticket must sit in to be dispatched (e.g. "ready").',
+      })
+    if (['file', 'linear'].includes(tickets.source) && tickets.url !== undefined)
+      ctx.addIssue({
+        code: 'custom',
+        path: ['url'],
+        message: '[tickets].url applies only to source = "hosted"',
+      })
+  })
+  .transform((tickets) => ({
+    ...tickets,
+    readyState: tickets.readyState ?? 'ready',
+    ...(tickets.source === 'hosted' && tickets.url !== undefined
+      ? { url: normalizeServiceURL(tickets.url, 'tickets.url') }
+      : {}),
+  }))
 export type TicketsConfig = z.infer<typeof ticketsSchema>
 
 // ── [orchestrator] ──────────────────────────────────────────────────────────

package/packages/core/src/connection.ts

@@ -19,12 +19,12 @@ export interface ConnectionStarted extends ConnectionOutcome {
   interval: number
   expiresAt: string
 }
-export function normalizeServiceURL(raw: string): string {
+export function normalizeServiceURL(raw: string, setting = 'store.url'): string {
   let url: URL
   try {
     url = new URL(raw)
   } catch {
-    throw new Error('store.url must be an absolute HTTPS service URL')
+    throw new Error(`${setting} must be an absolute HTTPS service URL`)
   }
   if (
     !raw.trim() ||
@@ -39,7 +39,7 @@ export function normalizeServiceURL(raw: string): string {
     )
   ) {
     throw new Error(
-      'store.url must be HTTPS (HTTP is allowed on loopback), without credentials, query or fragment',
+      `${setting} must be HTTPS (HTTP is allowed on loopback), without credentials, query or fragment`,
     )
   }
   return url.href.replace(/\/+$/, '')

package/packages/core/src/events/catalog.ts

@@ -185,10 +185,11 @@ export function validateEventWrite(input: {
       actor.kind === 'dispatcher' &&
       (escalation.source !== 'policy' ||
         (escalation.policyCause !== 'infrastructure-failure-limit' &&
-          escalation.policyCause !== 'dispatch-failure-limit'))
+          escalation.policyCause !== 'dispatch-failure-limit' &&
+          escalation.policyCause !== 'execution-no-progress'))
     ) {
       throw new EventValidationError(
-        'invalid dispatcher escalation: only policy/infrastructure-failure-limit or policy/dispatch-failure-limit may be raised outside the kernel',
+        'invalid dispatcher escalation: only policy/infrastructure-failure-limit or policy/dispatch-failure-limit or policy/execution-no-progress may be raised outside the kernel',
       )
     }
     if (escalation.source === 'policy' && escalation.policyCause === undefined) {

package/packages/core/src/events/payloads.ts

@@ -196,6 +196,12 @@ const finalizeStepCompletedPayloadSchema = z.discriminatedUnion('ok', [
 /** One ticket asset revision a build froze (SPEC §6.3): the identity and
  * shape of what `listTicketAssets` returned at the pinning moment. */
 export const pinnedAssetSchema = z.strictObject({
+  snapshot: z
+    .strictObject({
+      kind: z.string().regex(/^ticket-snapshot-[a-f0-9-]+$/),
+      revision: z.number().int().nonnegative(),
+    })
+    .optional(),
   kind: z.string().min(1),
   name: z.string().min(1),
   revision: z.number().int().nonnegative(),

package/packages/core/src/integration/harness.ts

@@ -57,7 +57,13 @@ import type {
 import { GitWorktreeProvider, spawnExec } from '../ports/workspace/git-worktree'
 import { InProcessBuildExecution } from '../ports/workspace/in-process-build-execution'
 import { BuildRunner, LeaseHeldError, SetupFailureError } from '../processes/build-runner'
-import { diagnosticArtifact } from '../processes/build-execution-state'
+import {
+  diagnosticArtifact,
+  BUILD_EFFECTIVE_CONFIG_ARTIFACT,
+  effectiveBuildConfigContent,
+  parseEffectiveBuildConfig,
+} from '../processes/build-execution-state'
+import { composeBuildConfig } from '../config/live'
 import { Dispatcher, type LaunchRunnerResult } from '../processes/dispatcher'
 import {
   getHarvestStatus,
@@ -120,6 +126,7 @@ export const CONFORMING_BODY = [
 export function readyTicket(id: string, over: Partial<Omit<Ticket, 'ref'>> = {}): Ticket {
   const title = over.title ?? 'Add rate limiting'
   return {
+    revision: 'fixture',
     ref: { source: 'fake', id, title },
     title,
     body: over.body ?? CONFORMING_BODY,
@@ -398,6 +405,10 @@ export async function makeHarness(opts: {
    * CONFIG_TOML, so every existing scenario is untouched; a scenario proving
    * two-axis routing (§9) supplies its own `[roles.default]`/phase roles. */
   configToml?: string
+  /** Force a routing disagreement while retaining the runner's branch config. */
+  dispatcherConfig?: (config: Config) => Config
+  pinnedConfig?: boolean
+  getConfig?: () => Config
   /** Forge gate existence is independent from current PR mergeability. */
   gatePresence?: 'present' | 'absent'
   /** Optional adapter-level runtime composition for focused integration tests.
@@ -602,6 +613,20 @@ export async function makeHarness(opts: {
       runner: new BuildRunner({
         store: activeStore.scopeBuild(slug),
         config,
+        ...(opts.pinnedConfig
+          ? {
+              getConfig: async () => {
+                const artifact = await activeStore.getArtifact(
+                  slug,
+                  BUILD_EFFECTIVE_CONFIG_ARTIFACT,
+                )
+                return composeBuildConfig(
+                  artifact === null ? config : parseEffectiveBuildConfig(artifact),
+                  opts.getConfig?.() ?? config,
+                )
+              },
+            }
+          : {}),
         // Two-axis registry (§9): every runtime is backed by the SAME scripted
         // runner instance, so the `s_1…s_N` session numbering scenarios rely on
         // is preserved regardless of which runtime a role selects. `scripted`
@@ -629,6 +654,15 @@ export async function makeHarness(opts: {
     }
   }
   const launchRunner = async (slug: string): Promise<LaunchRunnerResult> => {
+    if (
+      opts.pinnedConfig &&
+      (await activeStore.getArtifact(slug, BUILD_EFFECTIVE_CONFIG_ARTIFACT)) === null
+    ) {
+      await activeStore.putArtifact(slug, {
+        kind: BUILD_EFFECTIVE_CONFIG_ARTIFACT,
+        content: effectiveBuildConfigContent(config),
+      })
+    }
     launched.push({ slug, ...(await makeRunner(slug)) })
     return 'scheduled'
   }
@@ -638,10 +672,11 @@ export async function makeHarness(opts: {
     tickets: ticketSource,
     workspaces,
     forge: selectedForge,
-    config,
+    config: opts.dispatcherConfig?.(structuredClone(config)) ?? config,
     repo: origin,
     exec: spawnExec,
     launchRunner,
+    ...(opts.getConfig ? { getConfig: opts.getConfig } : {}),
     ids,
     clock,
   })

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

@@ -621,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",

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',
       }),
     () =>

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',