@nielspeter/eess-md 0.1.0

package/dist/builders/vocabulary.js

@@ -0,0 +1,118 @@
+import picomatch from 'picomatch';
+import { RuleBuilder } from '@nielspeter/eess';
+const defaultNormalize = (value) => value.trim();
+/** Derive a controlled vocabulary from the corpus. */
+export function vocabulary(corpus, options) {
+    const normalize = options.normalize ?? defaultNormalize;
+    const terms = new Set();
+    if (options.fromFolders !== undefined) {
+        const matches = picomatch(options.fromFolders);
+        const dirs = new Set();
+        for (const rel of corpus.fileIndex) {
+            const parts = rel.split('/');
+            for (let i = 1; i < parts.length; i++) {
+                dirs.add(parts.slice(0, i).join('/'));
+            }
+        }
+        for (const dir of dirs) {
+            if (matches(dir)) {
+                const base = dir.split('/').pop();
+                if (base !== undefined && base !== '')
+                    terms.add(normalize(base));
+            }
+        }
+    }
+    if (options.fromHeadings !== undefined) {
+        const { files, depth } = options.fromHeadings;
+        const inFiles = picomatch(files);
+        for (const doc of corpus.documents()) {
+            if (!inFiles(doc.relPath))
+                continue;
+            for (const section of doc.sections) {
+                if (depth !== undefined && section.depth !== depth)
+                    continue;
+                terms.add(normalize(section.name));
+            }
+        }
+    }
+    for (const t of options.terms ?? [])
+        terms.add(normalize(t));
+    return { terms, normalize };
+}
+// Blank out fenced code (line-preserving) so example prose never yields terms.
+const FENCE_RE = /(```|~~~)[\s\S]*?\1/g;
+function stripFencedCode(s) {
+    return s.replace(FENCE_RE, (m) => '\n'.repeat((m.match(/\n/g) ?? []).length));
+}
+const defaultValue = (rest) => rest
+    .replace(/[*_`]/g, '')
+    .trim()
+    .replace(/\s+[·—–|].*$/, '')
+    .trim();
+function collectTerms(corpus, options) {
+    const extract = options.value ?? defaultValue;
+    // Non-global copy: a caller's /g regex would carry lastIndex across lines.
+    const label = new RegExp(options.label.source, options.label.flags.replace(/g/g, ''));
+    const out = [];
+    for (const doc of corpus.documents()) {
+        const lines = stripFencedCode(doc.text).split('\n');
+        for (let i = 0; i < lines.length; i++) {
+            const line = lines[i] ?? '';
+            const m = label.exec(line);
+            if (!m)
+                continue;
+            const raw = line.slice(m.index + m[0].length);
+            const value = extract(raw);
+            if (value !== '')
+                out.push({ value, raw, doc, line: i + 1 });
+        }
+    }
+    return out;
+}
+const resideInFile = (glob) => {
+    const matches = picomatch(glob);
+    return {
+        description: `reside in file '${glob}'`,
+        test: (t) => matches(t.doc.relPath),
+    };
+};
+const resolveAgainst = (vocab) => ({
+    description: 'resolve against the vocabulary',
+    evaluate: (elements, ctx) => elements
+        .filter((t) => !vocab.terms.has(vocab.normalize(t.value)))
+        .map((t) => ({
+        rule: ctx.rule,
+        ...(ctx.ruleId !== undefined && { ruleId: ctx.ruleId }),
+        element: `${t.doc.relPath}:${t.line}`,
+        file: t.doc.file,
+        line: t.line,
+        message: `'${t.value}' does not resolve against the vocabulary (${vocab.terms.size} terms)`,
+        ...(ctx.because !== undefined && { because: ctx.because }),
+        ...(ctx.suggestion !== undefined && { suggestion: ctx.suggestion }),
+        ...(ctx.docs !== undefined && { docs: ctx.docs }),
+    })),
+});
+/** Rule builder over labeled named references in the corpus's prose. */
+export class TermRuleBuilder extends RuleBuilder {
+    opts;
+    constructor(corpus, opts) {
+        super(corpus);
+        this.opts = opts;
+    }
+    getElements() {
+        return collectTerms(this.project, this.opts);
+    }
+    /** Filter to references in documents whose path matches the glob. */
+    resideInFile(glob) {
+        return this.addPredicate(resideInFile(glob));
+    }
+    /** Assert every reference's value is a term of the vocabulary. */
+    resolveAgainst(vocab) {
+        return this.addCondition(resolveAgainst(vocab));
+    }
+}
+/** Entry point: build rules over labeled named references (`Label: Value` lines). */
+export function terms(corpus, options) {
+    return new TermRuleBuilder(corpus, options);
+}
+//# sourceMappingURL=vocabulary.js.map

