@nielspeter/eess-md 0.8.0 → 0.10.0

package/dist/model/resolve-link.d.ts

@@ -0,0 +1,142 @@
+import type { ArchFix } from '@nielspeter/eess';
+import type { Corpus } from '../corpus.js';
+import type { MdDocument } from './document.js';
+import type { MdLink } from './links.js';
+/**
+ * Options for resolving a link URL against the repo tree. Covers static-site
+ * conventions (VitePress, Docusaurus, MkDocs, GitBook…) generically instead of
+ * naming any tool: extensionless links resolve by trying extensions and/or a
+ * directory index file.
+ */
+export interface LinkResolveOptions {
+    /**
+     * Extensions to try when the URL as written doesn't resolve, e.g. `['.md']`
+     * for sites that link `./guide` meaning `./guide.md`. Tried in order.
+     */
+    readonly tryExtensions?: readonly string[];
+    /**
+     * Directory index filename to try, e.g. `'index.md'` for sites where
+     * `./guide/` (or `./guide`) means `./guide/index.md`.
+     */
+    readonly tryIndex?: string;
+    /**
+     * Content root for site-absolute links (leading `/`). Static-site generators
+     * resolve `/page` against the site's content root, not the repo root — e.g.
+     * `rootDir: 'docs'` makes `/guide` mean `docs/guide(.md)`. Repo-root
+     * resolution is still tried first, so plain repo-absolute links keep working.
+     */
+    readonly rootDir?: string;
+    /**
+     * Resolve a link naming a real directory (`./fixed/` or `./fixed`, with or
+     * without the trailing slash — both forms occur in this repo's own corpus)
+     * even when it has no index file. Correct for a repo-hosted corpus (GitHub,
+     * GitLab render a directory link as its listing); wrong for a static-site
+     * corpus where a bare directory is not itself a page — there, reach for
+     * {@link tryIndex} instead. Off by default: this widens what "resolves"
+     * means, and a link resolving that shouldn't is a false green, not a
+     * convenience. Default `false`.
+     *
+     * A link naming a real directory always wins over an unrelated typo — if
+     * `./foo` was meant as a deleted `foo.md` but a directory `foo/` happens to
+     * exist at that path, it resolves as the directory. Not a new failure mode:
+     * GitHub renders that link as the directory listing too, so this only
+     * closes the gap between the gate and what the link actually does when
+     * followed, it doesn't introduce a new way to be surprised by it.
+     *
+     * `resolveLink` reports a directory as its own case whatever this says; the
+     * option decides whether `resolve()` accepts that case.
+     */
+    readonly resolveDirectories?: boolean;
+}
+/** The parts of a link that resolution reads. Narrower than `MdLink`, so a caller can build one. */
+export interface LinkToResolve {
+    readonly url: string;
+    readonly external: boolean;
+    readonly doc: {
+        readonly relPath: string;
+    };
+}
+/** Why an existing file is not a loaded corpus document. Every reason that applies is listed. */
+export type NotInCorpusReason = 'not-markdown' | 'ignored' | 'outside-roots';
+/**
+ * Where a link points, as one named case (plan 0404). Each case is a different
+ * fact with a different remedy, so a rule over links can say which one it met:
+ *
+ * - `external`: a URL with a scheme or `//`; not resolved against the repo.
+ * - `self`: a pure `#anchor`, or a path back to the linking document itself.
+ * - `document`: an existing, loaded corpus document, whose links are parsed.
+ * - `not-in-corpus`: an existing file the corpus did not load, with every reason.
+ * - `directory`: no candidate is a file, but one names a real directory.
+ * - `missing`: nothing exists; `tried` lists every candidate, in order.
+ */
+export type LinkTarget = {
+    readonly kind: 'external';
+} | {
+    readonly kind: 'self';
+} | {
+    readonly kind: 'document';
+    readonly path: string;
+    readonly doc: MdDocument;
+} | {
+    readonly kind: 'not-in-corpus';
+    readonly path: string;
+    readonly reasons: readonly NotInCorpusReason[];
+} | {
+    readonly kind: 'directory';
+    readonly path: string;
+} | {
+    readonly kind: 'missing';
+    readonly tried: readonly string[];
+};
+/** How `corpus()` decided which files to load, kept so a resolver can say why one was not. */
+interface CorpusMatchers {
+    readonly inRoots: (relPath: string) => boolean;
+    readonly ignored: (relPath: string) => boolean;
+}
+/**
+ * Record how `corpus()` filtered its files. Called by `corpus()` only; a
+ * `Corpus` built any other way has no matchers, and an unloaded `.md` file in
+ * it is reported as `outside-roots`.
+ */
+export declare function registerCorpusMatchers(corpus: Corpus, matchers: CorpusMatchers): void;
+/**
+ * A link URL's base repo-relative target(s), or `[]` for a pure fragment.
+ * Site-absolute links (leading `/`) yield the repo-root target, then the
+ * content-root target when `rootDir` is set. Throws `URIError` on malformed
+ * percent-encoding; `resolveLink` turns that into `missing`.
+ *
+ * Exported for `linkResolves`, which labels the two site-absolute candidates
+ * in its directory hint (bug 0137); not part of the package's public API.
+ */
+export declare function linkTargets(link: LinkToResolve, options: LinkResolveOptions): string[];
+/**
+ * Resolve a link to the one case it is (plan 0404). Total: it never throws.
+ *
+ * Candidates are tried in a fixed order — each target (repo-root, then
+ * content-root when `rootDir` is set), and within it the URL as written, then
+ * `tryExtensions`, then `tryIndex`. The first existing **file** wins. Only when
+ * no candidate is a file is a directory reported, the first target's first.
+ * When nothing exists, `missing.tried` is every candidate tried, in order.
+ *
+ * Links into the built-in ignores (`node_modules`, `.git`, `dist`, …) are
+ * `missing`: `corpus()` never walks those folders, so their files are not known.
+ *
+ * The directory and document indexes are built on a corpus's first resolution
+ * and cached. A `corpus()` result never changes, so that is exact; a hand-built
+ * `Corpus` whose `documents()` returns something different later is not re-read.
+ */
+export declare function resolveLink(link: LinkToResolve, corpus: Corpus, options?: LinkResolveOptions): LinkTarget;
+/** Basename → every repo file with it, for {@link movedLinkFix}. Built once per caller. */
+export declare function basenameIndex(corpus: Corpus): ReadonlyMap<string, readonly string[]>;
+/**
+ * If a broken link's basename uniquely names one file in the repo (the target
+ * moved, not renamed), a deterministic autofix rewriting the URL to a path
+ * relative to the linking document (plan 0066). Ambiguous basename, or a URL
+ * whose exact span isn't known, → no fix.
+ *
+ * Lives beside `resolveLink` so that path arithmetic stays in this one module
+ * (plan 0404's structural rule keeps `node:path` out of the conditions).
+ */
+export declare function movedLinkFix(link: MdLink, byBasename: ReadonlyMap<string, readonly string[]>): ArchFix | undefined;
+export {};
+//# sourceMappingURL=resolve-link.d.ts.map

