archcheck 0.2.0

package/dist/archcheck.js

@@ -0,0 +1,339 @@
+/**
+ * The facade. The composition root, and the only place the layers are wired together.
+ *
+ * What rule this enforces: every behaviour is reachable programmatically, because the agent hook
+ * does not shell out (plan 10). The CLI is `parse args → one method here → a reporter`, and it owns
+ * no behaviour of its own. If something is only possible through the CLI, this file is wrong.
+ *
+ * What a caller must know: `load()` returns a Result and never throws, and its failures are
+ * CONFIG failures — exit 2. One module graph is built per ArchCheck instance, lazily and at most
+ * once, so every probe shares a single parse.
+ */
+import { join } from 'node:path';
+import { identitiesOf, nextBaseline, prunedBaseline, readBaseline, staleEntries, writeBaseline, } from './baseline/index.js';
+import { contractFor, validateParamsByKind, warningsFor } from './contracts/registry.js';
+import { applyEmit, checkEmit, DEFAULT_GENERATED_DIR, planEmit, } from './emit/index.js';
+import { applyExceptions, todayIso } from './exceptions/index.js';
+import { createNodeFileSystem } from './fs/index.js';
+import { readGraph } from './graph/index.js';
+import { normalize } from './normalize/index.js';
+import { createGraphProbe, GRAPH_REPORT_PATH, toGraphReport } from './probes/graph.js';
+import { createLintProbe } from './probes/lint.js';
+import { createModelProbe } from './probes/model/index.js';
+import { createStructureProbe } from './probes/structure.js';
+import { isSkip } from './probes/types.js';
+import { nextIdLedger } from './registry/ids.js';
+import { open } from './registry/index.js';
+import { err, ok } from './result.js';
+import { repoRelative } from './util/paths.js';
+/** Exit codes are an API. An agent branches on them, so they are frozen from v0.1 (LLD §6). */
+export const EXIT = {
+    /** Clean, or only baselined and advisory findings. */
+    clean: 0,
+    /** New violations of error-severity rules. Fix the code. */
+    violations: 1,
+    /** Configuration invalid. Fix the manifest, NOT the code. */
+    config: 2,
+    /** Emitted output is stale. Run `archcheck emit`. */
+    stale: 3,
+    /** A baselined finding no longer reproduces. Run `archcheck baseline --prune` (plan 14). */
+    baselineStale: 4,
+};
+const TIER_RANK = { deterministic: 0, proxy: 1, model: 2 };
+function probes() {
+    return [createGraphProbe(), createLintProbe(), createStructureProbe(), createModelProbe()];
+}
+export function load(options = {}) {
+    const opened = open({
+        cwd: options.cwd,
+        configPath: options.configPath,
+        validateParams: validateParamsByKind,
+        collectWarnings: warningsFor,
+        isCheckable: (rule) => contractFor(rule.kind) !== undefined,
+        skipIdCheck: options.skipIdCheck,
+    });
+    if (!opened.ok)
+        return opened;
+    const registry = opened.value;
+    const tsconfigPath = registry.manifest.tsconfig
+        ? join(registry.root, registry.manifest.tsconfig)
+        : join(registry.root, 'tsconfig.json');
+    const generatedDir = registry.manifest.generatedDir ?? DEFAULT_GENERATED_DIR;
+    const plan = () => planEmit({
+        root: registry.root,
+        configPath: registry.configPath,
+        rules: registry.all(),
+        coverage: registry.coverage(),
+        generatedDir,
+        docs: registry.manifest.docs ?? [],
+        contractFor,
+    });
+    const explainCtx = { rules: registry.all() };
+    return ok({
+        registry,
+        async check(checkOptions = {}) {
+            const ceiling = checkOptions.only === undefined ? TIER_RANK.model : TIER_RANK[checkOptions.only];
+            const rules = registry.active().filter((rule) => TIER_RANK[rule.confidence] <= ceiling);
+            // One graph per run, built lazily and memoised. A probe that builds its own has broken the
+            // property the whole design rests on.
+            let graphOnce;
+            const ctx = {
+                root: registry.root,
+                tsconfigPath,
+                fs: createNodeFileSystem(registry.root),
+                configPath: repoRelative(registry.root, registry.configPath),
+                rules,
+                ...(checkOptions.changed === undefined ? {} : { changed: checkOptions.changed }),
+                graph: () => {
+                    graphOnce ??= readGraph({
+                        root: registry.root,
+                        tsconfigPath,
+                        ...(checkOptions.cache === undefined ? {} : { cache: checkOptions.cache }),
+                    });
+                    return graphOnce;
+                },
+            };
+            const inputs = [];
+            const skipped = [];
+            /**
+             * The kinds this run did NOT evaluate, collected where the skip is recorded rather than
+             * parsed back out of `SkipRecord.probe` — including the `'<kind> rules'` skips below, which
+             * name a kind no probe implements. A baseline entry whose rule has one of these kinds cannot
+             * be judged; every other entry still can. See `baselineStale`.
+             */
+            const unjudgedKinds = new Set();
+            if (checkOptions.writeGraph === true) {
+                const graph = ctx.graph();
+                if (!graph.ok)
+                    return err(graph.error);
+                const { mkdirSync, writeFileSync } = await import('node:fs');
+                const reportPath = join(registry.root, GRAPH_REPORT_PATH);
+                mkdirSync(join(registry.root, '.archcheck'), { recursive: true });
+                writeFileSync(reportPath, `${JSON.stringify(toGraphReport(graph.value, registry.root), null, 2)}\n`);
+            }
+            for (const probe of probes()) {
+                const handled = rules.some((rule) => probe.handles.includes(rule.kind));
+                if (!handled)
+                    continue;
+                if (checkOptions.ingestGraph === true && probe.name === 'graph' && probe.ingest) {
+                    const reportPath = join(registry.root, GRAPH_REPORT_PATH);
+                    try {
+                        const { readFileSync } = await import('node:fs');
+                        const report = JSON.parse(readFileSync(reportPath, 'utf8'));
+                        inputs.push({ findings: probe.ingest(report, ctx), detectedBy: probe.name });
+                        continue;
+                    }
+                    catch (error) {
+                        skipped.push({
+                            probe: probe.name,
+                            reason: `cannot ingest ${GRAPH_REPORT_PATH}: ${error.message}`,
+                        });
+                        for (const kind of probe.handles)
+                            unjudgedKinds.add(kind);
+                        continue;
+                    }
+                }
+                const outcome = await probe.run(ctx);
+                if (isSkip(outcome)) {
+                    skipped.push({ probe: probe.name, reason: outcome.reason });
+                    for (const kind of probe.handles)
+                        unjudgedKinds.add(kind);
+                }
+                else
+                    inputs.push({ findings: outcome, detectedBy: probe.name });
+            }
+            // A kind nobody handles is stated, never silently passed over: "declared, not checked yet"
+            // is a different thing from "checked and clean", and only `skipped` can say so.
+            const handledKinds = new Set(probes().flatMap((probe) => [...probe.handles]));
+            for (const kind of new Set(rules.map((rule) => rule.kind))) {
+                if (!handledKinds.has(kind)) {
+                    skipped.push({
+                        probe: `${kind} rules`,
+                        reason: 'no probe in this version handles this kind',
+                    });
+                    unjudgedKinds.add(kind);
+                }
+            }
+            const baseline = readBaseline(registry.root);
+            const normalized = normalize(inputs, {
+                byId: (id) => registry.byId(id),
+                baselined: checkOptions.baselined ?? identitiesOf(baseline),
+                refine: (finding, rule) => contractFor(rule.kind)?.refine?.(finding, rule, explainCtx),
+            });
+            if (!normalized.ok)
+                return err(normalized.error);
+            const today = checkOptions.today ?? todayIso();
+            const applied = applyExceptions(registry.exceptions(), normalized.value, today);
+            // Counts come from the baseline FILE, so they apply only where the identities did too: an
+            // explicitly injected `baselined` set carries no counts, and pairing it with the file's would
+            // judge one run against another's numbers.
+            const recorded = checkOptions.baselined === undefined
+                ? new Map(baseline.entries.map((entry) => [entry.identity, entry.occurrences]))
+                : new Map();
+            // The count half of the ratchet. An identity can stand for several violations — evidence
+            // holds no position, so a third empty catch in a file hashes exactly like the first two
+            // (`computeIdentity`, src/normalize/identity.ts). More occurrences than the baseline recorded
+            // is therefore NEW debt, and saying so as `baselined: false` means every reporter and
+            // `exitCodeFor` already handle it: it fails as exit 1, like any other new violation. Pinned
+            // by 'a THIRD occurrence in a file the baseline recorded twice still fails' in
+            // tests/adoption.test.ts.
+            const diagnostics = applied.diagnostics.map((diagnostic) => {
+                const recordedCount = recorded.get(diagnostic.identity);
+                return diagnostic.baselined &&
+                    recordedCount !== undefined &&
+                    (diagnostic.occurrences ?? 1) > recordedCount
+                    ? { ...diagnostic, baselined: false }
+                    : diagnostic;
+            });
+            // The ratchet's second half, and only a run that looked can judge it. A diff-scoped run
+            // evaluates a fraction of the REPO and a tier-scoped run a fraction of the RULES, so neither
+            // judges anything — pinned by the two 'does not judge the baseline' tests in
+            // tests/adoption.test.ts. A skipped probe is narrower than either: it blinds this run to the
+            // KINDS that probe evaluates and to nothing else, so an entry whose rule no skipped probe
+            // would have touched is still judged ('a skipped probe suppresses staleness only for the
+            // rules it would have judged'). An entry naming a rule the manifest no longer defines has no
+            // kind to blind, and stays judged, as it was before.
+            const judgeable = (entry) => {
+                const kind = registry.byId(entry.ruleId)?.kind;
+                return kind === undefined || !unjudgedKinds.has(kind);
+            };
+            const baselineStale = checkOptions.changed === undefined &&
+                checkOptions.baselined === undefined &&
+                checkOptions.only === undefined
+                ? staleEntries(baseline, diagnostics).filter(judgeable)
+                : [];
+            return ok({
+                ok: !diagnostics.some((d) => d.severity === 'error' && !d.baselined && !d.exempted) &&
+                    baselineStale.length === 0 &&
+                    applied.expired.length === 0,
+                diagnostics,
+                skipped,
+                coverage: registry.coverage(),
+                baselineStale,
+                exceptions: applied.statuses,
+            });
+        },
+        async baseline(mode) {
+            // A baseline is written from an UNBASELINED run: passing an empty set makes every current
+            // violation visible, which is exactly what there is to record.
+            const run = await this.check({ baselined: new Set() });
+            if (!run.ok)
+                return err(run.error);
+            // Pruning is irreversible, and a degraded run cannot justify it: a probe that did not run
+            // makes every entry it would have reproduced look fixed, so the documented remedy for exit 4
+            // would erase the record instead of shrinking it. This is exit 2 through `runBaseline` in
+            // src/cli/index.ts, pinned by 'baseline --prune refuses on a degraded run rather than erasing
+            // the record'. `--write` only ever adds, so it is unaffected.
+            if (mode === 'prune' && run.value.skipped.length > 0) {
+                return err([
+                    'baseline --prune needs a complete run, and this one was degraded:',
+                    ...run.value.skipped.map((skip) => `  ${skip.probe} did not run: ${skip.reason}`),
+                    '  → pruning now would delete entries nothing checked. Fix the above and run it again',
+                ]);
+            }
+            const previous = readBaseline(registry.root);
+            const next = mode === 'write'
+                ? nextBaseline(previous, run.value.diagnostics, todayIso())
+                : prunedBaseline(previous, run.value.diagnostics);
+            const path = writeBaseline(registry.root, next);
+            // `--write` takes today's count too, so it can reduce one as well; both modes report it.
+            const before = new Map(previous.entries.map((entry) => [entry.identity, entry.occurrences]));
+            return ok({
+                path,
+                entries: next.entries.length,
+                removed: previous.entries.length - next.entries.length,
+                reduced: next.entries.filter((entry) => entry.occurrences < (before.get(entry.identity) ?? entry.occurrences)).length,
+            });
+        },
+        emit() {
+            const emitPlan = plan();
+            const outcome = applyEmit(emitPlan, nextIdLedger(registry.ledger(), registry.all()));
+            return ok({ ...outcome, unimplemented: emitPlan.unimplemented });
+        },
+        emitCheck() {
+            return ok(checkEmit(plan()));
+        },
+        async explain(ruleId) {
+            const rule = registry.byId(ruleId);
+            if (!rule) {
+                const known = registry
+                    .all()
+                    .map((r) => r.id)
+                    .sort();
+                return err([`no rule '${ruleId}' in the manifest`, `  known rules: ${known.join(', ')}`]);
+            }
+            const contract = contractFor(rule.kind);
+            const lines = [
+                rule.statement,
+                `  id:         ${rule.id}`,
+                `  kind:       ${rule.kind}`,
+                `  severity:   ${rule.severity}`,
+                `  confidence: ${rule.confidence}`,
+                `  remedy:     ${rule.remedy.summary}`,
+            ];
+            if (rule.remedy.allowed && rule.remedy.allowed.length > 0) {
+                lines.push(`  allowed:    ${rule.remedy.allowed.join(', ')}`);
+            }
+            if (rule.remedy.docs)
+                lines.push(`  docs:       ${rule.remedy.docs}`);
+            if (rule.replaces)
+                lines.push(`  replaces:   ${rule.replaces}`);
+            if (!contract) {
+                lines.push(`  note:       no probe in this version checks '${rule.kind}' rules`);
+            }
+            // The live count is the reason `explain` exists: it is what an agent calls when a
+            // diagnostic alone was not enough to act on.
+            const run = await this.check();
+            lines.push(run.ok
+                ? describeViolations(ruleId, run.value.diagnostics)
+                : '  violations: unknown — the run itself failed');
+            if (run.ok) {
+                const example = run.value.diagnostics.find((d) => d.ruleId === ruleId);
+                if (example && contract) {
+                    lines.push('');
+                    lines.push(contract.explain(example, rule, explainCtx));
+                }
+            }
+            return ok(lines.join('\n'));
+        },
+        coverage: () => registry.coverage(),
+    });
+}
+/**
+ * What `explain` appends once the run has happened — the live violation count. It counts
+ * OCCURRENCES, not diagnostics: an agent asking "how many" means how many places to fix, and one
+ * diagnostic can stand for several (see `Diagnostic.occurrences`).
+ */
+export function describeViolations(ruleId, diagnostics) {
+    const mine = diagnostics.filter((d) => d.ruleId === ruleId);
+    if (mine.length === 0)
+        return '  violations: none right now';
+    const total = mine.reduce((sum, d) => sum + (d.occurrences ?? 1), 0);
+    const lines = [`  violations: ${total}`];
+    for (const diagnostic of mine.slice(0, 10)) {
+        const occurrences = diagnostic.occurrences ?? 1;
+        lines.push(`    ${diagnostic.file}${diagnostic.line === undefined ? '' : `:${diagnostic.line}`}` +
+            (occurrences > 1 ? ` ×${occurrences}` : ''));
+    }
+    if (mine.length > 10)
+        lines.push(`    … and ${mine.length - 10} more`);
+    return lines.join('\n');
+}
+/**
+ * The order matters. An expired exception is a MANIFEST problem (exit 2) and is checked first,
+ * because the violations it stopped covering are a consequence of it rather than news of their own.
+ * A stale baseline (exit 4) outranks live violations for the same reason: the fix is
+ * `baseline --prune`, and reporting exit 1 would send an agent to edit code that is already right.
+ */
+export { buildInitManifest, inferLayers, initSummary, renderManifest, } from './init/index.js';
+export { CONFIG_FILENAME } from './registry/index.js';
+export function exitCodeFor(result) {
+    if (result.exceptions.some((exception) => exception.expired))
+        return EXIT.config;
+    if (result.baselineStale.length > 0)
+        return EXIT.baselineStale;
+    return result.diagnostics.some((d) => d.severity === 'error' && !d.baselined && !d.exempted)
+        ? EXIT.violations
+        : EXIT.clean;
+}
+//# sourceMappingURL=archcheck.js.map

