@telora/daemon 0.22.239 → 0.22.289

package/dist/verify/verification-deterministic.d.ts

@@ -1,177 +0,0 @@
-/**
- * Deterministic verification strategy: run a shell command and map exit 0 to a
- * pass, streaming the full stdout+stderr to a persistent log file under the
- * daemon state dir.
- *
- * Extracted from verification-engine.ts (which owns dispatch + the pass-path
- * side effects) to keep that file under the daemon 800-line limit. The
- * StrategyResult shape lives here because this is the strategy that produces
- * every field on it; verification-engine imports the type back.
- *
- * @module verification-deterministic
- */
-import type { VerificationParseFailure } from './verification-failure-parser.js';
-import type { VerificationOutcome } from '../queries/verification.js';
-/**
- * Default deterministic timeout when the config sets none: 30 minutes.
- *
- * This is a generous SAFETY CEILING, not a sizing of the expected gate. As of
- * the "per-delivery gate runs the whole repo" focus, the per-delivery gate
- * (verify:gate) is the CHEAP dev-loop check -- linters + both ratchets +
- * typecheck + the TARGETED tests for the changed files, low single-digit minutes
- * -- and the whole-repo suite is enforced one altitude up, by the CI ci job on
- * every push to integration and main (no daemon code runs it). The 30-min
- * ceiling still earns its place: telora.verify.json sets an
- * explicit 30-min timeoutMs, and a focus MAY point the manifest at a heavier
- * command whose honest runtime approaches it.
- *
- * Matches DEFAULT_BASELINE_TIMEOUT_MS (verification-baseline.ts) on purpose: the
- * HEAD run and its baseline run the SAME configured gate, so an asymmetric HEAD
- * default silently SIGKILLs a long gate that set no explicit timeoutMs, and the
- * killed-mid-run output parses to zero failing ids -- laundering a blind kill
- * into a differential pass. An explicit config.timeoutMs override stays
- * authoritative.
- */
-export declare const DEFAULT_VERIFICATION_TIMEOUT_MS: number;
-export interface StrategyResult {
-    outcome: VerificationOutcome;
-    rationale?: string;
-    /**
-     * The reconciliation could not RUN (the model was not reached), so this
-     * 'pending' is an awaited judge, not a rendered verdict: the default-on run
-     * guard drops its mark (verify/default-on-guards.ts noteDefaultOnResult) so
-     * the next tick re-selects the delivery at the same commit.
-     */
-    modelUnavailable?: boolean;
-    exitCode?: number | null;
-    stdoutTail?: string;
-    stderrTail?: string;
-    /**
-     * Absolute path to the persistent full-log file for a deterministic run
-     * (full stdout+stderr, not just the 4000-char tails). Written under the
-     * daemon state dir. Undefined when no log sink was supplied (e.g. a strategy
-     * that runs no shell command). Carried on the result so the feedback loop
-     * (gate_state) can point at it.
-     */
-    logPath?: string;
-    /** Delivery diff against integration, when the strategy resolved one (ai_inspection). */
-    deliveryDiff?: string;
-    /** Baseline-diff attribution: NEW failures the focus introduced (these gate). */
-    newFailures?: string[];
-    /** Baseline-diff attribution: pre-existing base failures (recorded, non-blocking). */
-    preExisting?: string[];
-    /** A failed run whose log parsed to zero failing-test ids (verification-failure-parser.ts describeParseFailure). */
-    parseFailure?: VerificationParseFailure;
-    /**
-     * Stage attribution (verify/verification-attribution.ts): the gate stage whose
-     * red is charged to the delivery, when the outcome is 'failed' on a stage the
-     * run's log identifies.
-     */
-    failedStage?: string;
-    /**
-     * Stage attribution: gate stages whose red also fails the same way on the focus
-     * base -- recorded, non-blocking. The stages after each were still run and
-     * judged at the same commit before any pass.
-     */
-    preExistingStages?: string[];
-    /**
-     * True when the run was KILLED by the deterministic timeout (SIGKILL on the
-     * timer), as opposed to exiting on its own. A timed-out run died before it
-     * could finish, so its output parses to zero failing ids -- the caller must
-     * route it to the bounded instrument-fault re-work path, NEVER let the
-     * zero-parse output be laundered into a differential pass.
-     */
-    timedOut?: boolean;
-    /**
-     * The test runner's own totals line(s), found in a TIMED-OUT run's output
-     * (verify/verification-timeout-fault.ts). Present only when the runner got as
-     * far as printing them: the kill then landed after that runner finished (in
-     * teardown, a lingering handle, or a later stage of the command), not mid-suite,
-     * and the descriptions say so. Descriptive only -- the run stays timedOut and
-     * failed; a printed summary is never a pass verdict.
-     */
-    runnerSummary?: string[];
-    /**
-     * The commit the run judged: the focus HEAD sha of the detached checkout the
-     * command ran in (verify/verification-checkout.ts). Undefined for an in-place
-     * run (no focus worktree). Keys the default-on HEAD re-verify guard.
-     */
-    verifiedSha?: string;
-    /**
-     * True when no fixed-commit verdict exists (outcome 'pending'): no detached
-     * checkout of the focus HEAD could be made, so the command was NOT run, or a
-     * dependency install moved the checkout's linked packages mid-run, so its
-     * verdict was discarded. The tick retries next pass.
-     */
-    checkoutUnavailable?: boolean;
-    /**
-     * The command + timeout the run applied, and where they were read. A default-on
-     * run on a detached checkout re-resolves both from the telora.verify.json IN THE
-     * CHECKOUT (the code under verification), so a value committed on the verified
-     * branch applies to its next run; `manifestFallback` records that the checkout
-     * shipped none and the product repoPath manifest was used. An explicit-method
-     * row carries its row values; an in-place run carries the tick-resolved values.
-     * Set by verify/verification-checkout.ts; the baseline run sizes itself from it.
-     */
-    appliedConfig?: {
-        command: string;
-        timeoutMs: number;
-        /**
-         * Where `timeoutMs` was read, as a formatVerifyConfigSource label (an env var,
-         * daemon.json, a manifest path or its recorded fallback, the typed default, or
-         * the delivery's own config), so a timed-out run can say which layer to change.
-         */
-        timeoutSource: string;
-        /** The manifest the values were read from, when one was read. */
-        manifestPath?: string;
-        /** True when the verified code shipped no manifest and the repoPath manifest was applied. */
-        manifestFallback?: boolean;
-        /** Where the verified code's manifest was looked for (read first). */
-        verifiedManifestPath?: string;
-    };
-    /**
-     * True when the command was NOT run because its config could not be resolved
-     * from the verified code (a malformed manifest there). No run output exists to
-     * attribute, so baseline attribution is skipped and the rationale -- naming the
-     * manifest and the problem -- stands.
-     */
-    configUnresolved?: boolean;
-}
-/**
- * The worktree whose verify interlock a run holds, and the delivery it judges.
- * Omitted for an in-place run, which holds its own cwd and names no delivery.
- */
-export interface VerifyHoldTarget {
-    worktreePath: string;
-    deliveryId?: string;
-}
-/**
- * Context for persisting a deterministic run's full log to a file. When
- * supplied, runDeterministicStrategy streams the complete stdout+stderr to
- * `<stateDir>/verification/verification-<deliveryId>-<startedAtMs>.log` and
- * returns the absolute path on the result. Optional so unit tests that only
- * assert exit-code handling can omit it (no file written).
- */
-export interface DeterministicLogContext {
-    deliveryId: string;
-    /** Millisecond timestamp for a stable, unique filename (injectable for tests). */
-    startedAtMs: number;
-    /** Override the log directory (defaults to <stateDir>/verification). */
-    logDir?: string;
-}
-/**
- * Run a configured shell command in the focus's worktree (or the product
- * repo path as fallback). Pass = exit 0.
- *
- * `extraEnv` is merged over the inherited process env into the spawned command.
- * It carries the verify BOUNDARY the daemon resolved before the run
- * (TELORA_VERIFY_BASE_REF + TELORA_VERIFY_RECORDED_COMMIT_COUNT): on a
- * merged-back delivery the command's targeted-test selector must diff against
- * the delivery's recorded pre-merge boundary, not merge-base(HEAD, integration)
- * (which equals HEAD once the branch merged back, selecting nothing and passing
- * as a no-op). Empty / undefined => the process env is inherited unchanged (the
- * still-on-branch delivery path, where the selector's merge-base auto-derivation
- * is correct).
- */
-export declare function runDeterministicStrategy(config: Record<string, unknown> | null, cwd: string, logContext?: DeterministicLogContext, extraEnv?: Record<string, string>, hold?: VerifyHoldTarget): Promise<StrategyResult>;
-//# sourceMappingURL=verification-deterministic.d.ts.map