package/dist/model/resolve-link.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-link.d.ts","sourceRoot":"","sources":["../../src/model/resolve-link.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAExC;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC1C;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;CACtC;AAED,oGAAoG;AACpG,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;CAC3C;AAED,iGAAiG;AACjG,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,SAAS,GAAG,eAAe,CAAA;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAC9E;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAC/C,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AAEnE,8FAA8F;AAC9F,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAA;CAC/C;AAID;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,GAAG,IAAI,CAErF;AAwCD;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAYtF;AA+BD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAAuB,GAC/B,UAAU,CA2BZ;AAED,2FAA2F;AAC3F,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CASpF;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,GACjD,OAAO,GAAG,SAAS,CAoBrB"}

package/dist/model/resolve-link.js

@@ -0,0 +1,194 @@
+import { posix } from 'node:path';
+const matchersOf = new WeakMap();
+/**
+ * Record how `corpus()` filtered its files. Called by `corpus()` only; a
+ * `Corpus` built any other way has no matchers, and an unloaded `.md` file in
+ * it is reported as `outside-roots`.
+ */
+export function registerCorpusMatchers(corpus, matchers) {
+    matchersOf.set(corpus, matchers);
+}
+const indexesOf = new WeakMap();
+/**
+ * The two corpus-wide indexes resolution needs, built once per corpus. Before
+ * plan 0404 the directory index was rebuilt by every `resolve()` condition;
+ * called per link from a custom rule it would be rebuilt per link.
+ *
+ * The directory index is derived from `fileIndex` rather than new I/O: each
+ * indexed file's ancestors are known directories. `fileIndex` spans the whole
+ * physical repo walk from `cwd`, not just the configured `roots`, so a
+ * directory link can resolve against something outside any root. The repo
+ * root itself (`.`) is deliberately excluded — nobody links "the whole repo".
+ */
+function indexes(corpus) {
+    const cached = indexesOf.get(corpus);
+    if (cached !== undefined)
+        return cached;
+    const directories = new Set();
+    for (const rel of corpus.fileIndex) {
+        let dir = posix.dirname(rel);
+        while (dir !== '.' && dir !== '/' && !directories.has(dir)) {
+            directories.add(dir);
+            dir = posix.dirname(dir);
+        }
+    }
+    const documents = new Map();
+    for (const doc of corpus.documents())
+        documents.set(doc.relPath, doc);
+    const built = { directories, documents };
+    indexesOf.set(corpus, built);
+    return built;
+}
+/**
+ * A link URL's base repo-relative target(s), or `[]` for a pure fragment.
+ * Site-absolute links (leading `/`) yield the repo-root target, then the
+ * content-root target when `rootDir` is set. Throws `URIError` on malformed
+ * percent-encoding; `resolveLink` turns that into `missing`.
+ *
+ * Exported for `linkResolves`, which labels the two site-absolute candidates
+ * in its directory hint (bug 0137); not part of the package's public API.
+ */
+export function linkTargets(link, options) {
+    const withoutFragment = link.url.split('#')[0] ?? '';
+    if (withoutFragment === '')
+        return [];
+    const decoded = decodeURIComponent(withoutFragment);
+    if (decoded.startsWith('/')) {
+        const repoRooted = posix.normalize(decoded.replace(/^\/+/, ''));
+        return options.rootDir !== undefined
+            ? [repoRooted, posix.normalize(posix.join(options.rootDir, repoRooted))]
+            : [repoRooted];
+    }
+    const base = posix.dirname(link.doc.relPath);
+    return [posix.normalize(posix.join(base, decoded))];
+}
+/** Every repo-relative file candidate for one target, in the order they are tried. */
+function candidates(target, options) {
+    const out = [target];
+    const bare = target.replace(/\/+$/, '');
+    for (const ext of options.tryExtensions ?? []) {
+        out.push(bare + ext);
+    }
+    if (options.tryIndex !== undefined) {
+        out.push(posix.join(bare, options.tryIndex));
+    }
+    return out;
+}
+function fileTarget(path, link, corpus) {
+    if (path === link.doc.relPath)
+        return { kind: 'self' };
+    const doc = indexes(corpus).documents.get(path);
+    if (doc !== undefined)
+        return { kind: 'document', path, doc };
+    const matchers = matchersOf.get(corpus);
+    const reasons = [];
+    if (!path.endsWith('.md'))
+        reasons.push('not-markdown');
+    if (matchers?.ignored(path) === true)
+        reasons.push('ignored');
+    if (matchers === undefined || !matchers.inRoots(path))
+        reasons.push('outside-roots');
+    // A loaded `corpus()` reads exactly the `.md` files in its roots that it does
+    // not ignore, so one of the three always applies. Should a hand-built
+    // `Corpus` disagree, `outside-roots` is the reason that names a remedy.
+    if (reasons.length === 0)
+        reasons.push('outside-roots');
+    return { kind: 'not-in-corpus', path, reasons };
+}
+/**
+ * Resolve a link to the one case it is (plan 0404). Total: it never throws.
+ *
+ * Candidates are tried in a fixed order — each target (repo-root, then
+ * content-root when `rootDir` is set), and within it the URL as written, then
+ * `tryExtensions`, then `tryIndex`. The first existing **file** wins. Only when
+ * no candidate is a file is a directory reported, the first target's first.
+ * When nothing exists, `missing.tried` is every candidate tried, in order.
+ *
+ * Links into the built-in ignores (`node_modules`, `.git`, `dist`, …) are
+ * `missing`: `corpus()` never walks those folders, so their files are not known.
+ *
+ * The directory and document indexes are built on a corpus's first resolution
+ * and cached. A `corpus()` result never changes, so that is exact; a hand-built
+ * `Corpus` whose `documents()` returns something different later is not re-read.
+ */
+export function resolveLink(link, corpus, options = {}) {
+    if (link.external)
+        return { kind: 'external' };
+    let targets;
+    try {
+        targets = linkTargets(link, options);
+    }
+    catch (error) {
+        // Malformed percent-encoding (`%E0`): the URL names no file anyone can
+        // reach, which is exactly `missing`. Reported, never thrown, so one bad
+        // link cannot abort a whole run.
+        void error;
+        return { kind: 'missing', tried: [link.url] };
+    }
+    if (targets.length === 0)
+        return { kind: 'self' };
+    const tried = [];
+    for (const target of targets) {
+        for (const candidate of candidates(target, options)) {
+            tried.push(candidate);
+            if (corpus.fileIndex.has(candidate))
+                return fileTarget(candidate, link, corpus);
+        }
+    }
+    const { directories } = indexes(corpus);
+    for (const target of targets) {
+        const bare = target.replace(/\/+$/, '');
+        if (directories.has(bare))
+            return { kind: 'directory', path: bare };
+    }
+    return { kind: 'missing', tried };
+}
+/** Basename → every repo file with it, for {@link movedLinkFix}. Built once per caller. */
+export function basenameIndex(corpus) {
+    const byBasename = new Map();
+    for (const rel of corpus.fileIndex) {
+        const base = rel.slice(rel.lastIndexOf('/') + 1);
+        const list = byBasename.get(base);
+        if (list)
+            list.push(rel);
+        else
+            byBasename.set(base, [rel]);
+    }
+    return byBasename;
+}
+/**
+ * If a broken link's basename uniquely names one file in the repo (the target
+ * moved, not renamed), a deterministic autofix rewriting the URL to a path
+ * relative to the linking document (plan 0066). Ambiguous basename, or a URL
+ * whose exact span isn't known, → no fix.
+ *
+ * Lives beside `resolveLink` so that path arithmetic stays in this one module
+ * (plan 0404's structural rule keeps `node:path` out of the conditions).
+ */
+export function movedLinkFix(link, byBasename) {
+    if (link.urlStart === undefined || link.urlEnd === undefined)
+        return undefined;
+    const path = link.url.split('#')[0] ?? '';
+    const fragment = link.url.slice(path.length); // '' or '#anchor'
+    const base = path.slice(path.replace(/\/+$/, '').lastIndexOf('/') + 1);
+    const matches = byBasename.get(base) ?? [];
+    if (matches.length !== 1)
+        return undefined; // renamed (no match) or ambiguous → no fix
+    const target = matches[0];
+    if (target === undefined)
+        return undefined;
+    let rel = posix.relative(posix.dirname(link.doc.relPath), target);
+    if (!rel.startsWith('.'))
+        rel = './' + rel;
+    const replacement = rel + fragment;
+    if (replacement === link.url)
+        return undefined;
+    return {
+        file: link.doc.file,
+        start: link.urlStart,
+        end: link.urlEnd,
+        replacement,
+        describe: `rewrite link "${link.url}" → "${replacement}"`,
+    };
+}
+//# sourceMappingURL=resolve-link.js.map