package/dist/archcheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"archcheck.js","sourceRoot":"","sources":["../src/archcheck.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAEL,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,aAAa,GACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzF,OAAO,EACL,SAAS,EACT,SAAS,EACT,qBAAqB,EAErB,QAAQ,GACT,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,OAAO,EAAuB,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAA2B,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAiB,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,aAAa,CAAC;AAUnD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,+FAA+F;AAC/F,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,sDAAsD;IACtD,KAAK,EAAE,CAAC;IACR,4DAA4D;IAC5D,UAAU,EAAE,CAAC;IACb,6DAA6D;IAC7D,MAAM,EAAE,CAAC;IACT,qDAAqD;IACrD,KAAK,EAAE,CAAC;IACR,4FAA4F;IAC5F,aAAa,EAAE,CAAC;CACR,CAAC;AAsEX,MAAM,SAAS,GAA+B,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAEvF,SAAS,MAAM;IACb,OAAO,CAAC,gBAAgB,EAAE,EAAE,eAAe,EAAE,EAAE,oBAAoB,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,UAAuB,EAAE;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC;QAClB,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,cAAc,EAAE,oBAAoB;QACpC,eAAe,EAAE,WAAW;QAC5B,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;QAC3D,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IAE9B,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,YAAY,IAAI,qBAAqB,CAAC;IAE7E,MAAM,IAAI,GAAG,GAAa,EAAE,CAC1B,QAAQ,CAAC;QACP,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,QAAQ,CAAC,GAAG,EAAE;QACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC7B,YAAY;QACZ,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE;QAClC,WAAW;KACZ,CAAC,CAAC;IAEL,MAAM,UAAU,GAAe,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IAEzD,OAAO,EAAE,CAAC;QACR,QAAQ;QAER,KAAK,CAAC,KAAK,CAAC,eAA6B,EAAE;YACzC,MAAM,OAAO,GACX,YAAY,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACnF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,CAAC;YAExF,2FAA2F;YAC3F,sCAAsC;YACtC,IAAI,SAA0C,CAAC;YAC/C,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,YAAY;gBACZ,EAAE,EAAE,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACvC,UAAU,EAAE,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAC5D,KAAK;gBACL,GAAG,CAAC,YAAY,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,CAAC;gBAChF,KAAK,EAAE,GAAG,EAAE;oBACV,SAAS,KAAK,SAAS,CAAC;wBACtB,IAAI,EAAE,QAAQ,CAAC,IAAI;wBACnB,YAAY;wBACZ,GAAG,CAAC,YAAY,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC;qBAC3E,CAAC,CAAC;oBACH,OAAO,SAAS,CAAC;gBACnB,CAAC;aACF,CAAC;YAEF,MAAM,MAAM,GAAqB,EAAE,CAAC;YACpC,MAAM,OAAO,GAAiB,EAAE,CAAC;YACjC;;;;;eAKG;YACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;YAE9C,IAAI,YAAY,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,EAAE;oBAAE,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;gBAC1D,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAClE,aAAa,CACX,UAAU,EACV,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAC1E,CAAC;YACJ,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,OAAO;oBAAE,SAAS;gBAEvB,IAAI,YAAY,CAAC,WAAW,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChF,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;oBAC1D,IAAI,CAAC;wBACH,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;wBACjD,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;wBACrE,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;wBAC7E,SAAS;oBACX,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,OAAO,CAAC,IAAI,CAAC;4BACX,KAAK,EAAE,KAAK,CAAC,IAAI;4BACjB,MAAM,EAAE,iBAAiB,iBAAiB,KAAM,KAAe,CAAC,OAAO,EAAE;yBAC1E,CAAC,CAAC;wBACH,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO;4BAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBAC1D,SAAS;oBACX,CAAC;gBACH,CAAC;gBAED,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBACpB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO;wBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC5D,CAAC;;oBAAM,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACpE,CAAC;YAED,2FAA2F;YAC3F,gFAAgF;YAChF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9E,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC3D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC;wBACX,KAAK,EAAE,GAAG,IAAI,QAAQ;wBACtB,MAAM,EAAE,4CAA4C;qBACrD,CAAC,CAAC;oBACH,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE;gBACnC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,SAAS,EAAE,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC;gBAC3D,MAAM,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC;aACvF,CAAC,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAEjD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEhF,0FAA0F;YAC1F,8FAA8F;YAC9F,2CAA2C;YAC3C,MAAM,QAAQ,GACZ,YAAY,CAAC,SAAS,KAAK,SAAS;gBAClC,CAAC,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC/E,CAAC,CAAC,IAAI,GAAG,EAAkB,CAAC;YAEhC,yFAAyF;YACzF,wFAAwF;YACxF,8FAA8F;YAC9F,sFAAsF;YACtF,4FAA4F;YAC5F,+EAA+E;YAC/E,0BAA0B;YAC1B,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;gBACzD,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACxD,OAAO,UAAU,CAAC,SAAS;oBACzB,aAAa,KAAK,SAAS;oBAC3B,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,aAAa;oBAC7C,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE;oBACrC,CAAC,CAAC,UAAU,CAAC;YACjB,CAAC,CAAC,CAAC;YAEH,wFAAwF;YACxF,6FAA6F;YAC7F,6EAA6E;YAC7E,6FAA6F;YAC7F,0FAA0F;YAC1F,yFAAyF;YACzF,6FAA6F;YAC7F,qDAAqD;YACrD,MAAM,SAAS,GAAG,CAAC,KAAoB,EAAW,EAAE;gBAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;gBAC/C,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxD,CAAC,CAAC;YACF,MAAM,aAAa,GACjB,YAAY,CAAC,OAAO,KAAK,SAAS;gBAClC,YAAY,CAAC,SAAS,KAAK,SAAS;gBACpC,YAAY,CAAC,IAAI,KAAK,SAAS;gBAC7B,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;gBACvD,CAAC,CAAC,EAAE,CAAC;YAET,OAAO,EAAE,CAAC;gBACR,EAAE,EACA,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAC/E,aAAa,CAAC,MAAM,KAAK,CAAC;oBAC1B,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC9B,WAAW;gBACX,OAAO;gBACP,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;gBAC7B,aAAa;gBACb,UAAU,EAAE,OAAO,CAAC,QAAQ;aAC7B,CAAC,CAAC;QACL,CAAC;QAED,KAAK,CAAC,QAAQ,CAAC,IAAuB;YACpC,0FAA0F;YAC1F,+DAA+D;YAC/D,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC,CAAC;YAC/D,IAAI,CAAC,GAAG,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAEnC,0FAA0F;YAC1F,6FAA6F;YAC7F,0FAA0F;YAC1F,8FAA8F;YAC9F,8DAA8D;YAC9D,IAAI,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrD,OAAO,GAAG,CAAC;oBACT,mEAAmE;oBACnE,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,iBAAiB,IAAI,CAAC,MAAM,EAAE,CAAC;oBACjF,sFAAsF;iBACvF,CAAC,CAAC;YACL,CAAC;YAED,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,IAAI,GACR,IAAI,KAAK,OAAO;gBACd,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC;gBAC3D,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChD,yFAAyF;YACzF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7F,OAAO,EAAE,CAAC;gBACR,IAAI;gBACJ,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;gBAC5B,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM;gBACtD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAC1B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,CACjF,CAAC,MAAM;aACT,CAAC,CAAC;QACL,CAAC;QAED,IAAI;YACF,MAAM,QAAQ,GAAG,IAAI,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACrF,OAAO,EAAE,CAAC,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,SAAS;YACP,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,MAAc;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,KAAK,GAAG,QAAQ;qBACnB,GAAG,EAAE;qBACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,EAAE,CAAC;gBACV,OAAO,GAAG,CAAC,CAAC,YAAY,MAAM,mBAAmB,EAAE,kBAAkB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5F,CAAC;YACD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG;gBACZ,IAAI,CAAC,SAAS;gBACd,iBAAiB,IAAI,CAAC,EAAE,EAAE;gBAC1B,iBAAiB,IAAI,CAAC,IAAI,EAAE;gBAC5B,iBAAiB,IAAI,CAAC,QAAQ,EAAE;gBAChC,iBAAiB,IAAI,CAAC,UAAU,EAAE;gBAClC,iBAAiB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;aACvC,CAAC;YACF,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1D,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YACtE,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAChE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,kDAAkD,IAAI,CAAC,IAAI,SAAS,CAAC,CAAC;YACnF,CAAC;YAED,kFAAkF;YAClF,6CAA6C;YAC7C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,EAAE;gBACJ,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC;gBACnD,CAAC,CAAC,+CAA+C,CACpD,CAAC;YACF,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;gBACX,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;gBACvE,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;oBACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9B,CAAC;QAED,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE;KACpC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,WAAkC;IACnF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,8BAA8B,CAAC;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,iBAAiB,KAAK,EAAE,CAAC,CAAC;IACzC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CACR,OAAO,UAAU,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE;YACnF,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAC9C,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,MAAM,GAAG,EAAE,OAAO,CAAC,CAAC;IACvE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,WAAW,EACX,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtD,MAAM,UAAU,WAAW,CAAC,MAAiB;IAC3C,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IACjF,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,aAAa,CAAC;IAC/D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC,UAAU;QACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;AACjB,CAAC"}