package/dist/builders/vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.js","sourceRoot":"","sources":["../../src/builders/vocabulary.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,WAAW,EAAsD,MAAM,kBAAkB,CAAA;AAiClG,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;AAEhE,sDAAsD;AACtD,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,OAA0B;IACnE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,gBAAgB,CAAA;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAE/B,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;QAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;YACvC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;gBACjC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE;oBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,YAAY,CAAA;QAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAQ;YACnC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACnC,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;oBAAE,SAAQ;gBAC5D,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAE5D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;AAC7B,CAAC;AAsBD,+EAA+E;AAC/E,MAAM,QAAQ,GAAG,sBAAsB,CAAA;AACvC,SAAS,eAAe,CAAC,CAAS;IAChC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAC5C,IAAI;KACD,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;KACrB,IAAI,EAAE;KACN,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;KAC3B,IAAI,EAAE,CAAA;AAEX,SAAS,YAAY,CAAC,MAAc,EAAE,OAAqB;IACzD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAA;IAC7C,2EAA2E;IAC3E,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;IACrF,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC1B,IAAI,CAAC,CAAC;gBAAE,SAAQ;YAChB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;YAC1B,IAAI,KAAK,KAAK,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAqB,EAAE;IACvD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC/B,OAAO;QACL,WAAW,EAAE,mBAAmB,IAAI,GAAG;QACvC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;KACpC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAqB,EAAE,CAAC,CAAC;IAChE,WAAW,EAAE,gCAAgC;IAC7C,QAAQ,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAC1B,QAAQ;SACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;SACzD,GAAG,CACF,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;QACvD,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE;QACrC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,8CAA8C,KAAK,CAAC,KAAK,CAAC,IAAI,SAAS;QAC3F,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QAC1D,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;QACnE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;KAClD,CAAC,CACH;CACN,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,OAAO,eAAgB,SAAQ,WAA2B;IAG3C;IAFnB,YACE,MAAc,EACG,IAAkB;QAEnC,KAAK,CAAC,MAAM,CAAC,CAAA;QAFI,SAAI,GAAJ,IAAI,CAAc;IAGrC,CAAC;IAES,WAAW;QACnB,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;IAC9C,CAAC;IAED,qEAAqE;IACrE,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAC9C,CAAC;IAED,kEAAkE;IAClE,cAAc,CAAC,KAAiB;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAA;IACjD,CAAC;CACF;AAED,qFAAqF;AACrF,MAAM,UAAU,KAAK,CAAC,MAAc,EAAE,OAAqB;IACzD,OAAO,IAAI,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAC7C,CAAC"}

package/dist/conditions/pointer-resolve.d.ts

