@cleocode/core 2026.10.6 → 2026.10.7-rc.ci.674

package/dist/tasks/qa-run-binding.js

@@ -0,0 +1,188 @@
+/**
+ * Binding a `qa-run:` receipt — a recorded native typecheck or lint run — to
+ * the change it claims to check (T13427, design note
+ * `t13427-qa-run-binding-design`, owner decision option 1).
+ *
+ * What a bound atom guarantees, exactly:
+ *  1. **Result.** The receipt states exit code 0 and zero error diagnostics.
+ *  2. **Freshness.** The same clock as `test-run:` ({@link reportFreshness}):
+ *     the run is not older than the change's commits, edits or deletions.
+ *  3. **Coverage.** Every changed code path (evidence-scoped, docs ignored)
+ *     lies under one of the receipt's `roots`; in a workspace, every package
+ *     that depends on a changed package is covered by a root at or above its
+ *     directory, since a type change breaks importers. A workspace-wide change
+ *     (a path outside every package) is refused: only a whole-project run
+ *     speaks for it.
+ *  4. **Identity.** HEAD and the tool-cache tree hash are recorded by the
+ *     validator; `cleo complete` refuses the atom once the tree moves, unless
+ *     merged CI carries the gate.
+ *
+ * With no origin default branch to diff against (no merge base), nothing is
+ * judged beyond the result: the receipt binds with no coverage check, as a
+ * `test-run:` report does there.
+ *
+ * It does NOT prove the run happened (a receipt is a file the caller
+ * supplies), and a scoped typecheck does not see unchanged files outside its
+ * roots that import a changed export. Merged CI (`ci:<pr>`) or a whole-project
+ * `tool:typecheck` speaks for the whole program.
+ *
+ * @task T13427
+ */
+import { isAbsolute } from 'node:path';
+import { isCiDocumentPath } from '../release/ci-evidence.js';
+import { deriveAffectedPackages, inPackageDir, listWorkspacePackages, } from './affected-packages.js';
+import { reportFreshness } from './test-run-binding.js';
+/** The QA checks a receipt can record: one of each satisfies `qaPassed`. */
+export const QA_RUN_KINDS = ['typecheck', 'lint'];
+/** Example shape, named in every refusal. */
+export const QA_RUN_SHAPE_HINT = '{"kind":"typecheck"|"lint","command":["tsc","--noEmit",…],"exitCode":0,' +
+    '"diagnostics":{"errors":0},"roots":["src/a"],"startTime":<epoch ms>}';
+/** A root as the binding compares it: slash-separated, no `./`, no trailing `/`; `.` is `''`. */
+function normaliseRoot(root) {
+    const slashed = root.replace(/\\/g, '/').replace(/^\.\//, '').replace(/\/+$/, '');
+    return slashed === '.' ? '' : slashed;
+}
+/**
+ * Validate a parsed receipt's shape and result.
+ *
+ * @param raw - The parsed JSON.
+ * @returns The receipt, or the refusal.
+ * @task T13427
+ */
+export function parseQaRunReceipt(raw) {
+    const invalid = (reason) => ({
+        ok: false,
+        codeName: 'E_EVIDENCE_INVALID',
+        reason: `${reason}. Expected: ${QA_RUN_SHAPE_HINT}`,
+    });
+    if (raw === null || typeof raw !== 'object' || Array.isArray(raw)) {
+        return invalid('qa-run receipt is not a JSON object');
+    }
+    const r = raw;
+    const kind = r['kind'];
+    if (kind !== 'typecheck' && kind !== 'lint') {
+        return invalid(`qa-run receipt's "kind" is ${JSON.stringify(kind)}; it must be "typecheck" or "lint"`);
+    }
+    const command = r['command'];
+    if (!Array.isArray(command) ||
+        command.length === 0 ||
+        !command.every((w) => typeof w === 'string' && w !== '')) {
+        return invalid('qa-run receipt\'s "command" must be a non-empty array of strings');
+    }
+    const exitCode = r['exitCode'];
+    if (typeof exitCode !== 'number' || !Number.isInteger(exitCode)) {
+        return invalid('qa-run receipt\'s "exitCode" must be an integer');
+    }
+    const diagnostics = r['diagnostics'];
+    const errors = diagnostics !== null && typeof diagnostics === 'object' && !Array.isArray(diagnostics)
+        ? diagnostics['errors']
+        : undefined;
+    if (typeof errors !== 'number' || !Number.isInteger(errors) || errors < 0) {
+        return invalid('qa-run receipt\'s "diagnostics.errors" must be a non-negative integer');
+    }
+    if (exitCode !== 0 || errors !== 0) {
+        return {
+            ok: false,
+            codeName: 'E_EVIDENCE_TOOL_FAILED',
+            reason: `qa-run ${kind} receipt reports exit code ${exitCode} with ${errors} error diagnostic(s); it must pass with none`,
+        };
+    }
+    const roots = r['roots'];
+    if (!Array.isArray(roots) ||
+        roots.length === 0 ||
+        !roots.every((p) => typeof p === 'string' && p.trim() !== '')) {
+        return invalid('qa-run receipt\'s "roots" must be a non-empty array of root-relative paths');
+    }
+    const outside = roots.find((p) => {
+        const n = normaliseRoot(p);
+        return isAbsolute(p) || n === '..' || n.startsWith('../');
+    });
+    if (outside !== undefined) {
+        return invalid(`qa-run receipt root ${JSON.stringify(outside)} is not relative to the project root`);
+    }
+    const startTime = r['startTime'];
+    if (startTime !== undefined && (typeof startTime !== 'number' || !Number.isFinite(startTime))) {
+        return invalid('qa-run receipt\'s "startTime" must be epoch milliseconds');
+    }
+    const tool = r['tool'];
+    const toolField = (field) => {
+        const v = tool !== null && typeof tool === 'object' && !Array.isArray(tool)
+            ? tool[field]
+            : undefined;
+        return typeof v === 'string' && v !== '' ? v : undefined;
+    };
+    const toolName = toolField('name');
+    const toolVersion = toolField('version');
+    return {
+        ok: true,
+        receipt: {
+            kind,
+            command,
+            roots: [...new Set(roots.map(normaliseRoot))].sort(),
+            ...(typeof startTime === 'number' ? { startTime } : {}),
+            ...(toolName ? { toolName } : {}),
+            ...(toolVersion ? { toolVersion } : {}),
+        },
+    };
+}
+/** Up to five items, then a count. */
+function some(items) {
+    return `${items.slice(0, 5).join(', ')}${items.length > 5 ? `, … (${items.length})` : ''}`;
+}
+/**
+ * Bind a receipt to the change it claims to check, or refuse it when it is
+ * older than the change or does not cover it (see the module doc).
+ *
+ * @param receipt - From {@link parseQaRunReceipt}.
+ * @param receiptPath - Absolute path of the receipt file.
+ * @param root - The task's checkout.
+ * @returns The refusal, or ok.
+ * @task T13427
+ */
+export function bindQaRunReceipt(receipt, receiptPath, root) {
+    const fresh = reportFreshness(receipt.startTime, receiptPath, root, 'qa-run');
+    if (!fresh.ok)
+        return fresh;
+    const refuse = (reason) => ({
+        ok: false,
+        codeName: 'E_EVIDENCE_INSUFFICIENT',
+        reason,
+    });
+    const changes = fresh.changes;
+    // A change whose every path is set aside as out of scope must not pass
+    // vacuously (as for test-run, T13135).
+    if (changes !== null && changes.paths.length === 0 && changes.excluded.length > 0) {
+        return refuse(`Every path this change touches is excluded from evidence scope (${some(changes.excluded)}), ` +
+            `so a qa-run ${receipt.kind} receipt cannot speak for it. Record tool:${receipt.kind}, or ci:<pr> once the PR merges.`);
+    }
+    const changed = changes?.paths ?? [];
+    if (!fresh.judged || changed.length === 0)
+        return { ok: true };
+    const scope = deriveAffectedPackages(root, changed);
+    if (scope.scope === 'full') {
+        return refuse(`The change is workspace-wide (${scope.reason}), so only a whole-project ${receipt.kind} ` +
+            `speaks for it. Record tool:${receipt.kind}, or ci:<pr> once the PR merges.`);
+    }
+    const covered = (path) => receipt.roots.some((r) => r === path || inPackageDir(path, r));
+    const uncovered = changed.filter((p) => !isCiDocumentPath(p) && !covered(p));
+    if (uncovered.length > 0) {
+        return refuse(`qa-run ${receipt.kind} receipt (roots ${some(receipt.roots.map((r) => r || '.'))}) does not ` +
+            `cover the changed path(s) ${some(uncovered)}. Run ${receipt.kind} over roots that hold ` +
+            `every changed file, or record tool:${receipt.kind}.`);
+    }
+    // A type change breaks importers: a dependent package must be checked too.
+    const dependents = scope.packages.filter((name) => !scope.direct.includes(name));
+    if (dependents.length > 0) {
+        const workspace = listWorkspacePackages(root);
+        const unchecked = dependents.filter((name) => {
+            const dir = workspace.find((p) => p.name === name)?.dir;
+            return dir === undefined || !covered(dir);
+        });
+        if (unchecked.length > 0) {
+            return refuse(`qa-run ${receipt.kind} receipt does not cover package(s) ${some(unchecked)}, which depend ` +
+                `on a changed package. Add their directories to the run's roots, or record tool:${receipt.kind}.`);
+        }
+    }
+    return { ok: true };
+}
+//# sourceMappingURL=qa-run-binding.js.map

package/dist/tasks/qa-run-binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"qa-run-binding.js","sourceRoot":"","sources":["../../src/tasks/qa-run-binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EACL,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,WAAW,EAAE,MAAM,CAAU,CAAC;AA8B3D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,iBAAiB,GAC5B,yEAAyE;IACzE,sEAAsE,CAAC;AAEzE,iGAAiG;AACjG,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClF,OAAO,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AACxC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAY;IAC5C,MAAM,OAAO,GAAG,CAAC,MAAc,EAAc,EAAE,CAAC,CAAC;QAC/C,EAAE,EAAE,KAAK;QACT,QAAQ,EAAE,oBAAoB;QAC9B,MAAM,EAAE,GAAG,MAAM,eAAe,iBAAiB,EAAE;KACpD,CAAC,CAAC;IACH,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,OAAO,CAAC,qCAAqC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5C,OAAO,OAAO,CACZ,8BAA8B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oCAAoC,CACvF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7B,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,EACrE,CAAC;QACD,OAAO,OAAO,CAAC,kEAAkE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IAC/B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC,iDAAiD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IACrC,MAAM,MAAM,GACV,WAAW,KAAK,IAAI,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QACpF,CAAC,CAAE,WAAuC,CAAC,QAAQ,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1E,OAAO,OAAO,CAAC,uEAAuE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,wBAAwB;YAClC,MAAM,EAAE,UAAU,IAAI,8BAA8B,QAAQ,SAAS,MAAM,8CAA8C;SAC1H,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IACzB,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAC1E,CAAC;QACD,OAAO,OAAO,CAAC,4EAA4E,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CACZ,uBAAuB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,sCAAsC,CACrF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACjC,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAC9F,OAAO,OAAO,CAAC,0DAA0D,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,MAAM,SAAS,GAAG,CAAC,KAAa,EAAsB,EAAE;QACtD,MAAM,CAAC,GACL,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAC/D,CAAC,CAAE,IAAgC,CAAC,KAAK,CAAC;YAC1C,CAAC,CAAC,SAAS,CAAC;QAChB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE;YACP,IAAI;YACJ,OAAO;YACP,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACpD,GAAG,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC;KACF,CAAC;AACJ,CAAC;AAWD,sCAAsC;AACtC,SAAS,IAAI,CAAC,KAAwB;IACpC,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC7F,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAqB,EACrB,WAAmB,EACnB,IAAY;IAEZ,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9E,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,MAAc,EAAgB,EAAE,CAAC,CAAC;QAChD,EAAE,EAAE,KAAK;QACT,QAAQ,EAAE,yBAAyB;QACnC,MAAM;KACP,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,uEAAuE;IACvE,uCAAuC;IACvC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClF,OAAO,MAAM,CACX,mEAAmE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK;YAC5F,eAAe,OAAO,CAAC,IAAI,6CAA6C,OAAO,CAAC,IAAI,kCAAkC,CACzH,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,MAAM,CACX,iCAAiC,KAAK,CAAC,MAAM,8BAA8B,OAAO,CAAC,IAAI,GAAG;YACxF,8BAA8B,OAAO,CAAC,IAAI,kCAAkC,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE,CACxC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CACX,UAAU,OAAO,CAAC,IAAI,mBAAmB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,aAAa;YAC5F,6BAA6B,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,CAAC,IAAI,wBAAwB;YACzF,sCAAsC,OAAO,CAAC,IAAI,GAAG,CACxD,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;YAC3C,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC;YACxD,OAAO,GAAG,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,MAAM,CACX,UAAU,OAAO,CAAC,IAAI,sCAAsC,IAAI,CAAC,SAAS,CAAC,iBAAiB;gBAC1F,kFAAkF,OAAO,CAAC,IAAI,GAAG,CACpG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}

package/dist/tasks/req.d.ts

@@ -78,6 +78,56 @@ export declare function reqAdd(projectRoot: string, taskId: string, gate: Accept
         acceptance: AcceptanceItem[];
     };
 }>;
+/** Result of {@link reqReplace}. */
+export interface ReqReplaceResult {
+    /** The task and its committed acceptance array. */
+    task: {
+        id: string;
+        acceptance: AcceptanceItem[];
+    };
+    /** The replaced REQ-ID. */
+    req: string;
+    /** Zero-based index of the gate in the acceptance array (unchanged). */
+    index: number;
+    /** The gate that was superseded, kept in the AC history and the audit row. */
+    superseded: AcceptanceGate;
+    /** False when the new gate equals the current one (nothing was written). */
+    changed: boolean;
+}
+/**
+ * Replace the typed gate that carries `req` with `gate`, in place (T12988).
+ *
+ * @remarks
+ * The gate keeps its index, its AC row (id and ordinal: a REQ-ID row's id
+ * derives from the REQ-ID, `evidenceBoundSourceKey`) and therefore its
+ * evidence bindings, which go stale rather than being re-pointed: typed results
+ * and criterion links are pinned to the criterion text hash, so the replaced
+ * gate must be verified again. The superseded gate is kept as an AC history row
+ * (reason `replace`) and in the task audit row, with its last typed result. In
+ * a locked pipeline stage the change needs `reason`, exactly as `cleo update
+ * --acceptance` does.
+ *
+ * @param projectRoot - Absolute path to the project root.
+ * @param taskId - Target task ID.
+ * @param req - REQ-ID of the gate to replace.
+ * @param gate - The new gate. Its `req` must be absent or equal `req`.
+ * @param options - `reason` for a locked stage; `accessor` for tests.
+ * @returns The committed acceptance array and the superseded gate.
+ * @throws CleoError E_NOT_FOUND for an unknown task or REQ-ID, E_VALIDATION for
+ *   an invalid gate or a REQ-ID mismatch, AC_LOCKED in a locked stage without `reason`.
+ * @example
+ * ```typescript
+ * await reqReplace(root, 'T42', 'TIMER-01', {
+ *   kind: 'test', command: 'pnpm', args: ['--filter', 'app', 'exec', 'vitest', 'run'],
+ *   expect: 'pass', description: 'Timer tests pass', req: 'TIMER-01',
+ * });
+ * ```
+ * @task T12988
+ */
+export declare function reqReplace(projectRoot: string, taskId: string, req: string, gate: AcceptanceGate, options?: {
+    reason?: string;
+    accessor?: DataAccessor;
+}): Promise<ReqReplaceResult>;
 /**
  * List all REQ-ID–addressed acceptance gates on a task.
  *

package/dist/tasks/req.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"req.d.ts","sourceRoot":"","sources":["../../src/tasks/req.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAuB,MAAM,qBAAqB,CAAC;AAI/F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAa9D,mCAAmC;AACnC,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,8BAA8B;IAC9B,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IAC7B,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,qBAAqB;IACrB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,yCAAyC;AACzC,MAAM,WAAW,iBAAiB;IAChC,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,mDAAmD;IACnD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,uFAAuF;IACvF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;CACjB;AAkHD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAsB,MAAM,CAC1B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,cAAc,EACpB,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,cAAc,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC,CA6BjE;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,OAAO,CAC3B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC,CAsBpD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,UAAU,CAC9B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAsD/D;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAWzD"}
+{"version":3,"file":"req.d.ts","sourceRoot":"","sources":["../../src/tasks/req.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAuB,MAAM,qBAAqB,CAAC;AAI/F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAc9D,mCAAmC;AACnC,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC;IACZ,8BAA8B;IAC9B,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IAC7B,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,qBAAqB;IACrB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,yCAAyC;AACzC,MAAM,WAAW,iBAAiB;IAChC,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,mDAAmD;IACnD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,uFAAuF;IACvF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;CACjB;AAkHD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAsB,MAAM,CAC1B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,cAAc,EACpB,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,cAAc,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC,CA6BjE;AAED,oCAAoC;AACpC,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC;IACnD,2BAA2B;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,UAAU,EAAE,cAAc,CAAC;IAC3B,4EAA4E;IAC5E,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAsB,UAAU,CAC9B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,cAAc,EACpB,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;CAAO,GACzD,OAAO,CAAC,gBAAgB,CAAC,CA0E3B;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,OAAO,CAC3B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC,CAsBpD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,UAAU,CAC9B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,QAAQ,CAAC,EAAE,YAAY,GACtB,OAAO,CAAC;IAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAsD/D;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAWzD"}

package/dist/tasks/req.js

@@ -13,7 +13,8 @@ import { acceptanceGateSchema } from '@cleocode/contracts/acceptance-gate-schema
 import { ExitCode } from '@cleocode/contracts/exit-codes.js';
 import { CleoError } from '../errors.js';
 import { getTaskAccessor } from '../store/data-accessor.js';
-import { applyAcPlan, planAcUpdate } from './ac-table.js';
+import { enforceAcceptanceImmutability } from './ac-immutability.js';
+import { acItemToText, applyAcPlan, planAcUpdate, replaceAcRowPlan } from './ac-table.js';
 // ─── Heuristic regex patterns ─────────────────────────────────────────────────
 const RE_TEST = /\b(tests?\s+pass(es)?|npm\s+test|pnpm\s+test|yarn\s+test)\b/i;
 const RE_FILE_EXISTS = /^(?:file\s+(?:at\s+)?([^\s]+)|([^\s]+)\s+exists?)$/i;
@@ -165,6 +166,103 @@ export async function reqAdd(projectRoot, taskId, gate, accessor) {
         return { task: { id: taskId, acceptance: updated } };
     });
 }
+/**
+ * Replace the typed gate that carries `req` with `gate`, in place (T12988).
+ *
+ * @remarks
+ * The gate keeps its index, its AC row (id and ordinal: a REQ-ID row's id
+ * derives from the REQ-ID, `evidenceBoundSourceKey`) and therefore its
+ * evidence bindings, which go stale rather than being re-pointed: typed results
+ * and criterion links are pinned to the criterion text hash, so the replaced
+ * gate must be verified again. The superseded gate is kept as an AC history row
+ * (reason `replace`) and in the task audit row, with its last typed result. In
+ * a locked pipeline stage the change needs `reason`, exactly as `cleo update
+ * --acceptance` does.
+ *
+ * @param projectRoot - Absolute path to the project root.
+ * @param taskId - Target task ID.
+ * @param req - REQ-ID of the gate to replace.
+ * @param gate - The new gate. Its `req` must be absent or equal `req`.
+ * @param options - `reason` for a locked stage; `accessor` for tests.
+ * @returns The committed acceptance array and the superseded gate.
+ * @throws CleoError E_NOT_FOUND for an unknown task or REQ-ID, E_VALIDATION for
+ *   an invalid gate or a REQ-ID mismatch, AC_LOCKED in a locked stage without `reason`.
+ * @example
+ * ```typescript
+ * await reqReplace(root, 'T42', 'TIMER-01', {
+ *   kind: 'test', command: 'pnpm', args: ['--filter', 'app', 'exec', 'vitest', 'run'],
+ *   expect: 'pass', description: 'Timer tests pass', req: 'TIMER-01',
+ * });
+ * ```
+ * @task T12988
+ */
+export async function reqReplace(projectRoot, taskId, req, gate, options = {}) {
+    const reqId = req.trim();
+    if (gate.req !== undefined && gate.req !== reqId) {
+        // @sync-invariant none:input-shape a gate naming another REQ-ID is refused before any read; nothing is written
+        throw new CleoError(ExitCode.VALIDATION_ERROR, `Gate JSON names REQ-ID "${gate.req}", but it replaces "${reqId}"`, { fix: `Set "req":"${reqId}" in the gate JSON, or omit it` });
+    }
+    const validated = validateGate({ ...gate, req: reqId });
+    const acc = options.accessor ?? (await getTaskAccessor(projectRoot));
+    return acc.transaction(async (tx) => {
+        const task = await loadTask(acc, taskId);
+        const existing = (task.acceptance ?? []);
+        const index = existing.findIndex((item) => typeof item === 'object' && item.req === reqId);
+        if (index < 0) {
+            const known = existing.flatMap((item) => typeof item === 'object' && item.req ? [item.req] : []);
+            // @sync-invariant none:input-shape an unknown REQ-ID is refused before any write; nothing is written
+            throw new CleoError(ExitCode.NOT_FOUND, `REQ-ID "${reqId}" is not a gate on task ${taskId}`, {
+                fix: known.length
+                    ? `REQ-IDs on ${taskId}: ${known.join(', ')} (cleo req list ${taskId})`
+                    : `${taskId} has no REQ-ID gates; add one with cleo req add ${taskId} --gate '<json>'`,
+            });
+        }
+        const superseded = existing[index];
+        if (acItemToText(superseded) === acItemToText(validated)) {
+            return {
+                task: { id: taskId, acceptance: existing },
+                req: reqId,
+                index,
+                superseded,
+                changed: false,
+            };
+        }
+        const updated = existing.map((item, i) => (i === index ? validated : item));
+        // Same guard as `cleo update --acceptance`: a locked stage needs a reason.
+        const authorization = enforceAcceptanceImmutability({
+            task,
+            newAcceptance: updated,
+            reason: options.reason,
+            projectRoot,
+        });
+        const now = new Date().toISOString();
+        await tx.updateTaskFields(taskId, { acceptanceJson: JSON.stringify(updated), updatedAt: now });
+        const rows = await tx.getAcRows(taskId);
+        await applyAcPlan(tx, taskId, replaceAcRowPlan(taskId, rows, index, validated));
+        const lastResult = task.verification?.gateResults?.find((r) => r.index === index);
+        await tx.appendLog({
+            timestamp: now,
+            action: 'req_replaced',
+            taskId,
+            actor: process.env['CLEO_AGENT_ID'] ?? 'cleo',
+            details: {
+                req: reqId,
+                index,
+                ...(options.reason?.trim() ? { reason: options.reason.trim() } : {}),
+                ...(authorization ? { acceptanceOverride: { ...authorization, status: 'committed' } } : {}),
+            },
+            before: { gate: superseded, ...(lastResult ? { lastResult } : {}) },
+            after: { gate: validated },
+        });
+        return {
+            task: { id: taskId, acceptance: updated },
+            req: reqId,
+            index,
+            superseded,
+            changed: true,
+        };
+    });
+}
 /**
  * List all REQ-ID–addressed acceptance gates on a task.
  *

package/dist/tasks/req.js.map

@@ -1 +1 @@
-{"version":3,"file":"req.js","sourceRoot":"","sources":["../../src/tasks/req.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,+CAA+C,CAAC;AACrF,OAAO,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE1D,iFAAiF;AAEjF,MAAM,OAAO,GAAG,8DAA8D,CAAC;AAC/E,MAAM,cAAc,GAAG,qDAAqD,CAAC;AAC7E,MAAM,OAAO,GAAG,yDAAyD,CAAC;AAC1E,MAAM,YAAY,GAAG,wEAAwE,CAAC;AAwC9F,iFAAiF;AAEjF,KAAK,UAAU,QAAQ,CAAC,QAAsB,EAAE,MAAc;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,MAAM,EAAE,EAAE;YACnE,GAAG,EAAE,mBAAmB,MAAM,0BAA0B;SACzD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,EAAuB,EACvB,MAAc,EACd,UAAqC,EACrC,SAAiB;IAEjB,MAAM,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE;QAChC,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;QAC1C,SAAS;KACV,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAEtB,YAAY;IACZ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;YACpC,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;gBACvB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;oBACvB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,WAAW,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO;YACP,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,CAAC;YACd,GAAG,EAAE,KAAK;SACX,CAAC;IACJ,CAAC;IAED,cAAc;IACd,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,IAAI,EAAE,CAAC;YACT,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI;gBACJ,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAChC,WAAW,EAAE,CAAC;gBACd,GAAG,EAAE,KAAK;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,GAAmD,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC5E,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;gBAClB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;oBACf,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,OAAO,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,MAAM,EAAE,OAAO;YACf,WAAW,EAAE,CAAC;YACd,GAAG,EAAE,KAAK;SACX,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,GAAG,EAAE,CAAC;YACR,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,GAAG;gBACH,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,CAAC;gBACd,GAAG,EAAE,KAAK;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC;QACT,WAAW,EAAE,CAAC;QACd,GAAG,EAAE,KAAK;KACX,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,WAAmB,EACnB,MAAc,EACd,IAAoB,EACpB,QAAuB;IAEvB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEzC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;QAE7D,0BAA0B;QAC1B,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CACvB,CAAC,IAAI,EAA0B,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,CACzF,CAAC;YACF,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,IAAI,SAAS,CACjB,QAAQ,CAAC,gBAAgB,EACzB,WAAW,SAAS,CAAC,GAAG,4BAA4B,MAAM,EAAE,EAC5D;oBACE,GAAG,EAAE,0EAA0E,MAAM,GAAG;iBACzF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAqB,CAAC,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3D,MAAM,2BAA2B,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAEjF,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,WAAmB,EACnB,MAAc,EACd,QAAuB;IAEvB,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAEzC,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;IAC/D,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAK,IAAuB,CAAC,GAAG,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,IAAI,CAAC,GAAI;gBACd,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,WAAmB,EACnB,MAAc,EACd,KAAc,EACd,QAAuB;IAEvB,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,KAAK,EAAE,EAAwB,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEzC,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;QAC/D,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACvF,CAAC;QAEF,iCAAiC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,SAAS,CAAC,sBAAsB;YAE9D,IAAI,KAAa,CAAC;YAClB,GAAG,CAAC;gBACF,KAAK,GAAG,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC3D,CAAC,QAAQ,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACtC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAE5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9D,SAAS,CAAC,IAAI,CAAC;gBACb,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,IAAI;gBACd,QAAQ;gBACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;gBAC9B,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;aAC3C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,OAAO,EAAE,SAAS,EAAE,CAAC;QACvB,CAAC;QAED,2DAA2D;QAC3D,4DAA4D;QAC5D,MAAM,OAAO,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,QAAQ,EAAE,QAAQ;gBAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QAEH,MAAM,2BAA2B,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAEjF,OAAO;YACL,SAAS;YACT,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM;SAC7D,CAAC;IACJ,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,mCAAmC,GAAG,EAAE,EAAE;YACvF,GAAG,EAAE,uIAAuI;SAC7I,CAAC,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,IAAoB;IACxC,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,MAAM,IAAI,SAAS,CACjB,QAAQ,CAAC,gBAAgB,EACzB,uCAAuC,MAAM,EAAE,EAC/C;YACE,GAAG,EAAE,mFAAmF;SACzF,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,kCAAkC,EAAE;YACjF,GAAG,EAAE,gHAAgH;SACtH,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"req.js","sourceRoot":"","sources":["../../src/tasks/req.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,+CAA+C,CAAC;AACrF,OAAO,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAE1F,iFAAiF;AAEjF,MAAM,OAAO,GAAG,8DAA8D,CAAC;AAC/E,MAAM,cAAc,GAAG,qDAAqD,CAAC;AAC7E,MAAM,OAAO,GAAG,yDAAyD,CAAC;AAC1E,MAAM,YAAY,GAAG,wEAAwE,CAAC;AAwC9F,iFAAiF;AAEjF,KAAK,UAAU,QAAQ,CAAC,QAAsB,EAAE,MAAc;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,MAAM,EAAE,EAAE;YACnE,GAAG,EAAE,mBAAmB,MAAM,0BAA0B;SACzD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,EAAuB,EACvB,MAAc,EACd,UAAqC,EACrC,SAAiB;IAEjB,MAAM,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE;QAChC,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;QAC1C,SAAS;KACV,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAEtB,YAAY;IACZ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;YACpC,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;gBACvB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;oBACvB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,WAAW,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO;YACP,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,CAAC;YACd,GAAG,EAAE,KAAK;SACX,CAAC;IACJ,CAAC;IAED,cAAc;IACd,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC1C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,IAAI,EAAE,CAAC;YACT,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI;gBACJ,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAChC,WAAW,EAAE,CAAC;gBACd,GAAG,EAAE,KAAK;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,GAAmD,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC5E,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;gBAClB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;oBACf,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,OAAO,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,MAAM,EAAE,OAAO;YACf,WAAW,EAAE,CAAC;YACd,GAAG,EAAE,KAAK;SACX,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,GAAG,EAAE,CAAC;YACR,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,GAAG;gBACH,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,CAAC;gBACd,GAAG,EAAE,KAAK;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC;QACT,WAAW,EAAE,CAAC;QACd,GAAG,EAAE,KAAK;KACX,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,WAAmB,EACnB,MAAc,EACd,IAAoB,EACpB,QAAuB;IAEvB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEzC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;QAE7D,0BAA0B;QAC1B,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CACvB,CAAC,IAAI,EAA0B,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,CACzF,CAAC;YACF,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,IAAI,SAAS,CACjB,QAAQ,CAAC,gBAAgB,EACzB,WAAW,SAAS,CAAC,GAAG,4BAA4B,MAAM,EAAE,EAC5D;oBACE,GAAG,EAAE,0EAA0E,MAAM,GAAG;iBACzF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAqB,CAAC,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3D,MAAM,2BAA2B,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAEjF,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC;AAgBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,WAAmB,EACnB,MAAc,EACd,GAAW,EACX,IAAoB,EACpB,UAAwD,EAAE;IAE1D,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;QACjD,+GAA+G;QAC/G,MAAM,IAAI,SAAS,CACjB,QAAQ,CAAC,gBAAgB,EACzB,2BAA2B,IAAI,CAAC,GAAG,uBAAuB,KAAK,GAAG,EAClE,EAAE,GAAG,EAAE,cAAc,KAAK,gCAAgC,EAAE,CAC7D,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IACrE,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAC9B,CAAC,IAAI,EAA0B,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,KAAK,CACjF,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACtC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CAAC;YACF,qGAAqG;YACrG,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,KAAK,2BAA2B,MAAM,EAAE,EAAE;gBAC3F,GAAG,EAAE,KAAK,CAAC,MAAM;oBACf,CAAC,CAAC,cAAc,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,MAAM,GAAG;oBACvE,CAAC,CAAC,GAAG,MAAM,mDAAmD,MAAM,kBAAkB;aACzF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAmB,CAAC;QACrD,IAAI,YAAY,CAAC,UAAU,CAAC,KAAK,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;YACzD,OAAO;gBACL,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAC1C,GAAG,EAAE,KAAK;gBACV,KAAK;gBACL,UAAU;gBACV,OAAO,EAAE,KAAK;aACf,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAqB,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9F,2EAA2E;QAC3E,MAAM,aAAa,GAAG,6BAA6B,CAAC;YAClD,IAAI;YACJ,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW;SACZ,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;QAClF,MAAM,EAAE,CAAC,SAAS,CAAC;YACjB,SAAS,EAAE,GAAG;YACd,MAAM,EAAE,cAAc;YACtB,MAAM;YACN,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,MAAM;YAC7C,OAAO,EAAE;gBACP,GAAG,EAAE,KAAK;gBACV,KAAK;gBACL,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,GAAG,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5F;YACD,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACnE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC3B,CAAC,CAAC;QACH,OAAO;YACL,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE;YACzC,GAAG,EAAE,KAAK;YACV,KAAK;YACL,UAAU;YACV,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,WAAmB,EACnB,MAAc,EACd,QAAuB;IAEvB,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAEzC,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;IAC/D,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAK,IAAuB,CAAC,GAAG,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,IAAI,CAAC,GAAI;gBACd,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,WAAmB,EACnB,MAAc,EACd,KAAc,EACd,QAAuB;IAEvB,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,MAAM,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,KAAK,EAAE,EAAwB,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEzC,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAqB,CAAC;QAC/D,MAAM,SAAS,GAAwB,EAAE,CAAC;QAC1C,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACvF,CAAC;QAEF,iCAAiC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,SAAS,CAAC,sBAAsB;YAE9D,IAAI,KAAa,CAAC;YAClB,GAAG,CAAC;gBACF,KAAK,GAAG,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC3D,CAAC,QAAQ,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACtC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAE5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9D,SAAS,CAAC,IAAI,CAAC;gBACb,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,IAAI;gBACd,QAAQ;gBACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;gBAC9B,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;aAC3C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,OAAO,EAAE,SAAS,EAAE,CAAC;QACvB,CAAC;QAED,2DAA2D;QAC3D,4DAA4D;QAC5D,MAAM,OAAO,GAAqB,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,QAAQ,EAAE,QAAQ;gBAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QAEH,MAAM,2BAA2B,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAEjF,OAAO;YACL,SAAS;YACT,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,MAAM;SAC7D,CAAC;IACJ,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,mCAAmC,GAAG,EAAE,EAAE;YACvF,GAAG,EAAE,uIAAuI;SAC7I,CAAC,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,IAAoB;IACxC,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,MAAM,IAAI,SAAS,CACjB,QAAQ,CAAC,gBAAgB,EACzB,uCAAuC,MAAM,EAAE,EAC/C;YACE,GAAG,EAAE,mFAAmF;SACzF,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,kCAAkC,EAAE;YACjF,GAAG,EAAE,gHAAgH;SACtH,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

package/dist/tasks/test-run-binding.d.ts

@@ -56,6 +56,7 @@
  *
  * @task T12965
  */
+import { type ScopedChangedPaths } from './affected-packages.js';
 /** The parts of a vitest (or jest) JSON report the binding reads. */
 export interface TestRunReport {
     /** Epoch milliseconds the run started. */
@@ -115,6 +116,34 @@ export type TestRunBinding = {
     /** Affected packages with no test file, which no report could cover (sorted). */
     untestedPackages: string[];
 };
+/** What the freshness check of a report or receipt decided. */
+export type ReportFreshness = {
+    /** Older than the change. */
+    ok: false;
+    codeName: 'E_EVIDENCE_STALE';
+    reason: string;
+} | {
+    ok: true;
+    /** False when the report has no run time at all, so nothing is judged. */
+    judged: boolean;
+    /** The change's scoped paths, or null outside git / with no origin. */
+    changes: ScopedChangedPaths | null;
+};
+/**
+ * Whether a report (or receipt) ran after every part of the change it claims
+ * to speak for — point 1 of the module doc, shared by `test-run:` and
+ * `qa-run:` (T13427).
+ *
+ * @param startTime - The run's own start time (epoch ms), if it states one;
+ *   else the file's mtime is the run time.
+ * @param reportPath - Absolute path of the report file.
+ * @param root - The task's checkout.
+ * @param atom - The atom kind, named in the remedy.
+ * @returns The stale refusal, or the change's scoped paths for the relevance check.
+ * @task T12965
+ * @task T13427
+ */
+export declare function reportFreshness(startTime: unknown, reportPath: string, root: string, atom: 'test-run' | 'qa-run'): ReportFreshness;
 /**
  * Bind a report to the change it claims to test, or refuse it when it is
  * older than the change or does not cover it (see the module doc for exactly

package/dist/tasks/test-run-binding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test-run-binding.d.ts","sourceRoot":"","sources":["../../src/tasks/test-run-binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAeH,qEAAqE;AACrE,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,KAAK,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,gBAAgB,CAAC,EAAE,KAAK,CAAC;YAAE,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KAC/C,CAAC,CAAC;CACJ;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAc/C;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAe9E;AA6LD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAKnF;AAsCD,qCAAqC;AACrC,MAAM,MAAM,cAAc,GACtB;IACE,6BAA6B;IAC7B,EAAE,EAAE,KAAK,CAAC;IACV,wEAAwE;IACxE,QAAQ,EAAE,kBAAkB,GAAG,yBAAyB,CAAC;IACzD,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,+BAA+B;IAC/B,EAAE,EAAE,IAAI,CAAC;IACT,iFAAiF;IACjF,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEN;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,cAAc,CAyHhB"}
+{"version":3,"file":"test-run-binding.d.ts","sourceRoot":"","sources":["../../src/tasks/test-run-binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAMH,OAAO,EAKL,KAAK,kBAAkB,EAGxB,MAAM,wBAAwB,CAAC;AAEhC,qEAAqE;AACrE,MAAM,WAAW,aAAa;IAC5B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,KAAK,CAAC;QAClB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,gBAAgB,CAAC,EAAE,KAAK,CAAC;YAAE,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KAC/C,CAAC,CAAC;CACJ;AAED;;;GAGG;AACH,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAc/C;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAe9E;AA6LD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAKnF;AAsCD,qCAAqC;AACrC,MAAM,MAAM,cAAc,GACtB;IACE,6BAA6B;IAC7B,EAAE,EAAE,KAAK,CAAC;IACV,wEAAwE;IACxE,QAAQ,EAAE,kBAAkB,GAAG,yBAAyB,CAAC;IACzD,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,+BAA+B;IAC/B,EAAE,EAAE,IAAI,CAAC;IACT,iFAAiF;IACjF,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEN,+DAA+D;AAC/D,MAAM,MAAM,eAAe,GACvB;IACE,6BAA6B;IAC7B,EAAE,EAAE,KAAK,CAAC;IACV,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,EAAE,EAAE,IAAI,CAAC;IACT,0EAA0E;IAC1E,MAAM,EAAE,OAAO,CAAC;IAChB,uEAAuE;IACvE,OAAO,EAAE,kBAAkB,GAAG,IAAI,CAAC;CACpC,CAAC;AAEN;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,OAAO,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,UAAU,GAAG,QAAQ,GAC1B,eAAe,CAuDjB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,aAAa,EACrB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,cAAc,CA0EhB"}

package/dist/tasks/test-run-binding.js

@@ -297,23 +297,23 @@ function someNames(names) {
     return `${names.slice(0, 5).join(', ')}${names.length > 5 ? `, … (${names.length} packages)` : ''}`;
 }
 /**
- * Bind a report to the change it claims to test, or refuse it when it is
- * older than the change or does not cover it (see the module doc for exactly
- * what this guarantees).
+ * Whether a report (or receipt) ran after every part of the change it claims
+ * to speak for — point 1 of the module doc, shared by `test-run:` and
+ * `qa-run:` (T13427).
  *
- * @param report - Parsed report.
+ * @param startTime - The run's own start time (epoch ms), if it states one;
+ *   else the file's mtime is the run time.
  * @param reportPath - Absolute path of the report file.
- * @param root - The task's checkout (a git checkout, or not).
- * @param testFiles - {@link coveredTestFiles} of the report.
- * @returns The refusal, or the binding with the affected packages left untested.
+ * @param root - The task's checkout.
+ * @param atom - The atom kind, named in the remedy.
+ * @returns The stale refusal, or the change's scoped paths for the relevance check.
  * @task T12965
+ * @task T13427
  */
-export function bindTestRunReport(report, reportPath, root, testFiles) {
-    const ranAt = typeof report.startTime === 'number' && Number.isFinite(report.startTime)
-        ? report.startTime
-        : mtimeOf(reportPath);
+export function reportFreshness(startTime, reportPath, root, atom) {
+    const ranAt = typeof startTime === 'number' && Number.isFinite(startTime) ? startTime : mtimeOf(reportPath);
     if (ranAt === null)
-        return { ok: true, untestedPackages: [] };
+        return { ok: true, judged: false, changes: null };
     const clock = {
         ranAt,
         after: (at) => at > ranAt + MTIME_SLACK_MS,
@@ -325,29 +325,53 @@ export function bindTestRunReport(report, reportPath, root, testFiles) {
         codeName: 'E_EVIDENCE_STALE',
         reason,
     });
-    const refuse = (reason) => ({
-        ok: false,
-        codeName: 'E_EVIDENCE_INSUFFICIENT',
-        reason,
-    });
+    const rerun = atom === 'test-run'
+        ? RERUN
+        : 'Re-run the check and record the fresh receipt (write receipts to a gitignored path or outside the checkout).';
     const commit = newestChangeCommit(root);
     if (commit !== null && clock.after(commit.at)) {
         const unseen = committedAfterRunUnseen(root, clock);
         if (unseen !== null) {
-            return stale(staleRefusal(ranAt, `commit ${commit.sha.slice(0, 12)} of the change was made`, commit.at, `It may hold content the run did not see: ${unseen}. Bind test-run before committing ` +
-                '(cleo verify right after the run), or re-run the tests and record the fresh report.'));
+            return stale(staleRefusal(ranAt, `commit ${commit.sha.slice(0, 12)} of the change was made`, commit.at, `It may hold content the run did not see: ${unseen}. Bind ${atom} before committing ` +
+                `(cleo verify right after the run), or ${atom === 'test-run' ? 're-run the tests and record the fresh report' : 're-run the check and record the fresh receipt'}.`));
         }
     }
     const changes = scopedChangedPaths(root);
-    const changed = changes?.paths ?? null;
-    const newest = newestModified(root, (changed ?? dirtyTracked(root)).filter((p) => p !== clock.reportRel));
+    const newest = newestModified(root, (changes?.paths ?? dirtyTracked(root)).filter((p) => p !== clock.reportRel));
     if (newest !== null && clock.after(newest.at)) {
-        return stale(staleRefusal(ranAt, `${newest.path} was modified`, newest.at, RERUN));
+        return stale(staleRefusal(ranAt, `${newest.path} was modified`, newest.at, rerun));
     }
     const removed = deletedAfterRun(root, 'HEAD', clock);
     if (removed) {
-        return stale(staleRefusal(ranAt, `${removed.path} was deleted or moved (its directory changed)`, removed.at, RERUN));
+        return stale(staleRefusal(ranAt, `${removed.path} was deleted or moved (its directory changed)`, removed.at, rerun));
     }
+    return { ok: true, judged: true, changes };
+}
+/**
+ * Bind a report to the change it claims to test, or refuse it when it is
+ * older than the change or does not cover it (see the module doc for exactly
+ * what this guarantees).
+ *
+ * @param report - Parsed report.
+ * @param reportPath - Absolute path of the report file.
+ * @param root - The task's checkout (a git checkout, or not).
+ * @param testFiles - {@link coveredTestFiles} of the report.
+ * @returns The refusal, or the binding with the affected packages left untested.
+ * @task T12965
+ */
+export function bindTestRunReport(report, reportPath, root, testFiles) {
+    const fresh = reportFreshness(report.startTime, reportPath, root, 'test-run');
+    if (!fresh.ok)
+        return fresh;
+    if (!fresh.judged)
+        return { ok: true, untestedPackages: [] };
+    const changes = fresh.changes;
+    const changed = changes?.paths ?? null;
+    const refuse = (reason) => ({
+        ok: false,
+        codeName: 'E_EVIDENCE_INSUFFICIENT',
+        reason,
+    });
     // T13135: a change whose every path was set aside as out of scope has
     // nothing a targeted report can speak for; it must not pass vacuously.
     if (changes !== null && changes.paths.length === 0 && changes.excluded.length > 0) {