@telora/daemon 0.22.97 → 0.22.131

package/dist/verify/verification-rework-messages.js

@@ -0,0 +1,52 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/verification-feedback.test.ts
+// PINNED-BY-END
+import { buildGateVerdictLines, HELD_BY_SHORTFALL } from '../prompt-sections/gate-verdict-section.js';
+/** The verdict block followed by a blank line, or nothing when there is no verdict. */
+function verdictBlock(lines) {
+    return lines.length > 0 ? [...lines, ''] : [];
+}
+/** Build the failure message injected into a live team session. Pure -- exported for testing. */
+export function buildFailureInjectMessage(deliveryName, detail) {
+    const lines = [
+        `VERIFICATION FAILED for delivery "${deliveryName}".`,
+        '',
+        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict)),
+        detail.exitCode != null ? `Exit code: ${detail.exitCode}` : 'Exit code: (unknown)',
+        detail.logPath ? `Full log: ${detail.logPath}` : 'Full log: (not captured)',
+    ];
+    if (detail.failingTests.length > 0) {
+        lines.push('', `Failing tests (${detail.failingTests.length}):`);
+        for (const t of detail.failingTests.slice(0, 50))
+            lines.push(`- ${t}`);
+        if (detail.failingTests.length > 50) {
+            lines.push(`- ... and ${detail.failingTests.length - 50} more (see full log)`);
+        }
+    }
+    else {
+        lines.push('', 'Failing tests could not be parsed from the run output -- read the full log.');
+    }
+    lines.push('', 'Fix the failing tests for the files you changed, then commit. The daemon re-verifies ' +
+        'at the coding -> verify edge -- do NOT run the whole-repo suite yourself.');
+    return lines.join('\n');
+}
+/** Build the message injected into a live team for a shortfall hold. Pure -- exported for testing. */
+export function buildShortfallInjectMessage(deliveryName, detail) {
+    const lines = [
+        `VERIFY HELD for delivery "${deliveryName}": the achieved outcome falls short of the declared desired effect.`,
+        '',
+        'This is NOT a failing-test failure -- the deterministic check is not the blocker. The verify ' +
+            'reconciliation compared what your diff delivered against the declared intent for each targeted ' +
+            'node and found a gap. Close the gap in the diff, then commit.',
+        '',
+        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict, { heldBy: HELD_BY_SHORTFALL })),
+        `Declared-vs-achieved gap(s) (${detail.shortfalls.length}):`,
+    ];
+    for (const s of detail.shortfalls) {
+        lines.push(`- node ${s.nodeId}`, `  declared: ${s.declared}`, `  achieved: ${s.achieved}`, `  shortfall: ${s.reason}`);
+        if (s.diffCitation)
+            lines.push(`  diff citation: ${s.diffCitation}`);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=verification-rework-messages.js.map

package/dist/verify/verification-rework-messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-rework-messages.js","sourceRoot":"","sources":["../../src/verify/verification-rework-messages.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,gBAAgB;AAoBhB,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAEtG,uFAAuF;AACvF,SAAS,YAAY,CAAC,KAAe;IACnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,yBAAyB,CAAC,YAAoB,EAAE,MAAiC;IAC/F,MAAM,KAAK,GAAa;QACtB,qCAAqC,YAAY,IAAI;QACrD,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,sBAAsB;QAClF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,0BAA0B;KAC5E,CAAC;IACF,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,MAAM,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,sBAAsB,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,6EAA6E,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,CAAC,IAAI,CACR,EAAE,EACF,uFAAuF;QACvF,2EAA2E,CAC5E,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,MAAqC;IAErC,MAAM,KAAK,GAAa;QACtB,6BAA6B,YAAY,qEAAqE;QAC9G,EAAE;QACF,+FAA+F;YAC/F,iGAAiG;YACjG,+DAA+D;QAC/D,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACzF,gCAAgC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI;KAC7D,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,CAAC,MAAM,EAAE,EACpB,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,gBAAgB,CAAC,CAAC,MAAM,EAAE,CAC3B,CAAC;QACF,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/verify/verification-timeout-fault.d.ts

@@ -0,0 +1,147 @@
+/**
+ * Reads a timed-out deterministic run's captured output for a COMPLETE
+ * test-runner summary.
+ *
+ * Why this exists: when the deterministic verify command outlives its timeout
+ * the gate SIGKILLs it, and both the gate rationale and the verification
+ * engine's "missing" evidence used to be fixed strings -- "run did not
+ * complete" / "killed by timeout before completion" -- that never looked at the
+ * output. Observed 2026-09-14: vitest printed `Test Files  441 passed (441)` at
+ * 624.49s and the kill landed ~3s later, so a run that had FINISHED its test
+ * pass was described as one that never got there. That misdescription sends
+ * the reader (human or agent) hunting a slow/hung test that does not exist,
+ * when the real fault is the time spent after the tests (teardown, a lingering
+ * handle, a post-test stage) or a timeout sized below the suite.
+ *
+ * This module is the evidence read those descriptions lack: given the stdout /
+ * stderr tails, it returns the runner's own totals lines when the runner got as
+ * far as printing them, else null. It does NOT decide pass/fail -- a timed-out
+ * run still fails the gate; this only lets the wording say what the output
+ * shows.
+ *
+ * The two describers built on it keep that wording in one place:
+ * `describeTimeout` (the deterministic strategy's rationale) and
+ * `buildTimeoutFaultHold` (the verification engine's instrument-fault hold).
+ * Both allow for a multi-stage gate command (`npm run verify:gate` chains lint,
+ * typecheck, and tests): a printed summary means THAT RUNNER finished, never that
+ * the command did, so they say the command had not exited -- never that it
+ * completed. Without a summary both return their legacy strings byte-for-byte.
+ *
+ * Recognised totals (progress lines such as `✓ src/foo.test.ts (3 tests)`,
+ * `ok 4 - name`, `# Subtest: x` are deliberately NOT summaries):
+ *   - vitest:           `Test Files  2 failed | 439 passed (441)` (sufficient
+ *                       alone) with its `Tests  N passed (N)` line; a `Tests`
+ *                       totals line alone also counts.
+ *   - node:test TAP:    `# tests N` AND `# pass N` (+ `# fail N` when present).
+ *   - node:test spec:   `ℹ tests N` AND `ℹ pass N` (+ `ℹ fail N` when present).
+ *
+ * Each tail is the last 4000 chars of a stream, so it may begin mid-line; the
+ * matchers are anchored at line start, so a truncated first line simply fails
+ * to match rather than matching a fragment. A tail can also have LOST the
+ * summary: a gate that keeps printing after its tests evicts it past 4000
+ * chars. So the strategy tracks each stream's summary while it streams
+ * (createRunnerSummaryTracker, fed before each cut) and hands the latest one to
+ * describeTimeout. PURE (no I/O).
+ *
+ * @module verification-timeout-fault
+ */
+import type { StrategyResult } from './verification-deterministic.js';
+import type { EvidenceUnavailableDetail } from '../queries/delivery-gate-state.js';
+/**
+ * The complete test-runner summary line(s) in a run's captured output, or null.
+ *
+ * Searches stdout first, then stderr (each independently -- a summary is never
+ * assembled from lines split across the two streams).
+ *
+ * @param stdoutTail The captured stdout tail (last ~4000 chars) of the run.
+ * @param stderrTail The captured stderr tail (last ~4000 chars) of the run.
+ * @returns The runner's totals lines, trimmed and in output order; null when no
+ *   complete summary is present.
+ */
+export declare function findRunnerSummary(stdoutTail?: string, stderrTail?: string): string[] | null;
+/** The latest complete runner summary one stream has printed, however much output followed it. */
+export interface RunnerSummaryTracker {
+    /**
+     * Observe the stream after `chunk` was appended to `buffer`, BEFORE the buffer
+     * is cut to its tail: whatever is still in `buffer` has not been evicted yet.
+     */
+    observe(buffer: string, chunk: string): void;
+    /** The most recent complete summary observed, or null. */
+    latest(): string[] | null;
+}
+/**
+ * Track one stream's runner summary while it streams. The strategy keeps only a
+ * 4000-char tail per stream, and a multi-stage gate keeps printing after its
+ * tests (the next stage, teardown logs), so by the time the kill lands the
+ * summary may be gone from the tail. Each observation scans the not-yet-evicted
+ * buffer -- only when the new text could complete a summary -- and remembers the
+ * latest found, so a later re-printed summary still supersedes an earlier one.
+ */
+export declare function createRunnerSummaryTracker(): RunnerSummaryTracker;
+/**
+ * The rationale for a deterministic run killed by its timeout, read from what
+ * the run's output shows.
+ *
+ * With a runner summary the kill landed after the tests had finished, so the
+ * rationale quotes it and names what actually ran out: the command had not
+ * exited within the limit. Without one it is the legacy "run did not complete"
+ * string, byte-identical. Either way the run stays a failed timeout -- this only
+ * chooses the words.
+ *
+ * A `timeoutSource` label is named right after the value (`after 600000ms (from
+ * /repo/telora.verify.json)`), because a timeout sized below the suite is fixed
+ * in whichever layer supplied it and the reader otherwise has to guess which. With
+ * no label both strings are unchanged.
+ *
+ * @param timeoutMs The timeout the run was killed at.
+ * @param stdoutTail The captured stdout tail of the killed run.
+ * @param stderrTail The captured stderr tail of the killed run.
+ * @param timeoutSource Where `timeoutMs` was read (formatVerifyConfigSource label), when known.
+ * @param observedSummary The latest summary tracked while the run streamed, used
+ *   when later output evicted it from the tails (createRunnerSummaryTracker).
+ * @returns The rationale, plus the matched summary lines when one was found.
+ */
+export declare function describeTimeout(timeoutMs: number, stdoutTail?: string, stderrTail?: string, timeoutSource?: string, observedSummary?: readonly string[] | null): {
+    rationale: string;
+    runnerSummary?: string[];
+};
+/**
+ * The instrument-fault hold for a timed-out deterministic run, with its
+ * `missing` evidence named from the captured output.
+ *
+ * Routing is the caller's and does not change here: a timeout is never a
+ * verdict about the work, so this is always a `deterministicFault` of kind
+ * 'timeout'. What a summary changes is the NAME of the missing evidence -- the
+ * test output is there; the clean exit is not -- so the hold stops pointing a
+ * reader at a hung test that does not exist. Prefers the summary the strategy
+ * already matched; falls back to reading the tails (a result built elsewhere).
+ *
+ * The fault also records the timeout the run applied and where it was read,
+ * taken from the run's `appliedConfig`, so the gate state (and every human
+ * surface rendered from it) names the value and the layer to change. A result
+ * that recorded no applied config leaves both out rather than guessing.
+ *
+ * @param result The timed-out run's exit code, matched summary, output tails, and applied config.
+ * @returns The hold detail, minus the `heldAt` stamp the requeue path adds.
+ */
+export declare function buildTimeoutFaultHold(result: Pick<StrategyResult, 'exitCode' | 'runnerSummary' | 'stdoutTail' | 'stderrTail' | 'appliedConfig'>): Omit<EvidenceUnavailableDetail, 'heldAt'>;
+/** A recorded deterministic instrument fault (gate_state.evidenceUnavailable.deterministicFault). */
+type DeterministicFault = NonNullable<EvidenceUnavailableDetail['deterministicFault']>;
+/**
+ * The `Timeout applied: <ms>ms from <source>` line for a timeout fault that
+ * recorded its applied timeout, else null.
+ *
+ * One formatter so the team inject message and the verify_gate_unclearable
+ * escalation print the identical line: a reader who sees it in one place can grep
+ * for it in the other. Null for every other hold, so those bodies stay unchanged.
+ */
+export declare function formatTimeoutAppliedLine(fault: DeterministicFault | undefined): string | null;
+/**
+ * Read a timeout fault that recorded its applied timeout out of an untyped
+ * gate_state (FocusDeliveryInfo.gateState is `unknown`), or undefined. Defensive
+ * at every level: a legacy or foreign gate_state shape reads as "no timeout fault",
+ * never a throw.
+ */
+export declare function readTimeoutFault(gateState: unknown): DeterministicFault | undefined;
+export {};
+//# sourceMappingURL=verification-timeout-fault.d.ts.map

package/dist/verify/verification-timeout-fault.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-timeout-fault.d.ts","sourceRoot":"","sources":["../../src/verify/verification-timeout-fault.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAIH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AA8DnF;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAE3F;AAOD,kGAAkG;AAClG,MAAM,WAAW,oBAAoB;IACnC;;;OAGG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,0DAA0D;IAC1D,MAAM,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,IAAI,oBAAoB,CAWjE;AAKD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EACjB,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,MAAM,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,GACzC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAajD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,UAAU,GAAG,eAAe,GAAG,YAAY,GAAG,YAAY,GAAG,eAAe,CAAC,GACzG,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,CAkB3C;AAED,qGAAqG;AACrG,KAAK,kBAAkB,GAAG,WAAW,CAAC,yBAAyB,CAAC,oBAAoB,CAAC,CAAC,CAAC;AAEvF;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAG7F;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAcnF"}

package/dist/verify/verification-timeout-fault.js

@@ -0,0 +1,211 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/verification-deterministic.test.ts,
+//   packages/daemon/src/verify/verification-timeout-fault.test.ts,
+//   packages/daemon/src/verify/verify-evidence-unavailable.test.ts
+// PINNED-BY-END
+const ESC = String.fromCharCode(27);
+/** SGR colour/style codes; the ESC byte is optional so an already-stripped `[32m` also goes. */
+const ANSI_SGR = new RegExp(`${ESC}?\\[[0-9;]*m`, 'g');
+/** vitest counts: `2 failed | 439 passed | 1 skipped (442)` -- segments, then a parenthesised total. */
+const VITEST_SEGMENT = String.raw `\d+\s+(?:failed|passed|skipped|todo)`;
+const VITEST_COUNTS = String.raw `${VITEST_SEGMENT}(?:\s*\|\s*${VITEST_SEGMENT})*\s+\(\d+\)`;
+const VITEST_TEST_FILES = new RegExp(String.raw `^\s*Test Files\s+${VITEST_COUNTS}\s*$`);
+const VITEST_TESTS = new RegExp(String.raw `^\s*Tests\s+${VITEST_COUNTS}\s*$`);
+const totalsLine = (prefix, label) => new RegExp(String.raw `^\s*${prefix} ${label} \d+\s*$`);
+/** First matcher that is satisfied wins; order is most-specific first. */
+const SUMMARY_MATCHERS = [
+    { required: [VITEST_TEST_FILES], optional: [VITEST_TESTS] },
+    { required: [VITEST_TESTS], optional: [] },
+    { required: [totalsLine('#', 'tests'), totalsLine('#', 'pass')], optional: [totalsLine('#', 'fail')] },
+    { required: [totalsLine('ℹ', 'tests'), totalsLine('ℹ', 'pass')], optional: [totalsLine('ℹ', 'fail')] },
+];
+/** Index of the LAST line matching `pattern` (a re-printed summary supersedes an earlier one), or -1. */
+function lastMatchIndex(lines, pattern) {
+    for (let i = lines.length - 1; i >= 0; i--) {
+        if (pattern.test(lines[i] ?? ''))
+            return i;
+    }
+    return -1;
+}
+/** The matcher's lines (trimmed, output order) when all its required lines are present, else null. */
+function applyMatcher(lines, matcher) {
+    const indices = [];
+    for (const pattern of matcher.required) {
+        const idx = lastMatchIndex(lines, pattern);
+        if (idx < 0)
+            return null;
+        indices.push(idx);
+    }
+    for (const pattern of matcher.optional) {
+        const idx = lastMatchIndex(lines, pattern);
+        if (idx >= 0)
+            indices.push(idx);
+    }
+    return [...new Set(indices)].sort((a, b) => a - b).map((i) => (lines[i] ?? '').trim());
+}
+function findInStream(tail) {
+    if (typeof tail !== 'string' || tail.length === 0)
+        return null;
+    const lines = tail.replace(ANSI_SGR, '').split(/\r\n|\n|\r/);
+    for (const matcher of SUMMARY_MATCHERS) {
+        const found = applyMatcher(lines, matcher);
+        if (found)
+            return found;
+    }
+    return null;
+}
+/**
+ * The complete test-runner summary line(s) in a run's captured output, or null.
+ *
+ * Searches stdout first, then stderr (each independently -- a summary is never
+ * assembled from lines split across the two streams).
+ *
+ * @param stdoutTail The captured stdout tail (last ~4000 chars) of the run.
+ * @param stderrTail The captured stderr tail (last ~4000 chars) of the run.
+ * @returns The runner's totals lines, trimmed and in output order; null when no
+ *   complete summary is present.
+ */
+export function findRunnerSummary(stdoutTail, stderrTail) {
+    return findInStream(stdoutTail) ?? findInStream(stderrTail);
+}
+/** Text a summary line carries; a window without one cannot hold a new summary, so it is not scanned. */
+const SUMMARY_HINT = /Test Files|Tests|[#ℹ] (?:tests|pass|fail)/;
+/** Chars before a chunk rescanned for the hint, so a summary line split across two chunks is still seen. */
+const HINT_OVERLAP = 200;
+/**
+ * Track one stream's runner summary while it streams. The strategy keeps only a
+ * 4000-char tail per stream, and a multi-stage gate keeps printing after its
+ * tests (the next stage, teardown logs), so by the time the kill lands the
+ * summary may be gone from the tail. Each observation scans the not-yet-evicted
+ * buffer -- only when the new text could complete a summary -- and remembers the
+ * latest found, so a later re-printed summary still supersedes an earlier one.
+ */
+export function createRunnerSummaryTracker() {
+    let found = null;
+    return {
+        observe(buffer, chunk) {
+            const window = buffer.slice(-(chunk.length + HINT_OVERLAP));
+            if (!SUMMARY_HINT.test(window))
+                return;
+            const summary = findInStream(buffer);
+            if (summary)
+                found = summary;
+        },
+        latest: () => found,
+    };
+}
+/** A summary's lines as one quotable span. */
+const quoteSummary = (summary) => `"${summary.join(' / ')}"`;
+/**
+ * The rationale for a deterministic run killed by its timeout, read from what
+ * the run's output shows.
+ *
+ * With a runner summary the kill landed after the tests had finished, so the
+ * rationale quotes it and names what actually ran out: the command had not
+ * exited within the limit. Without one it is the legacy "run did not complete"
+ * string, byte-identical. Either way the run stays a failed timeout -- this only
+ * chooses the words.
+ *
+ * A `timeoutSource` label is named right after the value (`after 600000ms (from
+ * /repo/telora.verify.json)`), because a timeout sized below the suite is fixed
+ * in whichever layer supplied it and the reader otherwise has to guess which. With
+ * no label both strings are unchanged.
+ *
+ * @param timeoutMs The timeout the run was killed at.
+ * @param stdoutTail The captured stdout tail of the killed run.
+ * @param stderrTail The captured stderr tail of the killed run.
+ * @param timeoutSource Where `timeoutMs` was read (formatVerifyConfigSource label), when known.
+ * @param observedSummary The latest summary tracked while the run streamed, used
+ *   when later output evicted it from the tails (createRunnerSummaryTracker).
+ * @returns The rationale, plus the matched summary lines when one was found.
+ */
+export function describeTimeout(timeoutMs, stdoutTail, stderrTail, timeoutSource, observedSummary) {
+    const summary = findRunnerSummary(stdoutTail, stderrTail)
+        ?? (observedSummary && observedSummary.length > 0 ? [...observedSummary] : null);
+    const limit = timeoutSource ? `${timeoutMs}ms (from ${timeoutSource})` : `${timeoutMs}ms`;
+    if (!summary) {
+        return { rationale: `deterministic check timed out after ${limit} (SIGKILL) -- run did not complete` };
+    }
+    return {
+        rationale: `deterministic check killed by the timeout after ${limit} (SIGKILL) -- the test runner had ` +
+            `already printed its summary (${quoteSummary(summary)}), but the command had not exited within the limit`,
+        runnerSummary: summary,
+    };
+}
+/**
+ * The instrument-fault hold for a timed-out deterministic run, with its
+ * `missing` evidence named from the captured output.
+ *
+ * Routing is the caller's and does not change here: a timeout is never a
+ * verdict about the work, so this is always a `deterministicFault` of kind
+ * 'timeout'. What a summary changes is the NAME of the missing evidence -- the
+ * test output is there; the clean exit is not -- so the hold stops pointing a
+ * reader at a hung test that does not exist. Prefers the summary the strategy
+ * already matched; falls back to reading the tails (a result built elsewhere).
+ *
+ * The fault also records the timeout the run applied and where it was read,
+ * taken from the run's `appliedConfig`, so the gate state (and every human
+ * surface rendered from it) names the value and the layer to change. A result
+ * that recorded no applied config leaves both out rather than guessing.
+ *
+ * @param result The timed-out run's exit code, matched summary, output tails, and applied config.
+ * @returns The hold detail, minus the `heldAt` stamp the requeue path adds.
+ */
+export function buildTimeoutFaultHold(result) {
+    const summary = result.runnerSummary && result.runnerSummary.length > 0
+        ? result.runnerSummary
+        : findRunnerSummary(result.stdoutTail, result.stderrTail);
+    const missing = summary
+        ? `a clean exit within the timeout (the test runner printed its summary -- ${quoteSummary(summary)} -- ` +
+            'but the command had not exited when it was killed)'
+        : 'complete deterministic run output (killed by timeout before completion)';
+    const applied = result.appliedConfig;
+    return {
+        missing: [missing],
+        commitsAhead: 0,
+        deterministicFault: {
+            kind: 'timeout',
+            exitCode: result.exitCode ?? null,
+            ...(applied ? { timeoutMs: applied.timeoutMs, timeoutSource: applied.timeoutSource } : {}),
+        },
+    };
+}
+/**
+ * The `Timeout applied: <ms>ms from <source>` line for a timeout fault that
+ * recorded its applied timeout, else null.
+ *
+ * One formatter so the team inject message and the verify_gate_unclearable
+ * escalation print the identical line: a reader who sees it in one place can grep
+ * for it in the other. Null for every other hold, so those bodies stay unchanged.
+ */
+export function formatTimeoutAppliedLine(fault) {
+    if (fault?.kind !== 'timeout' || typeof fault.timeoutMs !== 'number')
+        return null;
+    return `Timeout applied: ${fault.timeoutMs}ms from ${fault.timeoutSource ?? 'an unrecorded source'}`;
+}
+/**
+ * Read a timeout fault that recorded its applied timeout out of an untyped
+ * gate_state (FocusDeliveryInfo.gateState is `unknown`), or undefined. Defensive
+ * at every level: a legacy or foreign gate_state shape reads as "no timeout fault",
+ * never a throw.
+ */
+export function readTimeoutFault(gateState) {
+    if (gateState == null || typeof gateState !== 'object')
+        return undefined;
+    const held = gateState.evidenceUnavailable;
+    if (held == null || typeof held !== 'object')
+        return undefined;
+    const fault = held.deterministicFault;
+    if (fault == null || typeof fault !== 'object')
+        return undefined;
+    const f = fault;
+    if (f.kind !== 'timeout' || typeof f.timeoutMs !== 'number')
+        return undefined;
+    return {
+        kind: 'timeout',
+        exitCode: typeof f.exitCode === 'number' ? f.exitCode : null,
+        timeoutMs: f.timeoutMs,
+        ...(typeof f.timeoutSource === 'string' ? { timeoutSource: f.timeoutSource } : {}),
+    };
+}
+//# sourceMappingURL=verification-timeout-fault.js.map

package/dist/verify/verification-timeout-fault.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-timeout-fault.js","sourceRoot":"","sources":["../../src/verify/verification-timeout-fault.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,mEAAmE;AACnE,mEAAmE;AACnE,gBAAgB;AA6DhB,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AACpC,gGAAgG;AAChG,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,cAAc,EAAE,GAAG,CAAC,CAAC;AAEvD,wGAAwG;AACxG,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAA,sCAAsC,CAAC;AACxE,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAA,GAAG,cAAc,cAAc,cAAc,cAAc,CAAC;AAC5F,MAAM,iBAAiB,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,oBAAoB,aAAa,MAAM,CAAC,CAAC;AACxF,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,eAAe,aAAa,MAAM,CAAC,CAAC;AAE9E,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,KAAa,EAAU,EAAE,CAC3D,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,MAAM,IAAI,KAAK,UAAU,CAAC,CAAC;AAEzD,0EAA0E;AAC1E,MAAM,gBAAgB,GAA8B;IAClD,EAAE,QAAQ,EAAE,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE;IAC3D,EAAE,QAAQ,EAAE,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC1C,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE;IACtG,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE;CACvG,CAAC;AAEF,yGAAyG;AACzG,SAAS,cAAc,CAAC,KAAwB,EAAE,OAAe;IAC/D,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,sGAAsG;AACtG,SAAS,YAAY,CAAC,KAAwB,EAAE,OAAuB;IACrE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,GAAG,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,YAAY,CAAC,IAAwB;IAC5C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC7D,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAAmB,EAAE,UAAmB;IACxE,OAAO,YAAY,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,CAAC;AAC9D,CAAC;AAED,yGAAyG;AACzG,MAAM,YAAY,GAAG,2CAA2C,CAAC;AACjE,4GAA4G;AAC5G,MAAM,YAAY,GAAG,GAAG,CAAC;AAazB;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B;IACxC,IAAI,KAAK,GAAoB,IAAI,CAAC;IAClC,OAAO;QACL,OAAO,CAAC,MAAM,EAAE,KAAK;YACnB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC;YAC5D,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO;YACvC,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,OAAO;gBAAE,KAAK,GAAG,OAAO,CAAC;QAC/B,CAAC;QACD,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,MAAM,YAAY,GAAG,CAAC,OAA0B,EAAU,EAAE,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;AAExF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAiB,EACjB,UAAmB,EACnB,UAAmB,EACnB,aAAsB,EACtB,eAA0C;IAE1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC;WACpD,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS,YAAY,aAAa,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,CAAC;IAC1F,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,SAAS,EAAE,uCAAuC,KAAK,oCAAoC,EAAE,CAAC;IACzG,CAAC;IACD,OAAO;QACL,SAAS,EACP,mDAAmD,KAAK,oCAAoC;YAC5F,gCAAgC,YAAY,CAAC,OAAO,CAAC,oDAAoD;QAC3G,aAAa,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAA0G;IAE1G,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACrE,CAAC,CAAC,MAAM,CAAC,aAAa;QACtB,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,OAAO;QACrB,CAAC,CAAC,2EAA2E,YAAY,CAAC,OAAO,CAAC,MAAM;YACtG,oDAAoD;QACtD,CAAC,CAAC,yEAAyE,CAAC;IAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,OAAO;QACL,OAAO,EAAE,CAAC,OAAO,CAAC;QAClB,YAAY,EAAE,CAAC;QACf,kBAAkB,EAAE;YAClB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;YACjC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3F;KACF,CAAC;AACJ,CAAC;AAKD;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAqC;IAC5E,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClF,OAAO,oBAAoB,KAAK,CAAC,SAAS,WAAW,KAAK,CAAC,aAAa,IAAI,sBAAsB,EAAE,CAAC;AACvG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAkB;IACjD,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACzE,MAAM,IAAI,GAAI,SAA+C,CAAC,mBAAmB,CAAC;IAClF,IAAI,IAAI,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,KAAK,GAAI,IAAyC,CAAC,kBAAkB,CAAC;IAC5E,IAAI,KAAK,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjE,MAAM,CAAC,GAAG,KAA6F,CAAC;IACxG,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC9E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAC5D,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,GAAG,CAAC,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,CAAC;AACJ,CAAC"}

package/dist/verify/verify-gate-stall.d.ts

@@ -106,7 +106,11 @@ export interface VerifyGateStallEscalationText {
  * Build the verify_gate_unclearable escalation body for a stalled delivery. It
  * asserts only what the evidence shows: the repeated signature and its consecutive
  * count on the signature path; on the iteration-cap fallback, that the stall is
- * inferred from a count alone and the delivery may still be converging. Pure.
+ * inferred from a count alone and the delivery may still be converging. When the
+ * live hold is a timeout that recorded its applied timeout, both bodies name it
+ * and its source in an explicit line, rather than leaving it buried in the
+ * gate_state JSON -- the reader's first question about a timeout stall is which
+ * layer set the limit. Pure.
  */
 export declare function buildVerifyGateStallEscalation(focus: {
     focusId: string;

package/dist/verify/verify-gate-stall.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-gate-stall.d.ts","sourceRoot":"","sources":["../../src/verify/verify-gate-stall.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAI3D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kCAAkC,IAAI,CAAC;AAEpD,KAAK,YAAY,GAAG,IAAI,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,gBAAgB,GAAG,WAAW,CAAC,CAAC;AA8BhG;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAIhE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAInF;AAED,MAAM,MAAM,uBAAuB,GAC/B;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,GAClB;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,oBAAoB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACzG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,uBAAuB,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAElF;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,YAAY,EACtB,GAAG,EAAE,MAAM,EACX,eAAe,GAAE,MAA2C,GAC3D,uBAAuB,CAYzB;AAED,MAAM,WAAW,6BAA6B;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EAC7C,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,IAAI,GAAG,MAAM,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,WAAW,CAAC,EACrG,KAAK,EAAE,eAAe,GACrB,6BAA6B,CAuD/B"}
+{"version":3,"file":"verify-gate-stall.d.ts","sourceRoot":"","sources":["../../src/verify/verify-gate-stall.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAK3D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,kCAAkC,IAAI,CAAC;AAEpD,KAAK,YAAY,GAAG,IAAI,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,gBAAgB,GAAG,WAAW,CAAC,CAAC;AA8BhG;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAIhE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAInF;AAED,MAAM,MAAM,uBAAuB,GAC/B;IAAE,OAAO,EAAE,KAAK,CAAA;CAAE,GAClB;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,oBAAoB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACzG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,eAAe,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,uBAAuB,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAElF;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,YAAY,EACtB,GAAG,EAAE,MAAM,EACX,eAAe,GAAE,MAA2C,GAC3D,uBAAuB,CAYzB;AAED,MAAM,WAAW,6BAA6B;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EAC7C,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,IAAI,GAAG,MAAM,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,WAAW,CAAC,EACrG,KAAK,EAAE,eAAe,GACrB,6BAA6B,CA2D/B"}

package/dist/verify/verify-gate-stall.js

@@ -5,6 +5,7 @@
 // PINNED-BY-END
 import { isStatusTerminal } from '../workflow/stage-classifier.js';
 import { readRecordedSignatureRun } from './failure-signature.js';
+import { formatTimeoutAppliedLine, readTimeoutFault } from './verification-timeout-fault.js';
 /**
  * Consecutive rejections carrying ONE failure signature that mark the verify gate
  * as stalled rather than converging.
@@ -116,7 +117,11 @@ export function decideVerifyGateStall(delivery, cap, repeatThreshold = VERIFY_GA
  * Build the verify_gate_unclearable escalation body for a stalled delivery. It
  * asserts only what the evidence shows: the repeated signature and its consecutive
  * count on the signature path; on the iteration-cap fallback, that the stall is
- * inferred from a count alone and the delivery may still be converging. Pure.
+ * inferred from a count alone and the delivery may still be converging. When the
+ * live hold is a timeout that recorded its applied timeout, both bodies name it
+ * and its source in an explicit line, rather than leaving it buried in the
+ * gate_state JSON -- the reader's first question about a timeout stall is which
+ * layer set the limit. Pure.
  */
 export function buildVerifyGateStallEscalation(focus, delivery, stall) {
     const guards = blockingGuardNames(delivery.gateState);
@@ -129,6 +134,8 @@ export function buildVerifyGateStallEscalation(focus, delivery, stall) {
         `**Delivery:** "${delivery.name}" (${delivery.id})\n` +
         `**Status:** ${delivery.executionStatus ?? 'unknown'}\n` +
         `**iteration_count:** ${iterationCount}\n`;
+    const timeoutLine = formatTimeoutAppliedLine(readTimeoutFault(delivery.gateState));
+    const timeoutFact = timeoutLine ? `${timeoutLine}\n` : '';
     const footer = `**gate_state:** ${formatGateState(delivery.gateState)}\n\n` +
         `Inspect the gate_state / last failing condition above (gate_state.verification.logPath ` +
         `holds the full run log). See docs/runbook-verify-gate.md.`;
@@ -143,6 +150,7 @@ export function buildVerifyGateStallEscalation(focus, delivery, stall) {
                 `${stall.signature}. ${guardClause} The re-work between those cycles did not change ` +
                 `what fails, so another automatic cycle is unlikely to clear it.\n\n` +
                 facts +
+                timeoutFact +
                 `**failure signature:** ${stall.signature} (${stall.consecutive} consecutive)\n` +
                 footer,
             whatWasTried: `The delivery was re-queued for re-work after each rejection; its last ${stall.consecutive} ` +
@@ -159,6 +167,7 @@ export function buildVerifyGateStallEscalation(focus, delivery, stall) {
             `unparseable verification log), so this stall is inferred from the cycle count alone -- the ` +
             `delivery may still be converging through different failures.\n\n` +
             facts +
+            timeoutFact +
             footer,
         whatWasTried: `The delivery re-entered verify_failed ${iterationCount} times; each verify pass was ` +
             `rejected by the gate and re-queued.`,

package/dist/verify/verify-gate-stall.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-gate-stall.js","sourceRoot":"","sources":["../../src/verify/verify-gate-stall.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,6EAA6E;AAC7E,uDAAuD;AACvD,gBAAgB;AA4BhB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAElE;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAIpD,2DAA2D;AAC3D,SAAS,eAAe,CAAC,SAAkB;IACzC,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,iBAAiB,CAAC;IAChD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAA6B,CAAC,SAAS,KAAK,QAAQ;QACxF,CAAC,CAAE,CAA2B,CAAC,SAAS;QACxC,CAAC,CAAC,IAAI,CACT;SACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACrD,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAsB,EAAE,GAAW;IACxE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,GAAG;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAsB,EACtB,GAAW,EACX,kBAA0B,kCAAkC;IAE5D,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAChF,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,wBAAwB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,GAAG,CAAC,WAAW,IAAI,eAAe;YACvC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,oBAAoB,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE;YACpI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,IAAI,CAAC,EAAE,GAAG,EAAE;QAC9F,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA6C,EAC7C,QAAqG,EACrG,KAAsB;IAEtB,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM;QAC/B,CAAC,CAAC,6CAA6C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACnE,CAAC,CAAC,yDAAyD,CAAC;IAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GACT,cAAc,KAAK,CAAC,SAAS,IAAI;QACjC,iBAAiB,KAAK,CAAC,OAAO,IAAI;QAClC,kBAAkB,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,KAAK;QACrD,eAAe,QAAQ,CAAC,eAAe,IAAI,SAAS,IAAI;QACxD,wBAAwB,cAAc,IAAI,CAAC;IAC7C,MAAM,MAAM,GACV,mBAAmB,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM;QAC5D,yFAAyF;QACzF,2DAA2D,CAAC;IAC9D,MAAM,UAAU,GACd,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,qBAAqB,CAAC;IAExB,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO;YACL,WAAW,EACT,aAAa,QAAQ,CAAC,IAAI,8DAA8D;gBACxF,GAAG,KAAK,CAAC,WAAW,0CAA0C,KAAK,CAAC,SAAS,KAAK;gBAClF,GAAG,KAAK,CAAC,SAAS,KAAK,WAAW,mDAAmD;gBACrF,qEAAqE;gBACrE,KAAK;gBACL,0BAA0B,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,WAAW,iBAAiB;gBAChF,MAAM;YACR,YAAY,EACV,yEAAyE,KAAK,CAAC,WAAW,GAAG;gBAC7F,0FAA0F;gBAC1F,yCAAyC;YAC3C,UAAU;YACV,UAAU,EAAE,qBAAqB,KAAK,CAAC,SAAS,aAAa,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,SAAS,EAAE;SAClH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EACT,aAAa,QAAQ,CAAC,IAAI,sBAAsB,cAAc,gCAAgC;YAC9F,QAAQ,KAAK,CAAC,GAAG,uCAAuC,WAAW,2BAA2B;YAC9F,0FAA0F;YAC1F,6FAA6F;YAC7F,kEAAkE;YAClE,KAAK;YACL,MAAM;QACR,YAAY,EACV,yCAAyC,cAAc,+BAA+B;YACtF,qCAAqC;QACvC,UAAU;QACV,UAAU,EAAE,mBAAmB,cAAc,UAAU,KAAK,CAAC,GAAG,iCAAiC;KAClG,CAAC;AACJ,CAAC"}
+{"version":3,"file":"verify-gate-stall.js","sourceRoot":"","sources":["../../src/verify/verify-gate-stall.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,6EAA6E;AAC7E,uDAAuD;AACvD,gBAAgB;AA4BhB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAE7F;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAIpD,2DAA2D;AAC3D,SAAS,eAAe,CAAC,SAAkB;IACzC,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,iBAAiB,CAAC;IAChD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAA6B,CAAC,SAAS,KAAK,QAAQ;QACxF,CAAC,CAAE,CAA2B,CAAC,SAAS;QACxC,CAAC,CAAC,IAAI,CACT;SACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACrD,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAsB,EAAE,GAAW;IACxE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,GAAG;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAsB,EACtB,GAAW,EACX,kBAA0B,kCAAkC;IAE5D,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAChF,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,wBAAwB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,GAAG,CAAC,WAAW,IAAI,eAAe;YACvC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,oBAAoB,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,EAAE,eAAe,EAAE;YACpI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,IAAI,CAAC,EAAE,GAAG,EAAE;QAC9F,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAUD;;;;;;;;;GASG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA6C,EAC7C,QAAqG,EACrG,KAAsB;IAEtB,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM;QAC/B,CAAC,CAAC,6CAA6C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACnE,CAAC,CAAC,yDAAyD,CAAC;IAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GACT,cAAc,KAAK,CAAC,SAAS,IAAI;QACjC,iBAAiB,KAAK,CAAC,OAAO,IAAI;QAClC,kBAAkB,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,KAAK;QACrD,eAAe,QAAQ,CAAC,eAAe,IAAI,SAAS,IAAI;QACxD,wBAAwB,cAAc,IAAI,CAAC;IAC7C,MAAM,WAAW,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,MAAM,GACV,mBAAmB,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM;QAC5D,yFAAyF;QACzF,2DAA2D,CAAC;IAC9D,MAAM,UAAU,GACd,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,qBAAqB,CAAC;IAExB,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO;YACL,WAAW,EACT,aAAa,QAAQ,CAAC,IAAI,8DAA8D;gBACxF,GAAG,KAAK,CAAC,WAAW,0CAA0C,KAAK,CAAC,SAAS,KAAK;gBAClF,GAAG,KAAK,CAAC,SAAS,KAAK,WAAW,mDAAmD;gBACrF,qEAAqE;gBACrE,KAAK;gBACL,WAAW;gBACX,0BAA0B,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,WAAW,iBAAiB;gBAChF,MAAM;YACR,YAAY,EACV,yEAAyE,KAAK,CAAC,WAAW,GAAG;gBAC7F,0FAA0F;gBAC1F,yCAAyC;YAC3C,UAAU;YACV,UAAU,EAAE,qBAAqB,KAAK,CAAC,SAAS,aAAa,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,SAAS,EAAE;SAClH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW,EACT,aAAa,QAAQ,CAAC,IAAI,sBAAsB,cAAc,gCAAgC;YAC9F,QAAQ,KAAK,CAAC,GAAG,uCAAuC,WAAW,2BAA2B;YAC9F,0FAA0F;YAC1F,6FAA6F;YAC7F,kEAAkE;YAClE,KAAK;YACL,WAAW;YACX,MAAM;QACR,YAAY,EACV,yCAAyC,cAAc,+BAA+B;YACtF,qCAAqC;QACvC,UAAU;QACV,UAAU,EAAE,mBAAmB,cAAc,UAAU,KAAK,CAAC,GAAG,iCAAiC;KAClG,CAAC;AACJ,CAAC"}

package/dist/worktree/install-inputs.d.ts

@@ -0,0 +1,89 @@
+/** Git result slice the tree listing reads (structural over runGitSync). */
+type GitRun = (args: string[], cwd: string) => {
+    success: boolean;
+    output: string;
+    error?: string;
+};
+/** The lockfiles that make a directory an install root (npm ci prefers the shrinkwrap). */
+export declare const INSTALL_LOCKFILES: readonly ["npm-shrinkwrap.json", "package-lock.json"];
+/**
+ * The package.json scripts an install runs, at any depth. npm documents the
+ * `npm ci` / `npm install` order in `npm help scripts` ("Life Cycle Operations":
+ * preinstall, install, postinstall, prepublish, preprepare, prepare, postprepare;
+ * "Life Cycle Scripts": `dependencies` runs after any operation that modifies
+ * node_modules), and npm 10's source runs exactly these:
+ *   - the root, after the tree is reified (lib/commands/ci.js, install.js):
+ *     preinstall, install, postinstall, prepublish, preprepare, prepare, postprepare;
+ *   - the root, whenever node_modules changed -- which `npm ci` always does
+ *     (@npmcli/arborist reify.js): predependencies, dependencies, postdependencies;
+ *   - every workspace and in-repo `file:` link (@npmcli/arborist rebuild.js):
+ *     preinstall, prepare, install, postinstall -- and `prepare` again for a
+ *     directory dependency packed under install-links (pacote dir.js).
+ * The pack scripts (prepack, postpack) are not in it: pacote runs "*only*
+ * prepare" when it packs a directory dependency, and the CLI runs them for
+ * pack/publish; a git dependency runs them from its remote manifest, which the
+ * lockfile pins. Every other script is gate or tool source the checkout pins.
+ */
+export declare const INSTALL_LIFECYCLE_SCRIPTS: readonly ["preinstall", "install", "postinstall", "prepublish", "preprepare", "prepare", "postprepare", "predependencies", "dependencies", "postdependencies"];
+/** The fingerprint format; a marker holding any other value (an older format) is never current. */
+export declare const INSTALL_FINGERPRINT_FORMAT = "install-inputs/v2";
+/** A tracked tree an install reads from: a worktree's working tree, or a commit. */
+export interface InstallInputTree {
+    /** Whether `path` (repo-relative) is a tracked file. */
+    has: (path: string) => boolean;
+    /** Every tracked file under `dir` ('' = the whole repo), sorted. */
+    filesUnder: (dir: string) => string[];
+    /** A tracked file's bytes, or null when it is absent; throws when it cannot be read. */
+    read: (path: string) => Buffer | null;
+}
+/** An input the model could not follow, named by the manifest that declares it. */
+export interface UnresolvableInstallInput {
+    manifest: string;
+    reason: string;
+}
+/** What one install root's install consumes (module doc). */
+export interface InstallInputs {
+    /** Lockfiles, .npmrc, and each touched package's package.json and binding.gyp that are tracked. Sorted. */
+    manifests: string[];
+    /**
+     * Every tracked file the install's scripts and native builds read -- a manifest
+     * too, when a script names it or a native build reaches it (all of R's files
+     * when anything is unresolvable). Compared byte for byte. Sorted.
+     */
+    consumed: string[];
+    /** Empty when every command and input was followed. */
+    unresolvable: UnresolvableInstallInput[];
+}
+/**
+ * A tree over a tracked path list and a byte reader. Paths under a node_modules
+ * segment are not install inputs and are dropped; `read` answers null for an
+ * untracked path without calling the reader.
+ */
+export declare function trackedInstallTree(paths: readonly string[], read: (path: string) => Buffer | null): InstallInputTree;
+/**
+ * A worktree's tracked tree as its installs read it: git's tracked paths, their
+ * bytes from the working tree. Null when git cannot list the worktree.
+ */
+export declare function readWorktreeInstallTree(worktreePath: string, runGit?: GitRun): InstallInputTree | null;
+/** Every install root of the tree: the directories holding a tracked lockfile ('' = the repo root). Sorted. */
+export declare function listInstallRoots(tree: InstallInputTree): string[];
+/**
+ * What an install at `root` consumes (module doc). Throws when a tracked input
+ * cannot be read (the caller reports the tree unreadable).
+ */
+export declare function readInstallInputs(tree: InstallInputTree, root: string): InstallInputs;
+/**
+ * The provisioning fingerprint of an install at `root`: every manifest and
+ * consumed file, path and bytes, under {@link INSTALL_FINGERPRINT_FORMAT}. Equal
+ * fingerprints mean no input the install reads changed.
+ */
+export declare function installInputsFingerprint(tree: InstallInputTree, root: string): string;
+/**
+ * Commands that read no tracked file an install's effect depends on, each with why.
+ * A command here is admitted with any arguments.
+ */
+export declare const READS_NOTHING: ReadonlyMap<string, string>;
+/** Split a command into simple commands of words; null when it uses shell syntax the model does not follow. */
+export declare function splitShellCommands(command: string): string[][] | null;
+export {};
+//# sourceMappingURL=install-inputs.d.ts.map

package/dist/worktree/install-inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"install-inputs.d.ts","sourceRoot":"","sources":["../../src/worktree/install-inputs.ts"],"names":[],"mappings":"AA2FA,4EAA4E;AAC5E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,2FAA2F;AAC3F,eAAO,MAAM,iBAAiB,uDAAwD,CAAC;AAEvF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,yBAAyB,gKAG5B,CAAC;AAEX,mGAAmG;AACnG,eAAO,MAAM,0BAA0B,sBAAsB,CAAC;AAE9D,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAC/B,wDAAwD;IACxD,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAC/B,oEAAoE;IACpE,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACtC,wFAAwF;IACxF,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,mFAAmF;AACnF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,2GAA2G;IAC3G,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,uDAAuD;IACvD,YAAY,EAAE,wBAAwB,EAAE,CAAC;CAC1C;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAAG,gBAAgB,CAkBpH;AAaD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,GAAE,MAAmB,GAAG,gBAAgB,GAAG,IAAI,CAIlH;AAED,+GAA+G;AAC/G,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,EAAE,CASjE;AAoHD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAYrF;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CASrF;AASD;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CASpD,CAAC;AAEH,+GAA+G;AAC/G,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,GAAG,IAAI,CAmCrE"}