package/dist/baseline/index.d.ts

@@ -0,0 +1,29 @@
+import type { BaselineEntry, Diagnostic } from '../types.js';
+export declare const BASELINE_PATH = ".archcheck/baseline.json";
+export type Baseline = {
+    version: 1;
+    entries: BaselineEntry[];
+};
+export declare const EMPTY_BASELINE: Baseline;
+export declare function baselinePathFor(root: string): string;
+export declare function readBaseline(root: string): Baseline;
+export declare function identitiesOf(baseline: Baseline): ReadonlySet<string>;
+/**
+ * `baseline --write`: record everything failing right now. Existing entries keep their original
+ * `addedAt`, so the file stays an honest record of how long each piece of debt has been carried.
+ */
+export declare function nextBaseline(previous: Baseline, diagnostics: readonly Diagnostic[], today: string): Baseline;
+/**
+ * Entries that no longer describe reality. These are what exit 4 is about — and a count that has
+ * come DOWN is the same news as a finding that has gone: two of three empty catches fixed leaves
+ * an entry recording more debt than exists, which is exactly what `--prune` is for. A count that
+ * has gone UP is the opposite news, and `src/archcheck.ts` fails the run for it instead.
+ */
+export declare function staleEntries(baseline: Baseline, diagnostics: readonly Diagnostic[]): BaselineEntry[];
+/**
+ * `baseline --prune`: drop what no longer reproduces, and reduce the count of what partly does.
+ * The only way the file shrinks.
+ */
+export declare function prunedBaseline(baseline: Baseline, diagnostics: readonly Diagnostic[]): Baseline;
+export declare function writeBaseline(root: string, baseline: Baseline): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/baseline/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/baseline/index.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE7D,eAAO,MAAM,aAAa,6BAA6B,CAAC;AAExD,MAAM,MAAM,QAAQ,GAAG;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,aAAa,EAAE,CAAA;CAAE,CAAC;AAEhE,eAAO,MAAM,cAAc,EAAE,QAAsC,CAAC;AAEpE,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAyBnD;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAEpE;AAcD;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,QAAQ,EAClB,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,KAAK,EAAE,MAAM,GACZ,QAAQ,CAmBV;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,QAAQ,EAClB,WAAW,EAAE,SAAS,UAAU,EAAE,GACjC,aAAa,EAAE,CAKjB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,QAAQ,CAa/F;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAKtE"}

