@telora/daemon 0.22.245 → 0.22.290

package/dist/verify/attribution/verification-baseline.js

@@ -0,0 +1,359 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/composition/subsystem-contexts.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/attribution/verification-attribution-base.test.ts,
+//   packages/daemon/src/verify/attribution/verification-attribution.test.ts,
+//   packages/daemon/src/verify/attribution/verification-baseline-run.test.ts,
+//   packages/daemon/src/verify/attribution/verification-baseline.test.ts
+// PINNED-BY-END
+/**
+ * Baseline-diff attribution keyed by the focus-base SHA.
+ *
+ * An exact mechanical diff, not a per-delivery model judgement:
+ * measure the verification command ONCE against the focus base (the merge-base of
+ * the focus branch and integration), cache the parsed failing-test set and stage
+ * outcomes per (product, base SHA, gate), then classify each delivery-HEAD
+ * failure as NEW (in HEAD not baseline -> gates) or PRE-EXISTING (in both ->
+ * recorded, non-blocking). The differential gate then measures only the delta
+ * the focus introduced.
+ *
+ * Correctness note: the HEAD run executes in a detached checkout of the focus
+ * HEAD, and the baseline in a detached checkout of the merge-base made off the
+ * same provisioned focus worktree (verify/attribution/verification-baseline-run.ts) --
+ * otherwise the two sides are not comparable. A base that cannot be run
+ * this tick is evidence-unavailable, never a verdict and never cached.
+ *
+ * History: docs/daemon/history-verify.md (verify/attribution/verification-baseline.ts).
+ *
+ * @module verification-baseline
+ */
+import { createHash } from 'node:crypto';
+import { mkdirSync, readFileSync, writeFileSync, existsSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { resolveGlobalStateDir } from '../../daemon-state/daemon-process.js';
+import { FAILURE_PARSER_VERSION, parseFailingTests } from '../deterministic-gate/verification-failure-parser.js';
+import { parseGateRunStages } from '../deterministic-gate/verification-gate-stages.js';
+import { diagnosticSignatures, logCwdRoots } from './verification-diagnostics.js';
+import { isBaselineUnavailable, measureBaseline, readBaseStages, } from './verification-baseline-run.js';
+import { runGitSync } from '../../git/types.js';
+import { resolveAttributionBase } from './verification-attribution-base.js';
+import { getFocusWorktree } from '../../worktree/focus-worktree-state.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
+/**
+ * Default timeout for a baseline run when the verification config sets none:
+ * 30 min. A safety CEILING, mirroring DEFAULT_VERIFICATION_TIMEOUT_MS (the HEAD
+ * run must share the baseline's timeout -- see the note there). The per-delivery
+ * gate is now the cheap dev-loop check, not a ~30-min whole-repo sweep; the
+ * ceiling covers a manifest deliberately pointed at a heavier command.
+ */
+const DEFAULT_BASELINE_TIMEOUT_MS = 30 * 60 * 1000;
+/**
+ * Partition a HEAD failing-test set against the baseline failing-test set. Pure.
+ * Sorted for stable output / comparison.
+ */
+export function classifyFailures(headFailing, baselineFailing) {
+    const newFailures = [];
+    const preExisting = [];
+    for (const id of headFailing) {
+        if (baselineFailing.has(id))
+            preExisting.push(id);
+        else
+            newFailures.push(id);
+    }
+    return { newFailures: newFailures.sort(), preExisting: preExisting.sort() };
+}
+function baselineCacheDir() {
+    return resolve(resolveGlobalStateDir(), 'verification-baseline');
+}
+/** Short, filename-safe fingerprint of a gate. */
+function gateFingerprint(gate) {
+    return createHash('sha256').update(JSON.stringify([gate.command, gate.timeoutMs])).digest('hex').slice(0, 16);
+}
+/** Cache file path for a (product, base SHA, gate). Exported for tests. */
+export function baselineCachePath(productId, baseSha, gate) {
+    // Sanitize: productId is a uuid and baseSha a hex sha, both filename-safe, but
+    // guard against separators defensively.
+    const safe = `${productId}-${baseSha}-${gateFingerprint(gate)}`.replace(/[^a-zA-Z0-9._-]/g, '_');
+    return resolve(baselineCacheDir(), `${safe}.json`);
+}
+/**
+ * Read the cached baseline record, or null on miss / unreadable. The file records
+ * the gate it was run with and is re-checked against the one asked for, so an
+ * entry only ever answers for its own gate. An entry of an older format (no
+ * `stages` key, or stages recorded as a single red with no diagnostic signatures)
+ * is a MISS: it cannot answer which diagnostics each red carried, nor any red
+ * after the first, so the base is measured once more and the entry is rewritten.
+ * So is an entry whose failing tests were parsed by another FAILURE_PARSER_VERSION
+ * (or none recorded, i.e. before versions): its ids are not comparable with the
+ * ones HEAD parses now -- a base the old parser read as naming no failing test
+ * would charge every red HEAD shares with it as new.
+ */
+export function readBaselineCache(productId, baseSha, gate) {
+    const path = baselineCachePath(productId, baseSha, gate);
+    if (!existsSync(path))
+        return null;
+    try {
+        const parsed = JSON.parse(readFileSync(path, 'utf8'));
+        if (parsed.command !== gate.command || parsed.timeoutMs !== gate.timeoutMs)
+            return null;
+        if (parsed.parserVersion !== FAILURE_PARSER_VERSION)
+            return null;
+        if (!Array.isArray(parsed.failingTests) || !('stages' in parsed))
+            return null;
+        const stages = readBaseStages(parsed.stages);
+        if (stages === undefined)
+            return null;
+        return { failingTests: parsed.failingTests.filter((t) => typeof t === 'string'), stages };
+    }
+    catch {
+        return null;
+    }
+}
+/** Write the baseline record for a (product, base SHA, gate). Best-effort. */
+export function writeBaselineCache(productId, baseSha, gate, record) {
+    try {
+        mkdirSync(baselineCacheDir(), { recursive: true });
+        writeFileSync(baselineCachePath(productId, baseSha, gate), JSON.stringify({ productId, baseSha, command: gate.command, timeoutMs: gate.timeoutMs, parserVersion: FAILURE_PARSER_VERSION, failingTests: record.failingTests, stages: record.stages }, null, 2), { mode: 0o600 });
+    }
+    catch (err) {
+        log.warn(`failed to write baseline cache for ${productId}@${baseSha.slice(0, 8)}:`, err.message);
+    }
+}
+/**
+ * Resolve the baseline record for a (product, base SHA, gate): a cache hit
+ * short-circuits (an unchanged SHA under an unchanged gate is never measured
+ * again); a miss opens ONE base checkout, measures the gate and every red past
+ * the first in it (verify/attribution/verification-baseline-run.ts), and caches the record.
+ * A base that could not be measured -- no checkout, a run that threw, an install
+ * that moved its dependencies mid-run, or a checkout refused because the focus
+ * changed its dependency install inputs (`incomparable`) -- is returned as
+ * unavailable and NOT cached: another HEAD at the same base sha may leave them
+ * unchanged. `gate` must be the one the checkout runs.
+ */
+export async function getBaselineRecord(productId, baseSha, gate, deps) {
+    const cached = deps.readCache(productId, baseSha, gate);
+    if (cached)
+        return cached;
+    const checkout = await deps.openBaseline(baseSha);
+    if (isBaselineUnavailable(checkout))
+        return checkout;
+    let record;
+    try {
+        record = await measureBaseline(checkout, gate.command);
+        if (checkout.dependenciesMoved?.()) {
+            return { unavailable: 'a dependency install moved the node_modules trees the base checkout links into while it was measured' };
+        }
+    }
+    catch (err) {
+        return { unavailable: `the base measurement threw: ${err.message}` };
+    }
+    finally {
+        checkout.dispose?.();
+    }
+    deps.writeCache(productId, baseSha, gate, record);
+    return record;
+}
+// ---------------------------------------------------------------------------
+// git helpers
+// ---------------------------------------------------------------------------
+/** Resolve the focus base = merge-base(integrationBranch, HEAD) in a worktree. Null on failure. */
+export function resolveFocusBaseSha(worktreePath, integrationBranch) {
+    const result = runGitSync(['merge-base', integrationBranch, 'HEAD'], worktreePath);
+    if (!result.success || result.output.trim().length === 0)
+        return null;
+    return result.output.trim();
+}
+/** Resolve the worktree HEAD sha. Null on failure. */
+export function resolveHeadSha(worktreePath) {
+    const result = runGitSync(['rev-parse', 'HEAD'], worktreePath);
+    if (!result.success || result.output.trim().length === 0)
+        return null;
+    return result.output.trim();
+}
+/**
+ * Classify a failed HEAD run against the focus base. Returns null when no
+ * baseline could be resolved (no worktree / no merge-base) -- the caller then
+ * treats all HEAD failures as new (fail-closed toward gating, the behavior
+ * before attribution existed). A base that resolved but could not be measured
+ * returns a classification carrying `baseUnavailable` and nothing attributed.
+ */
+export async function attributeFailures(v, result, deps) {
+    const worktreePath = deps.resolveWorktreePath(v);
+    if (!worktreePath || !v.productId)
+        return null;
+    // The base is taken against the commit the HEAD run JUDGED (the detached
+    // checkout's sha), falling back to the live focus HEAD when none is carried
+    // or the worktree does not know it.
+    const judged = result.verifiedSha && runGitSync(['cat-file', '-e', `${result.verifiedSha}^{commit}`], worktreePath).success
+        ? result.verifiedSha
+        : null;
+    const headRef = judged ?? 'HEAD';
+    const headSha = judged ?? deps.resolveHeadSha(worktreePath);
+    // An unreadable own-commit record reverts nothing: a merge-base that is HEAD then gates every red.
+    const ownCommitShas = deps.resolveOwnCommitShas ? await deps.resolveOwnCommitShas(v).catch(() => []) : [];
+    // The integration commit HEAD is based on, minus the delivery's own commits
+    // (verify/attribution/verification-attribution-base.ts): a sibling focus's red pulled in by
+    // a merge or fast-forward of integration stays in the base (pre-existing), the
+    // delivery's own merged-back defects never do. No base -> every HEAD red gates.
+    const base = resolveAttributionBase(worktreePath, deps.integrationBranch, headRef, headSha, ownCommitShas, deps.baseGit);
+    if (base.sha === null) {
+        log.info(`[verification] delivery ${v.deliveryId}: no attribution base (${base.reason}) -- every HEAD failure gates`);
+        return null;
+    }
+    const baseSha = base.sha;
+    // POST-MERGE-BACK LAUNDERING GUARD: a baseline identical to HEAD runs the
+    // delivery's OWN code, so its defects would demote to pre-existing. It can
+    // attribute nothing: refuse it (null gates every HEAD failure as new).
+    if (headSha && headSha === baseSha)
+        return null;
+    const headOutput = deps.readHeadOutput(result);
+    const headFailing = parseFailingTests(headOutput);
+    const baseline = await deps.getBaseline(v.productId, baseSha, worktreePath);
+    if (isBaselineUnavailable(baseline) && !baseline.incomparable) {
+        return { newFailures: [], preExisting: [], baseUnavailable: baseline.unavailable };
+    }
+    const head = parseGateRunStages(headOutput, result.exitCode, resolveBaselineRunConfig(v, result).command);
+    const headDiagnostics = head ? diagnosticSignatures(head.failedStageOutput, logCwdRoots(headOutput)) : [];
+    if (isBaselineUnavailable(baseline)) {
+        // Incomparable: the base was never measured, so no HEAD failure or stage red is set against it.
+        const stages = { head, headDiagnostics, base: null, baseFailingTests: [] };
+        return { ...classifyFailures(headFailing, new Set()), baseIncomparable: baseline.unavailable, stages };
+    }
+    // A demotion to pre-existing only ever removes a HEAD failure that is present in
+    // the baseline's failing set, so it is by construction taken only against
+    // failing-test ids the baseline run actually PARSED: an empty (blind or green)
+    // baseline demotes nothing and every HEAD failure gates. No blind baseline can
+    // launder a HEAD failure into "pre-existing". The same holds for stages: a base
+    // whose log vouched for no stage outcomes (stages null) matches no HEAD stage.
+    const classification = classifyFailures(headFailing, new Set(baseline.failingTests));
+    return { ...classification, stages: { head, headDiagnostics, base: baseline.stages, baseFailingTests: baseline.failingTests } };
+}
+/** Default HEAD-output reader: full log file when present, else the tails. */
+export function readHeadOutputDefault(result) {
+    if (result.logPath && existsSync(result.logPath)) {
+        try {
+            return readFileSync(result.logPath, 'utf8');
+        }
+        catch (err) {
+            // fall through to tails
+            log.debug('fall through to tails', { error: String(err?.message ?? err) });
+        }
+    }
+    return `${result.stdoutTail ?? ''}\n${result.stderrTail ?? ''}`;
+}
+// ---------------------------------------------------------------------------
+// Default wiring consumed by verification-engine (kept here to keep that file
+// under the daemon 800-line limit).
+// ---------------------------------------------------------------------------
+/**
+ * The command + timeout the baseline run applies: the HEAD run's applied config
+ * when the result carries one, else the verification row's. Both sides of the
+ * diff must run the SAME gate. A default-on HEAD run re-resolves its command +
+ * timeout from the verified checkout's manifest at dispatch, so sizing the
+ * baseline from the tick's provisional row config would kill a baseline the
+ * branch declared a longer timeout for -- and a killed baseline attributes
+ * nothing. Pure -- exported for testing.
+ */
+export function resolveBaselineRunConfig(v, result) {
+    if (result.appliedConfig) {
+        return { command: result.appliedConfig.command, timeoutMs: result.appliedConfig.timeoutMs };
+    }
+    const cfg = v.verificationConfig ?? {};
+    return {
+        command: typeof cfg.command === 'string' ? cfg.command : '',
+        timeoutMs: typeof cfg.timeoutMs === 'number' && cfg.timeoutMs > 0 ? cfg.timeoutMs : DEFAULT_BASELINE_TIMEOUT_MS,
+    };
+}
+/**
+ * Build the `attributeFailures` closure: reads the focus-worktree cwd,
+ * resolves the merge-base, measures (or reuses a cached measurement of) the base
+ * at that SHA in a provisioned detached checkout -- with the command + timeout the
+ * HEAD run applied -- and classifies HEAD failures against it. Returns null when
+ * no baseline is resolvable (caller gates all failures) or when no command ran.
+ */
+export function buildDefaultAttributeFailures(config, seams) {
+    return (v, result) => {
+        // No command ran (its config was unresolvable from the verified code): there
+        // is no HEAD output to attribute, and a baseline run would only cost a suite.
+        if (result.configUnresolved)
+            return Promise.resolve(null);
+        // One gate sizes the baseline run AND keys its cache entry, so a set cached
+        // under another command or timeout is never reused for this HEAD run.
+        const gate = resolveBaselineRunConfig(v, result);
+        return attributeFailures(v, result, {
+            resolveWorktreePath: seams.resolveWorktreePath,
+            resolveHeadSha: seams.resolveHeadSha,
+            resolveOwnCommitShas: seams.resolveOwnCommitShas,
+            integrationBranch: config.integrationBranch,
+            getBaseline: (productId, baseSha, worktreePath) => getBaselineRecord(productId, baseSha, gate, {
+                readCache: seams.readCache,
+                writeCache: seams.writeCache,
+                openBaseline: seams.buildOpenBaseline(worktreePath, `${v.deliveryId}-base`, gate),
+            }),
+            readHeadOutput: seams.readHeadOutput,
+            baseGit: seams.baseGit,
+        });
+    };
+}
+/**
+ * Build the default `resolveVerificationCwd`: the focus worktree (HEAD of the
+ * focus branch) so the deterministic run measures the focus's changes, falling
+ * back to the product repo path when no focus worktree exists.
+ */
+export function buildResolveVerificationCwd(resolveCwd) {
+    return (v) => {
+        if (v.focusId) {
+            const wt = getFocusWorktree(v.focusId);
+            if (wt?.worktreePath)
+                return wt.worktreePath;
+        }
+        return resolveCwd(v.productId);
+    };
+}
+/**
+ * Decide the attributed outcome for a failed deterministic run. `applyAttribution`
+ * is only ever called for a NON-ZERO (failed) run, so the parsed set is what
+ * discriminates:
+ *   - zero parsed ids TOTAL (no new AND no pre-existing) -> 'blind': the run exited
+ *     non-zero but produced no attributable failing-test id (a type-check crash,
+ *     missing deps, or a run killed before any test ran). The gate is blind, not
+ *     the work passing -- it must NOT be laundered into a differential pass.
+ *   - all-pre-existing (>=1 pre-existing, zero new) -> 'passed': a genuine
+ *     differential pass; the focus introduced no regression.
+ *   - any new failure -> 'failed'.
+ * Pure -- exported for testing.
+ */
+export function applyAttribution(deliveryId, classification) {
+    const { newFailures, preExisting } = classification;
+    if (newFailures.length === 0 && preExisting.length === 0) {
+        return {
+            outcome: 'blind',
+            rationale: `deterministic check exited non-zero but parsed zero failing-test ids -- the gate ` +
+                `cannot attribute the failure (instrument fault, not a differential pass)`,
+            newFailures,
+            preExisting,
+            log: null,
+        };
+    }
+    if (newFailures.length === 0) {
+        return {
+            outcome: 'passed',
+            rationale: `deterministic check exited non-zero but all ${preExisting.length} failure(s) ` +
+                `pre-exist on the focus base -- no new regression (differential pass)`,
+            newFailures,
+            preExisting,
+            log: `[verification] delivery ${deliveryId}: ${preExisting.length} pre-existing base failure(s) recorded, non-blocking (differential pass)`,
+        };
+    }
+    return {
+        outcome: 'failed',
+        rationale: `deterministic check failed: ${newFailures.length} NEW failure(s) vs focus base` +
+            (preExisting.length > 0 ? `, ${preExisting.length} pre-existing (recorded, non-blocking)` : ''),
+        newFailures,
+        preExisting,
+        log: null,
+    };
+}
+//# sourceMappingURL=verification-baseline.js.map

package/dist/verify/attribution/verification-baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-baseline.js","sourceRoot":"","sources":["../../../src/verify/attribution/verification-baseline.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,2EAA2E;AAC3E,qFAAqF;AACrF,kFAAkF;AAClF,6EAA6E;AAC7E,8EAA8E;AAC9E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,sDAAsD,CAAC;AACjH,OAAO,EAAE,kBAAkB,EAAsB,MAAM,mDAAmD,CAAC;AAC3G,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAClF,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,cAAc,GAKf,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAA2B,MAAM,oCAAoC,CAAC;AACrG,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAG1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD;;;;;;GAMG;AACH,MAAM,2BAA2B,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AA2CnD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAAgC,EAChC,eAAoC;IAEpC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YAC7C,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;AAC9E,CAAC;AAiBD,SAAS,gBAAgB;IACvB,OAAO,OAAO,CAAC,qBAAqB,EAAE,EAAE,uBAAuB,CAAC,CAAC;AACnE,CAAC;AAED,kDAAkD;AAClD,SAAS,eAAe,CAAC,IAAkB;IACzC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChH,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,OAAe,EAAE,IAAkB;IACtF,+EAA+E;IAC/E,wCAAwC;IACxC,MAAM,IAAI,GAAG,GAAG,SAAS,IAAI,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACjG,OAAO,OAAO,CAAC,gBAAgB,EAAE,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,OAAe,EAAE,IAAkB;IACtF,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAkH,CAAC;QACvK,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QACxF,IAAI,MAAM,CAAC,aAAa,KAAK,sBAAsB;YAAE,OAAO,IAAI,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9E,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACzG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,SAAiB,EAAE,OAAe,EAAE,IAAkB,EAAE,MAAsB;IAC/G,IAAI,CAAC;QACH,SAAS,CAAC,gBAAgB,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,aAAa,CACX,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAC3C,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAClM,EAAE,IAAI,EAAE,KAAK,EAAE,CAChB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,sCAAsC,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC9G,CAAC;AACH,CAAC;AAUD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAAiB,EACjB,OAAe,EACf,IAAkB,EAClB,IAAkB;IAElB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,qBAAqB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACrD,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,QAAQ,CAAC,iBAAiB,EAAE,EAAE,EAAE,CAAC;YACnC,OAAO,EAAE,WAAW,EAAE,sGAAsG,EAAE,CAAC;QACjI,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,WAAW,EAAE,+BAAgC,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC;IAClF,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,mGAAmG;AACnG,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,iBAAyB;IACjF,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IACnF,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,cAAc,CAAC,YAAoB;IACjD,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAC9B,CAAC;AAsCD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,CAAsB,EACtB,MAA8B,EAC9B,IAAqB;IAErB,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/C,yEAAyE;IACzE,4EAA4E;IAC5E,oCAAoC;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,IAAI,UAAU,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,WAAW,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO;QACzH,CAAC,CAAC,MAAM,CAAC,WAAW;QACpB,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,OAAO,GAAG,MAAM,IAAI,MAAM,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IAC5D,mGAAmG;IACnG,MAAM,aAAa,GAAG,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1G,4EAA4E;IAC5E,4FAA4F;IAC5F,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,IAAI,GAAG,sBAAsB,CAAC,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzH,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,0BAA0B,IAAI,CAAC,MAAM,+BAA+B,CAAC,CAAC;QACtH,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;IACzB,0EAA0E;IAC1E,2EAA2E;IAC3E,uEAAuE;IACvE,IAAI,OAAO,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAC5E,IAAI,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC9D,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1G,MAAM,eAAe,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1G,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,gGAAgG;QAChG,MAAM,MAAM,GAAsB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;QAC9F,OAAO,EAAE,GAAG,gBAAgB,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IACzG,CAAC;IACD,iFAAiF;IACjF,0EAA0E;IAC1E,+EAA+E;IAC/E,+EAA+E;IAC/E,gFAAgF;IAChF,+EAA+E;IAC/E,MAAM,cAAc,GAAG,gBAAgB,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,GAAG,cAAc,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,EAAE,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC;AAClI,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,qBAAqB,CAAC,MAA8B;IAClE,IAAI,MAAM,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACnB,wBAAwB;YAClB,GAAG,CAAC,KAAK,CAAC,uBAAuB,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,KAAK,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;AAClE,CAAC;AAED,8EAA8E;AAC9E,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,CAAkD,EAClD,MAA8B;IAE9B,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;IACvC,OAAO;QACL,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAC3D,SAAS,EAAE,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,2BAA2B;KAChH,CAAC;AACJ,CAAC;AA4BD;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAoB,EACpB,KAA8B;IAE9B,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;QACnB,6EAA6E;QAC7E,8EAA8E;QAC9E,IAAI,MAAM,CAAC,gBAAgB;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1D,4EAA4E;QAC5E,sEAAsE;QACtE,MAAM,IAAI,GAAG,wBAAwB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE;YAClC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;YAChD,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;YAC3C,WAAW,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,CAChD,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,YAAY,EAAE,KAAK,CAAC,iBAAiB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,UAAU,OAAO,EAAE,IAAI,CAAC;aAClF,CAAC;YACJ,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,UAAgD;IAEhD,OAAO,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,EAAE,EAAE,YAAY;gBAAE,OAAO,EAAE,CAAC,YAAY,CAAC;QAC/C,CAAC;QACD,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC;AACJ,CAAC;AAmBD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,cAAqC;IACxF,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,cAAc,CAAC;IACpD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,OAAO,EAAE,OAAO;YAChB,SAAS,EACP,mFAAmF;gBACnF,0EAA0E;YAC5E,WAAW;YACX,WAAW;YACX,GAAG,EAAE,IAAI;SACV,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,+CAA+C,WAAW,CAAC,MAAM,cAAc;gBAC/E,sEAAsE;YACxE,WAAW;YACX,WAAW;YACX,GAAG,EAAE,2BAA2B,UAAU,KAAK,WAAW,CAAC,MAAM,0EAA0E;SAC5I,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,QAAQ;QACjB,SAAS,EACP,+BAA+B,WAAW,CAAC,MAAM,+BAA+B;YAChF,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,MAAM,wCAAwC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjG,WAAW;QACX,WAAW;QACX,GAAG,EAAE,IAAI;KACV,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/verify/attribution/verification-diagnostics.ts"],"names":[],"mappings":"AAiFA,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/attribution/verification-diagnostics.js

@@ -0,0 +1,220 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/attribution/verification-diagnostics.test.ts
+// PINNED-BY-END
+/**
+ * Diagnostic signatures of one red gate stage, comparable across two checkouts.
+ *
+ * Stage attribution (verify/attribution/verification-attribution.ts) calls a non-test red
+ * the base's only when the base reports every diagnostic this run reports --
+ * matching stage NAMES alone would launder a base lint error in file A together
+ * with a new lint or type error in file B. 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).
+ * (Letting structured signatures win outright would make a head reporting the
+ * base's eslint error PLUS a new ratchet violation compare identical to the base,
+ * laundering the new red as pre-existing.)
+ *
+ * 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.
+ *
+ * History: docs/daemon/history-verify.md (verify/attribution/verification-diagnostics.ts).
+ *
+ * @module verify/attribution/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/attribution/verification-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-diagnostics.js","sourceRoot":"","sources":["../../../src/verify/attribution/verification-diagnostics.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;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"}