package/dist/verify/verification-deterministic.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deterministic.d.ts","sourceRoot":"","sources":["../../src/verify/verification-deterministic.ts"],"names":[],"mappings":"AAeA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAKjF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAQtE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,+BAA+B,QAAiB,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,sFAAsF;IACtF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,oHAAoH;IACpH,YAAY,CAAC,EAAE,wBAAwB,CAAC;IACxC;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB;;;;;;;OAOG;IACH,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB;;;;WAIG;QACH,aAAa,EAAE,MAAM,CAAC;QACtB,iEAAiE;QACjE,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,6FAA6F;QAC7F,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAC3B,sEAAsE;QACtE,oBAAoB,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,WAAW,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAiBD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACtC,GAAG,EAAE,MAAM,EACX,UAAU,CAAC,EAAE,uBAAuB,EACpC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,IAAI,CAAC,EAAE,gBAAgB,GACtB,OAAO,CAAC,cAAc,CAAC,CA8HzB"}

package/dist/verify/verification-deterministic.js

@@ -1,219 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/integration/explicit-gate-outcome-restart.test.ts,
-//   packages/daemon/src/integration/explicit-verdict-departure-during-removal.test.ts,
-//   packages/daemon/src/integration/explicit-verdict-invalidation-restart.test.ts,
-//   packages/daemon/src/integration/explicit-verdict-reuse.test.ts,
-//   packages/daemon/src/integration/focus-commit-verdict-scenario.test.ts,
-//   packages/daemon/src/integration/fully-merged-focus-sibling-red-scenario.test.ts,
-//   packages/daemon/src/verify/commit-verdict-record.test.ts,
-//   packages/daemon/src/verify/verification-attribution.test.ts,
-//   packages/daemon/src/verify/verification-checkout.test.ts,
-//   packages/daemon/src/verify/verification-commit-sharing.test.ts,
-//   packages/daemon/src/verify/verification-deterministic.test.ts,
-//   packages/daemon/src/worktree/verify-interlock.test.ts
-// PINNED-BY-END
-import { spawn } from 'node:child_process';
-import { createWriteStream, mkdirSync } from 'node:fs';
-import { resolve as resolvePath } from 'node:path';
-import { resolveGlobalStateDir } from '../shell/daemon-process.js';
-import { acquireVerifyHold } from '../worktree/verify-interlock.js';
-import { createLogger } from '../shell/log.js';
-import { createRunnerSummaryTracker, describeTimeout } from './verification-timeout-fault.js';
-const log = createLogger({ module: 'verification' });
-/**
- * Default deterministic timeout when the config sets none: 30 minutes.
- *
- * This is a generous SAFETY CEILING, not a sizing of the expected gate. As of
- * the "per-delivery gate runs the whole repo" focus, the per-delivery gate
- * (verify:gate) is the CHEAP dev-loop check -- linters + both ratchets +
- * typecheck + the TARGETED tests for the changed files, low single-digit minutes
- * -- and the whole-repo suite is enforced one altitude up, by the CI ci job on
- * every push to integration and main (no daemon code runs it). The 30-min
- * ceiling still earns its place: telora.verify.json sets an
- * explicit 30-min timeoutMs, and a focus MAY point the manifest at a heavier
- * command whose honest runtime approaches it.
- *
- * Matches DEFAULT_BASELINE_TIMEOUT_MS (verification-baseline.ts) on purpose: the
- * HEAD run and its baseline run the SAME configured gate, so an asymmetric HEAD
- * default silently SIGKILLs a long gate that set no explicit timeoutMs, and the
- * killed-mid-run output parses to zero failing ids -- laundering a blind kill
- * into a differential pass. An explicit config.timeoutMs override stays
- * authoritative.
- */
-export const DEFAULT_VERIFICATION_TIMEOUT_MS = 30 * 60 * 1000;
-/**
- * Spawn options for the deterministic verify child. Merges the resolved verify
- * boundary env (extraEnv) over the inherited process env; when there is nothing
- * to add, the process env is inherited unchanged (the still-on-branch path,
- * where the selector's merge-base auto-derivation is correct). Extracted so the
- * strategy function stays under the daemon per-function line limit.
- */
-function verifySpawnOptions(cwd, extraEnv) {
-    const opts = { cwd, stdio: ['ignore', 'pipe', 'pipe'] };
-    if (extraEnv && Object.keys(extraEnv).length > 0) {
-        opts.env = { ...process.env, ...extraEnv };
-    }
-    return opts;
-}
-/**
- * Run a configured shell command in the focus's worktree (or the product
- * repo path as fallback). Pass = exit 0.
- *
- * `extraEnv` is merged over the inherited process env into the spawned command.
- * It carries the verify BOUNDARY the daemon resolved before the run
- * (TELORA_VERIFY_BASE_REF + TELORA_VERIFY_RECORDED_COMMIT_COUNT): on a
- * merged-back delivery the command's targeted-test selector must diff against
- * the delivery's recorded pre-merge boundary, not merge-base(HEAD, integration)
- * (which equals HEAD once the branch merged back, selecting nothing and passing
- * as a no-op). Empty / undefined => the process env is inherited unchanged (the
- * still-on-branch delivery path, where the selector's merge-base auto-derivation
- * is correct).
- */
-export async function runDeterministicStrategy(config, cwd, logContext, extraEnv, hold) {
-    const command = config?.command;
-    if (typeof command !== 'string' || command.length === 0 || !config) {
-        return {
-            outcome: 'escalated',
-            rationale: 'deterministic strategy missing config.command',
-        };
-    }
-    const timeoutMs = typeof config.timeoutMs === 'number' && config.timeoutMs > 0 ? config.timeoutMs : DEFAULT_VERIFICATION_TIMEOUT_MS;
-    const timeoutSource = typeof config.timeoutSource === 'string' ? config.timeoutSource : undefined; // named in a timeout rationale
-    // Open a persistent full-log sink under the state dir (best-effort). The
-    // 4000-char tails stay as inline evidence; the file captures the WHOLE run
-    // so a failure discovered later has the complete output to point at.
-    let logPath;
-    let logStream;
-    if (logContext) {
-        try {
-            const dir = logContext.logDir ?? resolvePath(resolveGlobalStateDir(), 'verification');
-            mkdirSync(dir, { recursive: true });
-            logPath = resolvePath(dir, `verification-${logContext.deliveryId}-${logContext.startedAtMs}.log`);
-            logStream = createWriteStream(logPath, { mode: 0o600 });
-            // Swallow late write/close errors (e.g. the dir removed mid-flush): a log
-            // sink failure must never crash the tick with an unhandled 'error' event.
-            logStream.on('error', (err) => {
-                log.warn(`log stream error for delivery ${logContext.deliveryId}:`, err.message);
-            });
-            logStream.write(`$ ${command}\n(cwd: ${cwd})\n\n`);
-        }
-        catch (err) {
-            log.warn(`failed to open log file for delivery ${logContext.deliveryId}:`, err.message);
-            logPath = undefined;
-            logStream = undefined;
-        }
-    }
-    // Verify interlock: hold the worktree for the lifetime of the verify process so
-    // no daemon-authored commit path (safety / WIP / lockfile, all via guardedCommit)
-    // can snapshot a transient mid-verify tree state. Acquired BEFORE the spawn and
-    // released the instant the process exits (any exit) in `finish`, which every exit
-    // path funnels through. See worktree/verify-interlock.ts (`hold`: the focus worktree).
-    const releaseVerifyHold = acquireVerifyHold(hold?.worktreePath ?? cwd, hold?.deliveryId);
-    return new Promise((resolve) => {
-        let child;
-        try {
-            child = spawn('sh', ['-c', command], verifySpawnOptions(cwd, extraEnv));
-        }
-        catch (err) {
-            // Synchronous spawn failure: release the hold and fail the run rather than
-            // leaking a hold that would wedge the worktree forever.
-            releaseVerifyHold();
-            resolve({
-                outcome: 'failed',
-                rationale: `deterministic spawn threw: ${err.message}`,
-                ...(logPath ? { logPath } : {}),
-            });
-            return;
-        }
-        const stdout = captureStream(child.stdout, logStream);
-        const stderr = captureStream(child.stderr, logStream);
-        const finish = (result) => {
-            // Release the verify interlock the instant the process has exited (clean,
-            // killed, or abnormal -- every exit path calls finish). Idempotent, so an
-            // 'error' followed by a 'close' cannot double-release. Released here, before
-            // the log stream flushes, because the mutation window ended at process exit;
-            // the flush is pure I/O and never touches the worktree.
-            releaseVerifyHold();
-            const finalResult = { ...result, ...(logPath ? { logPath } : {}) };
-            if (logStream) {
-                // Resolve only AFTER the stream has flushed + closed, so the full log
-                // file is durable on disk before a caller (or a reader) touches logPath.
-                try {
-                    logStream.end(() => resolve(finalResult));
-                    return;
-                }
-                catch (err) {
-                    // fall through to immediate resolve
-                    log.debug('fall through to immediate resolve', { error: String(err?.message ?? err) });
-                }
-            }
-            resolve(finalResult);
-        };
-        let timedOut = false;
-        const timer = setTimeout(() => {
-            // Mark the kill as a TIMEOUT before signalling so `close` can classify it
-            // distinctly -- a killed-mid-run process parses to zero failing ids, and
-            // that blindness must never read as a differential pass.
-            timedOut = true;
-            try {
-                child.kill('SIGKILL');
-            }
-            catch { /* ignore */ }
-        }, timeoutMs);
-        child.on('error', (err) => {
-            clearTimeout(timer);
-            finish({
-                outcome: 'failed',
-                rationale: `deterministic spawn error: ${err.message}`,
-                stdoutTail: stdout.tail(),
-                stderrTail: stderr.tail(),
-            });
-        });
-        child.on('close', (code) => {
-            clearTimeout(timer);
-            if (timedOut) {
-                finish({
-                    outcome: 'failed',
-                    ...describeTimeout(timeoutMs, stdout.tail(), stderr.tail(), timeoutSource, stdout.summary() ?? stderr.summary()),
-                    exitCode: code,
-                    stdoutTail: stdout.tail(),
-                    stderrTail: stderr.tail(),
-                    timedOut: true,
-                });
-                return;
-            }
-            const passed = code === 0;
-            finish({
-                outcome: passed ? 'passed' : 'failed',
-                rationale: passed
-                    ? 'deterministic check passed (exit 0)'
-                    : `deterministic check failed (exit ${code})`,
-                exitCode: code,
-                stdoutTail: stdout.tail(),
-                stderrTail: stderr.tail(),
-            });
-        });
-    });
-}
-/** Chars of each stream kept inline on the result (the full run is in the log file). */
-const STREAM_TAIL_CHARS = 4000;
-/**
- * Capture one output stream: tee it to the log sink, keep its last
- * STREAM_TAIL_CHARS as inline evidence, and track the runner summary it printed.
- * The summary is tracked BEFORE each cut, because a gate that keeps printing
- * after its tests evicts the summary from the tail before a timeout lands.
- */
-function captureStream(readable, logStream) {
-    let buffer = '';
-    const tracker = createRunnerSummaryTracker();
-    readable?.on('data', (chunk) => {
-        const text = chunk.toString('utf8');
-        logStream?.write(text);
-        buffer += text;
-        tracker.observe(buffer, text);
-        if (buffer.length > STREAM_TAIL_CHARS)
-            buffer = buffer.slice(buffer.length - STREAM_TAIL_CHARS);
-    });
-    return { tail: () => buffer, summary: () => tracker.latest() };
-}
-//# sourceMappingURL=verification-deterministic.js.map