package/dist/baseline/index.js

@@ -0,0 +1,116 @@
+/**
+ * The baseline ratchet — adopting a rule on a codebase that already breaks it, without a flag day.
+ *
+ * What rule this enforces: the ratchet turns ONE WAY. A run fails on identities the baseline does
+ * not list, and it ALSO fails (exit 4) when a listed identity no longer reproduces. Without the
+ * second half the file only ever grows, silently over-suppressing forever — which is the failure
+ * mode that makes baselines worthless everywhere they are used badly (plan 14).
+ *
+ * What a caller must know: entries are keyed by IDENTITY, never by line and never by count.
+ * Because identity comes from evidence rather than position, moving the offending code neither
+ * resurrects a finding nor invents a phantom one. That property is the whole reason this works,
+ * and it is tested by moving a violation thirty lines down the page.
+ *
+ * A baseline entry is DEBT: no owner, no expiry, recorded so work can continue. An exception is a
+ * deliberate allowance with both. They are different things and live in different files.
+ */
+import { mkdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+export const BASELINE_PATH = '.archcheck/baseline.json';
+export const EMPTY_BASELINE = { version: 1, entries: [] };
+export function baselinePathFor(root) {
+    return join(root, BASELINE_PATH);
+}
+export function readBaseline(root) {
+    try {
+        const parsed = JSON.parse(readFileSync(baselinePathFor(root), 'utf8'));
+        const entries = parsed?.entries;
+        if (!Array.isArray(entries))
+            return EMPTY_BASELINE;
+        return {
+            version: 1,
+            entries: entries
+                .filter((entry) => typeof entry?.identity === 'string' && typeof entry?.ruleId === 'string')
+                // An entry written before `occurrences` existed reads as one occurrence, so an existing
+                // baseline file keeps working unchanged — 'an entry written before occurrences existed
+                // still loads, and reads as one' in baseline.test.ts.
+                .map((entry) => ({
+                ...entry,
+                occurrences: typeof entry.occurrences === 'number' && entry.occurrences > 0 ? entry.occurrences : 1,
+            })),
+        };
+    }
+    catch {
+        // No baseline is the normal state for a repo that never needed one.
+        return EMPTY_BASELINE;
+    }
+}
+export function identitiesOf(baseline) {
+    return new Set(baseline.entries.map((entry) => entry.identity));
+}
+/** How many occurrences each identity has RIGHT NOW. Absent means it did not reproduce at all. */
+function currentCounts(diagnostics) {
+    return new Map(diagnostics.map((diagnostic) => [diagnostic.identity, diagnostic.occurrences ?? 1]));
+}
+/** Sorted by identity so a diff of this file is reviewable rather than a reshuffle. */
+function sorted(entries) {
+    return [...entries].sort((a, b) => a.identity.localeCompare(b.identity));
+}
+/**
+ * `baseline --write`: record everything failing right now. Existing entries keep their original
+ * `addedAt`, so the file stays an honest record of how long each piece of debt has been carried.
+ */
+export function nextBaseline(previous, diagnostics, today) {
+    const kept = new Map(previous.entries.map((entry) => [entry.identity, entry]));
+    for (const diagnostic of diagnostics) {
+        if (diagnostic.severity !== 'error' || diagnostic.exempted)
+            continue;
+        const existing = kept.get(diagnostic.identity);
+        // An existing entry keeps its addedAt but takes today's count: `--write` records what is
+        // failing right now. Only identities that REPRODUCED are touched, so a degraded run — where a
+        // skipped probe reports nothing — cannot quietly rewrite a count to zero.
+        kept.set(diagnostic.identity, {
+            ...(existing ?? {
+                identity: diagnostic.identity,
+                ruleId: diagnostic.ruleId,
+                addedAt: today,
+                note: 'pre-existing at adoption',
+            }),
+            occurrences: diagnostic.occurrences ?? 1,
+        });
+    }
+    return { version: 1, entries: sorted([...kept.values()]) };
+}
+/**
+ * Entries that no longer describe reality. These are what exit 4 is about — and a count that has
+ * come DOWN is the same news as a finding that has gone: two of three empty catches fixed leaves
+ * an entry recording more debt than exists, which is exactly what `--prune` is for. A count that
+ * has gone UP is the opposite news, and `src/archcheck.ts` fails the run for it instead.
+ */
+export function staleEntries(baseline, diagnostics) {
+    const current = currentCounts(diagnostics);
+    return sorted(baseline.entries.filter((entry) => (current.get(entry.identity) ?? 0) < entry.occurrences));
+}
+/**
+ * `baseline --prune`: drop what no longer reproduces, and reduce the count of what partly does.
+ * The only way the file shrinks.
+ */
+export function prunedBaseline(baseline, diagnostics) {
+    const current = currentCounts(diagnostics);
+    return {
+        version: 1,
+        entries: sorted(baseline.entries
+            .filter((entry) => current.has(entry.identity))
+            .map((entry) => ({
+            ...entry,
+            occurrences: current.get(entry.identity) ?? entry.occurrences,
+        }))),
+    };
+}
+export function writeBaseline(root, baseline) {
+    const path = baselinePathFor(root);
+    mkdirSync(dirname(path), { recursive: true });
+    writeFileSync(path, `${JSON.stringify(baseline, null, 2)}\n`);
+    return BASELINE_PATH;
+}
+//# sourceMappingURL=index.js.map

package/dist/baseline/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/baseline/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAG1C,MAAM,CAAC,MAAM,aAAa,GAAG,0BAA0B,CAAC;AAIxD,MAAM,CAAC,MAAM,cAAc,GAAa,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAEpE,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,OAAO,GAAI,MAA+B,EAAE,OAAO,CAAC;QAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,cAAc,CAAC;QACnD,OAAO;YACL,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,OAAO;iBACb,MAAM,CACL,CAAC,KAAK,EAA0B,EAAE,CAChC,OAAO,KAAK,EAAE,QAAQ,KAAK,QAAQ,IAAI,OAAO,KAAK,EAAE,MAAM,KAAK,QAAQ,CAC3E;gBACD,wFAAwF;gBACxF,uFAAuF;gBACvF,sDAAsD;iBACrD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACf,GAAG,KAAK;gBACR,WAAW,EACT,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;aACzF,CAAC,CAAC;SACN,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;QACpE,OAAO,cAAc,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,QAAkB;IAC7C,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,kGAAkG;AAClG,SAAS,aAAa,CAAC,WAAkC;IACvD,OAAO,IAAI,GAAG,CACZ,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,MAAM,CAAC,OAAiC;IAC/C,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAkB,EAClB,WAAkC,EAClC,KAAa;IAEb,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,IAAI,UAAU,CAAC,QAAQ;YAAE,SAAS;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/C,yFAAyF;QACzF,8FAA8F;QAC9F,0EAA0E;QAC1E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE;YAC5B,GAAG,CAAC,QAAQ,IAAI;gBACd,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,0BAA0B;aACjC,CAAC;YACF,WAAW,EAAE,UAAU,CAAC,WAAW,IAAI,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAkB,EAClB,WAAkC;IAElC,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,OAAO,MAAM,CACX,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAC3F,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAkB,EAAE,WAAkC;IACnF,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,OAAO;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,MAAM,CACb,QAAQ,CAAC,OAAO;aACb,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACf,GAAG,KAAK;YACR,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,WAAW;SAC9D,CAAC,CAAC,CACN;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,QAAkB;IAC5D,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACnC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/cli/args.d.ts

@@ -0,0 +1,36 @@
+import type { ReporterName } from '../report/index.js';
+import { type Result } from '../result.js';
+import type { Confidence } from '../types.js';
+export type Command = 'check' | 'emit' | 'explain' | 'coverage' | 'baseline' | 'init' | 'version' | 'help';
+export type ParsedArgs = {
+    command: Command;
+    format: ReporterName;
+    only?: Confidence;
+    /** `--changed` with no value means "ask git". */
+    changed?: readonly string[];
+    emitCheck: boolean;
+    /** `init --force`: overwrite an existing manifest. */
+    force: boolean;
+    /** `baseline --write` or `baseline --prune`. */
+    baselineMode?: 'write' | 'prune';
+    showBaselined: boolean;
+    ingestGraph: boolean;
+    writeGraph: boolean;
+    noColor: boolean;
+    ruleId?: string;
+    cwd?: string;
+};
+export declare const HELP = "archcheck \u2014 architecture conformance, declared once and checked everywhere\n\n  archcheck                      run every rule, terminal output\n  archcheck --changed            diff-scoped \u00B7 the pre-commit path\n  archcheck --format json        the agent format\n  archcheck --format sarif       SARIF 2.1.0, for CI code scanning and editors\n  archcheck --format verdict     one blocking answer, for a hook\n  archcheck --only deterministic skip the proxy and model tiers\n  archcheck --show-baselined     include findings the baseline records\n  archcheck --write-graph        write .archcheck/graph.json for later gates to ingest\n  archcheck --ingest-graph       read .archcheck/graph.json instead of re-reading the graph\n\n  archcheck emit                 regenerate the emitted configs\n  archcheck emit --check         fail if the committed output is stale\n  archcheck explain <ruleId>     statement, remedy and current violations\n  archcheck coverage             the three counts, computed from the manifest\n  archcheck baseline --write     record today's violations as pre-existing debt\n  archcheck baseline --prune     drop entries that no longer reproduce\n  archcheck init                 write a starting architecture.config.ts from the folders\n  archcheck --version\n\nexit codes\n  0  clean, or only baselined and advisory findings\n  1  new violations of error-severity rules      \u2192 fix the code\n  2  configuration invalid                       \u2192 fix the manifest, not the code\n  3  emitted output is stale                     \u2192 run archcheck emit\n  4  a baselined finding no longer reproduces    \u2192 run archcheck baseline --prune\n";
+/**
+ * Ask git for the changed set. Local only — archcheck makes no network call it was not told to.
+ *
+ * A git that cannot answer is a CONFIG failure (exit 2), never an empty changed set. git missing
+ * from PATH, an unborn or detached HEAD, or a directory outside any work tree used to be swallowed
+ * by a bare catch returning `[]`: every probe then filtered to nothing and the run reported clean,
+ * so a pre-commit hook passed every commit forever. Exit 2 because the manifest and the code are
+ * both fine — the environment is not, which is the same call `init` makes when it cannot read the
+ * module graph. `tests/cli.test.ts` → '--changed > git failing is a config error (2)' pins it.
+ */
+export declare function gitChangedFiles(cwd: string): Result<readonly string[]>;
+export declare function parseArgs(argv: readonly string[]): Result<ParsedArgs>;
+//# sourceMappingURL=args.d.ts.map

package/dist/cli/args.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"args.d.ts","sourceRoot":"","sources":["../../src/cli/args.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,MAAM,OAAO,GACf,OAAO,GACP,MAAM,GACN,SAAS,GACT,UAAU,GACV,UAAU,GACV,MAAM,GACN,SAAS,GACT,MAAM,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,YAAY,CAAC;IACrB,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,iDAAiD;IACjD,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,SAAS,EAAE,OAAO,CAAC;IACnB,sDAAsD;IACtD,KAAK,EAAE,OAAO,CAAC;IACf,gDAAgD;IAChD,YAAY,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC;IACjC,aAAa,EAAE,OAAO,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,CAAC;AAgBF,eAAO,MAAM,IAAI,2pDA2BhB,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,CAAC,CAoCtE;AAMD,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CA0IrE"}