@nielspeter/eess-crossvalidate 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Niels Peter
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,44 @@
+# @nielspeter/eess-crossvalidate
+
+Cross-validation presets for the [eess](../../README.md) family — bind two dialects' artifacts and fail the build when they drift.
+
+The generic engine lives in the kernel: [`correspondence()`](../core) binds two element `Selection`s (from any dialects) and checks completeness both ways plus relation preservation. This package ships the **dialect-coupled presets** — the pairs that must import two concrete dialects.
+
+## Mermaid ↔ TypeScript
+
+```typescript
+import { diagramMatchesCode } from '@nielspeter/eess-crossvalidate/mermaid-ts'
+import { project } from '@nielspeter/eess-ts'
+import { diagram } from '@nielspeter/eess-mermaid'
+
+// every class in the diagram exists in code, and vice versa
+diagramMatchesCode(diagram('docs/architecture.mmd'), project('tsconfig.json')).check?.()
+```
+
+If the code gains a `ModuloOperation` class the diagram doesn't have (or vice
+versa), the build fails with a two-sided, actionable message. This supersedes the
+deprecated `fromDiagram()` bridge — class-level correspondence, both directions.
+
+## Markdown ↔ TypeScript
+
+```typescript
+import { adrCitationsResolve } from '@nielspeter/eess-crossvalidate/md-ts'
+import { corpus } from '@nielspeter/eess-md'
+import { project } from '@nielspeter/eess-ts'
+
+// every it('…') cited in an ADR enforcement table exists as a real test
+adrCitationsResolve(corpus({ roots: ['docs/**'] }), project('tsconfig.json'))
+```
+
+AST-grounded: cited titles are resolved against actual `it()` call expressions
+(via eess-ts's public API — no ts-morph here, per ADR-007), so it also catches
+no-substitution template titles the text-level check misses.
+
+## Peers
+
+The dialects are optional peer dependencies — install the ones your presets use
+(`@nielspeter/eess-ts`, `@nielspeter/eess-mermaid`, `@nielspeter/eess-md`).
+
+## License
+
+MIT

package/dist/files.d.ts

@@ -0,0 +1,44 @@
+import type { Selection, ElementInfo } from '@nielspeter/eess';
+/**
+ * A file matched by [[files]]. Its content is **not** read — this is a
+ * path-selection brick. Callers that need the file's content (e.g. parse a
+ * `package.json`) read `absPath` inside their own `identify`.
+ */
+export interface FileEntry {
+    /** Repo-relative path, POSIX separators, e.g. `adr/001-toolchain.md`. */
+    readonly path: string;
+    /** Absolute path — for callers that read content in `identify`. */
+    readonly absPath: string;
+}
+/** Options for [[files]]. */
+export interface FilesOptions {
+    /** Glob(s) selecting files, matched against repo-relative POSIX paths. */
+    readonly glob: string | readonly string[];
+    /** Root the globs resolve against. Defaults to `process.cwd()`. */
+    readonly cwd?: string;
+    /** Globs excluded from the result (in addition to the built-in dir skips). */
+    readonly ignore?: readonly string[];
+    /** Display label for this side of a `correspondence()`. */
+    readonly label: string;
+    /** Map a file to its correspondence identity (name/file/line). */
+    readonly identify: (file: FileEntry) => ElementInfo;
+}
+/**
+ * Turn a set of files into a `Selection` — the recurring "the code side is a
+ * set of files" case (an ADR index binds to `adr/*.md`, a manifest binds to
+ * `packages/*`). Feed the result to `correspondence()` as one side.
+ *
+ * Path selection only: the file's content is not read. When a file's identity
+ * comes from its content (a `package.json`'s `name`), read `absPath` inside
+ * `identify`. Results are sorted by path for deterministic output.
+ *
+ * ```ts
+ * const adrFiles = files({
+ *   glob: 'adr/*.md',
+ *   label: 'ADR file',
+ *   identify: (f) => ({ name: numberOf(f.path), file: f.path, line: 1 }),
+ * })
+ * ```
+ */
+export declare function files(opts: FilesOptions): Selection<FileEntry>;
+//# sourceMappingURL=files.d.ts.map

package/dist/files.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"files.d.ts","sourceRoot":"","sources":["../src/files.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9D;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yEAAyE;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,6BAA6B;AAC7B,MAAM,WAAW,YAAY;IAC3B,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;IACzC,mEAAmE;IACnE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,SAAS,KAAK,WAAW,CAAA;CACpD;AAoCD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,CAgB9D"}

package/dist/files.js

@@ -0,0 +1,68 @@
+import { readdirSync } from 'node:fs';
+import { join, relative, sep } from 'node:path';
+import picomatch from 'picomatch';
+// Directories never walked — deps, build output, VCS. Mirrors the corpus walk.
+const BUILTIN_IGNORE_DIRS = new Set([
+    'node_modules',
+    '.git',
+    'dist',
+    'coverage',
+    '.output',
+    '.nuxt',
+    '.vercel',
+]);
+function toPosix(p) {
+    return sep === '/' ? p : p.split(sep).join('/');
+}
+function walk(dir, root, acc) {
+    let entries;
+    try {
+        entries = readdirSync(dir, { withFileTypes: true });
+    }
+    catch (err) {
+        void err; // unreadable dir (permissions, dangling symlink) — deliberately skipped
+        return;
+    }
+    for (const e of entries) {
+        const abs = join(dir, e.name);
+        if (e.isDirectory()) {
+            if (BUILTIN_IGNORE_DIRS.has(e.name))
+                continue;
+            walk(abs, root, acc);
+        }
+        else if (e.isFile()) {
+            acc.push(toPosix(relative(root, abs)));
+        }
+    }
+}
+/**
+ * Turn a set of files into a `Selection` — the recurring "the code side is a
+ * set of files" case (an ADR index binds to `adr/*.md`, a manifest binds to
+ * `packages/*`). Feed the result to `correspondence()` as one side.
+ *
+ * Path selection only: the file's content is not read. When a file's identity
+ * comes from its content (a `package.json`'s `name`), read `absPath` inside
+ * `identify`. Results are sorted by path for deterministic output.
+ *
+ * ```ts
+ * const adrFiles = files({
+ *   glob: 'adr/*.md',
+ *   label: 'ADR file',
+ *   identify: (f) => ({ name: numberOf(f.path), file: f.path, line: 1 }),
+ * })
+ * ```
+ */
+export function files(opts) {
+    const root = opts.cwd ?? process.cwd();
+    const all = [];
+    walk(root, root, all);
+    const globs = typeof opts.glob === 'string' ? [opts.glob] : [...opts.glob];
+    const matchesGlob = picomatch(globs);
+    const matchesIgnore = opts.ignore && opts.ignore.length > 0 ? picomatch([...opts.ignore]) : () => false;
+    const elements = all
+        .filter((rel) => matchesGlob(rel) && !matchesIgnore(rel))
+        .sort()
+        .map((rel) => ({ path: rel, absPath: join(root, rel) }));
+    return { elements, label: opts.label, identify: opts.identify };
+}
+//# sourceMappingURL=files.js.map

package/dist/files.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"files.js","sourceRoot":"","sources":["../src/files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AACrC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,SAAS,MAAM,WAAW,CAAA;AA6BjC,+EAA+E;AAC/E,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,cAAc;IACd,MAAM;IACN,MAAM;IACN,UAAU;IACV,SAAS;IACT,OAAO;IACP,SAAS;CACV,CAAC,CAAA;AAEF,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACjD,CAAC;AAED,SAAS,IAAI,CAAC,GAAW,EAAE,IAAY,EAAE,GAAa;IACpD,IAAI,OAAO,CAAA;IACX,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IACrD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,KAAK,GAAG,CAAA,CAAC,wEAAwE;QACjF,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YACpB,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC7C,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;QACtB,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,KAAK,CAAC,IAAkB;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAA;IACtC,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;IAErB,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;IAC1E,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IACpC,MAAM,aAAa,GACjB,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAA;IAEnF,MAAM,QAAQ,GAAgB,GAAG;SAC9B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;SACxD,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAE1D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAA;AACjE,CAAC"}

package/dist/md-gherkin.d.ts

@@ -0,0 +1,41 @@
+import { type ArchViolation, type PresetReportOptions } from '@nielspeter/eess';
+import type { Corpus } from '@nielspeter/eess-md';
+import type { FeatureSet } from '@nielspeter/eess-gherkin';
+export interface ScenarioCitationsResolveOptions extends PresetReportOptions {
+    /** Glob selecting the markdown documents to scan. Default `**` (whole corpus). */
+    readonly dir?: string;
+    /**
+     * Custom citation extractor for transition periods — receives one
+     * fence-stripped line and returns the citations on it. Default: the eess
+     * citation convention, a backticked feature path plus an optional quoted
+     * scenario title on the same line — `` `path/to/x.feature` `` · `'Title'`.
+     */
+    readonly extract?: (line: string) => readonly ExtractedCitation[];
+}
+export interface ExtractedCitation {
+    /** The cited feature path, as written (may be a unique suffix). */
+    readonly path: string;
+    /** The cited scenario title; absent for a file-level citation. */
+    readonly title?: string;
+}
+declare function defaultExtract(line: string): ExtractedCitation[];
+/**
+ * Cross-validate that every scenario citation in the markdown corpus resolves
+ * against the loaded feature set — the md↔gherkin pairing (plan 0069 Phase 2),
+ * the exact analogue of `adrCitationsResolve`'s `it('…')` title resolution.
+ *
+ * A citation is a backticked feature path with an optional quoted scenario
+ * title on the same line. Three failure modes are gated: the cited feature
+ * file doesn't exist in the set, the path is ambiguous (matches several
+ * files), or the cited scenario title doesn't exist in that file. Citations
+ * inside fenced code blocks never count.
+ */
+export declare function scenarioCitationsResolve(corpus: Corpus, set: FeatureSet, options?: ScenarioCitationsResolveOptions): ArchViolation[];
+/** Count citations/scenarios for a caller's non-vacuity summary line. */
+export declare function scenarioCitationStats(corpus: Corpus, set: FeatureSet, options?: ScenarioCitationsResolveOptions): {
+    citations: number;
+    features: number;
+    scenarios: number;
+};
+export { defaultExtract };
+//# sourceMappingURL=md-gherkin.d.ts.map

package/dist/md-gherkin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-gherkin.d.ts","sourceRoot":"","sources":["../src/md-gherkin.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAC7F,OAAO,KAAK,EAAE,MAAM,EAAc,MAAM,qBAAqB,CAAA;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAE1D,MAAM,WAAW,+BAAgC,SAAQ,mBAAmB;IAC1E,kFAAkF;IAClF,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,iBAAiB,EAAE,CAAA;CAClE;AAED,MAAM,WAAW,iBAAiB;IAChC,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,kEAAkE;IAClE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACxB;AAaD,iBAAS,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAUzD;AA6CD;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,UAAU,EACf,OAAO,GAAE,+BAAoC,GAC5C,aAAa,EAAE,CA2CjB;AAED,yEAAyE;AACzE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,UAAU,EACf,OAAO,GAAE,+BAAoC,GAC5C;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAQ5D;AAGD,OAAO,EAAE,cAAc,EAAE,CAAA"}

package/dist/md-gherkin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-gherkin.js","sourceRoot":"","sources":["../src/md-gherkin.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,YAAY,EAAgD,MAAM,kBAAkB,CAAA;AA4B7F,2EAA2E;AAC3E,4EAA4E;AAC5E,MAAM,eAAe,GAAG,uBAAuB,CAAA;AAC/C,MAAM,QAAQ,GAAG,wBAAwB,CAAA;AACzC,MAAM,IAAI,GAAG,oEAAoE,CAAA;AAEjF,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAwB,EAAE,CAAA;IACnC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACjB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,8EAA8E;AAC9E,+DAA+D;AAC/D,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,SAAS,gBAAgB,CACvB,MAAc,EACd,GAAW,EACX,OAAuD;IAEvD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;IAC5B,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QACjC,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,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC3C,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,0FAA0F;AAC1F,SAAS,cAAc,CAAC,IAAY,EAAE,GAAe;IACnD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IAChD,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IACrC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,CAAC,GAAG,CAAC,CAAW,EAAE,OAAe,EAAE,OAAe,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,qCAAqC;IAC7C,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE;IACrC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;IAChB,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,OAAO;IACP,OAAO;CACR,CAAC,CAAA;AAEF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,GAAe,EACf,UAA2C,EAAE;IAE7C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAA;IAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,cAAc,CAAA;IAEjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IACxD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACnF,MAAM,UAAU,GAAoB,EAAE,CAAA;IAEtC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CACb,CAAC,CACC,CAAC,EACD,WAAW,CAAC,CAAC,IAAI,sCAAsC,EACvD,oEAAoE,CACrE,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CACb,CAAC,CACC,CAAC,EACD,WAAW,CAAC,CAAC,IAAI,2BAA2B,QAAQ,CAAC,MAAM,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACpG,6EAA6E,CAC9E,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;YACzF,UAAU,CAAC,IAAI,CACb,CAAC,CACC,CAAC,EACD,UAAU,CAAC,CAAC,KAAK,UAAU,GAAG,4CAA4C,EAC1E,gFAAgF,CACjF,CACF,CAAA;QACH,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CACnC,MAAc,EACd,GAAe,EACf,UAA2C,EAAE;IAE7C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAA;IAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,cAAc,CAAA;IACjD,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,MAAM;QACxD,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM;QAC/B,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM;KAClC,CAAA;AACH,CAAC;AAED,wEAAwE;AACxE,OAAO,EAAE,cAAc,EAAE,CAAA"}

package/dist/md-mermaid-er.d.ts

@@ -0,0 +1,42 @@
+import { type ArchViolation, type PresetReportOptions } from '@nielspeter/eess';
+import type { Corpus, MdDocument } from '@nielspeter/eess-md';
+export interface TableErAgreeOptions extends PresetReportOptions {
+    /** Glob selecting the documents to check. Default `**`. */
+    readonly docs?: string;
+    /**
+     * The consumer's table shape (never baked in): which section holds the
+     * property table, and which headers carry the property name and —
+     * optionally — its type.
+     */
+    readonly table: {
+        readonly section: RegExp;
+        readonly name: RegExp;
+        readonly type?: RegExp;
+    };
+    /**
+     * Which diagram entity a document describes — e.g. derive `JobSchedule`
+     * from an `# Entity: Job Schedule` heading. Return `undefined` to skip
+     * the document.
+     */
+    readonly entity: (doc: MdDocument) => string | undefined;
+}
+/**
+ * Cross-validate that a document's property table and its own `erDiagram`
+ * describe the same entity (plan 0069 Phase 3): the entity the document is
+ * about must appear in the diagram, and every diagram attribute of that
+ * entity must be a row of the table (attributes ⊆ properties). Where the
+ * consumer maps a type column, attribute types must match it too
+ * (case-insensitive).
+ *
+ * Documents with no erDiagram block, or for which `entity()` returns
+ * `undefined`, are skipped — gate diagram *presence* separately with
+ * `docs()` conformance if the corpus requires one.
+ */
+export declare function tableErAgree(corpus: Corpus, options: TableErAgreeOptions): ArchViolation[];
+/** Count compared docs/entities/attributes for a caller's non-vacuity summary. */
+export declare function tableErStats(corpus: Corpus, options: TableErAgreeOptions): {
+    docs: number;
+    entities: number;
+    attributes: number;
+};
+//# sourceMappingURL=md-mermaid-er.d.ts.map

package/dist/md-mermaid-er.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-mermaid-er.d.ts","sourceRoot":"","sources":["../src/md-mermaid-er.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAC7F,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAG7D,MAAM,WAAW,mBAAoB,SAAQ,mBAAmB;IAC9D,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KACvB,CAAA;IACD;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,MAAM,GAAG,SAAS,CAAA;CACzD;AAoCD;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,GAAG,aAAa,EAAE,CAoG1F;AAED,kFAAkF;AAClF,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,mBAAmB,GAC3B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAiBxD"}

package/dist/md-mermaid-er.js

@@ -0,0 +1,122 @@
+import picomatch from 'picomatch';
+import { finishPreset } from '@nielspeter/eess';
+import { parseErDiagram, collectEntities } from '@nielspeter/eess-mermaid';
+const RULE = 'entity property tables and their erDiagram should agree';
+const ER_HEADER = /^\s*erDiagram\b/;
+const v = (doc, line, message, because) => ({
+    rule: RULE,
+    ruleId: 'crossval/table-er-agree',
+    element: doc.relPath,
+    file: doc.file,
+    line,
+    message,
+    because,
+});
+function erEntitiesOf(doc) {
+    return doc.codeBlocks
+        .filter((b) => (b.lang === 'mermaid' || b.lang === null) && ER_HEADER.test(b.value))
+        .map((b) => {
+        try {
+            return { entities: collectEntities(parseErDiagram(b.value)), line: b.line };
+        }
+        catch (err) {
+            const message = err instanceof Error ? (err.message.split('\n')[1] ?? err.message) : String(err);
+            return { entities: [], line: b.line, parseError: message };
+        }
+    });
+}
+/**
+ * Cross-validate that a document's property table and its own `erDiagram`
+ * describe the same entity (plan 0069 Phase 3): the entity the document is
+ * about must appear in the diagram, and every diagram attribute of that
+ * entity must be a row of the table (attributes ⊆ properties). Where the
+ * consumer maps a type column, attribute types must match it too
+ * (case-insensitive).
+ *
+ * Documents with no erDiagram block, or for which `entity()` returns
+ * `undefined`, are skipped — gate diagram *presence* separately with
+ * `docs()` conformance if the corpus requires one.
+ */
+export function tableErAgree(corpus, options) {
+    const inDocs = picomatch(options.docs ?? '**');
+    const violations = [];
+    for (const doc of corpus.documents()) {
+        if (!inDocs(doc.relPath))
+            continue;
+        const entityName = options.entity(doc);
+        if (entityName === undefined)
+            continue;
+        const blocks = erEntitiesOf(doc);
+        if (blocks.length === 0)
+            continue;
+        // A block that is not standard Mermaid ER syntax is itself drift — flag
+        // it (never crash, never silently skip) and compare what did parse.
+        for (const b of blocks) {
+            if (b.parseError !== undefined) {
+                violations.push(v(doc, b.line, `erDiagram does not parse as standard Mermaid ER syntax: ${b.parseError}`, 'a diagram the standard grammar rejects cannot be validated — fix the syntax'));
+            }
+        }
+        if (blocks.every((b) => b.parseError !== undefined))
+            continue;
+        const entity = blocks.flatMap((b) => b.entities).find((e) => e.name === entityName);
+        const diagramLine = blocks[0]?.line ?? 1;
+        if (entity === undefined) {
+            violations.push(v(doc, diagramLine, `erDiagram does not declare entity '${entityName}'`, 'the diagram and the document must describe the same entity'));
+            continue;
+        }
+        const table = doc.tables.find((t) => t.sectionPath.some((h) => options.table.section.test(h)) &&
+            t.header.some((h) => options.table.name.test(h)));
+        if (table === undefined) {
+            violations.push(v(doc, diagramLine, `no property table matching section ${String(options.table.section)} to compare the erDiagram against`, 'attributes ⊆ properties is only checkable when the table exists'));
+            continue;
+        }
+        const nameIdx = table.header.findIndex((h) => options.table.name.test(h));
+        const typeIdx = options.table.type !== undefined
+            ? table.header.findIndex((h) => {
+                const re = options.table.type;
+                return re !== undefined && re.test(h);
+            })
+            : -1;
+        const typeByName = new Map();
+        for (const row of table.rows) {
+            const name = row[nameIdx];
+            if (name === undefined)
+                continue;
+            typeByName.set(name.trim(), typeIdx >= 0 ? (row[typeIdx] ?? '').trim() : '');
+        }
+        for (const attr of entity.attributes) {
+            const tableType = typeByName.get(attr.name);
+            if (tableType === undefined) {
+                violations.push(v(doc, diagramLine, `erDiagram attribute '${attr.name}' of '${entityName}' is not a row of the property table`, 'a diagram attribute the table does not carry is drift between two views of one entity'));
+                continue;
+            }
+            if (typeIdx >= 0 && tableType.toLowerCase() !== attr.type.toLowerCase()) {
+                violations.push(v(doc, diagramLine, `type of '${attr.name}' disagrees: table says '${tableType}', erDiagram says '${attr.type}'`, 'the two representations must state the same type'));
+            }
+        }
+    }
+    return finishPreset(violations, options);
+}
+/** Count compared docs/entities/attributes for a caller's non-vacuity summary. */
+export function tableErStats(corpus, options) {
+    const inDocs = picomatch(options.docs ?? '**');
+    let docs = 0;
+    let entities = 0;
+    let attributes = 0;
+    for (const doc of corpus.documents()) {
+        if (!inDocs(doc.relPath))
+            continue;
+        if (options.entity(doc) === undefined)
+            continue;
+        const blocks = erEntitiesOf(doc);
+        if (blocks.length === 0)
+            continue;
+        docs++;
+        for (const b of blocks) {
+            entities += b.entities.length;
+            attributes += b.entities.reduce((n, e) => n + e.attributes.length, 0);
+        }
+    }
+    return { docs, entities, attributes };
+}
+//# sourceMappingURL=md-mermaid-er.js.map

package/dist/md-mermaid-er.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-mermaid-er.js","sourceRoot":"","sources":["../src/md-mermaid-er.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,YAAY,EAAgD,MAAM,kBAAkB,CAAA;AAE7F,OAAO,EAAE,cAAc,EAAE,eAAe,EAAqB,MAAM,0BAA0B,CAAA;AAuB7F,MAAM,IAAI,GAAG,yDAAyD,CAAA;AACtE,MAAM,SAAS,GAAG,iBAAiB,CAAA;AAEnC,MAAM,CAAC,GAAG,CAAC,GAAe,EAAE,IAAY,EAAE,OAAe,EAAE,OAAe,EAAiB,EAAE,CAAC,CAAC;IAC7F,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,yBAAyB;IACjC,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,IAAI,EAAE,GAAG,CAAC,IAAI;IACd,IAAI;IACJ,OAAO;IACP,OAAO;CACR,CAAC,CAAA;AASF,SAAS,YAAY,CAAC,GAAe;IACnC,OAAO,GAAG,CAAC,UAAU;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACnF,GAAG,CAAC,CAAC,CAAC,EAAW,EAAE;QAClB,IAAI,CAAC;YACH,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QAC7E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,OAAO,GACX,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAClF,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAA;QAC5D,CAAC;IACH,CAAC,CAAC,CAAA;AACN,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,OAA4B;IACvE,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAoB,EAAE,CAAA;IAEtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAClC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACtC,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAEjC,wEAAwE;QACxE,oEAAoE;QACpE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CACb,CAAC,CACC,GAAG,EACH,CAAC,CAAC,IAAI,EACN,2DAA2D,CAAC,CAAC,UAAU,EAAE,EACzE,6EAA6E,CAC9E,CACF,CAAA;YACH,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC;YAAE,SAAQ;QAE7D,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;QACnF,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAA;QACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,UAAU,CAAC,IAAI,CACb,CAAC,CACC,GAAG,EACH,WAAW,EACX,sCAAsC,UAAU,GAAG,EACnD,4DAA4D,CAC7D,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QAED,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CACnD,CAAA;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CACb,CAAC,CACC,GAAG,EACH,WAAW,EACX,sCAAsC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,mCAAmC,EACtG,iEAAiE,CAClE,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACzE,MAAM,OAAO,GACX,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC9B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3B,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAA;gBAC7B,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACvC,CAAC,CAAC;YACJ,CAAC,CAAC,CAAC,CAAC,CAAA;QACR,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;YACzB,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAQ;YAChC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC9E,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC3C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CACb,CAAC,CACC,GAAG,EACH,WAAW,EACX,wBAAwB,IAAI,CAAC,IAAI,SAAS,UAAU,sCAAsC,EAC1F,uFAAuF,CACxF,CACF,CAAA;gBACD,SAAQ;YACV,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxE,UAAU,CAAC,IAAI,CACb,CAAC,CACC,GAAG,EACH,WAAW,EACX,YAAY,IAAI,CAAC,IAAI,4BAA4B,SAAS,sBAAsB,IAAI,CAAC,IAAI,GAAG,EAC5F,kDAAkD,CACnD,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,OAA4B;IAE5B,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,CAAA;IAC9C,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAClC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAQ;QAC/C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QACjC,IAAI,EAAE,CAAA;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAA;YAC7B,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAA;AACvC,CAAC"}

package/dist/md-mermaid.d.ts

@@ -0,0 +1,21 @@
+import { type ArchViolation, type Direction, type PresetReportOptions } from '@nielspeter/eess';
+import type { Corpus } from '@nielspeter/eess-md';
+import { type ArchProject } from '@nielspeter/eess-ts';
+export interface EmbeddedDiagramsMatchCodeOptions extends PresetReportOptions {
+    /** Glob (matched against a class's directory) restricting which TS classes participate. */
+    readonly scope?: string;
+    /**
+     * Completeness direction. Default `left-to-right` — every class named in an
+     * embedded diagram must exist in code (a diagram fragment in an ADR need not
+     * list every code class).
+     */
+    readonly completeness?: Direction;
+}
+/**
+ * Cross-validate Mermaid diagrams embedded as fenced ```mermaid blocks in the
+ * markdown corpus against TypeScript code — each embedded diagram is validated
+ * exactly like a standalone `.mmd` file, with violations pointing at the
+ * markdown file and the fence line. Composed from the kernel `correspondence()`.
+ */
+export declare function embeddedDiagramsMatchCode(corpus: Corpus, project: ArchProject, options?: EmbeddedDiagramsMatchCodeOptions): ArchViolation[];
+//# sourceMappingURL=md-mermaid.d.ts.map

package/dist/md-mermaid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-mermaid.d.ts","sourceRoot":"","sources":["../src/md-mermaid.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,mBAAmB,EACzB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAEjD,OAAO,EAAwB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE5E,MAAM,WAAW,gCAAiC,SAAQ,mBAAmB;IAC3E,2FAA2F;IAC3F,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAA;CAClC;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,OAAO,GAAE,gCAAqC,GAC7C,aAAa,EAAE,CAoCjB"}

package/dist/md-mermaid.js

@@ -0,0 +1,44 @@
+import { correspondence, finishPreset, } from '@nielspeter/eess';
+import { diagram, classes as mmdClasses } from '@nielspeter/eess-mermaid';
+import { classes as tsClasses } from '@nielspeter/eess-ts';
+/**
+ * Cross-validate Mermaid diagrams embedded as fenced ```mermaid blocks in the
+ * markdown corpus against TypeScript code — each embedded diagram is validated
+ * exactly like a standalone `.mmd` file, with violations pointing at the
+ * markdown file and the fence line. Composed from the kernel `correspondence()`.
+ */
+export function embeddedDiagramsMatchCode(corpus, project, options = {}) {
+    const scope = options.scope ?? '**/src/**';
+    const direction = options.completeness ?? 'left-to-right';
+    const right = tsClasses(project)
+        .that()
+        .resideInFolder(scope)
+        .select({
+        label: 'TS class',
+        identify: (c) => ({
+            name: c.getName() ?? '<anonymous>',
+            file: c.getSourceFile().getFilePath(),
+            line: c.getStartLineNumber(),
+        }),
+    });
+    const violations = [];
+    for (const doc of corpus.documents()) {
+        for (const block of doc.codeBlocks) {
+            if (block.lang !== 'mermaid')
+                continue;
+            const d = diagram(block.value);
+            const left = mmdClasses(d).select({
+                label: `diagram class (in ${doc.relPath})`,
+                // point violations at the markdown file + fence line, not the parsed diagram
+                identify: (c) => ({ name: c.name, file: doc.file, line: block.line }),
+            });
+            violations.push(...correspondence({ left, right })
+                .should()
+                .beComplete({ direction })
+                .rule({ id: 'crossval/embedded-diagram' })
+                .violations());
+        }
+    }
+    return finishPreset(violations, options);
+}
+//# sourceMappingURL=md-mermaid.js.map

package/dist/md-mermaid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-mermaid.js","sourceRoot":"","sources":["../src/md-mermaid.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,YAAY,GAIb,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,0BAA0B,CAAA;AACzE,OAAO,EAAE,OAAO,IAAI,SAAS,EAAoB,MAAM,qBAAqB,CAAA;AAa5E;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,OAAoB,EACpB,UAA4C,EAAE;IAE9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,WAAW,CAAA;IAC1C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,IAAI,eAAe,CAAA;IAEzD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC;SAC7B,IAAI,EAAE;SACN,cAAc,CAAC,KAAK,CAAC;SACrB,MAAM,CAAC;QACN,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,aAAa;YAClC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;YACrC,IAAI,EAAE,CAAC,CAAC,kBAAkB,EAAE;SAC7B,CAAC;KACH,CAAC,CAAA;IAEJ,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAQ;YACtC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAChC,KAAK,EAAE,qBAAqB,GAAG,CAAC,OAAO,GAAG;gBAC1C,6EAA6E;gBAC7E,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;aACtE,CAAC,CAAA;YACF,UAAU,CAAC,IAAI,CACb,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;iBAC/B,MAAM,EAAE;iBACR,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;iBACzB,IAAI,CAAC,EAAE,EAAE,EAAE,2BAA2B,EAAE,CAAC;iBACzC,UAAU,EAAE,CAChB,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC1C,CAAC"}

package/dist/md-ts.d.ts

@@ -0,0 +1,20 @@
+import type { Corpus } from '@nielspeter/eess-md';
+import { type ArchProject } from '@nielspeter/eess-ts';
+export interface AdrCitationsResolveOptions {
+    /** Glob selecting ADR files. Default `docs/adr/**`. */
+    readonly dir?: string;
+    /** Enforcement section heading. Default `/^enforcement$/i`. */
+    readonly section?: string | RegExp;
+    /** Header pattern locating the mechanism column. Default `/mechanism/i` — non-English corpora pass their own (e.g. `/mekanisme/i`). */
+    readonly mechanismColumn?: RegExp;
+}
+/**
+ * Cross-validate that every `it('…')` cited in an ADR's enforcement table
+ * actually exists as a test in the project. The AST-grounded upgrade of the
+ * text-level citation check in `eess-md`'s `adrEnforcement` — it resolves titles
+ * against real test call expressions (via eess-ts's public API; no ts-morph
+ * here, per ADR-007), so it also sees `it(\`no-substitution template\`)` titles
+ * the regex missed.
+ */
+export declare function adrCitationsResolve(corpus: Corpus, project: ArchProject, options?: AdrCitationsResolveOptions): void;
+//# sourceMappingURL=md-ts.d.ts.map

package/dist/md-ts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-ts.d.ts","sourceRoot":"","sources":["../src/md-ts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,EAAS,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,WAAW,0BAA0B;IACzC,uDAAuD;IACvD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAClC,uIAAuI;IACvI,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAClC;AAoED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,OAAO,GAAE,0BAA+B,GACvC,IAAI,CA+BN"}

package/dist/md-ts.js

@@ -0,0 +1,90 @@
+import picomatch from 'picomatch';
+import { correspondence } from '@nielspeter/eess';
+import { calls } from '@nielspeter/eess-ts';
+const IT_CITE_RE = /it(?:\.\w+)?\(\s*['"`]([^'"`]+)['"`]/g;
+// Parse a title out of an enriched call name like `it('does a thing')`.
+const IT_NAME_RE = /^it(?:\.\w+)?\(\s*['"`]([^'"`]+)['"`]/;
+function matchName(value, name) {
+    return typeof name === 'string' ? value === name : name.test(value);
+}
+/** Extract cited `it('…')` titles from the mechanism column of ADR enforcement tables. */
+function extractCitations(opts) {
+    const inDir = picomatch(opts.dir);
+    const out = [];
+    for (const doc of opts.corpus.documents()) {
+        if (!inDir(doc.relPath))
+            continue;
+        const table = doc.tables.find((t) => t.sectionPath.some((h) => matchName(h, opts.section)) &&
+            t.header.some((h) => opts.mechanismColumn.test(h)));
+        if (!table)
+            continue;
+        const mechIdx = table.header.findIndex((h) => opts.mechanismColumn.test(h));
+        if (mechIdx < 0)
+            continue;
+        for (const row of table.rows) {
+            const mech = row[mechIdx] ?? '';
+            for (const m of mech.matchAll(IT_CITE_RE)) {
+                const title = m[1];
+                if (title !== undefined)
+                    out.push({ title, adr: doc.relPath, line: table.line });
+            }
+        }
+    }
+    return out;
+}
+/** Collect actual `it('…')` definitions from the project via eess-ts's public call API. */
+function extractTestDefs(project) {
+    const allCalls = calls(project).select({
+        label: 'call',
+        identify: (c) => ({ name: c.getName() ?? '' }),
+    }).elements;
+    const out = [];
+    for (const call of allCalls) {
+        if (call.getName() !== 'it')
+            continue;
+        const enriched = call.getName({ withArgument: 0 }) ?? '';
+        const m = IT_NAME_RE.exec(enriched);
+        if (m?.[1] !== undefined) {
+            out.push({ title: m[1], file: call.getSourceFile().getFilePath() });
+        }
+    }
+    return out;
+}
+/**
+ * Cross-validate that every `it('…')` cited in an ADR's enforcement table
+ * actually exists as a test in the project. The AST-grounded upgrade of the
+ * text-level citation check in `eess-md`'s `adrEnforcement` — it resolves titles
+ * against real test call expressions (via eess-ts's public API; no ts-morph
+ * here, per ADR-007), so it also sees `it(\`no-substitution template\`)` titles
+ * the regex missed.
+ */
+export function adrCitationsResolve(corpus, project, options = {}) {
+    const dir = options.dir ?? 'docs/adr/**';
+    const section = options.section ?? /^enforcement$/i;
+    const mechanismColumn = options.mechanismColumn ?? /mechanism/i;
+    const citations = extractCitations({ corpus, dir, section, mechanismColumn });
+    const testDefs = extractTestDefs(project);
+    const left = {
+        elements: citations,
+        label: 'cited it()',
+        identify: (c) => ({ name: `it('${c.title}')`, file: c.adr, line: c.line }),
+    };
+    const right = {
+        elements: testDefs,
+        label: 'test',
+        identify: (d) => ({ name: `it('${d.title}')`, file: d.file }),
+    };
+    correspondence({
+        left,
+        right,
+        keyBy: (e) => e.title,
+    })
+        .should()
+        .beComplete({ direction: 'left-to-right' })
+        .rule({
+        id: 'crossval/adr-citations-resolve',
+        because: 'an ADR that cites a test must cite one that exists',
+    })
+        .check();
+}
+//# sourceMappingURL=md-ts.js.map

package/dist/md-ts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"md-ts.js","sourceRoot":"","sources":["../src/md-ts.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,cAAc,EAAkB,MAAM,kBAAkB,CAAA;AAEjE,OAAO,EAAE,KAAK,EAAoB,MAAM,qBAAqB,CAAA;AAqB7D,MAAM,UAAU,GAAG,uCAAuC,CAAA;AAC1D,wEAAwE;AACxE,MAAM,UAAU,GAAG,uCAAuC,CAAA;AAE1D,SAAS,SAAS,CAAC,KAAa,EAAE,IAAqB;IACrD,OAAO,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACrE,CAAC;AAED,0FAA0F;AAC1F,SAAS,gBAAgB,CAAC,IAKzB;IACC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjC,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QACjC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACrD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CACrD,CAAA;QACD,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3E,IAAI,OAAO,GAAG,CAAC;YAAE,SAAQ;QACzB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;gBAClB,IAAI,KAAK,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAClF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,2FAA2F;AAC3F,SAAS,eAAe,CAAC,OAAoB;IAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QACrC,KAAK,EAAE,MAAM;QACb,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;KAC/C,CAAC,CAAC,QAAQ,CAAA;IACX,MAAM,GAAG,GAAc,EAAE,CAAA;IACzB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI;YAAE,SAAQ;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QACxD,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACnC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,OAAoB,EACpB,UAAsC,EAAE;IAExC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,aAAa,CAAA;IACxC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,gBAAgB,CAAA;IACnD,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,YAAY,CAAA;IAE/D,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;IAEzC,MAAM,IAAI,GAAwB;QAChC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,YAAY;QACnB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;KAC3E,CAAA;IACD,MAAM,KAAK,GAAuB;QAChC,QAAQ,EAAE,QAAQ;QAClB,KAAK,EAAE,MAAM;QACb,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;KAC9D,CAAA;IAED,cAAc,CAAC;QACb,IAAI;QACJ,KAAK;QACL,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK;KACtB,CAAC;SACC,MAAM,EAAE;SACR,UAAU,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;SAC1C,IAAI,CAAC;QACJ,EAAE,EAAE,gCAAgC;QACpC,OAAO,EAAE,oDAAoD;KAC9D,CAAC;SACD,KAAK,EAAE,CAAA;AACZ,CAAC"}

package/dist/mermaid-ts.d.ts

@@ -0,0 +1,25 @@
+import { type Direction } from '@nielspeter/eess';
+import { type ArchProject as MermaidDiagram } from '@nielspeter/eess-mermaid';
+import { type ArchProject } from '@nielspeter/eess-ts';
+export interface DiagramMatchesCodeOptions {
+    /** Glob (matched against a class's directory) restricting which TS classes
+     * participate. Defaults to a `src` folder anywhere in the tree. */
+    readonly scope?: string;
+    /**
+     * Completeness direction. `both` (default) = every diagram class has a TS
+     * class and vice versa — the walkthrough stage-7 property.
+     */
+    readonly completeness?: Direction;
+}
+/**
+ * Cross-validate a Mermaid class diagram against TypeScript code: every class in
+ * the diagram has a matching TS class and vice versa. Built on the kernel
+ * `correspondence()` primitive (class-level, both directions) — the correct
+ * generalization of the deprecated `fromDiagram()` bridge.
+ *
+ * ```ts
+ * diagramMatchesCode(diagram('docs/architecture.mmd'), project('tsconfig.json'))
+ * ```
+ */
+export declare function diagramMatchesCode(diagram: MermaidDiagram, project: ArchProject, options?: DiagramMatchesCodeOptions): void;
+//# sourceMappingURL=mermaid-ts.d.ts.map

package/dist/mermaid-ts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mermaid-ts.d.ts","sourceRoot":"","sources":["../src/mermaid-ts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACjE,OAAO,EAAyB,KAAK,WAAW,IAAI,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACpG,OAAO,EAAwB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAE5E,MAAM,WAAW,yBAAyB;IACxC;uEACmE;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAA;CAClC;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,WAAW,EACpB,OAAO,GAAE,yBAA8B,GACtC,IAAI,CA4BN"}

package/dist/mermaid-ts.js

@@ -0,0 +1,40 @@
+import { correspondence } from '@nielspeter/eess';
+import { classes as mmdClasses } from '@nielspeter/eess-mermaid';
+import { classes as tsClasses } from '@nielspeter/eess-ts';
+/**
+ * Cross-validate a Mermaid class diagram against TypeScript code: every class in
+ * the diagram has a matching TS class and vice versa. Built on the kernel
+ * `correspondence()` primitive (class-level, both directions) — the correct
+ * generalization of the deprecated `fromDiagram()` bridge.
+ *
+ * ```ts
+ * diagramMatchesCode(diagram('docs/architecture.mmd'), project('tsconfig.json'))
+ * ```
+ */
+export function diagramMatchesCode(diagram, project, options = {}) {
+    const scope = options.scope ?? '**/src/**';
+    const left = mmdClasses(diagram).select({
+        label: 'diagram class',
+        identify: (c) => ({ name: c.name }),
+    });
+    const right = tsClasses(project)
+        .that()
+        .resideInFolder(scope)
+        .select({
+        label: 'TS class',
+        identify: (c) => ({
+            name: c.getName() ?? '<anonymous>',
+            file: c.getSourceFile().getFilePath(),
+            line: c.getStartLineNumber(),
+        }),
+    });
+    correspondence({ left, right })
+        .should()
+        .beComplete({ direction: options.completeness ?? 'both' })
+        .rule({
+        id: 'crossval/diagram-completeness',
+        because: 'the diagram and the code must agree on which classes exist',
+    })
+        .check();
+}
+//# sourceMappingURL=mermaid-ts.js.map

package/dist/mermaid-ts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mermaid-ts.js","sourceRoot":"","sources":["../src/mermaid-ts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAkB,MAAM,kBAAkB,CAAA;AACjE,OAAO,EAAE,OAAO,IAAI,UAAU,EAAsC,MAAM,0BAA0B,CAAA;AACpG,OAAO,EAAE,OAAO,IAAI,SAAS,EAAoB,MAAM,qBAAqB,CAAA;AAa5E;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAuB,EACvB,OAAoB,EACpB,UAAqC,EAAE;IAEvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,WAAW,CAAA;IAE1C,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QACtC,KAAK,EAAE,eAAe;QACtB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;KACpC,CAAC,CAAA;IAEF,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC;SAC7B,IAAI,EAAE;SACN,cAAc,CAAC,KAAK,CAAC;SACrB,MAAM,CAAC;QACN,KAAK,EAAE,UAAU;QACjB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChB,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,aAAa;YAClC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE;YACrC,IAAI,EAAE,CAAC,CAAC,kBAAkB,EAAE;SAC7B,CAAC;KACH,CAAC,CAAA;IAEJ,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SAC5B,MAAM,EAAE;SACR,UAAU,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,IAAI,MAAM,EAAE,CAAC;SACzD,IAAI,CAAC;QACJ,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE,4DAA4D;KACtE,CAAC;SACD,KAAK,EAAE,CAAA;AACZ,CAAC"}

package/package.json

@@ -0,0 +1,84 @@
+{
+  "name": "@nielspeter/eess-crossvalidate",
+  "version": "0.1.0",
+  "description": "Cross-validation presets for the eess family — bind two dialects' artifacts and fail when they drift.",
+  "type": "module",
+  "exports": {
+    "./mermaid-ts": {
+      "types": "./dist/mermaid-ts.d.ts",
+      "import": "./dist/mermaid-ts.js"
+    },
+    "./md-ts": {
+      "types": "./dist/md-ts.d.ts",
+      "import": "./dist/md-ts.js"
+    },
+    "./md-mermaid": {
+      "types": "./dist/md-mermaid.d.ts",
+      "import": "./dist/md-mermaid.js"
+    },
+    "./files": {
+      "types": "./dist/files.d.ts",
+      "import": "./dist/files.js"
+    },
+    "./md-gherkin": {
+      "types": "./dist/md-gherkin.d.ts",
+      "import": "./dist/md-gherkin.js"
+    },
+    "./md-mermaid-er": {
+      "types": "./dist/md-mermaid-er.d.ts",
+      "import": "./dist/md-mermaid-er.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "engines": {
+    "node": ">=24.0.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/nielspeter/eess.git",
+    "directory": "packages/crossvalidate"
+  },
+  "author": "Niels Peter",
+  "license": "MIT",
+  "scripts": {
+    "prepublishOnly": "npm run build",
+    "build": "tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  },
+  "keywords": [
+    "eess",
+    "cross-validation",
+    "architecture",
+    "mermaid",
+    "markdown"
+  ],
+  "dependencies": {
+    "@nielspeter/eess": "^0.1.0",
+    "picomatch": "^4.0.4"
+  },
+  "peerDependencies": {
+    "@nielspeter/eess-ts": "^0.1.0",
+    "@nielspeter/eess-mermaid": "^0.1.0",
+    "@nielspeter/eess-md": "^0.1.0",
+    "@nielspeter/eess-gherkin": "^0.1.0"
+  },
+  "peerDependenciesMeta": {
+    "@nielspeter/eess-ts": {
+      "optional": true
+    },
+    "@nielspeter/eess-mermaid": {
+      "optional": true
+    },
+    "@nielspeter/eess-md": {
+      "optional": true
+    },
+    "@nielspeter/eess-gherkin": {
+      "optional": true
+    }
+  }
+}