@farmslot/protocol 0.28.0 → 0.30.0

package/CHANGELOG.md

@@ -6,6 +6,32 @@ All notable changes to `@farmslot/protocol` are tracked here.
 
 - Active-development baseline; add user-facing changes here before release or package publication.
 
+## 0.30.0 - 2026-09-20
+
+- `compileGlob` is the one glob-to-regex compiler for path filters, with `anchored` (git pathspec, root-anchored) and `segment` (gitignore-like) anchoring and a case-sensitivity option; diff-view test patterns use it, a pattern with character-class syntax is now rejected with a warning (and dropped from the effective list) instead of matching the brackets literally, and a double star not followed by a slash and not trailing is a plain star, as git and gitignore read it.
+- Child checklist units (ADR-060): a parent checklist step can own one child checklist plus signal under `subtasks/`.
+- `subtask` joins `AGENT_ROLES`. It is not a nested-loop role and never a session target: clients validate a requested role against the new `DISPATCHABLE_AGENT_ROLES`.
+- `WorkerSignalParentLink` and `SubtaskSignal` describe a child signal and the parent step it hangs off.
+- `subtaskPaths`, `SUBTASKS_DIR`, `SUBTASK_INDEX_FILE`, `SUBTASK_ID_PATTERN` and `SubtaskIndex` name the `subtasks/` layout.
+- `isSettledSubtaskStatus` says when a child releases its parent step (`complete` or `done`; a `blocked` child keeps it), and `isWorkerSignalStatus` narrows an untyped signal status without a cast.
+- `TaskStepProgress.subtask` carries the child projection, and `shouldAcceptTaskProgressUpdate` accepts a child update whose new `parentChecklist` matches the run's active checklist pair.
+- `RunMetrics.subtasks` records each unit's parent step, source, status, step count and duration, and a gate summary's `checklist.subtasks` carries per-child step durations plus the unit's source, so child cost survives task-directory pruning and a retrospective names the skill or template, not only the id.
+- Acceptance-criteria ledger (ADR-060): `AcceptanceStatusLedger` / `AcceptanceCriterionStatus` describe `artifacts/acceptance-status.json`, with `ACCEPTANCE_STATUS_ARTIFACT`, the `proven | weak | missing | untestable` and `state | visual | mixed` vocabularies, positional `AC-<N>` ids (`acceptanceCriterionId`), `validateAcceptanceStatusLedger`, `summarizeAcceptanceStatus` and `renderAcceptanceCoverage` (the coverage table workers hand-write today). `WorkerTerminalContractDocument.acceptance.allowWeak` lets a flow waive weak verdicts.
+- Acceptance ledger surfaces: `TaskProgressResult.acceptanceStatus` and `acceptanceCriteria` carry the run's verdicts and its registered criteria on the progress read and broadcast, `ReadyGatePayload.acceptanceStatus` and `FamilyObservabilityRunSummary.acceptanceStatus` carry the ledger to the gate and the retrospective, and `acceptanceCriteriaView` pairs registered criteria with their verdicts (null while unjudged). `summarizeAcceptanceStatus` takes the registered criteria and reports `unrecorded`, so a count reads against how many criteria the run has rather than how many were judged.
+- `WorkerTerminalAcceptanceRules.require` opts a project into ledger enforcement; it defaults to false so a template that writes no ledger is unaffected.
+- Acceptance ledger review fixes: `renderAcceptanceCoverage` takes the registered criteria so a partial ledger cannot report `1/1 PROVEN` for a task with three criteria (a criterion with no verdict is a `NO VERDICT` row and the overall line names the count), `TaskProgressResult.acceptanceStatusError` and `ReadyGatePayload.acceptanceStatusError` carry a read failure so clients can say the ledger is unreadable instead of showing nothing, and `FamilyObservabilityRunSummary.acceptanceSummary` carries the tally so a retrospective needs no second read.
+- Diff views classify changed files as `code` or `test`: `DEFAULT_TEST_FILE_PATTERNS`, `compileTestFileMatcher` (segment / directory / anchored glob rules, project patterns capped), `summarizeDiffKinds`, a `kind` on each `git.branchDiff` file, and `testFilePatterns` on the result.
+- `isSettledBlockedRun` names a blocked run with no running step and no pending decision; the gateway and Command Center use it to offer archiving.
+- Independent-review `retryCount` is the max of the persisted field and spent attempts so a wiped `0` cannot hide a spent loop. Exhaustion (and the dangerous bypass) stays visible when the package HEAD has moved since the last extra-review; `latestExhaustedIndependentReview` no longer takes a prepared-package argument. Pipeline progress labels include independent-review (`human-gate`) while an extra-review checklist is running.
+- Doc comments: `checklistStepName` names `mark` among its consumers, and a checklist event `label` is documented as the step name. No code change.
+
+## 0.29.0 - 2026-09-18
+
+- Checklist and signal rules every client must agree on are now protocol exports instead of gateway-private code: `isTerminalWorkerSignal` / `isTerminalWorkerSignalStatus` (complete, failed, done, blocked; unknown is never terminal), `checklistStepName` (the bold lead of a row, numbering kept) and `checklistNumberingMismatches` (a generated checklist whose visible labels drift from `mark N` positions). Harness views that re-implemented these disagreed with the gateway on which signals are final and how a step is named.
+- Independent-review status records `retryCount` / `maxRetries` / `maxRetriesExhausted`, and publication gates can approve with `approve-publish-unresolved` after that cap.
+- Independent-review loops accept an optional `effort` (thinking / reasoning level) alongside `model`. Reviewer agent context and independent-review status persist that effort so restart recovery can relaunch the same thinking level.
+- `gateway.status` reports rolling-hour GitHub GraphQL spend by caller (`githubQuerySpend`).
+
 ## 0.28.0 - 2026-09-17
 
 - Execution-template references and catalog options no longer carry `runMode`; run mode remains a run-level input on default rules and catalog queries. Records persisted with the old field still validate.

package/dist/agents/roles.d.ts

@@ -1,5 +1,12 @@
 import { AGENT_ROLES, type AgentRole, type FlowType } from '../contracts/index.js';
 export { AGENT_ROLES };
+/**
+ * Roles a client may dispatch, attach, or open a session for. A child checklist
+ * unit (`subtask`) is observed through its files and never spawned (ADR-060),
+ * so it is not a session target — clients validate against this list, not the
+ * full role union.
+ */
+export declare const DISPATCHABLE_AGENT_ROLES: ("primary" | "dev" | "fix-bug" | "review" | "self-review" | "self-review-fix" | "ci-fix")[];
 export declare const AGENT_ROLE_LABELS: Record<AgentRole, string>;
 export declare const AGENT_ROLE_SHORT_LABELS: Record<AgentRole, string>;
 export declare const AGENT_ROLE_WINDOWS: Record<AgentRole, string | null>;