@@ -0,0 +1,51 @@
+import type { Condition } from '@nielspeter/eess';
+import type { Corpus } from '../corpus.js';
+import type { MdPointer } from '../model/pointers.js';
+/** How a pointer path resolves against the repo file index. */
+export interface PointerResolveOptions {
+    /**
+     * - `suffix` (default) — a pointer resolves to the one file whose repo-relative
+     *   path *ends with* the pointer path on a `/` boundary. Bare basenames are the
+     *   single-segment case, so `index.vue` and `admin/index.vue` resolve by the
+     *   same rule. Multiple matches → ambiguous (skipped, never failed).
+     * - `exact` — a pointer must be the exact repo-relative path; no suffix or
+     *   basename leniency. Choose this when pointers are required to carry full
+     *   paths (e.g. the external repo's `spec-check.ts` strictness).
+     */
+    readonly paths?: 'suffix' | 'exact';
+    /**
+     * Additional absolute roots to try when a pointer does not resolve in-repo —
+     * e.g. a sibling checkout of the legacy system a traceability matrix cites
+     * (plan 0069 Phase 5). Resolution under an external root is by exact
+     * relative path (no suffix leniency; no tree walk). Semantics when a pointer
+     * fails in-repo:
+     *  - some listed root exists → the pointer must ground there (broken/stale
+     *    violations name the roots searched);
+     *  - **no listed root exists** → the pointer is **skipped, not passed** — it
+     *    yields no violation, and the calling gate must say so out loud (use
+     *    `presentExternalRoots` to report the skipped scope in its summary line;
+     *    a skip that reads as a pass is the vacuity this option must not create).
+     */
+    readonly externalRoots?: readonly string[];
+}
+/** The subset of `roots` that actually exist on disk — for gate summary lines. */
+export declare function presentExternalRoots(roots: readonly string[]): readonly string[];
+/**
+ * Condition: every code pointer resolves to a real file with the referenced
+ * line in range. Closes over the `Corpus` for the repo file index.
+ *
+ * Classification mirrors the hand-rolled `spec-check.ts`:
+ *  - **broken** — no file matches the pointer path
+ *  - **stale**  — file exists but is shorter than the referenced line
+ *  - **ambiguous** — a path-suffix matching several files → **reported, never
+ *    failed** (the fix is to write more of the path), so it yields no violation
+ *  - **ok** — otherwise
+ *
+ * Resolution (default `suffix` mode): exact repo-relative path first, else the
+ * unique file whose path ends with the pointer path. `exact` mode requires the
+ * full repo-relative path. `.check()` fails on broken/stale; `.warn()` reports
+ * without failing. Frozen vs live scoping is done by the `areFrozen()` /
+ * `areLive()` predicates upstream.
+ */
+export declare function pointerResolves(corpus: Corpus, options?: PointerResolveOptions): Condition<MdPointer>;
+//# sourceMappingURL=pointer-resolve.d.ts.map

package/dist/conditions/pointer-resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-resolve.d.ts","sourceRoot":"","sources":["../../src/conditions/pointer-resolve.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AASrD,+DAA+D;AAC/D,MAAM,WAAW,qBAAqB;IACpC;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAA;IACnC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC3C;AAED,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAShF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,qBAA0B,GAClC,SAAS,CAAC,SAAS,CAAC,CAsItB"}

package/dist/conditions/pointer-resolve.js