package/dist/verify/verification-deterministic.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deterministic.js","sourceRoot":"","sources":["../../src/verify/verification-deterministic.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,qFAAqF;AACrF,8DAA8D;AAC9D,iEAAiE;AACjE,8DAA8D;AAC9D,oEAAoE;AACpE,mEAAmE;AACnE,0DAA0D;AAC1D,gBAAgB;AAgBhB,OAAO,EAAE,KAAK,EAAqB,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAE9F,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAmI9D;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,GAAW,EAAE,QAAiC;IACxE,MAAM,IAAI,GAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;IACtE,IAAI,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAAsC,EACtC,GAAW,EACX,UAAoC,EACpC,QAAiC,EACjC,IAAuB;IAEvB,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC;IAChC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACnE,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,SAAS,EAAE,+CAA+C;SAC3D,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC;IACpI,MAAM,aAAa,GAAG,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,+BAA+B;IAElI,yEAAyE;IACzE,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,OAA2B,CAAC;IAChC,IAAI,SAAoD,CAAC;IACzD,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,IAAI,WAAW,CAAC,qBAAqB,EAAE,EAAE,cAAc,CAAC,CAAC;YACtF,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,gBAAgB,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,WAAW,MAAM,CAAC,CAAC;YAClG,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,0EAA0E;YAC1E,0EAA0E;YAC1E,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC5B,GAAG,CAAC,IAAI,CAAC,iCAAiC,UAAU,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC9F,CAAC,CAAC,CAAC;YACH,SAAS,CAAC,KAAK,CAAC,KAAK,OAAO,WAAW,GAAG,OAAO,CAAC,CAAC;QACrD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,wCAAwC,UAAU,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACnG,OAAO,GAAG,SAAS,CAAC;YACpB,SAAS,GAAG,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,kFAAkF;IAClF,gFAAgF;IAChF,kFAAkF;IAClF,uFAAuF;IACvF,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,IAAI,EAAE,YAAY,IAAI,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAEzF,OAAO,IAAI,OAAO,CAAiB,CAAC,OAAO,EAAE,EAAE;QAC7C,IAAI,KAA+B,CAAC;QACpC,IAAI,CAAC;YACH,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,2EAA2E;YAC3E,wDAAwD;YACxD,iBAAiB,EAAE,CAAC;YACpB,OAAO,CAAC;gBACN,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,8BAA+B,GAAa,CAAC,OAAO,EAAE;gBACjE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEtD,MAAM,MAAM,GAAG,CAAC,MAAsB,EAAE,EAAE;YACxC,0EAA0E;YAC1E,0EAA0E;YAC1E,6EAA6E;YAC7E,6EAA6E;YAC7E,wDAAwD;YACxD,iBAAiB,EAAE,CAAC;YACpB,MAAM,WAAW,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACnE,IAAI,SAAS,EAAE,CAAC;gBACd,sEAAsE;gBACtE,yEAAyE;gBACzE,IAAI,CAAC;oBACH,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;oBAC1C,OAAO;gBACT,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACvB,oCAAoC;oBAC1B,GAAG,CAAC,KAAK,CAAC,mCAAmC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC;YACD,OAAO,CAAC,WAAW,CAAC,CAAC;QACvB,CAAC,CAAC;QAEF,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,0EAA0E;YAC1E,yEAAyE;YACzE,yDAAyD;YACzD,QAAQ,GAAG,IAAI,CAAC;YAChB,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,CAAC;gBACL,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,8BAA+B,GAAa,CAAC,OAAO,EAAE;gBACjE,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;gBACzB,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;aAC1B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC;oBACL,OAAO,EAAE,QAAQ;oBACjB,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBAChH,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;oBACzB,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;oBACzB,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC;YAC1B,MAAM,CAAC;gBACL,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACrC,SAAS,EAAE,MAAM;oBACf,CAAC,CAAC,qCAAqC;oBACvC,CAAC,CAAC,oCAAoC,IAAI,GAAG;gBAC/C,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;gBACzB,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;aAC1B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B;;;;;GAKG;AACH,SAAS,aAAa,CACpB,QAAkD,EAClD,SAAoD;IAEpD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,MAAM,OAAO,GAAG,0BAA0B,EAAE,CAAC;IAC7C,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,IAAI,CAAC;QACf,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,MAAM,GAAG,iBAAiB;YAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,iBAAiB,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;AACjE,CAAC"}