package/dist/agents/roles.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"roles.d.ts","sourceRoot":"","sources":["../../src/agents/roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEnF,OAAO,EAAE,WAAW,EAAE,CAAC;AAEvB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAQvD,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAQ7D,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAQ/D,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,WAAW,CAAC;AAE9C;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAGlE;AAKD,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAQtD,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAUjF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAEpD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAEtD;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAE3D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAE9D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CASrD;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAazE;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,EACxB,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,GAC7B,MAAM,GAAG,IAAI,CAEf"}
+{"version":3,"file":"roles.d.ts","sourceRoot":"","sources":["../../src/agents/roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEnF,OAAO,EAAE,WAAW,EAAE,CAAC;AAEvB;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,6FAEpC,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CASvD,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAS7D,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAS/D,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,WAAW,CAAC;AAE9C;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAGlE;AAKD,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAStD,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAUjF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAEpD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAEtD;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAE3D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAE9D;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CASrD;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAazE;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,EACxB,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,GAC7B,MAAM,GAAG,IAAI,CAEf"}

package/dist/agents/roles.js

@@ -1,5 +1,12 @@
 import { AGENT_ROLES } from '../contracts/index.js';
 export { AGENT_ROLES };
+/**
+ * Roles a client may dispatch, attach, or open a session for. A child checklist
+ * unit (`subtask`) is observed through its files and never spawned (ADR-060),
+ * so it is not a session target — clients validate against this list, not the
+ * full role union.
+ */
+export const DISPATCHABLE_AGENT_ROLES = AGENT_ROLES.filter((role) => role !== 'subtask');
 export const AGENT_ROLE_LABELS = {
     primary: 'Primary',
     dev: 'Dev',
@@ -8,6 +15,7 @@ export const AGENT_ROLE_LABELS = {
     'self-review': 'Self-review',
     'self-review-fix': 'Self-review fix',
     'ci-fix': 'CI fix',
+    subtask: 'Sub-task',
 };
 export const AGENT_ROLE_SHORT_LABELS = {
     primary: 'MAIN',
@@ -17,6 +25,7 @@ export const AGENT_ROLE_SHORT_LABELS = {
     'self-review': 'S-REV',
     'self-review-fix': 'S-FIX',
     'ci-fix': 'CI',
+    subtask: 'SUB',
 };
 export const AGENT_ROLE_WINDOWS = {
     primary: null,
@@ -26,6 +35,7 @@ export const AGENT_ROLE_WINDOWS = {
     'self-review': 'self-review',
     'self-review-fix': null, // runs in the primary worker's window, not a separate one
     'ci-fix': 'ci-fix',
+    subtask: null, // a child unit is observed, never spawned — it owns no window
 };
 /** Stable session anchor used by orchestration flows without a role window. */
 export const PRIMARY_WORKER_WINDOW = 'worker';
@@ -51,6 +61,7 @@ export const AGENT_ROLE_RANKS = {
     'self-review': 10,
     'self-review-fix': 20,
     'ci-fix': 30,
+    subtask: 40,
 };
 export function primaryRoleForFlow(flowType) {
     if (flowType === 'dev')

package/dist/agents/roles.js.map

@@ -1 +1 @@
-{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../src/agents/roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAiC,MAAM,uBAAuB,CAAC;AAEnF,OAAO,EAAE,WAAW,EAAE,CAAC;AAEvB,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,OAAO,EAAE,SAAS;IAClB,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,aAAa,EAAE,aAAa;IAC5B,iBAAiB,EAAE,iBAAiB;IACpC,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAA8B;IAChE,OAAO,EAAE,MAAM;IACf,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,KAAK;IACb,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAqC;IAClE,OAAO,EAAE,IAAI;IACb,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,aAAa,EAAE,aAAa;IAC5B,iBAAiB,EAAE,IAAI,EAAE,0DAA0D;IACnF,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAe;IACjD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,qBAAqB,CAAC;IACrD,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,+EAA+E;AAC/E,+CAA+C;AAC/C,MAAM,CAAC,MAAM,gBAAgB,GAA8B;IACzD,OAAO,EAAE,CAAC;IACV,GAAG,EAAE,CAAC;IACN,SAAS,EAAE,CAAC;IACZ,MAAM,EAAE,CAAC;IACT,aAAa,EAAE,EAAE;IACjB,iBAAiB,EAAE,EAAE;IACrB,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF,MAAM,UAAU,kBAAkB,CAAC,QAAmC;IACpE,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC;IAC9C,iFAAiF;IACjF,yEAAyE;IACzE,0DAA0D;IAC1D,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,aAAa,IAAI,QAAQ,KAAK,eAAe;QAC9F,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAe;IAC1C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAe;IACjD,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAe;IAC7C,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAe;IAC3C,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CACV,wCAAwC,IAAI,qDAAqD,CAClG,CAAC;QACF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAwB;IACxD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,qEAAqE;IACrE,yEAAyE;IACzE,yDAAyD;IACzD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,cAAc,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAwB,EACxB,cAA8B;IAE9B,OAAO,mBAAmB,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,cAAc,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,MAAM,SAAS,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"roles.js","sourceRoot":"","sources":["../../src/agents/roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAiC,MAAM,uBAAuB,CAAC;AAEnF,OAAO,EAAE,WAAW,EAAE,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,WAAW,CAAC,MAAM,CACxD,CAAC,IAAI,EAAyC,EAAE,CAAC,IAAI,KAAK,SAAS,CACpE,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,OAAO,EAAE,SAAS;IAClB,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,aAAa,EAAE,aAAa;IAC5B,iBAAiB,EAAE,iBAAiB;IACpC,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,UAAU;CACpB,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAA8B;IAChE,OAAO,EAAE,MAAM;IACf,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,KAAK;IACb,aAAa,EAAE,OAAO;IACtB,iBAAiB,EAAE,OAAO;IAC1B,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,KAAK;CACf,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAqC;IAClE,OAAO,EAAE,IAAI;IACb,GAAG,EAAE,KAAK;IACV,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,aAAa,EAAE,aAAa;IAC5B,iBAAiB,EAAE,IAAI,EAAE,0DAA0D;IACnF,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,IAAI,EAAE,8DAA8D;CAC9E,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAe;IACjD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,qBAAqB,CAAC;IACrD,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,+EAA+E;AAC/E,+CAA+C;AAC/C,MAAM,CAAC,MAAM,gBAAgB,GAA8B;IACzD,OAAO,EAAE,CAAC;IACV,GAAG,EAAE,CAAC;IACN,SAAS,EAAE,CAAC;IACZ,MAAM,EAAE,CAAC;IACT,aAAa,EAAE,EAAE;IACjB,iBAAiB,EAAE,EAAE;IACrB,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,EAAE;CACZ,CAAC;AAEF,MAAM,UAAU,kBAAkB,CAAC,QAAmC;IACpE,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC;IAC9C,iFAAiF;IACjF,yEAAyE;IACzE,0DAA0D;IAC1D,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,aAAa,IAAI,QAAQ,KAAK,eAAe;QAC9F,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAe;IAC1C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAe;IACjD,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAe;IAC7C,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAe;IAC3C,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CACV,wCAAwC,IAAI,qDAAqD,CAClG,CAAC;QACF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAwB;IACxD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,qEAAqE;IACrE,yEAAyE;IACzE,yDAAyD;IACzD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,cAAc,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAwB,EACxB,cAA8B;IAE9B,OAAO,mBAAmB,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,cAAc,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,MAAM,SAAS,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/checklist-target.d.ts

@@ -1,9 +1,17 @@
-import type { AgentRole } from './contracts/index.js';
+import type { AgentRole, SubtaskSource } from './contracts/index.js';
+import type { WorkerSignalParentLink } from './transport/signal.js';
+export type { SubtaskSource, SubtaskSourceKind } from './contracts/index.js';
 export declare const CHECKLIST_TARGET_MANIFEST = "checklist-target.json";
 export declare const TASK_PROGRESS_MARKDOWN = "TASK.md";
 export declare const INTERACTIVE_CHECKLIST_MARKDOWN = "CHECKLIST.md";
 export declare const WORKER_SIGNAL_FILE = "SIGNAL.json";
 export declare const ROLE_SIGNAL_SUFFIX = "-SIGNAL.json";
+/** Directory holding child checklist units and their signals (ADR-060). */
+export declare const SUBTASKS_DIR = "subtasks";
+/** `mark`-maintained registry of child units, the one file the gateway watches to discover them. */
+export declare const SUBTASK_INDEX_FILE = "index.json";
+/** A child unit id: a slug, unique for the life of one task directory. */
+export declare const SUBTASK_ID_PATTERN: RegExp;
 export declare const SELF_REVIEW_CHECKLIST = "SELF-REVIEW.md";
 export declare const SELF_REVIEW_FIX_CHECKLIST = "SELF-REVIEW-FIX.md";
 export declare const CI_FIX_CHECKLIST = "CI-FIX.md";
@@ -39,6 +47,22 @@ export interface ChecklistCheckboxItem {
  * identical (see test/checklist-target-sync.test.mjs).
  */
 export declare function enumerateChecklistCheckboxes(markdown: string): ChecklistCheckboxItem[];
+/**
+ * The name a step is shown under. A bold lead (`**1. Text** — long instructions`)
+ * is the name, numbering kept, instructions dropped; anything else is the raw
+ * label. The gateway task schema, `mark` (SIGNAL.json `step` and event labels,
+ * through the CJS mirror in agent-runtime) and `mm-harness status --watch` all
+ * name a step through this.
+ */
+export declare function checklistStepName(rawLabel: string): string;
+/**
+ * Step labels carrying explicit numbering (`**N. …**`) must match the
+ * enumerated step position — `mark N` targets positions, and a worker follows
+ * the visible label. Sub-step labels (12a) or unnumbered boxes between
+ * numbered ones silently shift every later step onto the wrong box. Run this
+ * on every generated checklist.
+ */
+export declare function checklistNumberingMismatches(markdown: string): string[];
 export interface ChecklistTarget {
     checklist: string;
     signal: string;
@@ -53,6 +77,27 @@ export interface ChecklistTargetRegistry {
     roles: Record<NestedLoopAgentRole, ChecklistTarget>;
 }
 export declare function signalFileForChecklist(checklistBasename: string, registry?: Pick<ChecklistTargetRegistry, 'workerTask' | 'interactiveChecklist' | 'workerSignal' | 'roleSignalSuffix'>): string;
+/**
+ * Task-dir relative paths of a child unit's checklist and signal. The signal
+ * basename comes from {@link signalFileForChecklist}, so a child pair derives
+ * its names exactly as a role pair does; only the `subtasks/` prefix is new.
+ */
+export declare function subtaskPaths(id: string): ChecklistTarget;
+/** One registered child unit. Provenance only — progress lives in the child signal. */
+export interface SubtaskIndexUnit {
+    id: string;
+    parent: WorkerSignalParentLink;
+    /** Task-dir relative child checklist path. */
+    checklist: string;
+    /** Task-dir relative child signal path. */
+    signal: string;
+    source: SubtaskSource;
+    registeredAt: string;
+}
+export interface SubtaskIndex {
+    schemaVersion: 1;
+    units: SubtaskIndexUnit[];
+}
 export declare function targetForChecklistBasename(checklistBasename: string, registry?: Pick<ChecklistTargetRegistry, 'workerTask' | 'interactiveChecklist' | 'workerSignal' | 'roleSignalSuffix'>): ChecklistTarget;
 export declare function terminalContractInputForChecklist(checklistBasename: string): string;
 export declare const SELF_REVIEW_CHECKLIST_TARGET: ChecklistTarget;
@@ -71,8 +116,10 @@ export interface TaskProgressAcceptanceRun {
 export interface TaskProgressAcceptanceUpdate {
     contextId?: string | null;
     role?: string | null;
+    /** Child units only: the parent checklist basename the unit hangs off. */
+    parentChecklist?: string | null;
 }
 export declare function shouldAcceptTaskProgressUpdate(run: TaskProgressAcceptanceRun | null, update: TaskProgressAcceptanceUpdate, registry?: ChecklistTargetRegistry): boolean;
-export type PipelineProgressStep = 'monitor' | 'self-review' | 'ci-watch' | null;
+export type PipelineProgressStep = 'monitor' | 'self-review' | 'ci-watch' | 'human-gate' | null;
 export declare function nestedLoopProgressLabel(activeStep: PipelineProgressStep, activeTaskBasename: string | null | undefined, registry?: ChecklistTargetRegistry): string;
 //# sourceMappingURL=checklist-target.d.ts.map

package/dist/checklist-target.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checklist-target.d.ts","sourceRoot":"","sources":["../src/checklist-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGtD,eAAO,MAAM,yBAAyB,0BAA0B,CAAC;AACjE,eAAO,MAAM,sBAAsB,YAAY,CAAC;AAChD,eAAO,MAAM,8BAA8B,iBAAiB,CAAC;AAC7D,eAAO,MAAM,kBAAkB,gBAAgB,CAAC;AAChD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AACtD,eAAO,MAAM,yBAAyB,uBAAuB,CAAC;AAC9D,eAAO,MAAM,gBAAgB,cAAc,CAAC;AAE5C;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,QACuF,CAAC;AAE5H,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,0EAA0E;IAC1E,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,4EAA4E;IAC5E,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,MAAM,GAAG,qBAAqB,EAAE,CAyDtF;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,mBAAmB,GAAG,OAAO,CAAC,SAAS,EAAE,aAAa,GAAG,iBAAiB,GAAG,QAAQ,CAAC,CAAC;AAEnG,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAAC,CAAC;CACrD;AAYD,wBAAgB,sBAAsB,CACpC,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,IAAI,CACZ,uBAAuB,EACvB,YAAY,GAAG,sBAAsB,GAAG,cAAc,GAAG,kBAAkB,CACjD,GAC3B,MAAM,CASR;AAED,wBAAgB,0BAA0B,CACxC,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,IAAI,CACZ,uBAAuB,EACvB,YAAY,GAAG,sBAAsB,GAAG,cAAc,GAAG,kBAAkB,CACjD,GAC3B,eAAe,CAKjB;AAED,wBAAgB,iCAAiC,CAAC,iBAAiB,EAAE,MAAM,GAAG,MAAM,CASnF;AAED,eAAO,MAAM,4BAA4B,iBAAoD,CAAC;AAC9F,eAAO,MAAM,gCAAgC,iBACU,CAAC;AACxD,eAAO,MAAM,uBAAuB,iBAA+C,CAAC;AAEpF,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAIvF,CAAC;AAEF,eAAO,MAAM,iCAAiC,EAAE,uBAO/C,CAAC;AAEF,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,mBAAmB,EACzB,QAAQ,GAAE,uBAA2D,GACpE,eAAe,GAAG,IAAI,CAExB;AAED,wBAAgB,6BAA6B,CAC3C,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,uBAA2D,GACpE,mBAAmB,GAAG,IAAI,CAO5B;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAIhG;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGxE;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,4BAA4B;IAC3C,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,yBAAyB,GAAG,IAAI,EACrC,MAAM,EAAE,4BAA4B,EACpC,QAAQ,GAAE,uBAA2D,GACpE,OAAO,CAST;AAED,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,IAAI,CAAC;AAEjF,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,oBAAoB,EAChC,kBAAkB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAC7C,QAAQ,GAAE,uBAA2D,GACpE,MAAM,CAQR"}
+{"version":3,"file":"checklist-target.d.ts","sourceRoot":"","sources":["../src/checklist-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEpE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE7E,eAAO,MAAM,yBAAyB,0BAA0B,CAAC;AACjE,eAAO,MAAM,sBAAsB,YAAY,CAAC;AAChD,eAAO,MAAM,8BAA8B,iBAAiB,CAAC;AAC7D,eAAO,MAAM,kBAAkB,gBAAgB,CAAC;AAChD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,2EAA2E;AAC3E,eAAO,MAAM,YAAY,aAAa,CAAC;AACvC,oGAAoG;AACpG,eAAO,MAAM,kBAAkB,eAAe,CAAC;AAC/C,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,QAAiB,CAAC;AAEjD,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AACtD,eAAO,MAAM,yBAAyB,uBAAuB,CAAC;AAC9D,eAAO,MAAM,gBAAgB,cAAc,CAAC;AAE5C;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,QACuF,CAAC;AAE5H,MAAM,WAAW,qBAAqB;IACpC,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,0EAA0E;IAC1E,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,4EAA4E;IAC5E,UAAU,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,MAAM,GAAG,qBAAqB,EAAE,CAyDtF;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAYvE;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,mBAAmB,GAAG,OAAO,CAAC,SAAS,EAAE,aAAa,GAAG,iBAAiB,GAAG,QAAQ,CAAC,CAAC;AAEnG,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAAC,CAAC;CACrD;AAYD,wBAAgB,sBAAsB,CACpC,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,IAAI,CACZ,uBAAuB,EACvB,YAAY,GAAG,sBAAsB,GAAG,cAAc,GAAG,kBAAkB,CACjD,GAC3B,MAAM,CASR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,CAKxD;AAED,uFAAuF;AACvF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,sBAAsB,CAAC;IAC/B,8CAA8C;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,aAAa,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,gBAAgB,EAAE,CAAC;CAC3B;AAED,wBAAgB,0BAA0B,CACxC,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,IAAI,CACZ,uBAAuB,EACvB,YAAY,GAAG,sBAAsB,GAAG,cAAc,GAAG,kBAAkB,CACjD,GAC3B,eAAe,CAKjB;AAED,wBAAgB,iCAAiC,CAAC,iBAAiB,EAAE,MAAM,GAAG,MAAM,CASnF;AAED,eAAO,MAAM,4BAA4B,iBAAoD,CAAC;AAC9F,eAAO,MAAM,gCAAgC,iBACU,CAAC;AACxD,eAAO,MAAM,uBAAuB,iBAA+C,CAAC;AAEpF,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAIvF,CAAC;AAEF,eAAO,MAAM,iCAAiC,EAAE,uBAO/C,CAAC;AAEF,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,mBAAmB,EACzB,QAAQ,GAAE,uBAA2D,GACpE,eAAe,GAAG,IAAI,CAExB;AAED,wBAAgB,6BAA6B,CAC3C,iBAAiB,EAAE,MAAM,EACzB,QAAQ,GAAE,uBAA2D,GACpE,mBAAmB,GAAG,IAAI,CAO5B;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAIhG;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAGxE;AAED,MAAM,WAAW,yBAAyB;IACxC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,4BAA4B;IAC3C,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,0EAA0E;IAC1E,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAaD,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,yBAAyB,GAAG,IAAI,EACrC,MAAM,EAAE,4BAA4B,EACpC,QAAQ,GAAE,uBAA2D,GACpE,OAAO,CA2BT;AAED,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,YAAY,GAAG,IAAI,CAAC;AAEhG,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,oBAAoB,EAChC,kBAAkB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAC7C,QAAQ,GAAE,uBAA2D,GACpE,MAAM,CASR"}

package/dist/checklist-target.js

@@ -4,6 +4,12 @@ export const TASK_PROGRESS_MARKDOWN = 'TASK.md';
 export const INTERACTIVE_CHECKLIST_MARKDOWN = 'CHECKLIST.md';
 export const WORKER_SIGNAL_FILE = 'SIGNAL.json';
 export const ROLE_SIGNAL_SUFFIX = '-SIGNAL.json';
+/** Directory holding child checklist units and their signals (ADR-060). */
+export const SUBTASKS_DIR = 'subtasks';
+/** `mark`-maintained registry of child units, the one file the gateway watches to discover them. */
+export const SUBTASK_INDEX_FILE = 'index.json';
+/** A child unit id: a slug, unique for the life of one task directory. */
+export const SUBTASK_ID_PATTERN = /^[a-z0-9-]+$/;
 export const SELF_REVIEW_CHECKLIST = 'SELF-REVIEW.md';
 export const SELF_REVIEW_FIX_CHECKLIST = 'SELF-REVIEW-FIX.md';
 export const CI_FIX_CHECKLIST = 'CI-FIX.md';
@@ -87,6 +93,36 @@ export function enumerateChecklistCheckboxes(markdown) {
     }
     return items;
 }
+/**
+ * The name a step is shown under. A bold lead (`**1. Text** — long instructions`)
+ * is the name, numbering kept, instructions dropped; anything else is the raw
+ * label. The gateway task schema, `mark` (SIGNAL.json `step` and event labels,
+ * through the CJS mirror in agent-runtime) and `mm-harness status --watch` all
+ * name a step through this.
+ */
+export function checklistStepName(rawLabel) {
+    return rawLabel.replace(/^\*\*(.+?)\*\*.*$/, '$1').trim();
+}
+/**
+ * Step labels carrying explicit numbering (`**N. …**`) must match the
+ * enumerated step position — `mark N` targets positions, and a worker follows
+ * the visible label. Sub-step labels (12a) or unnumbered boxes between
+ * numbered ones silently shift every later step onto the wrong box. Run this
+ * on every generated checklist.
+ */
+export function checklistNumberingMismatches(markdown) {
+    const mismatches = [];
+    for (const item of enumerateChecklistCheckboxes(markdown)) {
+        // Capture an optional letter suffix: a label like `17a.` is exactly how an inserted
+        // step silently desynchronises numbering, and matching digits only skipped it —
+        // the drift was reported one row later, at the first purely numeric label.
+        const labeled = item.rawLabel.match(/^\*{0,2}(\d+[a-z]?)[.)]/i);
+        if (labeled && labeled[1] !== String(item.stepNumber)) {
+            mismatches.push(`position ${item.stepNumber} is labeled "${labeled[1]}"`);
+        }
+    }
+    return mismatches;
+}
 const SIGNAL_REGISTRY_DEFAULTS = {
     workerTask: TASK_PROGRESS_MARKDOWN,
     interactiveChecklist: INTERACTIVE_CHECKLIST_MARKDOWN,
@@ -101,6 +137,17 @@ export function signalFileForChecklist(checklistBasename, registry = SIGNAL_REGI
     const base = checklistBasename.replace(/\.md$/i, '');
     return `${base}${registry.roleSignalSuffix}`;
 }
+/**
+ * Task-dir relative paths of a child unit's checklist and signal. The signal
+ * basename comes from {@link signalFileForChecklist}, so a child pair derives
+ * its names exactly as a role pair does; only the `subtasks/` prefix is new.
+ */
+export function subtaskPaths(id) {
+    return {
+        checklist: `${SUBTASKS_DIR}/${id}.md`,
+        signal: `${SUBTASKS_DIR}/${signalFileForChecklist(`${id}.md`)}`,
+    };
+}
 export function targetForChecklistBasename(checklistBasename, registry = SIGNAL_REGISTRY_DEFAULTS) {
     return {
         checklist: checklistBasename,
@@ -152,7 +199,34 @@ export function taskDirRelPath(taskDir, basename) {
     const normalized = String(taskDir).replace(/\/+$/, '');
     return `${normalized}/${basename}`;
 }
+/**
+ * Basename of the checklist a progress update must belong to: the active role
+ * checklist when one is live, otherwise the run's own worker file.
+ */
+function activeChecklistBasename(run) {
+    const activeTaskFile = run?.activeTaskFile;
+    const effective = !activeTaskFile || activeTaskFile === run?.taskFile ? run?.taskFile : activeTaskFile;
+    return checklistBasenameFromTaskPath(effective);
+}
 export function shouldAcceptTaskProgressUpdate(run, update, registry = DEFAULT_CHECKLIST_TARGET_REGISTRY) {
+    // A child unit is not a role switch: its contextId is the child id, so the
+    // role comparison below can never match it. It is live exactly while its
+    // parent checklist is the active one — a child parented on a checklist whose
+    // terminal mark already landed is stale, like every other off-role update.
+    if (update.role === 'subtask') {
+        const parentChecklist = update.parentChecklist ?? null;
+        if (!parentChecklist)
+            return false;
+        const activeName = activeChecklistBasename(run);
+        // No task file at all: nothing to contradict the child's claim.
+        if (!activeName)
+            return true;
+        // Compare the pair, not the filename: the run's task file is `TASK.md`
+        // while the worker checklist a child hangs off is `CHECKLIST.md`, and both
+        // resolve to the same worker signal. A role checklist resolves to its own.
+        return (signalFileForChecklist(parentChecklist, registry) ===
+            signalFileForChecklist(activeName, registry));
+    }
     const activeTaskFile = run?.activeTaskFile;
     if (!activeTaskFile || activeTaskFile === run?.taskFile)
         return true;
@@ -166,10 +240,12 @@ export function shouldAcceptTaskProgressUpdate(run, update, registry = DEFAULT_C
     return contextId === expectedRole;
 }
 export function nestedLoopProgressLabel(activeStep, activeTaskBasename, registry = DEFAULT_CHECKLIST_TARGET_REGISTRY) {
-    if (activeStep === 'self-review') {
+    if (activeStep === 'self-review' || activeStep === 'human-gate') {
         const role = agentRoleForChecklistBasename(activeTaskBasename ?? '', registry);
         if (role === 'self-review-fix')
             return 'Self-review Fix Progress';
+        if (activeStep === 'human-gate')
+            return 'Independent Review Progress';
         return 'Self-review Progress';
     }
     if (activeStep === 'ci-watch')

package/dist/checklist-target.js.map

@@ -1 +1 @@
-{"version":3,"file":"checklist-target.js","sourceRoot":"","sources":["../src/checklist-target.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAEhF,MAAM,CAAC,MAAM,yBAAyB,GAAG,uBAAuB,CAAC;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG,SAAS,CAAC;AAChD,MAAM,CAAC,MAAM,8BAA8B,GAAG,cAAc,CAAC;AAC7D,MAAM,CAAC,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEjD,MAAM,CAAC,MAAM,qBAAqB,GAAG,gBAAgB,CAAC;AACtD,MAAM,CAAC,MAAM,yBAAyB,GAAG,oBAAoB,CAAC;AAC9D,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;AAE5C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAClC,yHAAyH,CAAC;AAgB5H;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAAC,QAAgB;IAC3D,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,WAAW,GAAG,CAAC,WAAW,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,WAAW;YAAE,SAAS;QAC1B,qEAAqE;QACrE,2EAA2E;QAC3E,sEAAsE;QACtE,wEAAwE;QACxE,qCAAqC;QACrC,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YAC1D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YAC3D,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACpC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,SAAS,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrD,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,gBAAgB,GAAG,IAAI,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,gBAAgB,GAAG,KAAK,CAAC;YACzB,KAAK,GAAG,IAAI,CAAC;YACb,UAAU,IAAI,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,UAAU,IAAI,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC;YACT,SAAS;YACT,UAAU;YACV,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG;YACvC,KAAK;YACL,UAAU;YACV,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAkBD,MAAM,wBAAwB,GAAG;IAC/B,UAAU,EAAE,sBAAsB;IAClC,oBAAoB,EAAE,8BAA8B;IACpD,YAAY,EAAE,kBAAkB;IAChC,gBAAgB,EAAE,kBAAkB;CAIrC,CAAC;AAEF,MAAM,UAAU,sBAAsB,CACpC,iBAAyB,EACzB,WAGI,wBAAwB;IAE5B,IACE,iBAAiB,KAAK,QAAQ,CAAC,UAAU;QACzC,iBAAiB,KAAK,QAAQ,CAAC,oBAAoB,EACnD,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,OAAO,GAAG,IAAI,GAAG,QAAQ,CAAC,gBAAgB,EAAE,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,iBAAyB,EACzB,WAGI,wBAAwB;IAE5B,OAAO;QACL,SAAS,EAAE,iBAAiB;QAC5B,MAAM,EAAE,sBAAsB,CAAC,iBAAiB,EAAE,QAAQ,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,iBAAyB;IACzE,IACE,iBAAiB,KAAK,sBAAsB;QAC5C,iBAAiB,KAAK,8BAA8B,EACpD,CAAC;QACD,OAAO,8BAA8B,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,OAAO,mCAAmC,IAAI,OAAO,CAAC;AACxD,CAAC;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAC,qBAAqB,CAAC,CAAC;AAC9F,MAAM,CAAC,MAAM,gCAAgC,GAC3C,0BAA0B,CAAC,yBAAyB,CAAC,CAAC;AACxD,MAAM,CAAC,MAAM,uBAAuB,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,CAAC;AAEpF,MAAM,CAAC,MAAM,8BAA8B,GAAiD;IAC1F,aAAa,EAAE,4BAA4B;IAC3C,iBAAiB,EAAE,gCAAgC;IACnD,QAAQ,EAAE,uBAAuB;CAClC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAA4B;IACxE,QAAQ,EAAE,yBAAyB;IACnC,UAAU,EAAE,sBAAsB;IAClC,oBAAoB,EAAE,8BAA8B;IACpD,YAAY,EAAE,kBAAkB;IAChC,gBAAgB,EAAE,kBAAkB;IACpC,KAAK,EAAE,8BAA8B;CACtC,CAAC;AAEF,MAAM,UAAU,2BAA2B,CACzC,IAAyB,EACzB,WAAoC,iCAAiC;IAErE,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,iBAAyB,EACzB,WAAoC,iCAAiC;IAErE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAA0B,EAAE,CAAC;QACxE,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,iBAAiB,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAmC;IAC/E,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3C,OAAO,QAAQ,IAAI,IAAI,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAe,EAAE,QAAgB;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvD,OAAO,GAAG,UAAU,IAAI,QAAQ,EAAE,CAAC;AACrC,CAAC;AAYD,MAAM,UAAU,8BAA8B,CAC5C,GAAqC,EACrC,MAAoC,EACpC,WAAoC,iCAAiC;IAErE,MAAM,cAAc,GAAG,GAAG,EAAE,cAAc,CAAC;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,GAAG,EAAE,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,UAAU,GAAG,6BAA6B,CAAC,cAAc,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,YAAY,GAAG,6BAA6B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACzE,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC;IAC1D,OAAO,SAAS,KAAK,YAAY,CAAC;AACpC,CAAC;AAID,MAAM,UAAU,uBAAuB,CACrC,UAAgC,EAChC,kBAA6C,EAC7C,WAAoC,iCAAiC;IAErE,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,6BAA6B,CAAC,kBAAkB,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC/E,IAAI,IAAI,KAAK,iBAAiB;YAAE,OAAO,0BAA0B,CAAC;QAClE,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,UAAU,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC;IACxD,OAAO,iBAAiB,CAAC;AAC3B,CAAC"}
+{"version":3,"file":"checklist-target.js","sourceRoot":"","sources":["../src/checklist-target.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAKhF,MAAM,CAAC,MAAM,yBAAyB,GAAG,uBAAuB,CAAC;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG,SAAS,CAAC;AAChD,MAAM,CAAC,MAAM,8BAA8B,GAAG,cAAc,CAAC;AAC7D,MAAM,CAAC,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEjD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;AACvC,oGAAoG;AACpG,MAAM,CAAC,MAAM,kBAAkB,GAAG,YAAY,CAAC;AAC/C,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEjD,MAAM,CAAC,MAAM,qBAAqB,GAAG,gBAAgB,CAAC;AACtD,MAAM,CAAC,MAAM,yBAAyB,GAAG,oBAAoB,CAAC;AAC9D,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;AAE5C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAClC,yHAAyH,CAAC;AAgB5H;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAAC,QAAgB;IAC3D,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,WAAW,GAAG,CAAC,WAAW,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,WAAW;YAAE,SAAS;QAC1B,qEAAqE;QACrE,2EAA2E;QAC3E,sEAAsE;QACtE,wEAAwE;QACxE,qCAAqC;QACrC,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YAC1D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YAC3D,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACpC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,SAAS,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACrD,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,gBAAgB,GAAG,IAAI,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,gBAAgB,GAAG,KAAK,CAAC;YACzB,KAAK,GAAG,IAAI,CAAC;YACb,UAAU,IAAI,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,UAAU,IAAI,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC;YACT,SAAS;YACT,UAAU;YACV,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG;YACvC,KAAK;YACL,UAAU;YACV,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,OAAO,QAAQ,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAAC,QAAgB;IAC3D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,4BAA4B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,oFAAoF;QACpF,gFAAgF;QAChF,2EAA2E;QAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAChE,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACtD,UAAU,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,UAAU,gBAAgB,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAkBD,MAAM,wBAAwB,GAAG;IAC/B,UAAU,EAAE,sBAAsB;IAClC,oBAAoB,EAAE,8BAA8B;IACpD,YAAY,EAAE,kBAAkB;IAChC,gBAAgB,EAAE,kBAAkB;CAIrC,CAAC;AAEF,MAAM,UAAU,sBAAsB,CACpC,iBAAyB,EACzB,WAGI,wBAAwB;IAE5B,IACE,iBAAiB,KAAK,QAAQ,CAAC,UAAU;QACzC,iBAAiB,KAAK,QAAQ,CAAC,oBAAoB,EACnD,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,OAAO,GAAG,IAAI,GAAG,QAAQ,CAAC,gBAAgB,EAAE,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO;QACL,SAAS,EAAE,GAAG,YAAY,IAAI,EAAE,KAAK;QACrC,MAAM,EAAE,GAAG,YAAY,IAAI,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE;KAChE,CAAC;AACJ,CAAC;AAmBD,MAAM,UAAU,0BAA0B,CACxC,iBAAyB,EACzB,WAGI,wBAAwB;IAE5B,OAAO;QACL,SAAS,EAAE,iBAAiB;QAC5B,MAAM,EAAE,sBAAsB,CAAC,iBAAiB,EAAE,QAAQ,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,iBAAyB;IACzE,IACE,iBAAiB,KAAK,sBAAsB;QAC5C,iBAAiB,KAAK,8BAA8B,EACpD,CAAC;QACD,OAAO,8BAA8B,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrD,OAAO,mCAAmC,IAAI,OAAO,CAAC;AACxD,CAAC;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAC,qBAAqB,CAAC,CAAC;AAC9F,MAAM,CAAC,MAAM,gCAAgC,GAC3C,0BAA0B,CAAC,yBAAyB,CAAC,CAAC;AACxD,MAAM,CAAC,MAAM,uBAAuB,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,CAAC;AAEpF,MAAM,CAAC,MAAM,8BAA8B,GAAiD;IAC1F,aAAa,EAAE,4BAA4B;IAC3C,iBAAiB,EAAE,gCAAgC;IACnD,QAAQ,EAAE,uBAAuB;CAClC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAA4B;IACxE,QAAQ,EAAE,yBAAyB;IACnC,UAAU,EAAE,sBAAsB;IAClC,oBAAoB,EAAE,8BAA8B;IACpD,YAAY,EAAE,kBAAkB;IAChC,gBAAgB,EAAE,kBAAkB;IACpC,KAAK,EAAE,8BAA8B;CACtC,CAAC;AAEF,MAAM,UAAU,2BAA2B,CACzC,IAAyB,EACzB,WAAoC,iCAAiC;IAErE,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,iBAAyB,EACzB,WAAoC,iCAAiC;IAErE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAA0B,EAAE,CAAC;QACxE,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,iBAAiB,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAmC;IAC/E,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC3C,OAAO,QAAQ,IAAI,IAAI,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAe,EAAE,QAAgB;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvD,OAAO,GAAG,UAAU,IAAI,QAAQ,EAAE,CAAC;AACrC,CAAC;AAcD;;;GAGG;AACH,SAAS,uBAAuB,CAAC,GAAqC;IACpE,MAAM,cAAc,GAAG,GAAG,EAAE,cAAc,CAAC;IAC3C,MAAM,SAAS,GACb,CAAC,cAAc,IAAI,cAAc,KAAK,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;IACvF,OAAO,6BAA6B,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,GAAqC,EACrC,MAAoC,EACpC,WAAoC,iCAAiC;IAErE,2EAA2E;IAC3E,yEAAyE;IACzE,6EAA6E;IAC7E,2EAA2E;IAC3E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,IAAI,CAAC;QACvD,IAAI,CAAC,eAAe;YAAE,OAAO,KAAK,CAAC;QACnC,MAAM,UAAU,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAChD,gEAAgE;QAChE,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7B,uEAAuE;QACvE,2EAA2E;QAC3E,2EAA2E;QAC3E,OAAO,CACL,sBAAsB,CAAC,eAAe,EAAE,QAAQ,CAAC;YACjD,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAC7C,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,GAAG,EAAE,cAAc,CAAC;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,GAAG,EAAE,QAAQ;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,UAAU,GAAG,6BAA6B,CAAC,cAAc,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,YAAY,GAAG,6BAA6B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACzE,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC;IAC1D,OAAO,SAAS,KAAK,YAAY,CAAC;AACpC,CAAC;AAID,MAAM,UAAU,uBAAuB,CACrC,UAAgC,EAChC,kBAA6C,EAC7C,WAAoC,iCAAiC;IAErE,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,6BAA6B,CAAC,kBAAkB,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC/E,IAAI,IAAI,KAAK,iBAAiB;YAAE,OAAO,0BAA0B,CAAC;QAClE,IAAI,UAAU,KAAK,YAAY;YAAE,OAAO,6BAA6B,CAAC;QACtE,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,UAAU,KAAK,UAAU;QAAE,OAAO,iBAAiB,CAAC;IACxD,OAAO,iBAAiB,CAAC;AAC3B,CAAC"}

package/dist/contracts/acceptance.d.ts

@@ -0,0 +1,90 @@
+/** Task-dir relative path of the ledger. Written only by `farmslot-agent ac`. */
+export declare const ACCEPTANCE_STATUS_ARTIFACT = "artifacts/acceptance-status.json";
+export declare const ACCEPTANCE_VERDICTS: readonly ["proven", "weak", "missing", "untestable"];
+export type AcceptanceVerdict = (typeof ACCEPTANCE_VERDICTS)[number];
+export declare const ACCEPTANCE_PROOF_MODES: readonly ["state", "visual", "mixed"];
+export type AcceptanceProofMode = (typeof ACCEPTANCE_PROOF_MODES)[number];
+/** Ids are positional, so a criterion keeps its id for the life of the task dir. */
+export declare const ACCEPTANCE_CRITERION_ID_PATTERN: RegExp;
+/**
+ * `AC-<N>` for a criterion's position in the handoff array.
+ *
+ * @param index 0-based position in `inputs/handoff.json` `task.acceptanceCriteria`.
+ */
+export declare function acceptanceCriterionId(index: number): string;
+export interface AcceptanceCriterionStatus {
+    /** `AC-<N>`, N the 1-based position in the handoff criteria array. */
+    id: string;
+    /** Criterion text as task init recorded it. */
+    text: string;
+    verdict: AcceptanceVerdict;
+    proofMode?: AcceptanceProofMode;
+    /** Task-dir relative evidence paths. */
+    evidence: string[];
+    /** Recipe node ids that prove this criterion. */
+    recipeNodes: string[];
+    note?: string;
+    updatedAt: string;
+}
+export interface AcceptanceStatusLedger {
+    schemaVersion: 1;
+    criteria: AcceptanceCriterionStatus[];
+}
+/**
+ * One criterion as task init registered it: the id and the text, with no verdict.
+ * Clients pair this with the ledger so a criterion the worker has not judged yet is
+ * visible as awaiting a verdict rather than missing from the panel — the ledger
+ * holds only what `ac set` recorded, and nothing may invent a verdict for the rest.
+ */
+export interface AcceptanceCriterionRef {
+    id: string;
+    text: string;
+}
+/** A criterion paired with its verdict, or null when none is recorded yet. */
+export interface AcceptanceCriterionView extends AcceptanceCriterionRef {
+    status: AcceptanceCriterionStatus | null;
+}
+/**
+ * Every registered criterion in id order, each with its recorded verdict or null.
+ * `criteria` is the authority for how many criteria the run has; `ledger` only ever
+ * holds the ones already judged.
+ */
+export declare function acceptanceCriteriaView(criteria: ReadonlyArray<AcceptanceCriterionRef>, ledger: AcceptanceStatusLedger | null): AcceptanceCriterionView[];
+export interface AcceptanceStatusSummary {
+    proven: number;
+    weak: number;
+    missing: number;
+    untestable: number;
+    /** Registered criteria with no verdict recorded yet; 0 unless `criteria` was given. */
+    unrecorded: number;
+    total: number;
+}
+/**
+ * Contract issues for a parsed ledger; an empty array means the value is a valid
+ * {@link AcceptanceStatusLedger}. Issue strings are caller-printable and name the
+ * offending field, the way the task artifact contract check reports its own.
+ */
+export declare function validateAcceptanceStatusLedger(value: unknown): string[];
+/**
+ * Verdict tally over the ledger.
+ *
+ * Omitting `criteria` counts only the rows already recorded, which understates a
+ * partial ledger: `total` is then "verdicts written", not "criteria the task has".
+ * Pass the registered criteria whenever the caller can read them — every caller
+ * with the task directory can — to get a `total` of registered criteria and an
+ * `unrecorded` count of those still waiting for a verdict.
+ */
+export declare function summarizeAcceptanceStatus(ledger: AcceptanceStatusLedger, criteria?: ReadonlyArray<AcceptanceCriterionRef>): AcceptanceStatusSummary;
+/**
+ * The coverage table `artifacts/recipe-coverage.md` holds today, rendered from the
+ * ledger. The proof-mode column keeps the lowercase `state` / `visual` / `mixed`
+ * vocabulary the evidence rules key off, and the last line is the `Overall recipe
+ * coverage:` summary every consumer of the coverage file already looks for.
+ *
+ * Pass `criteria` so the overall line counts registered criteria: without them a
+ * partial ledger reads `1/1 PROVEN` when the task has three criteria. A criterion
+ * with no verdict yet is counted in the total and listed as awaiting one; it is
+ * never given a verdict it does not have.
+ */
+export declare function renderAcceptanceCoverage(ledger: AcceptanceStatusLedger, criteria?: ReadonlyArray<AcceptanceCriterionRef>): string;
+//# sourceMappingURL=acceptance.d.ts.map

package/dist/contracts/acceptance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance.d.ts","sourceRoot":"","sources":["../../src/contracts/acceptance.ts"],"names":[],"mappings":"AASA,iFAAiF;AACjF,eAAO,MAAM,0BAA0B,qCAAqC,CAAC;AAE7E,eAAO,MAAM,mBAAmB,sDAAuD,CAAC;AACxF,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,eAAO,MAAM,sBAAsB,uCAAwC,CAAC;AAC5E,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E,oFAAoF;AACpF,eAAO,MAAM,+BAA+B,QAAqB,CAAC;AAElE;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,MAAM,WAAW,yBAAyB;IACxC,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,iBAAiB,CAAC;IAC3B,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAChC,wCAAwC;IACxC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iDAAiD;IACjD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,sBAAsB;IACrC,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,8EAA8E;AAC9E,MAAM,WAAW,uBAAwB,SAAQ,sBAAsB;IACrE,MAAM,EAAE,yBAAyB,GAAG,IAAI,CAAC;CAC1C;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAC/C,MAAM,EAAE,sBAAsB,GAAG,IAAI,GACpC,uBAAuB,EAAE,CAc3B;AAED,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,uFAAuF;IACvF,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAUD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CA8CvE;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,sBAAsB,EAC9B,QAAQ,CAAC,EAAE,aAAa,CAAC,sBAAsB,CAAC,GAC/C,uBAAuB,CAgBzB;AAeD;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,sBAAsB,EAC9B,QAAQ,GAAE,aAAa,CAAC,sBAAsB,CAAmB,GAChE,MAAM,CA+BR"}

package/dist/contracts/acceptance.js

@@ -0,0 +1,177 @@
+// Acceptance-criteria ledger (ADR-060): one verdict per criterion, with the
+// evidence that proves it.
+//
+// Task init assigns the ids (`AC-<N>`, N the 1-based position of the criterion in
+// `inputs/handoff.json` `task.acceptanceCriteria`) and `farmslot-agent ac` is the
+// only writer of `artifacts/acceptance-status.json`. The markdown coverage table
+// workers hand-write today is a rendering of this file, so the terminal contract
+// check, the PR body, and the run-detail panel all read one structured source.
+/** Task-dir relative path of the ledger. Written only by `farmslot-agent ac`. */
+export const ACCEPTANCE_STATUS_ARTIFACT = 'artifacts/acceptance-status.json';
+export const ACCEPTANCE_VERDICTS = ['proven', 'weak', 'missing', 'untestable'];
+export const ACCEPTANCE_PROOF_MODES = ['state', 'visual', 'mixed'];
+/** Ids are positional, so a criterion keeps its id for the life of the task dir. */
+export const ACCEPTANCE_CRITERION_ID_PATTERN = /^AC-[1-9][0-9]*$/;
+/**
+ * `AC-<N>` for a criterion's position in the handoff array.
+ *
+ * @param index 0-based position in `inputs/handoff.json` `task.acceptanceCriteria`.
+ */
+export function acceptanceCriterionId(index) {
+    return `AC-${index + 1}`;
+}
+/**
+ * Every registered criterion in id order, each with its recorded verdict or null.
+ * `criteria` is the authority for how many criteria the run has; `ledger` only ever
+ * holds the ones already judged.
+ */
+export function acceptanceCriteriaView(criteria, ledger) {
+    const byId = new Map((ledger?.criteria ?? []).map((entry) => [entry.id, entry]));
+    const rows = criteria.map((criterion) => ({
+        ...criterion,
+        status: byId.get(criterion.id) ?? null,
+    }));
+    // A ledger entry for an id the handoff does not list is still shown: hiding it
+    // would hide a contract violation the terminal check refuses on.
+    for (const entry of ledger?.criteria ?? []) {
+        if (!criteria.some((criterion) => criterion.id === entry.id)) {
+            rows.push({ id: entry.id, text: entry.text, status: entry });
+        }
+    }
+    return rows;
+}
+function isRecord(value) {
+    return Boolean(value) && typeof value === 'object' && !Array.isArray(value);
+}
+function isNonEmptyString(value) {
+    return typeof value === 'string' && value.trim().length > 0;
+}
+/**
+ * Contract issues for a parsed ledger; an empty array means the value is a valid
+ * {@link AcceptanceStatusLedger}. Issue strings are caller-printable and name the
+ * offending field, the way the task artifact contract check reports its own.
+ */
+export function validateAcceptanceStatusLedger(value) {
+    const issues = [];
+    if (!isRecord(value))
+        return ['acceptance ledger: expected object'];
+    if (value.schemaVersion !== 1)
+        issues.push('acceptance ledger schemaVersion: expected 1');
+    if (!Array.isArray(value.criteria)) {
+        issues.push('acceptance ledger criteria: expected array');
+        return issues;
+    }
+    const seen = new Set();
+    value.criteria.forEach((entry, index) => {
+        const prefix = `acceptance ledger criteria[${index}]`;
+        if (!isRecord(entry)) {
+            issues.push(`${prefix}: expected object`);
+            return;
+        }
+        if (!isNonEmptyString(entry.id) || !ACCEPTANCE_CRITERION_ID_PATTERN.test(entry.id)) {
+            issues.push(`${prefix}.id: expected AC-<N>`);
+        }
+        else if (seen.has(entry.id)) {
+            issues.push(`${prefix}.id: duplicate ${entry.id}`);
+        }
+        else {
+            seen.add(entry.id);
+        }
+        if (typeof entry.text !== 'string')
+            issues.push(`${prefix}.text: expected string`);
+        if (!ACCEPTANCE_VERDICTS.includes(entry.verdict)) {
+            issues.push(`${prefix}.verdict: expected one of ${ACCEPTANCE_VERDICTS.join(', ')}`);
+        }
+        if (entry.proofMode !== undefined &&
+            !ACCEPTANCE_PROOF_MODES.includes(entry.proofMode)) {
+            issues.push(`${prefix}.proofMode: expected one of ${ACCEPTANCE_PROOF_MODES.join(', ')}`);
+        }
+        for (const key of ['evidence', 'recipeNodes']) {
+            const list = entry[key];
+            if (!Array.isArray(list) || list.some((item) => !isNonEmptyString(item))) {
+                issues.push(`${prefix}.${key}: expected an array of non-empty strings`);
+            }
+        }
+        if (entry.note !== undefined && typeof entry.note !== 'string') {
+            issues.push(`${prefix}.note: expected string`);
+        }
+        if (!isNonEmptyString(entry.updatedAt)) {
+            issues.push(`${prefix}.updatedAt: expected non-empty string`);
+        }
+    });
+    return issues;
+}
+/**
+ * Verdict tally over the ledger.
+ *
+ * Omitting `criteria` counts only the rows already recorded, which understates a
+ * partial ledger: `total` is then "verdicts written", not "criteria the task has".
+ * Pass the registered criteria whenever the caller can read them — every caller
+ * with the task directory can — to get a `total` of registered criteria and an
+ * `unrecorded` count of those still waiting for a verdict.
+ */
+export function summarizeAcceptanceStatus(ledger, criteria) {
+    const total = criteria
+        ? Math.max(criteria.length, ledger.criteria.length)
+        : ledger.criteria.length;
+    const summary = {
+        proven: 0,
+        weak: 0,
+        missing: 0,
+        untestable: 0,
+        unrecorded: 0,
+        total,
+    };
+    for (const criterion of ledger.criteria)
+        summary[criterion.verdict] += 1;
+    summary.unrecorded =
+        total - (summary.proven + summary.weak + summary.missing + summary.untestable);
+    return summary;
+}
+function cell(value) {
+    return (value
+        .replace(/\|/g, '\\|')
+        .replace(/\s*\n\s*/g, ' ')
+        .trim() || '-');
+}
+function list(values) {
+    return values.length > 0 ? cell(values.join(', ')) : '-';
+}
+/**
+ * The coverage table `artifacts/recipe-coverage.md` holds today, rendered from the
+ * ledger. The proof-mode column keeps the lowercase `state` / `visual` / `mixed`
+ * vocabulary the evidence rules key off, and the last line is the `Overall recipe
+ * coverage:` summary every consumer of the coverage file already looks for.
+ *
+ * Pass `criteria` so the overall line counts registered criteria: without them a
+ * partial ledger reads `1/1 PROVEN` when the task has three criteria. A criterion
+ * with no verdict yet is counted in the total and listed as awaiting one; it is
+ * never given a verdict it does not have.
+ */
+export function renderAcceptanceCoverage(ledger, criteria = ledger.criteria) {
+    const summary = summarizeAcceptanceStatus(ledger, criteria);
+    const rows = acceptanceCriteriaView(criteria, ledger);
+    const untestable = ledger.criteria
+        .filter((criterion) => criterion.verdict === 'untestable')
+        .map((criterion) => criterion.id);
+    const lines = [
+        '## Recipe coverage',
+        '',
+        '| AC | Criterion | Verdict | Proof mode | Recipe nodes | Evidence | Note |',
+        '| --- | --- | --- | --- | --- | --- | --- |',
+    ];
+    for (const row of rows) {
+        const status = row.status;
+        lines.push(`| ${row.id} | ${cell(row.text)} | ${status ? status.verdict.toUpperCase() : 'NO VERDICT'} | ` +
+            `${status?.proofMode ?? '-'} | ${list(status?.recipeNodes ?? [])} | ` +
+            `${list(status?.evidence ?? [])} | ${cell(status?.note ?? '')} |`);
+    }
+    lines.push('', `Overall recipe coverage: ${summary.proven}/${summary.total} ACs PROVEN ` +
+        `(untestable: ${untestable.length > 0 ? untestable.join(', ') : 'none'}, ` +
+        `weak: ${summary.weak}, missing: ${summary.missing}` +
+        // Only when some criterion has no verdict: a finished run renders the exact
+        // line the spec pins, and a partial one says why the counts fall short.
+        `${summary.unrecorded > 0 ? `, no verdict: ${summary.unrecorded}` : ''})`, '');
+    return lines.join('\n');
+}
+//# sourceMappingURL=acceptance.js.map