@@ -0,0 +1,164 @@
+import { readFileSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+import { mdViolation } from '../model/violation.js';
+/** The subset of `roots` that actually exist on disk — for gate summary lines. */
+export function presentExternalRoots(roots) {
+    return roots.filter((r) => {
+        try {
+            return statSync(r).isDirectory();
+        }
+        catch (err) {
+            void err; // absent / unreadable root — by definition not present
+            return false;
+        }
+    });
+}
+/**
+ * Condition: every code pointer resolves to a real file with the referenced
+ * line in range. Closes over the `Corpus` for the repo file index.
+ *
+ * Classification mirrors the hand-rolled `spec-check.ts`:
+ *  - **broken** — no file matches the pointer path
+ *  - **stale**  — file exists but is shorter than the referenced line
+ *  - **ambiguous** — a path-suffix matching several files → **reported, never
+ *    failed** (the fix is to write more of the path), so it yields no violation
+ *  - **ok** — otherwise
+ *
+ * Resolution (default `suffix` mode): exact repo-relative path first, else the
+ * unique file whose path ends with the pointer path. `exact` mode requires the
+ * full repo-relative path. `.check()` fails on broken/stale; `.warn()` reports
+ * without failing. Frozen vs live scoping is done by the `areFrozen()` /
+ * `areLive()` predicates upstream.
+ */
+export function pointerResolves(corpus, options = {}) {
+    const mode = options.paths ?? 'suffix';
+    const externalRoots = options.externalRoots ?? [];
+    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]);
+    }
+    const lineCountCache = new Map();
+    const lineCount = (rel) => {
+        const cached = lineCountCache.get(rel);
+        if (cached !== undefined)
+            return cached;
+        const n = readFileSync(join(corpus.root, rel), 'utf8').split('\n').length;
+        lineCountCache.set(rel, n);
+        return n;
+    };
+    return {
+        description: 'resolve to a real file and line',
+        evaluate: (pointers, ctx) => pointers.flatMap((p) => {
+            const wanted = p.path.replace(/^\.?\//, '');
+            // The unique file whose path ends with `wanted` (on a / boundary).
+            // Narrow by last segment, then confirm the full suffix.
+            const uniqueSuffix = () => {
+                const lastSeg = wanted.slice(wanted.lastIndexOf('/') + 1);
+                const matches = (byBasename.get(lastSeg) ?? []).filter((f) => f === wanted || f.endsWith('/' + wanted));
+                const only = matches[0];
+                if (matches.length === 1 && only !== undefined)
+                    return { kind: 'unique', file: only };
+                if (matches.length > 1)
+                    return { kind: 'ambiguous' };
+                return { kind: 'none' };
+            };
+            let targetRel = null;
+            if (corpus.fileIndex.has(wanted)) {
+                // Exact repo-relative path — preferred in both modes.
+                targetRel = wanted;
+            }
+            else if (mode === 'suffix') {
+                const m = uniqueSuffix();
+                if (m.kind === 'ambiguous')
+                    return []; // reported elsewhere, never failed
+                targetRel = m.kind === 'unique' ? m.file : null;
+            }
+            if (targetRel === null && externalRoots.length > 0) {
+                // Not in-repo, external roots configured (plan 0069 Phase 5).
+                const present = presentExternalRoots(externalRoots);
+                if (present.length === 0)
+                    return []; // skipped, not passed — caller reports the scope
+                for (const rootDir of present) {
+                    const abs = join(rootDir, wanted);
+                    let external;
+                    try {
+                        external = readFileSync(abs, 'utf8').split('\n').length;
+                    }
+                    catch (err) {
+                        void err; // not under this root — try the next configured root
+                        continue;
+                    }
+                    if (Math.max(p.startLine, p.endLine) > external) {
+                        return [
+                            mdViolation({
+                                element: `${p.doc.relPath} → ${p.raw}`,
+                                file: p.doc.file,
+                                line: p.line,
+                                message: `stale code pointer: ${rootDir}/${wanted} has ${external} lines; "${p.raw}" references line ${Math.max(p.startLine, p.endLine)}`,
+                                sourceText: p.doc.text,
+                                context: ctx,
+                            }),
+                        ];
+                    }
+                    return []; // grounds in the external root
+                }
+                return [
+                    mdViolation({
+                        element: `${p.doc.relPath} → ${p.raw}`,
+                        file: p.doc.file,
+                        line: p.line,
+                        message: `broken code pointer: "${p.raw}" — not in the repo, and not under external root(s) ${present.join(', ')}`,
+                        sourceText: p.doc.text,
+                        context: ctx,
+                    }),
+                ];
+            }
+            if (targetRel === null) {
+                // Broken. If exactly one file uniquely resolves the shortened path, the
+                // repair is deterministic — attach an autofix that expands it to the
+                // full repo-relative path (plan 0066). Ambiguous → no fix.
+                const m = uniqueSuffix();
+                const fix = m.kind === 'unique' && m.file !== wanted
+                    ? {
+                        file: p.doc.file,
+                        start: p.pathStart,
+                        end: p.pathEnd,
+                        replacement: m.file,
+                        describe: `rewrite pointer "${p.path}" → "${m.file}"`,
+                    }
+                    : undefined;
+                return [
+                    mdViolation({
+                        element: `${p.doc.relPath} → ${p.raw}`,
+                        file: p.doc.file,
+                        line: p.line,
+                        message: `broken code pointer: "${p.raw}" — no such file in the repo`,
+                        sourceText: p.doc.text,
+                        fix,
+                        context: ctx,
+                    }),
+                ];
+            }
+            const lines = lineCount(targetRel);
+            if (Math.max(p.startLine, p.endLine) > lines) {
+                return [
+                    mdViolation({
+                        element: `${p.doc.relPath} → ${p.raw}`,
+                        file: p.doc.file,
+                        line: p.line,
+                        message: `stale code pointer: ${targetRel} has ${lines} lines; "${p.raw}" references line ${Math.max(p.startLine, p.endLine)}`,
+                        sourceText: p.doc.text,
+                        context: ctx,
+                    }),
+                ];
+            }
+            return [];
+        }),
+    };
+}
+//# sourceMappingURL=pointer-resolve.js.map