package/dist/model/resolve-link.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-link.js","sourceRoot":"","sources":["../../src/model/resolve-link.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AA4FjC,MAAM,UAAU,GAAG,IAAI,OAAO,EAA0B,CAAA;AAExD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,QAAwB;IAC7E,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAClC,CAAC;AASD,MAAM,SAAS,GAAG,IAAI,OAAO,EAAyB,CAAA;AAEtD;;;;;;;;;;GAUG;AACH,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC5B,OAAO,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACpB,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;IACrE,MAAM,KAAK,GAAkB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAA;IACvD,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,IAAmB,EAAE,OAA2B;IAC1E,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACpD,IAAI,eAAe,KAAK,EAAE;QAAE,OAAO,EAAE,CAAA;IACrC,MAAM,OAAO,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAA;IACnD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;QAC/D,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS;YAClC,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,sFAAsF;AACtF,SAAS,UAAU,CAAC,MAAc,EAAE,OAA2B;IAC7D,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;IACvC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,IAAmB,EAAE,MAAc;IACnE,IAAI,IAAI,KAAK,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;IAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;IACvD,IAAI,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC7D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IACpF,8EAA8E;IAC9E,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IACvD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AACjD,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,WAAW,CACzB,IAAmB,EACnB,MAAc,EACd,UAA8B,EAAE;IAEhC,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;IAC9C,IAAI,OAAiB,CAAA;IACrB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACtC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,uEAAuE;QACvE,wEAAwE;QACxE,iCAAiC;QACjC,KAAK,KAAK,CAAA;QACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;IAC/C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IAEjD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACrB,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,OAAO,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QACjF,CAAC;IACH,CAAC;IACD,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IACvC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACvC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACrE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAChD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;;YACnB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,UAAkD;IAElD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA,CAAC,kBAAkB;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IACtE,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA,CAAC,2CAA2C;IACtF,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACzB,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,IAAI,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;IACjE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,IAAI,GAAG,GAAG,CAAA;IAC1C,MAAM,WAAW,GAAG,GAAG,GAAG,QAAQ,CAAA;IAClC,IAAI,WAAW,KAAK,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAA;IAC9C,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACnB,KAAK,EAAE,IAAI,CAAC,QAAQ;QACpB,GAAG,EAAE,IAAI,CAAC,MAAM;QAChB,WAAW;QACX,QAAQ,EAAE,iBAAiB,IAAI,CAAC,GAAG,QAAQ,WAAW,GAAG;KAC1D,CAAA;AACH,CAAC"}

