@cleocode/contracts 2026.9.20 → 2026.9.22

package/dist/done-plan.d.ts

@@ -0,0 +1,330 @@
+/**
+ * Contracts for the read-only `cleo done --plan` evidence planner.
+ *
+ * The planner derives, without executing a tool or writing a row, the
+ * evidence `cleo done` would record for each required verification gate:
+ * the implemented change set and where it came from, the tool runs and
+ * whether each already has a fresh cached result, which acceptance criteria
+ * map to evidence deterministically, and the blockers in the order an agent
+ * must clear them.
+ *
+ * Spec: `verify-streamlined-design` §3.2 and §7 step 1-2.
+ *
+ * @task T12623
+ * @task T12624
+ */
+import type { VerificationGate } from './task.js';
+/**
+ * Where a task's implemented change set was found, first match wins.
+ *
+ * - `pr` — a merged PR that cites the task; files read from its merge commit.
+ * - `branch` — the unmerged task branch diffed against its merge-base with
+ *   origin's default branch.
+ * - `docs` — attached documents and linked decisions of a research, spike or
+ *   documentation task.
+ * - `none` — nothing references the task yet.
+ */
+export type ChangeSetSource = 'pr' | 'branch' | 'docs' | 'none';
+/**
+ * How the repository the change set was read from was chosen.
+ *
+ * - `declared` — `CLEO_EVIDENCE_GIT_ROOT`, `GIT_WORK_TREE` or
+ *   `evidence.gitRoot`; outranks every inference.
+ * - `invocation-worktree` — the caller's own worktree of this project.
+ * - `task-worktree` — the task's registered worktree, used when invoked from
+ *   the main checkout.
+ * - `store` — the CLEO store root or its single child checkout.
+ */
+export type ChangeSetRootSource = 'declared' | 'invocation-worktree' | 'task-worktree' | 'store';
+/** One concrete, runnable next step. */
+export interface DoneNextStep {
+    /** Shell command the agent runs next. */
+    command: string;
+    /** Why this step clears the blocker. */
+    why: string;
+}
+/**
+ * Blocker vocabulary, in the order the planner reports them.
+ *
+ * @see DONE_PLAN_BLOCKER_ORDER in core for the ranking.
+ */
+export type DonePlanBlockerCode = 'git-root' | 'dirty-tree' | 'no-change-set' | 'pr-ambiguous' | 'pr-unverified' | 'pr-stacked' | 'pr-reverted' | 'merge-commit-missing' | 'decision-missing' | 'tool-unresolved' | 'tool-failed' | 'typed-gate-failed' | 'ac-mapping-needed' | 'manual-gate' | 'epic-rollup' | 'run-from-worktree' | 'checkout-required' | 'evidence-refused' | 'completion-refused';
+/** A reason `cleo done` would stop, with exactly one next step. */
+export interface DonePlanBlocker {
+    /** Stable machine code. */
+    code: DonePlanBlockerCode;
+    /** Human-readable statement of what is missing. */
+    message: string;
+    /** The one next step that clears it. */
+    next: DoneNextStep;
+    /** Original evidence error code when the blocker wraps a validator refusal. */
+    cause?: string;
+}
+/** A merged PR that cites the task. */
+export interface ChangeSetPrCandidate {
+    /** PR number. */
+    prNumber: number;
+    /** PR title. */
+    title: string;
+    /** Head branch the PR merged from. */
+    headRefName: string;
+}
+/** A document attached to a research, spike or documentation task. */
+export interface ChangeSetDoc {
+    /** Attachment or blob identifier. */
+    id: string;
+    /** Stable slug, when the doc has one. */
+    slug: string | null;
+    /** Store-relative path of the bytes the `files:` atom will hash. */
+    path: string;
+}
+/**
+ * The implemented change set derived for one task.
+ *
+ * `implementedEvidence` is the atom string the existing ADR-051 validators
+ * receive unchanged; there is no second validation path.
+ */
+export interface TaskChangeSet {
+    /** Where the change set came from. */
+    source: ChangeSetSource;
+    /** Absolute path of the repository every git and gh call ran in. */
+    executionRoot: string;
+    /** Why {@link executionRoot} was chosen. */
+    rootSource: ChangeSetRootSource;
+    /**
+     * Component PR whose change the (integration) `prNumber` landed on the
+     * default branch (T12671). Evidence is then `pr:<component>@<prNumber>`.
+     */
+    componentPrNumber?: number;
+    /** Merged PR number (`source === 'pr'`). */
+    prNumber?: number;
+    /**
+     * Verified merge commit the files were read from (`source === 'pr'`). For a
+     * stacked PR this is the BASE PR's merge into the default branch.
+     */
+    mergeCommitSha?: string;
+    /**
+     * Set when the task's PR merged into another branch (a stacked PR) and the
+     * task is attributed to that branch's own PR once it reached the default
+     * branch.
+     */
+    stackedOn?: {
+        baseRef: string;
+        basePrNumber?: number;
+    };
+    /** Branch tip commit (`source === 'branch'`). */
+    commitSha?: string;
+    /** Ref that was diffed (`HEAD` or `task/<id>`), for `source === 'branch'`. */
+    headRef?: string;
+    /** Origin default branch the merge-base was taken against. */
+    baseRef?: string;
+    /** Merge-base commit between {@link baseRef} and {@link headRef}. */
+    mergeBase?: string;
+    /** Repo-relative paths that still exist in the change set (the `files:` atom). */
+    files: string[];
+    /** Repo-relative paths the change set deleted; listed in the receipt, never in `files:`. */
+    deletedFiles: string[];
+    /** Attached docs (`source === 'docs'`). */
+    docs: ChangeSetDoc[];
+    /** Decision IDs linked to the task (`source === 'docs'`). */
+    decisions: string[];
+    /** Every merged PR that cited the task, before disambiguation. */
+    candidates: ChangeSetPrCandidate[];
+    /**
+     * D11151: the task's OTHER own-branch PRs when it shipped across several,
+     * oldest first. Each is recorded as its own `implemented` attempt before the
+     * primary (latest) PR, which is what the stored gate evidence ends up citing.
+     */
+    additionalPrs?: Array<{
+        prNumber: number;
+        mergeCommitSha?: string;
+        files: string[];
+        deletedFiles: string[];
+        implementedEvidence: string | null;
+    }>;
+    /** Planned `implemented` atoms (without `satisfies:`), or null when none derive. */
+    implementedEvidence: string | null;
+    /** Blockers found while deriving the change set. */
+    blockers: DonePlanBlocker[];
+    /** Non-blocking observations, e.g. PR discovery that could not reach `gh`. */
+    warnings: string[];
+    /**
+     * The merged-PR lookup failed (e.g. `gh` unavailable), so a non-PR change set
+     * does not prove the change is unmerged (T12656).
+     */
+    prDiscoveryFailed?: boolean;
+    /**
+     * Whether the task's PR has merged to the default branch, as the PR lookup
+     * found it — independent of `source` (T12656 review): a merged PR whose
+     * `pr:` check was refused still falls back to the task branch, and the
+     * branch outlives a squash merge. Absent when no PR was examined.
+     */
+    mergeState?: ChangeSetMergeState;
+}
+/** Whether a task's change has merged to the default branch. */
+export type ChangeSetMergeState = 'merged' | 'unmerged' | 'unknown';
+/** Planned state of one verification gate. */
+export interface DonePlanGate {
+    /** Gate name. */
+    gate: VerificationGate;
+    /** Whether the project's verification policy requires it. */
+    required: boolean;
+    /** Whether the task already has the gate recorded as passed. */
+    passed: boolean;
+    /** Planned `--evidence` string (with `satisfies:`), or null when nothing is planned. */
+    evidence: string | null;
+}
+/**
+ * Cache state of a tool run the plan needs.
+ *
+ * - `fresh-pass` / `fresh-fail` — an ADR-061 cache entry exists for the
+ *   current HEAD, dirty fingerprint and execution root.
+ * - `miss` — `cleo done` would run the tool.
+ * - `not-applicable` — the resolver says the tool does not apply here.
+ * - `unresolved` — no command resolves for the tool.
+ */
+export type DonePlanToolCacheState = 'fresh-pass' | 'fresh-fail' | 'miss' | 'not-applicable' | 'unresolved';
+/** One tool run a gate needs. The planner never executes it. */
+export interface DonePlanToolRun {
+    /** Canonical tool name used in the `tool:` atom. */
+    tool: string;
+    /** Gate the result satisfies. */
+    gate: VerificationGate;
+    /** Resolved command line, or null when unresolved. */
+    command: string | null;
+    /** Resolver source (`project-context`, `language-default`, …). */
+    source: string | null;
+    /** Cache state for the current tree. */
+    cache: DonePlanToolCacheState;
+    /** Cached exit code, when an entry exists. */
+    exitCode?: number;
+    /** When the cached result was captured. */
+    capturedAt?: string;
+    /** Resolver refusal reason, when unresolved or not applicable. */
+    reason?: string;
+}
+/** Stored result of a typed acceptance gate. The planner never runs it. */
+export interface DonePlanTypedGate {
+    /** Criterion alias (`AC<n>`). */
+    alias: string;
+    /** Typed gate kind. */
+    kind: string;
+    /** Requirement id, when the gate declares one. */
+    req?: string;
+    /** Latest stored result; `not-run` when none is stored. */
+    status: 'pass' | 'fail' | 'not-run';
+}
+/**
+ * Why an acceptance criterion is (or is not) linked automatically.
+ *
+ * - `typed-gate` — the criterion is a typed gate with a stored passing result.
+ * - `files-in-diff` — every repo path the criterion names is in the change set.
+ * - `agent` — the agent named it with `--satisfies`.
+ * - `recorded` — already linked by gate evidence the task has recorded.
+ * - `none` — no deterministic coverage; the agent must answer.
+ */
+export type DonePlanAcBasis = 'typed-gate' | 'files-in-diff' | 'agent' | 'recorded' | 'none';
+/** Mapping of one acceptance criterion to gate evidence. */
+export interface DonePlanAcMapping {
+    /** Criterion alias (`AC<n>`). */
+    alias: string;
+    /** Canonical criterion UUID. */
+    id: string;
+    /** Criterion text. */
+    text: string;
+    /** Whether the criterion is linked, by any {@link DonePlanAcBasis} other than `none`. */
+    mapped: boolean;
+    /** Gates whose planned evidence carries `satisfies:` for this criterion. */
+    gates: VerificationGate[];
+    /** Why it is or is not linked. */
+    basis: DonePlanAcBasis;
+    /** Repo paths the criterion names (for `files-in-diff` and its misses). */
+    files?: string[];
+}
+/**
+ * Result of `deriveTaskEvidence` / `cleo done <id> --plan`.
+ *
+ * Read-only by construction: the planner records nothing and executes no tool
+ * or typed gate. `commands` are the calls `cleo done` would issue, spelled as
+ * the existing verbs so every one is runnable today.
+ */
+export interface DonePlan {
+    /** Task the plan is for. */
+    taskId: string;
+    /** Directory the commands must run from (the change set's execution root). */
+    runFrom: string;
+    /** The derived change set. */
+    changeSet: TaskChangeSet;
+    /** Every evidence gate the plan covers, required or already passed. */
+    gates: DonePlanGate[];
+    /** Tool runs the required gates need. */
+    toolRuns: DonePlanToolRun[];
+    /** Typed acceptance gates and their stored results. */
+    typedGates: DonePlanTypedGate[];
+    /** Per-criterion mapping. */
+    acMapping: DonePlanAcMapping[];
+    /** Aliases of criteria that need `--satisfies` from the agent. */
+    needsSatisfies: string[];
+    /** Blockers, ordered: the first is the one to clear first. */
+    blockers: DonePlanBlocker[];
+    /**
+     * D11151: `implemented` evidence (with its criterion links) for each of the
+     * task's earlier own-branch PRs, recorded as separate attempts before the
+     * primary gate write.
+     */
+    additionalImplemented?: string[];
+    /** Runnable commands, in order, that record the gates and complete the task. */
+    commands: string[];
+    /** True when no blocker remains and `commands` would succeed as planned. */
+    ready: boolean;
+    /** The single next step: the first blocker's, or the first command. */
+    next: DoneNextStep | null;
+}
+/** One tool `cleo done` ran (or reused from the ADR-061 cache) before recording. */
+export interface DoneToolResult {
+    /** Canonical tool name. */
+    tool: string;
+    /** Gate the result satisfies. */
+    gate: VerificationGate;
+    /** Exit code of the run. */
+    exitCode: number | null;
+    /** Whether the result came from the ADR-061 cache. */
+    cacheHit: boolean;
+    /** Wall-clock duration of the run (0 for a cache hit). */
+    durationMs: number;
+}
+/**
+ * Successful `cleo done` / `cleo verify --auto` write: every required gate the
+ * task lacked, recorded in one transaction through the existing validators.
+ * Completion (for `cleo done`) is reported by the caller alongside it.
+ */
+export interface DoneRecordResult {
+    /** Task the gates were recorded for. */
+    taskId: string;
+    /** Gates this call recorded, in gate order. */
+    recordedGates: VerificationGate[];
+    /** Required gates that were already passed and left untouched. */
+    alreadyPassed: VerificationGate[];
+    /** Tool runs performed or reused before the write. */
+    toolResults: DoneToolResult[];
+    /** Typed acceptance gates executed before the write (0 when the task has none). */
+    typedGateCount: number;
+    /** Whether all required gates are now passed. */
+    verificationPassed: boolean;
+    /** The plan the write was derived from. */
+    plan: DonePlan;
+}
+/** Details of an `E_DONE_BLOCKED` failure: one blocker, one next step. */
+export interface DoneBlockedDetails {
+    /** The blocker that stopped `cleo done`. */
+    blocker: DonePlanBlockerCode;
+    /** Original error code (e.g. `E_EVIDENCE_TOOL_FAILED`), when one exists. */
+    cause?: string;
+    /** The one next step. */
+    next: DoneNextStep;
+    /** Gates already recorded before a completion refusal (empty otherwise). */
+    recordedGates: VerificationGate[];
+    /** The plan, for tooling. */
+    plan: DonePlan;
+}
+//# sourceMappingURL=done-plan.d.ts.map