package/dist/conditions/pointer-resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pointer-resolve.js","sourceRoot":"","sources":["../../src/conditions/pointer-resolve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAIhC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAoCnD,kFAAkF;AAClF,MAAM,UAAU,oBAAoB,CAAC,KAAwB;IAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC;YACH,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAA;QAClC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,GAAG,CAAA,CAAC,uDAAuD;YAChE,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,UAAiC,EAAE;IAEnC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAA;IACtC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAA;IACjD,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;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAA;IAChD,MAAM,SAAS,GAAG,CAAC,GAAW,EAAU,EAAE;QACxC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAA;QACzE,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;QAC1B,OAAO,CAAC,CAAA;IACV,CAAC,CAAA;IAED,OAAO;QACL,WAAW,EAAE,iCAAiC;QAC9C,QAAQ,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAC1B,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACrB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;YAC3C,mEAAmE;YACnE,wDAAwD;YACxD,MAAM,YAAY,GAAG,GAAgB,EAAE;gBACrC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;gBACzD,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,CAChD,CAAA;gBACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;gBACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;gBACrF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;gBACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;YACzB,CAAC,CAAA;YAED,IAAI,SAAS,GAAkB,IAAI,CAAA;YACnC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,sDAAsD;gBACtD,SAAS,GAAG,MAAM,CAAA;YACpB,CAAC;iBAAM,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,YAAY,EAAE,CAAA;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,EAAE,CAAA,CAAC,mCAAmC;gBACzE,SAAS,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YACjD,CAAC;YAED,IAAI,SAAS,KAAK,IAAI,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnD,8DAA8D;gBAC9D,MAAM,OAAO,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAA;gBACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,CAAA,CAAC,iDAAiD;gBACrF,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;oBAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;oBACjC,IAAI,QAAgB,CAAA;oBACpB,IAAI,CAAC;wBACH,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAA;oBACzD,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,KAAK,GAAG,CAAA,CAAC,qDAAqD;wBAC9D,SAAQ;oBACV,CAAC;oBACD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,QAAQ,EAAE,CAAC;wBAChD,OAAO;4BACL,WAAW,CAAC;gCACV,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,GAAG,EAAE;gCACtC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;gCAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,OAAO,EAAE,uBAAuB,OAAO,IAAI,MAAM,QAAQ,QAAQ,YAAY,CAAC,CAAC,GAAG,qBAAqB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE;gCACzI,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;gCACtB,OAAO,EAAE,GAAG;6BACb,CAAC;yBACH,CAAA;oBACH,CAAC;oBACD,OAAO,EAAE,CAAA,CAAC,+BAA+B;gBAC3C,CAAC;gBACD,OAAO;oBACL,WAAW,CAAC;wBACV,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,GAAG,EAAE;wBACtC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,OAAO,EAAE,yBAAyB,CAAC,CAAC,GAAG,uDAAuD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBAClH,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBACtB,OAAO,EAAE,GAAG;qBACb,CAAC;iBACH,CAAA;YACH,CAAC;YAED,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,wEAAwE;gBACxE,qEAAqE;gBACrE,2DAA2D;gBAC3D,MAAM,CAAC,GAAG,YAAY,EAAE,CAAA;gBACxB,MAAM,GAAG,GACP,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBACtC,CAAC,CAAC;wBACE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBAChB,KAAK,EAAE,CAAC,CAAC,SAAS;wBAClB,GAAG,EAAE,CAAC,CAAC,OAAO;wBACd,WAAW,EAAE,CAAC,CAAC,IAAI;wBACnB,QAAQ,EAAE,oBAAoB,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,GAAG;qBACtD;oBACH,CAAC,CAAC,SAAS,CAAA;gBACf,OAAO;oBACL,WAAW,CAAC;wBACV,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,GAAG,EAAE;wBACtC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,OAAO,EAAE,yBAAyB,CAAC,CAAC,GAAG,8BAA8B;wBACrE,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBACtB,GAAG;wBACH,OAAO,EAAE,GAAG;qBACb,CAAC;iBACH,CAAA;YACH,CAAC;YAED,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAA;YAClC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,EAAE,CAAC;gBAC7C,OAAO;oBACL,WAAW,CAAC;wBACV,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,GAAG,EAAE;wBACtC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,OAAO,EAAE,uBAAuB,SAAS,QAAQ,KAAK,YAAY,CAAC,CAAC,GAAG,qBAAqB,IAAI,CAAC,GAAG,CAClG,CAAC,CAAC,SAAS,EACX,CAAC,CAAC,OAAO,CACV,EAAE;wBACH,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;wBACtB,OAAO,EAAE,GAAG;qBACb,CAAC;iBACH,CAAA;YACH,CAAC;YACD,OAAO,EAAE,CAAA;QACX,CAAC,CAAC;KACL,CAAA;AACH,CAAC"}