package/dist/predicates/declared-block.d.ts

@@ -0,0 +1,29 @@
+import type { Predicate } from '@nielspeter/eess';
+import type { MdLink, MdLinkBlock } from '../model/links.js';
+/**
+ * Plan 0405 — select the links a block declares.
+ *
+ * These factories are deliberately NOT exported from the package root, the same
+ * as `areInternal`/`areLive`: the declaration scan lives in `LinkRuleBuilder`,
+ * which records the declaration when `areLabelled()`/`areInSection()` is called.
+ * A raw predicate composed through `satisfy()`/`not()`/`or()` would select
+ * without recording anything, and so without the scan.
+ */
+/**
+ * The block that decides whether a link with this `path` is declared under the
+ * label `declared` matches: walking from the innermost block outwards, the first
+ * that either matches it (any form, exact case) or opens with a wrapped label of
+ * its own. A plain line that is not the label — `bug 0402: [b](b.md)`,
+ * `Metadata:`, a URL — never decides, so it neither hides a declaration nor
+ * captures one.
+ */
+export declare function decidingBlock(path: readonly MdLinkBlock[], declared: RegExp): {
+    readonly block: MdLinkBlock;
+    readonly at: number;
+    readonly matches: boolean;
+} | undefined;
+/** Links declared under `label` (case-sensitive), in any label form, at any depth below it. */
+export declare function areLabelledPredicate(label: string): Predicate<MdLink>;
+/** Links under a heading matching `name` (a string exactly, or a `RegExp`), at any depth beneath it. */
+export declare function areInSectionPredicate(name: string | RegExp): Predicate<MdLink>;
+//# sourceMappingURL=declared-block.d.ts.map