package/dist/done-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"done-plan.d.ts","sourceRoot":"","sources":["../src/done-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAElD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GAAG,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AAEhE;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAAG,UAAU,GAAG,qBAAqB,GAAG,eAAe,GAAG,OAAO,CAAC;AAEjG,wCAAwC;AACxC,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B,UAAU,GACV,YAAY,GACZ,eAAe,GACf,cAAc,GACd,eAAe,GACf,YAAY,GACZ,aAAa,GACb,sBAAsB,GACtB,kBAAkB,GAClB,iBAAiB,GACjB,aAAa,GACb,mBAAmB,GACnB,mBAAmB,GACnB,aAAa,GACb,aAAa,GACb,mBAAmB,GACnB,mBAAmB,GACnB,kBAAkB,GAClB,oBAAoB,CAAC;AAEzB,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,2BAA2B;IAC3B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,IAAI,EAAE,YAAY,CAAC;IACnB,+EAA+E;IAC/E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,uCAAuC;AACvC,MAAM,WAAW,oBAAoB;IACnC,iBAAiB;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,sEAAsE;AACtE,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,sCAAsC;IACtC,MAAM,EAAE,eAAe,CAAC;IACxB,oEAAoE;IACpE,aAAa,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,UAAU,EAAE,mBAAmB,CAAC;IAChC;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,SAAS,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD,iDAAiD;IACjD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,4FAA4F;IAC5F,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,2CAA2C;IAC3C,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,6DAA6D;IAC7D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kEAAkE;IAClE,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC;;;;OAIG;IACH,aAAa,CAAC,EAAE,KAAK,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,KAAK,EAAE,MAAM,EAAE,CAAC;QAChB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;KACpC,CAAC,CAAC;IACH,oFAAoF;IACpF,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,oDAAoD;IACpD,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,8EAA8E;IAC9E,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,mBAAmB,CAAC;CAClC;AAED,gEAAgE;AAChE,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;AAEpE,8CAA8C;AAC9C,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,6DAA6D;IAC7D,QAAQ,EAAE,OAAO,CAAC;IAClB,gEAAgE;IAChE,MAAM,EAAE,OAAO,CAAC;IAChB,wFAAwF;IACxF,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,sBAAsB,GAC9B,YAAY,GACZ,YAAY,GACZ,MAAM,GACN,gBAAgB,GAChB,YAAY,CAAC;AAEjB,gEAAgE;AAChE,MAAM,WAAW,eAAe;IAC9B,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,IAAI,EAAE,gBAAgB,CAAC;IACvB,sDAAsD;IACtD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,kEAAkE;IAClE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,sBAAsB,CAAC;IAC9B,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kEAAkE;IAClE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,2EAA2E;AAC3E,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACrC;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,eAAe,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;AAE7F,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,MAAM,EAAE,OAAO,CAAC;IAChB,4EAA4E;IAC5E,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,kCAAkC;IAClC,KAAK,EAAE,eAAe,CAAC;IACvB,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ;IACvB,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,SAAS,EAAE,aAAa,CAAC;IACzB,uEAAuE;IACvE,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,yCAAyC;IACzC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,uDAAuD;IACvD,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,6BAA6B;IAC7B,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,kEAAkE;IAClE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8DAA8D;IAC9D,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,gFAAgF;IAChF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,4EAA4E;IAC5E,KAAK,EAAE,OAAO,CAAC;IACf,uEAAuE;IACvE,IAAI,EAAE,YAAY,GAAG,IAAI,CAAC;CAC3B;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,IAAI,EAAE,gBAAgB,CAAC;IACvB,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,sDAAsD;IACtD,QAAQ,EAAE,OAAO,CAAC;IAClB,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,kEAAkE;IAClE,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,sDAAsD;IACtD,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,mFAAmF;IACnF,cAAc,EAAE,MAAM,CAAC;IACvB,iDAAiD;IACjD,kBAAkB,EAAE,OAAO,CAAC;IAC5B,2CAA2C;IAC3C,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,OAAO,EAAE,mBAAmB,CAAC;IAC7B,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yBAAyB;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,4EAA4E;IAC5E,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,6BAA6B;IAC7B,IAAI,EAAE,QAAQ,CAAC;CAChB"}