package/dist/conditions/resolve.d.ts

@@ -0,0 +1,36 @@
+import type { Condition } from '@nielspeter/eess';
+import type { Corpus } from '../corpus.js';
+import type { MdLink } from '../model/links.js';
+/**
+ * Options for `linkResolves` — how a link URL is matched 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;
+}
+/**
+ * Condition: every (internal) link resolves to a file in the corpus's repo tree.
+ * Closes over the `Corpus` for the file index. External links and pure anchors
+ * are skipped. `options` adds extensionless-link resolution (`tryExtensions`,
+ * `tryIndex`) for static-site corpora.
+ */
+export declare function linkResolves(corpus: Corpus, options?: LinkResolveOptions): Condition<MdLink>;
+//# sourceMappingURL=resolve.d.ts.map

package/dist/conditions/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../../src/conditions/resolve.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAW,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAG/C;;;;;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;CAC1B;AAmCD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,kBAAuB,GAAG,SAAS,CAAC,MAAM,CAAC,CAgChG"}

package/dist/conditions/resolve.js

@@ -0,0 +1,108 @@
+import { posix } from 'node:path';
+import { mdViolation } from '../model/violation.js';
+/**
+ * Resolve an internal link's URL to its base repo-relative target(s), or `[]`
+ * if it is a pure fragment (`#anchor`) or otherwise not a file reference.
+ * Site-absolute links (leading `/`) yield the repo-root target plus, when
+ * `rootDir` is set, the content-root target.
+ */
+function resolveTargets(link, options) {
+    const withoutFragment = link.url.split('#')[0] ?? '';
+    if (withoutFragment === '')
+        return []; // same-document anchor
+    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))];
+}
+/** All repo-relative candidates for a target under the given options. */
+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;
+}
+/**
+ * Condition: every (internal) link resolves to a file in the corpus's repo tree.
+ * Closes over the `Corpus` for the file index. External links and pure anchors
+ * are skipped. `options` adds extensionless-link resolution (`tryExtensions`,
+ * `tryIndex`) for static-site corpora.
+ */
+export function linkResolves(corpus, options = {}) {
+    // Basename → repo files, for finding a uniquely-moved target of a broken link.
+    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 {
+        description: 'resolve to an existing file',
+        evaluate: (links, ctx) => links.flatMap((link) => {
+            if (link.external)
+                return [];
+            const targets = resolveTargets(link, options);
+            if (targets.length === 0)
+                return [];
+            if (targets.some((t) => candidates(t, options).some((c) => corpus.fileIndex.has(c))))
+                return [];
+            return [
+                mdViolation({
+                    element: `${link.doc.relPath} → ${link.url}`,
+                    file: link.doc.file,
+                    line: link.line,
+                    message: `broken link: "${link.url}" does not resolve to a file in the repo`,
+                    sourceText: link.doc.text,
+                    fix: movedLinkFix(link, byBasename),
+                    context: ctx,
+                }),
+            ];
+        }),
+    };
+}
+/**
+ * If a broken link's basename uniquely names one file in the repo (the target
+ * moved, not renamed), emit 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.
+ */
+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.js.map