package/dist/predicates/declared-block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-block.d.ts","sourceRoot":"","sources":["../../src/predicates/declared-block.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAI5D;;;;;;;;GAQG;AAEH;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,SAAS,WAAW,EAAE,EAC5B,QAAQ,EAAE,MAAM,GACf;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAQ7F;AAED,+FAA+F;AAC/F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAMrE;AAED,wGAAwG;AACxG,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAK9E"}

package/dist/predicates/declared-block.js

@@ -0,0 +1,47 @@
+import { labelPattern, wrappedLabelOf } from '../model/label.js';
+import { inSection } from '../model/query.js';
+/**
+ * Plan 0405 — select the links a block declares.
+ *
+ * These factories are deliberately NOT exported from the package root, the same
+ * as `areInternal`/`areLive`: the declaration scan lives in `LinkRuleBuilder`,
+ * which records the declaration when `areLabelled()`/`areInSection()` is called.
+ * A raw predicate composed through `satisfy()`/`not()`/`or()` would select
+ * without recording anything, and so without the scan.
+ */
+/**
+ * The block that decides whether a link with this `path` is declared under the
+ * label `declared` matches: walking from the innermost block outwards, the first
+ * that either matches it (any form, exact case) or opens with a wrapped label of
+ * its own. A plain line that is not the label — `bug 0402: [b](b.md)`,
+ * `Metadata:`, a URL — never decides, so it neither hides a declaration nor
+ * captures one.
+ */
+export function decidingBlock(path, declared) {
+    for (let at = path.length - 1; at >= 0; at--) {
+        const block = path[at];
+        if (block === undefined)
+            continue;
+        if (declared.test(block.text))
+            return { block, at, matches: true };
+        if (wrappedLabelOf(block.text) !== undefined)
+            return { block, at, matches: false };
+    }
+    return undefined;
+}
+/** Links declared under `label` (case-sensitive), in any label form, at any depth below it. */
+export function areLabelledPredicate(label) {
+    const re = new RegExp(labelPattern(label));
+    return {
+        description: `are declared under the label "${label}"`,
+        test: (l) => decidingBlock(l.blockPath ?? [], re)?.matches === true,
+    };
+}
+/** Links under a heading matching `name` (a string exactly, or a `RegExp`), at any depth beneath it. */
+export function areInSectionPredicate(name) {
+    return {
+        description: `are in section "${String(name)}"`,
+        test: (l) => inSection(l, name),
+    };
+}
+//# sourceMappingURL=declared-block.js.map

package/dist/predicates/declared-block.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declared-block.js","sourceRoot":"","sources":["../../src/predicates/declared-block.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAE7C;;;;;;;;GAQG;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,IAA4B,EAC5B,QAAgB;IAEhB,KAAK,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACtB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;QAClE,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;IACpF,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,oBAAoB,CAAC,KAAa;IAChD,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IAC1C,OAAO;QACL,WAAW,EAAE,iCAAiC,KAAK,GAAG;QACtD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,KAAK,IAAI;KACpE,CAAA;AACH,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,qBAAqB,CAAC,IAAqB;IACzD,OAAO;QACL,WAAW,EAAE,mBAAmB,MAAM,CAAC,IAAI,CAAC,GAAG;QAC/C,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC;KAChC,CAAA;AACH,CAAC"}

package/dist/predicates/live-target.d.ts

@@ -0,0 +1,12 @@
+import type { Predicate } from '@nielspeter/eess';
+import type { Corpus } from '../corpus.js';
+import type { MdLink } from '../model/links.js';
+import { type LinkResolveOptions } from '../model/resolve-link.js';
+/**
+ * Links whose target is not a frozen corpus document (plan 0406), resolved with
+ * `resolveLink` and `options` — pass `beLinkedBack()` the same options, so both
+ * resolve a link the same way. Every other case is kept: a missing or external
+ * target is still examined, and still reported.
+ */
+export declare function haveLiveTargetsPredicate(corpus: Corpus, options?: LinkResolveOptions): Predicate<MdLink>;
+//# sourceMappingURL=live-target.d.ts.map

package/dist/predicates/live-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-target.d.ts","sourceRoot":"","sources":["../../src/predicates/live-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAe,KAAK,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAE/E;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAAuB,GAC/B,SAAS,CAAC,MAAM,CAAC,CAQnB"}

package/dist/predicates/live-target.js