package/dist/verify/verification-diagnostics.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-diagnostics.d.ts","sourceRoot":"","sources":["../../src/verify/verification-diagnostics.ts"],"names":[],"mappings":"AAgFA,oFAAoF;AACpF,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAOrD;AAqGD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,GAAE,SAAS,MAAM,EAAO,GAAG,MAAM,EAAE,CAU3G;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAU/F;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,SAAI,GAAG,MAAM,CAGpF"}

package/dist/verify/verification-diagnostics.js

@@ -1,219 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/verification-diagnostics.test.ts
-// PINNED-BY-END
-/**
- * Diagnostic signatures of one red gate stage, comparable across two checkouts.
- *
- * Stage attribution (verify/verification-attribution.ts) used to call a non-test
- * red pre-existing when only the stage NAMES matched and neither side parsed a
- * failing-test id -- so a base lint error in file A and a new lint or type error
- * in file B laundered together. A stage red is the base's only when the base
- * reports every diagnostic this run reports. This module reduces a stage's log
- * segment to a MULTISET of stable, effect-bearing signatures:
- *
- *   - eslint (stylish): `eslint <file> <rule> <message>`, errors only (a warning
- *     never fails the stage); the file comes from the path line above the problem
- *     lines;
- *   - tsc: `tsc <file> <TSxxxx> <message>` from `file(l,c): error TSxxxx: msg`
- *     and the pretty `file:l:c - error TSxxxx: msg`;
- *   - every OTHER line that bears an error word (error, fail, violated, drift,
- *     exceeds, ...) or names a file path -- which keeps ratchet counts
- *     (`name: 130 > baseline 120`) and drift file lines, and drops progress prose
- *     such as an IMPROVED count;
- *   - and when none of that yields anything, every remaining output line.
- *
- * The tiers compose; a structured tier never replaces the rest. A stage whose
- * output mixes a structured tool with anything else (an eslint error beside a
- * ratchet count) keeps every effect-bearing line the structured parsers did not
- * account for. What they account for is left out, because their signatures
- * already count it: the lines they consumed (an eslint file header and its
- * problem lines, warnings included; a tsc diagnostic, its indented message chain
- * and its code frame) and the tallies they print about them (eslint's `N
- * problems` and `--fix` lines, tsc's `Found N errors` and its per-file table).
- * (Structured signatures used to win outright, so a head reporting the base's
- * eslint error PLUS a new ratchet violation compared identical to the base and
- * the new red was laundered as pre-existing -- TEL-6.)
- *
- * Normalised away, because they differ between two runs of the same defect:
- * ANSI codes, npm's own script headers and lifecycle trailer (their package
- * VERSION and paths move between base and head), timestamps and durations, the
- * checkout's absolute path prefix (base and head run in DIFFERENT checkout
- * directories: the `(cwd: ...)` preamble a verify log opens with, any explicitly
- * known root, and the daemon's checkout-root layout), and line/column numbers
- * (an unrelated edit above a base error moves it). Counts are kept: a count is
- * the effect.
- *
- * Comparison ({@link uncoveredDiagnostics}): the head red is covered only if every
- * head signature occurs at least as many times in the base. A head red with no
- * extractable signature is NOT covered by anything -- attribution charges it
- * rather than launder an unreadable red (decided: a charge names the stage, which
- * the team can act on; the base red it might match cannot be shown). Pure.
- *
- * @module verify/verification-diagnostics
- */
-const ESC = String.fromCharCode(27);
-const ANSI_RE = new RegExp(`${ESC}\\[[0-9;?]*[A-Za-z]`, 'g');
-const NPM_HEADER_RE = /^> (?:@[^\s@/]+\/)?[^\s@]+@\S+ \S+$/;
-/** npm's own lines about the script it ran (not the script's diagnostics); a missing script is kept. */
-const NPM_NOISE_RE = /^npm (?:error|ERR!|warn|WARN|notice|verb)\b(?!.*Missing script)/;
-const LOG_CWD_RE = /^\(cwd: (.+)\)$/;
-/** The daemon's checkout layouts under its state dir: `<...>/verification-checkout/<key>/`. */
-const CHECKOUT_ROOT_RE = /(?:\/[^\s/:'"()]+)*\/verification-(?:checkout|baseline-wt)\/[^\s/:'"()]+\/?/g;
-const SOURCE_PATH = String.raw `[^\s:()'"]+\.(?:[cm]?[jt]sx?|json|mjs|cjs|sql|md|ya?ml|css|html|sh|py|toml)`;
-const ESLINT_FILE_RE = new RegExp(`^(${SOURCE_PATH})$`);
-const ESLINT_PROBLEM_RE = /^\s+\d+:\d+\s+(error|warning)\s+(.+?)(?:\s{2,}(\S+))?$/;
-const TSC_RE = new RegExp(`^(${SOURCE_PATH})(?:\\(\\d+,\\d+\\):|:\\d+:\\d+ -) error (TS\\d+): (.*)$`);
-const ERROR_WORD_RE = /\b(?:errors?|fail(?:s|ed|ure|ures|ing)?|violat(?:ed|ion|ions)|drift|exceed(?:s|ed)?|grew|stale|mismatch(?:es)?|missing|not found|forbidden|invalid|cannot|unable|not ok)\b|[✖✗×]/i;
-const PATH_TOKEN_RE = new RegExp(`(?:^|\\s)(?:\\./)?[\\w@.-]+/${SOURCE_PATH}`);
-/** The tallies eslint and tsc print about their own diagnostics (trimmed line). */
-const STRUCTURED_TALLY_RE = /^(?:[✖✗×]\s*)?\d+ problems?\b|^\d+ errors? and \d+ warnings? potentially fixable\b|^Found \d+ errors?\b/;
-/** tsc's per-file error table: its `Errors  Files` head, then `<count>  <file>` rows. */
-const TSC_TABLE_HEAD_RE = /^Errors\s+Files$/;
-const TSC_TABLE_ROW_RE = /^\d+\s+\S/;
-/** A code frame: a numbered source line directly above its squiggle underline. */
-const FRAME_SOURCE_RE = /^\d+ /;
-const FRAME_UNDERLINE_RE = /^~+$/;
-/** The roots a verify log names for itself: every `(cwd: <path>)` preamble line. */
-export function logCwdRoots(logText) {
-    const roots = [];
-    for (const line of (typeof logText === 'string' ? logText : '').split(/\r?\n/)) {
-        const match = LOG_CWD_RE.exec(line.trim());
-        if (match)
-            roots.push(match[1].trim());
-    }
-    return roots;
-}
-function stripRoots(line, roots) {
-    let out = line;
-    for (const root of roots) {
-        const trimmed = root.replace(/\/+$/, '');
-        if (trimmed.length > 1)
-            out = out.split(`${trimmed}/`).join('').split(trimmed).join('.');
-    }
-    return out.replace(CHECKOUT_ROOT_RE, '');
-}
-/** One line reduced to what is stable across two runs of the same defect. */
-function normaliseLine(line, roots) {
-    return stripRoots(line.replace(ANSI_RE, ''), roots)
-        .replace(/\b\d{4}-\d{2}-\d{2}[T ]\d{2}[:_]\d{2}[:_]\d{2}(?:[._]\d+)?Z?/g, '<time>')
-        .replace(/\b\d{1,2}:\d{2}:\d{2}(?:\.\d+)?\b/g, '<time>')
-        .replace(/\b(duration(?:_ms)?:?\s*)\d+(?:\.\d+)?/gi, '$1<dur>')
-        .replace(/\b\d+(?:\.\d+)?\s?(?:ms|s|sec|secs|seconds|m|min|mins|minutes|h)\b/g, '<dur>')
-        .replace(/\(\d+,\d+\)/g, '')
-        .replace(/:\d+(?::\d+)?\b/g, '')
-        .replace(/\s+/g, ' ')
-        .trim();
-}
-/**
- * The stage's own output lines: npm's script headers (and their command lines)
- * and lifecycle trailer removed. A blank line, and each removed line, stays as ''
- * -- a boundary the structured reading needs (a tsc message chain ends at one).
- */
-function ownOutput(lines) {
-    const out = [];
-    for (let index = 0; index < lines.length; index++) {
-        const line = lines[index].replace(ANSI_RE, '').trimEnd();
-        if (NPM_HEADER_RE.test(line)) {
-            if (lines[index + 1]?.startsWith('> '))
-                index += 1;
-            out.push('');
-            continue;
-        }
-        out.push(line.trim().length === 0 || NPM_NOISE_RE.test(line.trim()) ? '' : line);
-    }
-    return out;
-}
-/** eslint stylish + tsc signatures (the structured tiers), with the lines each consumed. */
-function structuredSignatures(lines, roots) {
-    const signatures = [];
-    const consumed = new Set(structuredTallies(lines));
-    let eslintFile = null;
-    let tscChain = false;
-    for (let index = 0; index < lines.length; index++) {
-        const line = lines[index];
-        const indented = /^\s/.test(line);
-        if (tscChain && indented) {
-            consumed.add(index); // the diagnostic's indented message chain
-            continue;
-        }
-        const tsc = TSC_RE.exec(line.trim());
-        tscChain = tsc !== null;
-        if (tsc) {
-            signatures.push(`tsc ${normaliseLine(tsc[1], roots)} ${tsc[2]} ${normaliseLine(tsc[3], roots)}`);
-            consumed.add(index);
-            continue;
-        }
-        const file = ESLINT_FILE_RE.exec(line.trim());
-        if (file && !indented) {
-            eslintFile = { name: normaliseLine(file[1], roots), index };
-            continue;
-        }
-        const problem = eslintFile === null ? null : ESLINT_PROBLEM_RE.exec(line);
-        if (problem && eslintFile) {
-            consumed.add(eslintFile.index).add(index);
-            if (problem[1] === 'error')
-                signatures.push(`eslint ${eslintFile.name} ${problem[3] ?? '-'} ${normaliseLine(problem[2], roots)}`);
-            continue;
-        }
-        if (!indented)
-            eslintFile = null;
-    }
-    return { signatures, consumed };
-}
-/** Indexes of the tallies, per-file tables and code frames eslint and tsc print about their diagnostics. */
-function structuredTallies(lines) {
-    const tallies = [];
-    let inTable = false;
-    lines.forEach((line, index) => {
-        const text = line.replace(ANSI_RE, '').trim();
-        inTable = TSC_TABLE_HEAD_RE.test(text) || (inTable && TSC_TABLE_ROW_RE.test(text));
-        if (inTable || STRUCTURED_TALLY_RE.test(text))
-            tallies.push(index);
-        if (FRAME_UNDERLINE_RE.test(text)) {
-            tallies.push(index);
-            if (FRAME_SOURCE_RE.test(lines[index - 1]?.trim() ?? ''))
-                tallies.push(index - 1);
-        }
-    });
-    return tallies;
-}
-/**
- * The diagnostic signatures of one red stage's log segment (module doc), sorted.
- * `roots` are checkout paths to strip in addition to those the text names.
- */
-export function diagnosticSignatures(stageLines, roots = []) {
-    const allRoots = [...roots, ...stageLines.flatMap((line) => logCwdRoots(line))];
-    const lines = ownOutput(stageLines);
-    const { signatures, consumed } = structuredSignatures(lines, allRoots);
-    // What the structured tiers consumed is left out only when they read a signature from it.
-    const rest = lines.filter((line, index) => line.length > 0 && !(signatures.length > 0 && consumed.has(index)));
-    const bearing = rest.filter((line) => ERROR_WORD_RE.test(line) || PATH_TOKEN_RE.test(line));
-    const chosen = bearing.length > 0 || signatures.length > 0 ? bearing : rest;
-    const unstructured = chosen.map((line) => normaliseLine(line, allRoots)).filter((line) => line.length > 0);
-    return [...signatures, ...unstructured].sort();
-}
-/**
- * The head signatures the base does not cover, as a multiset difference (a
- * signature the head reports N times and the base M < N times contributes N - M
- * copies). Empty means covered. Sorted.
- */
-export function uncoveredDiagnostics(head, base) {
-    const available = new Map();
-    for (const signature of base)
-        available.set(signature, (available.get(signature) ?? 0) + 1);
-    const uncovered = [];
-    for (const signature of head) {
-        const left = available.get(signature) ?? 0;
-        if (left > 0)
-            available.set(signature, left - 1);
-        else
-            uncovered.push(signature);
-    }
-    return uncovered.sort();
-}
-/** A short, bounded rendering of diagnostics for a rationale. */
-export function describeDiagnostics(signatures, limit = 3) {
-    const shown = signatures.slice(0, limit).map((signature) => `"${signature}"`).join(', ');
-    return signatures.length > limit ? `${shown} (+${signatures.length - limit} more)` : shown;
-}
-//# sourceMappingURL=verification-diagnostics.js.map

package/dist/verify/verification-diagnostics.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-diagnostics.js","sourceRoot":"","sources":["../../src/verify/verification-diagnostics.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AACpC,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,qBAAqB,EAAE,GAAG,CAAC,CAAC;AAC7D,MAAM,aAAa,GAAG,qCAAqC,CAAC;AAC5D,wGAAwG;AACxG,MAAM,YAAY,GAAG,iEAAiE,CAAC;AACvF,MAAM,UAAU,GAAG,iBAAiB,CAAC;AACrC,+FAA+F;AAC/F,MAAM,gBAAgB,GAAG,8EAA8E,CAAC;AAExG,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAA,6EAA6E,CAAC;AAC5G,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,KAAK,WAAW,IAAI,CAAC,CAAC;AACxD,MAAM,iBAAiB,GAAG,wDAAwD,CAAC;AACnF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,WAAW,0DAA0D,CAAC,CAAC;AACtG,MAAM,aAAa,GAAG,mLAAmL,CAAC;AAC1M,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,+BAA+B,WAAW,EAAE,CAAC,CAAC;AAE/E,mFAAmF;AACnF,MAAM,mBAAmB,GAAG,yGAAyG,CAAC;AACtI,yFAAyF;AACzF,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAC7C,MAAM,gBAAgB,GAAG,WAAW,CAAC;AACrC,kFAAkF;AAClF,MAAM,eAAe,GAAG,OAAO,CAAC;AAChC,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC,oFAAoF;AACpF,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAwB;IACxD,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,IAAY,EAAE,KAAwB;IAC3D,OAAO,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC;SAChD,OAAO,CAAC,+DAA+D,EAAE,QAAQ,CAAC;SAClF,OAAO,CAAC,oCAAoC,EAAE,QAAQ,CAAC;SACvD,OAAO,CAAC,0CAA0C,EAAE,SAAS,CAAC;SAC9D,OAAO,CAAC,qEAAqE,EAAE,OAAO,CAAC;SACvF,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;SAC3B,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAC/B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAwB;IACzC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACzD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC;gBAAE,KAAK,IAAI,CAAC,CAAC;YACnD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAQD,4FAA4F;AAC5F,SAAS,oBAAoB,CAAC,KAAwB,EAAE,KAAwB;IAC9E,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,IAAI,UAAU,GAA2C,IAAI,CAAC;IAC9D,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;YACzB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,0CAA0C;YAC/D,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACrC,QAAQ,GAAG,GAAG,KAAK,IAAI,CAAC;QACxB,IAAI,GAAG,EAAE,CAAC;YACR,UAAU,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9C,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtB,UAAU,GAAG,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;YAC1B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;gBAAE,UAAU,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAClI,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,UAAU,GAAG,IAAI,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,4GAA4G;AAC5G,SAAS,iBAAiB,CAAC,KAAwB;IACjD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,IAAI,OAAO,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAA6B,EAAE,QAA2B,EAAE;IAC/F,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvE,0FAA0F;IAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/G,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3G,OAAO,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAuB,EAAE,IAAuB;IACnF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,IAAI;QAAE,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;;YAC5C,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,UAA6B,EAAE,KAAK,GAAG,CAAC;IAC1E,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,UAAU,CAAC,MAAM,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7F,CAAC"}