package/dist/conditions/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/conditions/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAIjC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AA4BnD;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,OAA2B;IAC/D,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,CAAC,uBAAuB;IAC7D,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,yEAAyE;AACzE,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;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAA8B,EAAE;IAC3E,+EAA+E;IAC/E,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;IAED,OAAO;QACL,WAAW,EAAE,6BAA6B;QAC1C,QAAQ,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CACvB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACrB,IAAI,IAAI,CAAC,QAAQ;gBAAE,OAAO,EAAE,CAAA;YAC5B,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAA;YACnC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClF,OAAO,EAAE,CAAA;YACX,OAAO;gBACL,WAAW,CAAC;oBACV,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,MAAM,IAAI,CAAC,GAAG,EAAE;oBAC5C,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;oBACnB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,OAAO,EAAE,iBAAiB,IAAI,CAAC,GAAG,0CAA0C;oBAC5E,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;oBACzB,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC;oBACnC,OAAO,EAAE,GAAG;iBACb,CAAC;aACH,CAAA;QACH,CAAC,CAAC;KACL,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,UAAiC;IACnE,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/conditions/structure.d.ts

@@ -0,0 +1,13 @@
+import type { Condition } from '@nielspeter/eess';
+import type { MdDocument } from '../model/document.js';
+/** Condition: every matched document must have a heading matching `name`. */
+export declare function haveSection(name: string | RegExp): Condition<MdDocument>;
+export interface HaveTableOptions {
+    /** Restrict to a table under this heading. */
+    readonly section?: string | RegExp;
+    /** Each regex must match at least one header cell. */
+    readonly columns: readonly RegExp[];
+}
+/** Condition: the document must contain a GFM table with the required columns. */
+export declare function haveTable(opts: HaveTableOptions): Condition<MdDocument>;
+//# sourceMappingURL=structure.d.ts.map

package/dist/conditions/structure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/conditions/structure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAItD,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CAiBxE;AAED,MAAM,WAAW,gBAAgB;IAC/B,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC,sDAAsD;IACtD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC;AAED,kFAAkF;AAClF,wBAAgB,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,CAyBvE"}

package/dist/conditions/structure.js

@@ -0,0 +1,42 @@
+import { mdViolation } from '../model/violation.js';
+import { hasSection, tableInSection } from '../model/query.js';
+/** Condition: every matched document must have a heading matching `name`. */
+export function haveSection(name) {
+    return {
+        description: `have section "${String(name)}"`,
+        evaluate: (docs, ctx) => docs
+            .filter((d) => !hasSection(d, name))
+            .map((d) => mdViolation({
+            element: d.relPath,
+            file: d.file,
+            line: 1,
+            message: `missing section "${String(name)}"`,
+            sourceText: d.text,
+            context: ctx,
+        })),
+    };
+}
+/** Condition: the document must contain a GFM table with the required columns. */
+export function haveTable(opts) {
+    const colDesc = opts.columns.map(String).join(', ');
+    return {
+        description: `have a table with columns ${colDesc}${opts.section ? ` in section "${String(opts.section)}"` : ''}`,
+        evaluate: (docs, ctx) => docs.flatMap((d) => {
+            const candidates = d.tables.filter((t) => tableInSection(t, opts.section));
+            const satisfied = candidates.some((t) => opts.columns.every((col) => t.header.some((h) => col.test(h))));
+            if (satisfied)
+                return [];
+            return [
+                mdViolation({
+                    element: d.relPath,
+                    file: d.file,
+                    line: candidates[0]?.line ?? 1,
+                    message: `no table with the required columns (${colDesc})${opts.section ? ` in section "${String(opts.section)}"` : ''}`,
+                    sourceText: d.text,
+                    context: ctx,
+                }),
+            ];
+        }),
+    };
+}
+//# sourceMappingURL=structure.js.map