@@ -0,0 +1,17 @@
+import { resolveLink } from '../model/resolve-link.js';
+/**
+ * Links whose target is not a frozen corpus document (plan 0406), resolved with
+ * `resolveLink` and `options` — pass `beLinkedBack()` the same options, so both
+ * resolve a link the same way. Every other case is kept: a missing or external
+ * target is still examined, and still reported.
+ */
+export function haveLiveTargetsPredicate(corpus, options = {}) {
+    return {
+        description: 'have live targets (not in a frozen folder)',
+        test: (link) => {
+            const target = resolveLink(link, corpus, options);
+            return !(target.kind === 'document' && target.doc.frozen);
+        },
+    };
+}
+//# sourceMappingURL=live-target.js.map

package/dist/predicates/live-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-target.js","sourceRoot":"","sources":["../../src/predicates/live-target.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAA2B,MAAM,0BAA0B,CAAA;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,UAA8B,EAAE;IAEhC,OAAO;QACL,WAAW,EAAE,4CAA4C;QACzD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;YACjD,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAC3D,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/rules/adr.d.ts

@@ -19,19 +19,28 @@ export interface AdrEnforcementOptions extends PresetBaseOptions {
     };
     /** Valid tier numbers. Default `[1,2,3,4,5]`. */
     readonly tiers?: readonly number[];