package/dist/done-plan.js

@@ -0,0 +1,17 @@
+/**
+ * Contracts for the read-only `cleo done --plan` evidence planner.
+ *
+ * The planner derives, without executing a tool or writing a row, the
+ * evidence `cleo done` would record for each required verification gate:
+ * the implemented change set and where it came from, the tool runs and
+ * whether each already has a fresh cached result, which acceptance criteria
+ * map to evidence deterministically, and the blockers in the order an agent
+ * must clear them.
+ *
+ * Spec: `verify-streamlined-design` §3.2 and §7 step 1-2.
+ *
+ * @task T12623
+ * @task T12624
+ */
+export {};
+//# sourceMappingURL=done-plan.js.map

package/dist/done-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"done-plan.js","sourceRoot":"","sources":["../src/done-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}

package/dist/evidence-atom-schema.d.ts

@@ -45,7 +45,7 @@ import type { VerificationGate } from './task.js';
  *
  * @task T12030
  */
-export declare const EVIDENCE_ATOM_KINDS: readonly ["commit", "files", "test-run", "tool", "url", "note", "decision", "pr", "loc-drop", "callsite-coverage", "satisfies"];
+export declare const EVIDENCE_ATOM_KINDS: readonly ["commit", "files", "test-run", "tool", "url", "note", "decision", "pr", "ci", "loc-drop", "callsite-coverage", "satisfies"];
 /**
  * `commit:<sha>` atom — references a git commit by full or short SHA.
  *
@@ -147,7 +147,11 @@ export declare const decisionAtomSchema: z.ZodObject<{
  * checks task relationship and changed artifacts. Implementation also needs
  * inspected file evidence; testing and review require actual result atoms.
  *
- * Format: `pr:<positive integer>` (e.g. `pr:357`).
+ * Format: `pr:<positive integer>` (e.g. `pr:357`), or
+ * `pr:<component>@<integration>` (e.g. `pr:356@357`, T12671): component PR
+ * #356 merged into an integration branch that PR #357 landed on the default
+ * branch. The integration PR supplies the merge commit; the component PR
+ * supplies the task linkage and the changed files.
  *
  * @task T9764
  * @task T9838
@@ -155,6 +159,24 @@ export declare const decisionAtomSchema: z.ZodObject<{
 export declare const prAtomSchema: z.ZodObject<{
     kind: z.ZodLiteral<"pr">;
     prNumber: z.ZodNumber;
+    componentPrNumber: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+/**
+ * `ci:<number>` atom — the required CI checks of a merged PR, judged on the
+ * PR's actual MERGE COMMIT (never its head). Satisfies `testsPassed` and
+ * `qaPassed` only when the project opts in with `evidence.ciSatisfies`
+ * (owner decision D11149).
+ *
+ * Format: `ci:<positive integer>` (e.g. `ci:357`), or
+ * `ci:<component>@<integration>` (e.g. `ci:356@357`, T12671): the integration
+ * PR's merge-commit CI, for a task linked through its component PR.
+ *
+ * @task T12634
+ */
+export declare const ciAtomSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"ci">;
+    prNumber: z.ZodNumber;
+    componentPrNumber: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
 /**
  * `loc-drop:<fromLines>:<toLines>` atom — proves that a migrated engine shed
@@ -317,6 +339,11 @@ export declare const EvidenceAtomSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"pr">;
     prNumber: z.ZodNumber;
+    componentPrNumber: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"ci">;
+    prNumber: z.ZodNumber;
+    componentPrNumber: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"loc-drop">;
     fromLines: z.ZodNumber;
@@ -513,47 +540,5 @@ export declare class EvidenceParseError extends Error {
     readonly fix: string;
     constructor(message: string, fix: string);
 }
-/**
- * Parse the raw CLI `--evidence` string into structured atoms.
- *
- * Syntax:
- * ```
- * evidence-list := atom (';' atom)*
- * atom          := kind ':' payload
- * ```
- *
- * The payload format depends on `kind`:
- *
- *   - `files`             — comma-separated paths
- *   - `loc-drop`          — `<fromLines>:<toLines>` (two integers)
- *   - `callsite-coverage` — `<symbolName>:<relativeSourcePath>`
- *   - `pr`                — positive integer
- *   - everything else     — opaque payload string until the next `;`
- *
- * A `state:MERGED` modifier may follow a `pr:<num>` atom and is consumed
- * in-place (no separate atom is emitted) — see T9838. Any other usage of
- * `state:` is rejected.
- *
- * Whitespace surrounding the `;` separators and around `kind`/`payload` is
- * trimmed. Empty chunks are skipped (consecutive `;;` is tolerated).
- *
- * @param raw - Raw `--evidence` string.
- * @returns Parsed atoms ready for {@link validateEvidenceForGate} or for
- *   the runtime validator in `packages/core/src/tasks/evidence.ts`.
- * @throws {@link EvidenceParseError} when the input is malformed.
- *
- * @example
- * ```ts
- * parseEvidenceString('commit:abc1234;files:src/foo.ts,src/bar.ts;tool:lint');
- * // [
- * //   { kind: 'commit', sha: 'abc1234' },
- * //   { kind: 'files', paths: ['src/foo.ts', 'src/bar.ts'] },
- * //   { kind: 'tool', tool: 'lint' },
- * // ]
- * ```
- *
- * @task T10337
- * @adr ADR-051
- */
 export declare function parseEvidenceString(raw: string): EvidenceAtom[];
 //# sourceMappingURL=evidence-atom-schema.d.ts.map

package/dist/evidence-atom-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-atom-schema.d.ts","sourceRoot":"","sources":["../src/evidence-atom-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAOlD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,iIAYwB,CAAC;AAkBzD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB;;;iBAG3B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe;;;iBAG1B,CAAC;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB;;;iBAG5B,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc;;;iBAGzB,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;iBAMxB,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc;;;iBAMzB,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB;;;iBAG7B,CAAC;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY;;;iBAGvB,CAAC;AAEH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB;;;;iBAI5B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B;;;;iBAMrC,CAAC;AAMH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,aAAa,QACkD,CAAC;AAE7E;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,QAAmB,CAAC;AAE/C;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,QAAkB,CAAC;AAEvD;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,QAAgB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,mBAAmB;;;;;;iBAwB9B,CAAC;AAMH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAY7B,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,oFAAoF;AACpF,MAAM,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;AAMpD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,uBAAuB;IACtC,mEAAmE;IACnE,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAC/C,MAAM,CAAC,gBAAgB,EAAE,uBAAuB,CAAC,CAiBjD,CAAC;AAMH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,wBAAwB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG,yBAAyB,CAAC;AAEzF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAGpE;AAiCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CA0CxE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,GAC/C,wBAAwB,CAoB1B;AAED;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,mEAAmE;IACnE,SAAgB,GAAG,EAAE,MAAM,CAAC;gBAEhB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM;CAKzC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,EAAE,CA2O/D"}
+{"version":3,"file":"evidence-atom-schema.d.ts","sourceRoot":"","sources":["../src/evidence-atom-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAOlD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,uIAawB,CAAC;AAkBzD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB;;;iBAG3B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe;;;iBAG1B,CAAC;AAEH;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB;;;iBAG5B,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,cAAc;;;iBAGzB,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa;;;iBAMxB,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc;;;iBAMzB,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,kBAAkB;;;iBAG7B,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY;;;;iBAIvB,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,YAAY;;;;iBAIvB,CAAC;AAEH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB;;;;iBAI5B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B;;;;iBAMrC,CAAC;AAMH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,aAAa,QACkD,CAAC;AAE7E;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,QAAmB,CAAC;AAE/C;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,QAAkB,CAAC;AAEvD;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,QAAgB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,mBAAmB;;;;;;iBAwB9B,CAAC;AAMH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAa7B,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,oFAAoF;AACpF,MAAM,MAAM,gBAAgB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;AAMpD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,uBAAuB;IACtC,mEAAmE;IACnE,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAC/C,MAAM,CAAC,gBAAgB,EAAE,uBAAuB,CAAC,CAiBjD,CAAC;AAMH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,wBAAwB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG,yBAAyB,CAAC;AAEzF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAGpE;AAkCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CA0CxE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,GAC/C,wBAAwB,CAoB1B;AAED;;;;;;;;;GASG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,mEAAmE;IACnE,SAAgB,GAAG,EAAE,MAAM,CAAC;gBAEhB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM;CAKzC;AA2DD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,EAAE,CA4O/D"}

package/dist/evidence-atom-schema.js

@@ -57,6 +57,7 @@ export const EVIDENCE_ATOM_KINDS = [
     'note',
     'decision',
     'pr',
+    'ci',
     'loc-drop',
     'callsite-coverage',
     'satisfies',
@@ -181,7 +182,11 @@ export const decisionAtomSchema = z.object({
  * checks task relationship and changed artifacts. Implementation also needs
  * inspected file evidence; testing and review require actual result atoms.
  *
- * Format: `pr:<positive integer>` (e.g. `pr:357`).
+ * Format: `pr:<positive integer>` (e.g. `pr:357`), or
+ * `pr:<component>@<integration>` (e.g. `pr:356@357`, T12671): component PR
+ * #356 merged into an integration branch that PR #357 landed on the default
+ * branch. The integration PR supplies the merge commit; the component PR
+ * supplies the task linkage and the changed files.
  *
  * @task T9764
  * @task T9838
@@ -189,6 +194,24 @@ export const decisionAtomSchema = z.object({
 export const prAtomSchema = z.object({
     kind: z.literal('pr'),
     prNumber: z.number().int().positive('pr atom requires a positive integer PR number'),
+    componentPrNumber: z.number().int().positive().optional(),
+});
+/**
+ * `ci:<number>` atom — the required CI checks of a merged PR, judged on the
+ * PR's actual MERGE COMMIT (never its head). Satisfies `testsPassed` and
+ * `qaPassed` only when the project opts in with `evidence.ciSatisfies`
+ * (owner decision D11149).
+ *
+ * Format: `ci:<positive integer>` (e.g. `ci:357`), or
+ * `ci:<component>@<integration>` (e.g. `ci:356@357`, T12671): the integration
+ * PR's merge-commit CI, for a task linked through its component PR.
+ *
+ * @task T12634
+ */
+export const ciAtomSchema = z.object({
+    kind: z.literal('ci'),
+    prNumber: z.number().int().positive('ci atom requires a positive integer PR number'),
+    componentPrNumber: z.number().int().positive().optional(),
 });
 /**
  * `loc-drop:<fromLines>:<toLines>` atom — proves that a migrated engine shed
@@ -359,6 +382,7 @@ export const EvidenceAtomSchema = z.discriminatedUnion('kind', [
     noteAtomSchema,
     decisionAtomSchema,
     prAtomSchema,
+    ciAtomSchema,
     locDropAtomSchema,
     callsiteCoverageAtomSchema,
     satisfiesAtomSchema,
@@ -407,8 +431,8 @@ export const GATE_EVIDENCE_REQUIREMENTS = Object.freeze({
             ['pr', 'files'],
         ],
     },
-    testsPassed: { oneOf: [['test-run'], ['tool']] },
-    qaPassed: { oneOf: [['tool']] },
+    testsPassed: { oneOf: [['test-run'], ['tool'], ['ci']] },
+    qaPassed: { oneOf: [['tool'], ['ci']] },
     documented: { oneOf: [['files'], ['url']] },
     securityPassed: { oneOf: [['tool'], ['note']] },
     cleanupDone: { oneOf: [['note']] },
@@ -442,6 +466,7 @@ const ATOM_EXAMPLES = Object.freeze({
     note: 'note:<short description>',
     decision: 'decision:D-arch-001',
     pr: 'pr:357',
+    ci: 'ci:357',
     'loc-drop': 'loc-drop:<fromLines>:<toLines>',
     'callsite-coverage': 'callsite-coverage:<symbolName>:<relativeSourcePath>',
     satisfies: 'satisfies:T1234#AC2',
@@ -631,6 +656,20 @@ export class EvidenceParseError extends Error {
  * @task T10337
  * @adr ADR-051
  */
+/**
+ * `<n>` or `<component>@<integration>` (T12671), each a positive integer.
+ * The integration PR is the atom's `prNumber`.
+ */
+function parsePrReference(payload) {
+    const match = /^(\d+)(?:@(\d+))?$/.exec(payload);
+    if (!match)
+        return null;
+    const first = Number(match[1]);
+    const second = match[2] === undefined ? null : Number(match[2]);
+    if (first <= 0 || (second !== null && (second <= 0 || second === first)))
+        return null;
+    return second === null ? { prNumber: first } : { prNumber: second, componentPrNumber: first };
+}
 export function parseEvidenceString(raw) {
     if (!raw || typeof raw !== 'string') {
         throw new EvidenceParseError('Evidence string is empty', "Pass evidence like '--evidence commit:<sha>;files:<path>;...'");
@@ -687,12 +726,13 @@ export function parseEvidenceString(raw) {
                 atoms.push({ kind: 'decision', decisionId: payload });
                 break;
             }
-            case 'pr': {
-                const prNumber = Number(payload);
-                if (!Number.isInteger(prNumber) || prNumber <= 0) {
-                    throw new EvidenceParseError(`pr atom requires a positive integer PR number, got "${payload}" in "${chunk}"`, 'Use format: pr:<number> e.g. pr:357');
+            case 'pr':
+            case 'ci': {
+                const ref = parsePrReference(payload);
+                if (!ref) {
+                    throw new EvidenceParseError(`${kind} atom requires a positive integer PR number, got "${payload}" in "${chunk}"`, `Use format: ${kind}:<number> e.g. ${kind}:357, or ${kind}:<component>@<integration> e.g. ${kind}:356@357`);
                 }
-                atoms.push({ kind: 'pr', prNumber });
+                atoms.push(kind === 'pr' ? { kind: 'pr', ...ref } : { kind: 'ci', ...ref });
                 break;
             }
             case 'loc-drop': {