package/dist/conditions/structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.js","sourceRoot":"","sources":["../../src/conditions/structure.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAE9D,6EAA6E;AAC7E,MAAM,UAAU,WAAW,CAAC,IAAqB;IAC/C,OAAO;QACL,WAAW,EAAE,iBAAiB,MAAM,CAAC,IAAI,CAAC,GAAG;QAC7C,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CACtB,IAAI;aACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,WAAW,CAAC;YACV,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,IAAI,CAAC,GAAG;YAC5C,UAAU,EAAE,CAAC,CAAC,IAAI;YAClB,OAAO,EAAE,GAAG;SACb,CAAC,CACH;KACN,CAAA;AACH,CAAC;AASD,kFAAkF;AAClF,MAAM,UAAU,SAAS,CAAC,IAAsB;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACnD,OAAO;QACL,WAAW,EAAE,6BAA6B,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjH,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CACtB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACjB,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;YAC1E,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAA;YACD,IAAI,SAAS;gBAAE,OAAO,EAAE,CAAA;YACxB,OAAO;gBACL,WAAW,CAAC;oBACV,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC;oBAC9B,OAAO,EAAE,uCAAuC,OAAO,IACrD,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAC3D,EAAE;oBACF,UAAU,EAAE,CAAC,CAAC,IAAI;oBAClB,OAAO,EAAE,GAAG;iBACb,CAAC;aACH,CAAA;QACH,CAAC,CAAC;KACL,CAAA;AACH,CAAC"}

package/dist/conditions/table-rows.d.ts

@@ -0,0 +1,28 @@
+import type { Condition } from '@nielspeter/eess';
+import type { MdDocument } from '../model/document.js';
+import { type MdRow, type ColumnSpec } from '../model/rows.js';
+/**
+ * Context passed to a row validator — the `rows()` element type ([[MdRow]]).
+ * Kept as a named export for back-compat; new code can use `MdRow` directly.
+ */
+export type TableRowContext = MdRow;
+export interface HaveTableRowsOptions {
+    /** Restrict to a table under this heading. */
+    readonly section?: string | RegExp;
+    /** role → header pattern. The table must have all of these columns; the row
+     * validator reads cells via `ctx.get(role)`. */
+    readonly columns: ColumnSpec;
+    /** Return violation messages for a data row (empty = row is fine). */
+    readonly row: (ctx: TableRowContext) => string[];
+}
+/**
+ * Generic table-row validator — the primitive `adrEnforcement` composes. For
+ * each document, finds the first table (optionally within a section) whose
+ * header matches every column pattern, and runs the `row` callback per data
+ * row. Table presence itself is `haveTable`'s job; this validates the rows of a
+ * matching table. Row extraction is shared with the `rows()` entry point via
+ * `matchTableRows` (here in `first` mode, preserving the historical
+ * single-table behavior); the reported line stays the table's start line.
+ */
+export declare function haveTableRowsSatisfying(opts: HaveTableRowsOptions): Condition<MdDocument>;
+//# sourceMappingURL=table-rows.d.ts.map

package/dist/conditions/table-rows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-rows.d.ts","sourceRoot":"","sources":["../../src/conditions/table-rows.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAEtD,OAAO,EAAkB,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,KAAK,CAAA;AAEnC,MAAM,WAAW,oBAAoB;IACnC,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC;oDACgD;IAChD,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,MAAM,EAAE,CAAA;CACjD;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,oBAAoB,GAAG,SAAS,CAAC,UAAU,CAAC,CAoBzF"}

package/dist/conditions/table-rows.js

@@ -0,0 +1,25 @@
+import { mdViolation } from '../model/violation.js';
+import { matchTableRows } from '../model/rows.js';
+/**
+ * Generic table-row validator — the primitive `adrEnforcement` composes. For
+ * each document, finds the first table (optionally within a section) whose
+ * header matches every column pattern, and runs the `row` callback per data
+ * row. Table presence itself is `haveTable`'s job; this validates the rows of a
+ * matching table. Row extraction is shared with the `rows()` entry point via
+ * `matchTableRows` (here in `first` mode, preserving the historical
+ * single-table behavior); the reported line stays the table's start line.
+ */
+export function haveTableRowsSatisfying(opts) {
+    return {
+        description: `have table rows satisfying the row validator`,
+        evaluate: (documents, ctx) => documents.flatMap((doc) => matchTableRows(doc, { section: opts.section, columns: opts.columns }, 'first').flatMap((row) => opts.row(row).map((message) => mdViolation({
+            element: `${doc.relPath} (${opts.section ? `${String(opts.section)} ` : ''}row ${row.rowIndex + 1})`,
+            file: doc.file,
+            line: row.table.line,
+            message,
+            sourceText: doc.text,
+            context: ctx,
+        })))),
+    };
+}
+//# sourceMappingURL=table-rows.js.map