-    /** Verify cited file paths exist and cited `it('…')` titles resolve. Default `true`. */
+    /**
+     * Verify that the file paths a Mechanism cell cites exist. Default `true`.
+     *
+     * A cited `it('…')` **title** is not resolved here. Whether it names a real test is
+     * `eess-crossvalidate`'s `adrCitationsResolve`, which reads the test AST: a markdown
+     * dialect reading test files as text matched `it('r')` against any test beginning with
+     * `r`, and could not tell a commented-out test from a live one (bug 0111). Run that
+     * check too if your ADRs cite test titles.
+     */
     readonly verifyCitations?: boolean;
 }
 /**
  * OPINIONATED preset: gate a repo's ADRs on the EESS enforcement-tier model.
  * Gates on *declaration* — an ADR fails for a missing `## Enforcement` table, a
- * clause with no valid tier, or (when `verifyCitations`) a citation that doesn't
- * resolve; a soft-tier clause declared as such passes.
+ * clause with no valid tier, or (when `verifyCitations`) a cited file path that
+ * doesn't exist; a soft-tier clause declared as such passes.
  *
  * Emits per-rule ids so `overrides` can downgrade/disable individual checks.
  *
- * The citation check resolves two forms — a backticked file path and an
- * `it('…')` title. A Mechanism cell that cites something else (a rule id in
+ * The citation check resolves one form, a backticked file path. A cited `it('…')`
+ * title is `eess-crossvalidate`'s `adrCitationsResolve` to resolve, against the
+ * test AST (bug 0111). A Mechanism cell that cites something else (a rule id in
  * your own architecture tool, a CI job) is not resolved here, and this preset
  * takes no plugin for it: what counts as a live id is your fact, not the
  * corpus's. Compose that check from `rows()` + `correspondence()` against the

package/dist/rules/adr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adr.d.ts","sourceRoot":"","sources":["../../src/rules/adr.ts"],"names":[],"mappings":"AAEA,OAAO,EAKL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEvB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAW1C;;;;;GAKG;AACH,MAAM,WAAW,qBAAsB,SAAQ,iBAAiB;IAC9D,uDAAuD;IACvD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC,kEAAkE;IAClE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACtE,iDAAiD;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,wFAAwF;IACxF,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAA;CACnC;AAuDD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,qBAA0B,GAClC,aAAa,EAAE,CAgDjB"}
+{"version":3,"file":"adr.d.ts","sourceRoot":"","sources":["../../src/rules/adr.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEvB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAW1C;;;;;GAKG;AACH,MAAM,WAAW,qBAAsB,SAAQ,iBAAiB;IAC9D,uDAAuD;IACvD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC,kEAAkE;IAClE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACtE,iDAAiD;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC;;;;;;;;OAQG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAA;CACnC;AA8BD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,qBAA0B,GAClC,aAAa,EAAE,CAgDjB"}

package/dist/rules/adr.js

@@ -1,5 +1,3 @@
-import { existsSync, readFileSync } from 'node:fs';
-import { join } from 'node:path';
 import { dispatchRule, finishPreset, validateOverrides, not, mergeCollectResults, } from '@nielspeter/eess';
 import { docs } from '../builders/docs.js';
 import { haveNameMatching } from '../predicates/document.js';
@@ -11,15 +9,6 @@ import { haveTableRowsSatisfying } from '../conditions/table-rows.js';
 const notIndexDoc = not(haveNameMatching(/^(README|index)\.md$/i));
 const RULE_IDS = ['adr/enforcement-declared', 'adr/valid-tiers', 'adr/citations-resolve'];
 const PATH_RE = /`([A-Za-z0-9_./-]+\.[A-Za-z0-9]+)`/g;
-const IT_CITE_RE = /it(?:\.\w+)?\(\s*['"]([^'"]+)['"]/g;
-/** Does `testFile` define a test titled `title`? (Text-level; 0059 upgrades to AST.) */
-function testDefinesIt(testAbs, title) {
-    if (!existsSync(testAbs))
-        return false;
-    const content = readFileSync(testAbs, 'utf8');
-    const esc = title.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-    return new RegExp(`it(?:\\.\\w+)?\\(\\s*['"\`]${esc}`).test(content);
-}
 function validateTier(ctx, tiers) {
     const clause = ctx.cells[0] ?? '';
     const match = ctx.get('tier').match(/[1-5]/);
@@ -32,38 +21,27 @@ function validateCitations(ctx, corpus) {
     const clause = ctx.cells[0] ?? '';
     const mech = ctx.get('mechanism');
     const problems = [];
-    const citedPaths = [];
     for (const m of mech.matchAll(PATH_RE)) {
         const p = m[1];
         if (p === undefined)
             continue;
-        citedPaths.push(p);
         if (!corpus.fileIndex.has(p)) {
             problems.push(`clause "${clause}" cites missing file \`${p}\``);
         }
     }
-    const testFiles = citedPaths.filter((p) => p.endsWith('.ts'));
-    for (const m of mech.matchAll(IT_CITE_RE)) {
-        const title = m[1];
-        if (title === undefined)
-            continue;
-        const found = testFiles.some((p) => testDefinesIt(join(corpus.root, p), title));
-        if (!found) {
-            problems.push(`clause "${clause}" cites it('${title}') not found in ${testFiles.length ? testFiles.join(', ') : 'any cited test file'}`);
-        }
-    }
     return problems;
 }
 /**
  * OPINIONATED preset: gate a repo's ADRs on the EESS enforcement-tier model.
  * Gates on *declaration* — an ADR fails for a missing `## Enforcement` table, a
- * clause with no valid tier, or (when `verifyCitations`) a citation that doesn't
- * resolve; a soft-tier clause declared as such passes.
+ * clause with no valid tier, or (when `verifyCitations`) a cited file path that
+ * doesn't exist; a soft-tier clause declared as such passes.
  *
  * Emits per-rule ids so `overrides` can downgrade/disable individual checks.
  *
- * The citation check resolves two forms — a backticked file path and an
- * `it('…')` title. A Mechanism cell that cites something else (a rule id in
+ * The citation check resolves one form, a backticked file path. A cited `it('…')`
+ * title is `eess-crossvalidate`'s `adrCitationsResolve` to resolve, against the
+ * test AST (bug 0111). A Mechanism cell that cites something else (a rule id in
  * your own architecture tool, a CI job) is not resolved here, and this preset
  * takes no plugin for it: what counts as a live id is your fact, not the
  * corpus's. Compose that check from `rows()` + `correspondence()` against the

package/dist/rules/adr.js.map

@@ -1 +1 @@
-{"version":3,"file":"adr.js","sourceRoot":"","sources":["../../src/rules/adr.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,GAAG,EAGH,mBAAmB,GACpB,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAwB,MAAM,6BAA6B,CAAA;AAE3F,6EAA6E;AAC7E,yFAAyF;AACzF,8EAA8E;AAC9E,gFAAgF;AAChF,MAAM,WAAW,GAAG,GAAG,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,CAAC,CAAA;AAqBlE,MAAM,QAAQ,GAAG,CAAC,0BAA0B,EAAE,iBAAiB,EAAE,uBAAuB,CAAU,CAAA;AAElG,MAAM,OAAO,GAAG,qCAAqC,CAAA;AACrD,MAAM,UAAU,GAAG,oCAAoC,CAAA;AAEvD,wFAAwF;AACxF,SAAS,aAAa,CAAC,OAAe,EAAE,KAAa;IACnD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IACtC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAA;IACxD,OAAO,IAAI,MAAM,CAAC,8BAA8B,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,YAAY,CAAC,GAAoB,EAAE,KAA0B;IACpE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC5C,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,WAAW,MAAM,mCAAmC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAoB,EAAE,MAAc;IAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAA;IAE/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACd,IAAI,CAAC,KAAK,SAAS;YAAE,SAAQ;QAC7B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAClB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,WAAW,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAClB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;QAC/E,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CACX,WAAW,MAAM,eAAe,KAAK,mBACnC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,qBAC5C,EAAE,CACH,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,UAAiC,EAAE;IAEnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,aAAa,CAAA;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,gBAAgB,CAAA;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI;QACjC,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,SAAS;KAClB,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,IAAI,IAAI,CAAA;IAC9C,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAEnD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;SAC1B,IAAI,EAAE;SACN,cAAc,CAAC,GAAG,CAAC;SACnB,OAAO,CAAC,WAAW,CAAC;SACpB,MAAM,EAAE;SACR,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;SAC5B,IAAI,EAAE;SACN,cAAc,CAAC,GAAG,CAAC;SACnB,OAAO,CAAC,WAAW,CAAC;SACpB,MAAM,EAAE;SACR,OAAO,CAAC,uBAAuB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAEjG,8EAA8E;IAC9E,4EAA4E;IAC5E,+EAA+E;IAC/E,yBAAyB;IACzB,MAAM,KAAK,GAAG;QACZ,YAAY,CAAC,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;QAC9E,YAAY,CAAC,UAAU,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;KACxE,CAAA;IAED,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;aAC3B,IAAI,EAAE;aACN,cAAc,CAAC,GAAG,CAAC;aACnB,OAAO,CAAC,WAAW,CAAC;aACpB,MAAM,EAAE;aACR,OAAO,CACN,uBAAuB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAC5F,CAAA;QACH,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,uBAAuB,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IAC1F,CAAC;IAED,OAAO,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AAC1D,CAAC"}
+{"version":3,"file":"adr.js","sourceRoot":"","sources":["../../src/rules/adr.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,GAAG,EAGH,mBAAmB,GACpB,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAwB,MAAM,6BAA6B,CAAA;AAE3F,6EAA6E;AAC7E,yFAAyF;AACzF,8EAA8E;AAC9E,gFAAgF;AAChF,MAAM,WAAW,GAAG,GAAG,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,CAAC,CAAA;AA6BlE,MAAM,QAAQ,GAAG,CAAC,0BAA0B,EAAE,iBAAiB,EAAE,uBAAuB,CAAU,CAAA;AAElG,MAAM,OAAO,GAAG,qCAAqC,CAAA;AACrD,SAAS,YAAY,CAAC,GAAoB,EAAE,KAA0B;IACpE,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC5C,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,WAAW,MAAM,mCAAmC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAoB,EAAE,MAAc;IAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAA;IAE7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACd,IAAI,CAAC,KAAK,SAAS;YAAE,SAAQ;QAC7B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,WAAW,MAAM,0BAA0B,CAAC,IAAI,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,UAAiC,EAAE;IAEnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,aAAa,CAAA;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,gBAAgB,CAAA;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI;QACjC,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,SAAS;KAClB,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,IAAI,IAAI,CAAA;IAC9C,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAA;IAEnD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;SAC1B,IAAI,EAAE;SACN,cAAc,CAAC,GAAG,CAAC;SACnB,OAAO,CAAC,WAAW,CAAC;SACpB,MAAM,EAAE;SACR,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;SAC5B,IAAI,EAAE;SACN,cAAc,CAAC,GAAG,CAAC;SACnB,OAAO,CAAC,WAAW,CAAC;SACpB,MAAM,EAAE;SACR,OAAO,CAAC,uBAAuB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAEjG,8EAA8E;IAC9E,4EAA4E;IAC5E,+EAA+E;IAC/E,yBAAyB;IACzB,MAAM,KAAK,GAAG;QACZ,YAAY,CAAC,QAAQ,EAAE,0BAA0B,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;QAC9E,YAAY,CAAC,UAAU,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;KACxE,CAAA;IAED,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;aAC3B,IAAI,EAAE;aACN,cAAc,CAAC,GAAG,CAAC;aACnB,OAAO,CAAC,WAAW,CAAC;aACpB,MAAM,EAAE;aACR,OAAO,CACN,uBAAuB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAC5F,CAAA;QACH,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,uBAAuB,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IAC1F,CAAC;IAED,OAAO,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AAC1D,CAAC"}

package/dist/rules/ledger.d.ts

@@ -48,15 +48,19 @@ export interface HonestyAtCloseOptions extends PresetReportOptions {
     readonly closeInPlace?: boolean;
     /**
      * The full `State:` vocabulary this corpus uses. A token outside it is
-     * **reported** (`ledger/unknown-state`), not ignored. Default: the plan lane's
-     * enum. A bug-shaped lane passes its own, e.g.
-     * `['Draft', 'Ready', 'Fixed', 'Rejected', 'Parked']`.
+     * **reported** (`ledger/unknown-state`), not ignored. A bug-shaped lane passes its own,
+     * e.g. `['Draft', 'Ready', 'Fixed', 'Rejected', 'Parked']`.
+     *
+     * **Declare it together with {@link terminalStates}, or omit both** for the plan lane's
+     * defaults. One alone throws an `ArchConfigError` (bug 0284).
      */
     readonly states?: readonly string[];
     /**
-     * Which of {@link states} mean *closed*. Default `['Done', "Won't-do"]`; a
-     * bug lane passes `['Fixed', 'Rejected']`. Members are treated as known states
-     * whether or not they also appear in {@link states}.
+     * Which of {@link states} mean *closed*; a bug lane passes `['Fixed', 'Rejected']`.
+     * Members are treated as known states whether or not they also appear in {@link states}.
+     *
+     * **Declare it together with {@link states}, or omit both** for the defaults
+     * (`['Done', "Won't-do"]`). One alone throws an `ArchConfigError` (bug 0284).
      */
     readonly terminalStates?: readonly string[];
     /**