@milehimikey/em 1.7.2 → 1.8.1

package/dist/catalog/docJoin.js

@@ -14,10 +14,50 @@
 // note binding is a normal, unremarkable state (a slice that hasn't reached specify yet); a
 // binding pointing at a missing file, or a doc whose frontmatter is missing or malformed, are
 // both broken-contract states and warn.
+//
+// Cross-slice binding (MIL-121): the canonical two-slice Automation/Translation shape (MIL-120)
+// splits one design conversation across a view-only slice and its reaction+command+event slice,
+// but a team may still want ONE doc to cover both. A `note "slices/<other-key>.md"` pointing at
+// a DIFFERENT slice's canonical path is an explicit request to borrow that doc — honored only
+// when the other end also ratifies it, via that doc's own frontmatter `covers:` list naming this
+// slice's key. This is a two-ended handshake by design: an unratified cross-note (the target
+// doc doesn't list this slice in `covers`, is missing, or has unusable frontmatter) leaves the
+// slice silently unbound (`no-doc-bound`) rather than warning here — a one-sided note is exactly
+// the same "hasn't reached specify yet" state as no note at all *from this module's point of
+// view*. Canonical binding (a note naming this slice's own path) always takes precedence and is
+// checked first, unchanged from before this ticket.
+//
+// MIL-126 gives the silent cases above (and a canonically-bound slice's OTHER, now-pointless
+// notes) their own diagnostic instead of staying silent forever: see
+// catalog/noteBindingValidate.ts, a sibling module, not folded in here — same reasoning as
+// lineageValidate.ts/frontmatterCoherenceValidate.ts staying separate from this one, and it
+// needs a second, cross-cutting pass over EVERY doc-shaped note on a slice (not just the winning
+// one) to tell "extra" from "dangling" from "unratified". It reuses `NOTE_SLICE_PATH` and
+// `resolveCrossCandidate` below rather than re-deriving the ratification predicate.
 import { makeDiag } from "../model/rules.js";
 import { classifyImplementationDrift } from "./driftSignal.js";
 import { readSliceDoc } from "./readSliceDoc.js";
 import { hasUsableFrontmatter } from "./sliceDoc.js";
+// Matches a `note "slices/<key>.md"` value's path shape, to pull `<key>` back out for the
+// MIL-121 cross-binding search below (and MIL-126's mismatch sweep, catalog/noteBindingValidate.ts)
+// — same kebab-slug grammar sliceDoc.ts's SLICE_REF uses.
+export const NOTE_SLICE_PATH = /^slices\/([a-z0-9]+(?:-[a-z0-9]+)*)\.md$/i;
+/**
+ * Resolves a single `slices/<candidateKey>.md` cross-binding candidate — the exact ratification
+ * predicate `resolveSliceDocJoin`'s cross-binding search (MIL-121) applies, extracted so
+ * `noteBindingValidate.ts` (MIL-126) can classify a *non*-winning candidate's reason without
+ * re-deriving what "ratifies" means. One source of truth for both.
+ */
+export function resolveCrossCandidate(baseDir, candidateKey, sliceKey) {
+    const doc = readSliceDoc(baseDir, candidateKey);
+    if (!doc)
+        return { status: "missing" };
+    if (!hasUsableFrontmatter(doc))
+        return { status: "unusable" };
+    if (!doc.covers.includes(sliceKey))
+        return { status: "unratified" };
+    return { status: "ratified", doc };
+}
 const EMPTY_CONTENT = {
     status: null,
     version: null,
@@ -38,6 +78,33 @@ export function resolveSliceDocJoin(slice, sliceKey, baseDir, elementRefOf) {
     const path = `slices/${sliceKey}.md`;
     const boundEls = slice.elements.filter((el) => el.note === path);
     if (boundEls.length === 0) {
+        // No canonical binding — MIL-121: look for a ratified cross-binding before giving up. Walk
+        // elements in declaration order (deterministic "first wins") for a `note "slices/<other>.md"`
+        // naming a DIFFERENT slice, and accept the first one `resolveCrossCandidate` reports as
+        // ratified. Anything short of that (missing file, unusable frontmatter, or no ratifying
+        // `covers` entry) is silently not a binding at all here (same as no note ever having been
+        // written) — MIL-126's noteBindingValidate.ts is where that non-winning candidate's specific
+        // reason becomes its own diagnostic, using this same predicate.
+        for (const el of slice.elements) {
+            if (!el.note)
+                continue;
+            const m = el.note.match(NOTE_SLICE_PATH);
+            if (!m)
+                continue;
+            const otherKey = m[1].toLowerCase();
+            if (otherKey === sliceKey)
+                continue; // already handled above; can't happen if we got here
+            const result = resolveCrossCandidate(baseDir, otherKey, sliceKey);
+            if (result.status !== "ratified")
+                continue;
+            // Normalized (lowercased) path, NOT `el.note` verbatim: `otherKey` is lowercased before
+            // the readSliceDoc() call above (NOTE_SLICE_PATH is case-insensitive), so a mixed-case
+            // note like `note "slices/Request-Payment.md"` must still report the path it actually
+            // read — `slices/request-payment.md` — not the note's original casing. Otherwise a
+            // consumer that re-derives the key from `doc.path` (sliceReadyValidate.ts) would try to
+            // re-read the mixed-case path and get null on a case-sensitive filesystem.
+            return { doc: foundDoc(`slices/${otherKey}.md`, result.doc), diagnostics: [] };
+        }
         return { doc: { found: false, path, reason: "no-doc-bound", ...EMPTY_CONTENT }, diagnostics: [] };
     }
     const parsed = readSliceDoc(baseDir, sliceKey);
@@ -67,20 +134,22 @@ export function resolveSliceDocJoin(slice, sliceKey, baseDir, elementRefOf) {
             ],
         };
     }
+    return { doc: foundDoc(path, parsed), diagnostics: [] };
+}
+/** Builds the `found: true, reason: null` doc join result shared by a canonical binding and a
+ *  ratified MIL-121 cross-binding — `path` is whichever path the content actually came from. */
+function foundDoc(path, parsed) {
     return {
-        doc: {
-            found: true,
-            path,
-            reason: null,
-            status: parsed.status,
-            version: parsed.version,
-            implementedIn: parsed.implementedIn,
-            splitFrom: parsed.splitFrom,
-            mergedFrom: parsed.mergedFrom,
-            supersededBy: parsed.supersededBy,
-            driftSignal: classifyImplementationDrift(parsed),
-        },
-        diagnostics: [],
+        found: true,
+        path,
+        reason: null,
+        status: parsed.status,
+        version: parsed.version,
+        implementedIn: parsed.implementedIn,
+        splitFrom: parsed.splitFrom,
+        mergedFrom: parsed.mergedFrom,
+        supersededBy: parsed.supersededBy,
+        driftSignal: classifyImplementationDrift(parsed),
     };
 }
 //# sourceMappingURL=docJoin.js.map

package/dist/catalog/docJoin.js.map

@@ -1 +1 @@
-{"version":3,"file":"docJoin.js","sourceRoot":"","sources":["../../src/catalog/docJoin.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,4FAA4F;AAC5F,uFAAuF;AACvF,6FAA6F;AAC7F,oFAAoF;AACpF,0FAA0F;AAC1F,4FAA4F;AAC5F,EAAE;AACF,oFAAoF;AACpF,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,wCAAwC;AAIxC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,2BAA2B,EAAmB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAY,MAAM,eAAe,CAAC;AAgC/D,MAAM,aAAa,GAAG;IACpB,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,aAAa,EAAE,IAAI;IACnB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,EAAgB;IAC5B,YAAY,EAAE,EAAgB;IAC9B,WAAW,EAAE,IAA8B;CAC5C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,QAAgB,EAChB,OAAe,EACf,YAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,QAAQ,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAEjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,aAAa,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACpG,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,GAAG,aAAa,EAAE;YAC7E,WAAW,EAAE;gBACX,QAAQ,CAAC,sBAAsB,EAAE;oBAC/B,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,YAAY,IAAI,2BAA2B;oBACxE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;oBACtB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC/D,CAAC;aACH;SACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,aAAa,EAAE;YAC3E,WAAW,EAAE;gBACX,QAAQ,CAAC,qBAAqB,EAAE;oBAC9B,OAAO,EAAE,MAAM,CAAC,kBAAkB;wBAChC,CAAC,CAAC,cAAc,IAAI,2CAA2C,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACxG,CAAC,CAAC,cAAc,IAAI,4BAA4B;oBAClD,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,CAAC,QAAQ,CAAC;iBACjB,CAAC;aACH;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,EAAE;YACH,KAAK,EAAE,IAAI;YACX,IAAI;YACJ,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,WAAW,EAAE,2BAA2B,CAAC,MAAM,CAAC;SACjD;QACD,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"docJoin.js","sourceRoot":"","sources":["../../src/catalog/docJoin.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,4FAA4F;AAC5F,uFAAuF;AACvF,6FAA6F;AAC7F,oFAAoF;AACpF,0FAA0F;AAC1F,4FAA4F;AAC5F,EAAE;AACF,oFAAoF;AACpF,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,wCAAwC;AACxC,EAAE;AACF,gGAAgG;AAChG,gGAAgG;AAChG,gGAAgG;AAChG,8FAA8F;AAC9F,iGAAiG;AACjG,6FAA6F;AAC7F,+FAA+F;AAC/F,iGAAiG;AACjG,6FAA6F;AAC7F,gGAAgG;AAChG,oDAAoD;AACpD,EAAE;AACF,6FAA6F;AAC7F,qEAAqE;AACrE,2FAA2F;AAC3F,4FAA4F;AAC5F,iGAAiG;AACjG,0FAA0F;AAC1F,oFAAoF;AAIpF,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,2BAA2B,EAAmB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAsB,MAAM,eAAe,CAAC;AAEzE,0FAA0F;AAC1F,oGAAoG;AACpG,0DAA0D;AAC1D,MAAM,CAAC,MAAM,eAAe,GAAG,2CAA2C,CAAC;AAY3E;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,YAAoB,EAAE,QAAgB;IAC3F,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC9D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACpE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAmCD,MAAM,aAAa,GAAG;IACpB,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,aAAa,EAAE,IAAI;IACnB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,EAAgB;IAC5B,YAAY,EAAE,EAAgB;IAC9B,WAAW,EAAE,IAA8B;CAC5C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAY,EACZ,QAAgB,EAChB,OAAe,EACf,YAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,QAAQ,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAEjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,2FAA2F;QAC3F,8FAA8F;QAC9F,wFAAwF;QACxF,wFAAwF;QACxF,0FAA0F;QAC1F,6FAA6F;QAC7F,gEAAgE;QAChE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,EAAE,CAAC,IAAI;gBAAE,SAAS;YACvB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,QAAQ,KAAK,QAAQ;gBAAE,SAAS,CAAC,qDAAqD;YAC1F,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAClE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;gBAAE,SAAS;YAC3C,wFAAwF;YACxF,uFAAuF;YACvF,sFAAsF;YACtF,mFAAmF;YACnF,wFAAwF;YACxF,2EAA2E;YAC3E,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,UAAU,QAAQ,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACjF,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,aAAa,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACpG,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,GAAG,aAAa,EAAE;YAC7E,WAAW,EAAE;gBACX,QAAQ,CAAC,sBAAsB,EAAE;oBAC/B,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,YAAY,IAAI,2BAA2B;oBACxE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;oBACtB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC/D,CAAC;aACH;SACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,aAAa,EAAE;YAC3E,WAAW,EAAE;gBACX,QAAQ,CAAC,qBAAqB,EAAE;oBAC9B,OAAO,EAAE,MAAM,CAAC,kBAAkB;wBAChC,CAAC,CAAC,cAAc,IAAI,2CAA2C,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;wBACxG,CAAC,CAAC,cAAc,IAAI,4BAA4B;oBAClD,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,CAAC,QAAQ,CAAC;iBACjB,CAAC;aACH;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;AAC1D,CAAC;AAED;gGACgG;AAChG,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAgB;IAC9C,OAAO;QACL,KAAK,EAAE,IAAI;QACX,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,WAAW,EAAE,2BAA2B,CAAC,MAAM,CAAC;KACjD,CAAC;AACJ,CAAC"}

package/dist/catalog/docModelConsistencyValidate.d.ts

@@ -0,0 +1,8 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { Diagnostic } from "../model/validate.js";
+/**
+ * Resolve every slice's doc consistency findings. `baseDir` is the `.em` file's directory, same
+ * convention every other doc/note path in em uses.
+ */
+export declare function validateDocModelConsistency(model: NormalizedModel, refs: RefsResult, baseDir: string): Diagnostic[];

package/dist/catalog/docModelConsistencyValidate.js

@@ -0,0 +1,335 @@
+// SPDX-License-Identifier: MIT
+// `em validate`'s doc↔model consistency check (MIL-124): the "internal surface" of the conform
+// phase (does a bound slice doc's structured claims still agree with the `.em` model?) has always
+// been checked by agent judgment. This module makes the mechanically-checkable core of that
+// judgment call deterministic — the same fs-aware-sibling shape as catalog/lineageValidate.ts
+// (MIL-84), catalog/frontmatterCoherenceValidate.ts (MIL-85), and catalog/noteBindingValidate.ts
+// (MIL-126): a module next to model/validate.ts, not folded into it, because it needs
+// `baseDir`/fs access the rest of validate deliberately never touches.
+//
+// Four things are checked, each declare-gated so a thin/draft doc stays silent rather than
+// nagging (matching this codebase's bar for an unconditional rule — see the sibling modules
+// above):
+//
+//   1. pattern: frontmatter `pattern:` vs the deterministic classification `classify.ts`'s
+//      `classifySlicePattern()` computes from the `.em` AST — the same function `em export`
+//      publishes as `slice.pattern`. Checked against the doc's OWNING slice only (the slice whose
+//      own export key the doc's canonical path names) — `classifySlicePattern` is inherently
+//      single-slice, so a MIL-121 cross-covered doc's `pattern:` is compared against the primary
+//      slice it's canonically bound to, not some blend of the whole covered union. Silent when
+//      the owning slice classifies as `unclassified` — nothing authoritative to compare against.
+//
+//   2. element rosters, per kind (command/event/view), both directions: the doc body's own
+//      stable markers (`**Command:** \`Name\``, `**Event:** \`Name\`` [`→ context \`Ctx\``],
+//      `- **View:** \`Name\` ...`) versus the model's elements of that kind. A kind with zero
+//      markers in the doc is silent for that kind entirely — partial/draft docs are normal, and
+//      this mirrors the field-level declare-gating below. `→ context` is deliberately never
+//      compared against the model's `@Context` tag — out of scope for this ticket (judgment call,
+//      see this module's test file / the MIL-124 report).
+//
+//   3. fields, per matched Command/Event: a markdown field table (first column = field name)
+//      found in the marker's own section (before the next `##` heading or marker) versus the
+//      model element's `{ fields }` block. Compared only when BOTH sides declare at least one
+//      field — either side lacking fields entirely is silent, matching the roster gating above.
+//      Name comparison (rosters and fields alike) uses `model.ts`'s own `normalizeName()`, so
+//      case/spacing conventions match how the DSL itself resolves names — never a second,
+//      independently-invented comparison.
+//
+// MIL-121 cross-covered docs: a doc can be the resolved binding (via `docJoin.ts`'s
+// `resolveSliceDocJoin`) for more than one slice — its own canonical slice, plus any slice whose
+// `covers:`-ratified cross-note points at it. This module resolves every slice's binding exactly
+// that way (never re-deriving binding semantics), groups slices by resolved doc path, and checks
+// each doc ONCE against the UNION of elements across every slice it's bound to — not once per
+// slice, which would double-report the same disagreement. Findings anchor at whichever slice the
+// model-side element actually lives in (element line + refs) for "model has it, doc doesn't
+// mention it"; at the doc's OWNING slice (the one canonically bound to this doc's path — falling
+// back to the earliest-declared covered slice if none is, an edge case that needs a floating
+// `covers`-only doc with no slice of its own) for "doc names it, nothing in the model does" and
+// for the pattern check, since neither has one specific model element to point at.
+//
+// Body-marker/table parsing lives here, not in sliceDoc.ts: it operates on `SliceDoc.body` (the
+// post-frontmatter text sliceDoc.ts already exposes) but needs to talk in terms of element
+// *kinds*, which is this rule's vocabulary, not the doc parser's. `pattern` is the one exception
+// — a genuine frontmatter scalar sliceDoc.ts didn't parse onto the struct before this ticket — so
+// it was added there instead (one line, alongside `status`/`version`), keeping every other
+// frontmatter field's parsing in one place.
+//
+// All warnings, never errors — a genuine doc/model disagreement is worth flagging, but it's
+// never a build-breaking condition (same posture every other fs-aware validate rule takes).
+import { normalizeName } from "../model/model.js";
+import { pushDiag } from "../model/rules.js";
+import { classifySlicePattern, slicePatternLabel } from "./classify.js";
+import { resolveSliceDocJoin } from "./docJoin.js";
+import { readSliceDoc } from "./readSliceDoc.js";
+const COMMAND_MARKER = /^\*\*Command:\*\*\s*`([^`]+)`\s*$/;
+const EVENT_MARKER = /^\*\*Event:\*\*\s*`([^`]+)`(?:\s*→\s*context\s*`[^`]+`\s*)?$/;
+const VIEW_MARKER = /^-\s*\*\*View:\*\*\s*`([^`]+)`/;
+function matchMarker(line) {
+    const cmd = COMMAND_MARKER.exec(line);
+    if (cmd)
+        return { kind: "command", name: cmd[1].trim() };
+    const evt = EVENT_MARKER.exec(line);
+    if (evt)
+        return { kind: "event", name: evt[1].trim() };
+    const view = VIEW_MARKER.exec(line);
+    if (view)
+        return { kind: "view", name: view[1].trim() };
+    return null;
+}
+const TABLE_ROW = /^\s*\|/;
+const TABLE_SEPARATOR_CELL = /^:?-+:?$/;
+const PLACEHOLDER = /\{\{.*\}\}/;
+function splitRow(line) {
+    const trimmed = line.trim().replace(/^\|/, "").replace(/\|$/, "");
+    return trimmed.split("|").map((c) => c.trim());
+}
+function cleanCell(raw) {
+    if (raw === undefined)
+        return null;
+    const stripped = raw.replace(/^`|`$/g, "").trim();
+    if (!stripped || PLACEHOLDER.test(raw))
+        return null;
+    return stripped;
+}
+/** Finds the first markdown table between `start` and `end` (exclusive) whose header's first
+ *  column reads "Field" (case/spacing-insensitive) — the shape every field table in the template
+ *  uses (`| Field | Type | ... |`). Returns null when no such table exists, or every data row is
+ *  a template placeholder (an unfilled `{{field}}` row is the same as no table — nothing real was
+ *  declared yet). */
+function findFieldTable(lines, start, end) {
+    for (let i = start; i < end - 1; i++) {
+        if (!TABLE_ROW.test(lines[i]) || !TABLE_ROW.test(lines[i + 1]))
+            continue;
+        const sepCells = splitRow(lines[i + 1]);
+        if (sepCells.length === 0 || !sepCells.every((c) => TABLE_SEPARATOR_CELL.test(c)))
+            continue;
+        const headerCells = splitRow(lines[i]);
+        if (normalizeName(headerCells[0] ?? "") !== "field")
+            continue;
+        const typeIdx = headerCells.findIndex((c, idx) => idx > 0 && normalizeName(c) === "type");
+        const fields = [];
+        for (let j = i + 2; j < end; j++) {
+            if (!TABLE_ROW.test(lines[j]))
+                break;
+            const cells = splitRow(lines[j]);
+            const name = cleanCell(cells[0]);
+            if (!name)
+                continue; // blank or placeholder row — not a real field declaration
+            const type = typeIdx >= 0 ? cleanCell(cells[typeIdx]) : null;
+            fields.push({ name, type });
+        }
+        return fields.length > 0 ? fields : null;
+    }
+    return null;
+}
+/** Parses every Command/Event/View marker out of a slice doc's body, each paired with its own
+ *  field table (command/event only) when one follows before the next `##` heading or marker.
+ *  Tolerant by construction: only the exact template marker shapes match at all (see the regexes
+ *  above); anything else — prose, a differently-shaped table, a heading that isn't `##` — is
+ *  simply not recognized, never a parse error. */
+function parseDocMarkers(body) {
+    const lines = body.split(/\r?\n/);
+    const hits = [];
+    for (let i = 0; i < lines.length; i++) {
+        const m = matchMarker(lines[i]);
+        if (m)
+            hits.push({ ...m, idx: i });
+    }
+    return hits.map((hit) => {
+        let end = lines.length;
+        for (let j = hit.idx + 1; j < lines.length; j++) {
+            if (/^##\s/.test(lines[j]) || matchMarker(lines[j])) {
+                end = j;
+                break;
+            }
+        }
+        const fieldsTable = hit.kind === "view" ? null : findFieldTable(lines, hit.idx + 1, end);
+        return { kind: hit.kind, name: hit.name, bodyLine: hit.idx, fieldsTable };
+    });
+}
+/** First-occurrence-wins map of a marker kind's declared names, normalized — mirrors every other
+ *  "first wins" dedup convention in this codebase (docJoin.ts's cross-binding search, etc.). A
+ *  doc that (unusually) declares the same command/event/view name twice is not this rule's
+ *  business; only the first table (if any) is what gets compared. */
+function firstByName(markers, kind) {
+    const map = new Map();
+    for (const m of markers) {
+        if (m.kind !== kind)
+            continue;
+        const key = normalizeName(m.name);
+        if (!map.has(key))
+            map.set(key, m);
+    }
+    return map;
+}
+/**
+ * Resolve every slice's doc consistency findings. `baseDir` is the `.em` file's directory, same
+ * convention every other doc/note path in em uses.
+ */
+export function validateDocModelConsistency(model, refs, baseDir) {
+    const diags = [];
+    // Resolve every slice's actual doc binding exactly the way `em export` does — never re-deriving
+    // canonical-vs-cross-binding precedence — and group slices by the resolved doc path so a
+    // MIL-121 cross-covered doc is checked once against the union, not once per covered slice.
+    const groups = new Map();
+    model.slices.forEach((slice, i) => {
+        const sliceKey = refs.sliceKeys[i];
+        const { doc } = resolveSliceDocJoin(slice, sliceKey, baseDir, (id) => refs.refById.get(id));
+        if (!doc.found || doc.reason !== null)
+            return; // unbound, missing file, or unusable frontmatter
+        const arr = groups.get(doc.path);
+        if (arr)
+            arr.push(i);
+        else
+            groups.set(doc.path, [i]);
+    });
+    const docCache = new Map();
+    const docForKey = (key) => {
+        if (!docCache.has(key))
+            docCache.set(key, readSliceDoc(baseDir, key));
+        return docCache.get(key);
+    };
+    for (const [docPath, sliceIndices] of groups) {
+        const docKey = docPath.replace(/^slices\//, "").replace(/\.md$/, "");
+        const parsed = docForKey(docKey);
+        if (!parsed)
+            continue; // defensive — resolveSliceDocJoin already guaranteed this file parses
+        // The "owning" slice is the one canonically bound to this exact doc (its own export key ==
+        // docKey) — the anchor for findings with no single model element to point at. A doc reached
+        // ONLY via a `covers`-ratified cross-note, whose own canonical key names no slice currently
+        // in the model, has no such slice; fall back to the earliest-declared covered slice instead,
+        // same "first wins" determinism as everywhere else in this module.
+        const ownerIdx = sliceIndices.find((i) => refs.sliceKeys[i] === docKey) ?? Math.min(...sliceIndices);
+        const ownerSlice = model.slices[ownerIdx];
+        const ownerKey = refs.sliceKeys[ownerIdx];
+        checkPattern(diags, parsed, ownerSlice, ownerKey, docPath);
+        const markers = parseDocMarkers(parsed.body);
+        const coveredNames = sliceIndices.map((i) => model.slices[i].name);
+        for (const kind of ["command", "event", "view"]) {
+            const docByName = firstByName(markers, kind);
+            if (docByName.size === 0)
+                continue; // kind not declared in this doc at all — silent
+            const modelEls = [];
+            for (const i of sliceIndices)
+                for (const el of model.slices[i].elements)
+                    if (el.kind === kind)
+                        modelEls.push(el);
+            const modelByName = new Map();
+            for (const el of modelEls) {
+                const key = normalizeName(el.name);
+                const list = modelByName.get(key);
+                if (list)
+                    list.push(el);
+                else
+                    modelByName.set(key, [el]);
+            }
+            checkRosterDirections(diags, kind, docPath, docByName, modelByName, ownerSlice, ownerKey, coveredNames, model, refs);
+            if (kind !== "view")
+                checkFields(diags, kind, docPath, docByName, modelByName, model, refs);
+        }
+    }
+    return diags;
+}
+function checkPattern(diags, doc, ownerSlice, ownerKey, docPath) {
+    if (!doc.pattern)
+        return; // usable-frontmatter gate already guarantees presence in practice; defensive
+    const classified = classifySlicePattern(ownerSlice);
+    if (classified === "unclassified")
+        return; // nothing authoritative to compare the doc's claim against
+    if (normalizeName(doc.pattern) === classified)
+        return;
+    pushDiag(diags, "doc-model-pattern-mismatch", {
+        message: `slice doc "${docPath}" declares \`pattern: ${doc.pattern}\`, but the model classifies slice ` +
+            `"${ownerSlice.name}" as "${classified}" (${slicePatternLabel(classified)}) — see src/catalog/classify.ts`,
+        line: ownerSlice.line,
+        refs: [ownerKey],
+    });
+}
+function checkRosterDirections(diags, kind, docPath, docByName, modelByName, ownerSlice, ownerKey, coveredNames, model, refs) {
+    const coverage = coveredNames.length > 1 ? ` (covering slices: ${coveredNames.map((n) => `"${n}"`).join(", ")})` : "";
+    // (a) the doc names a command/event/view the model doesn't have.
+    for (const [key, marker] of docByName) {
+        if (modelByName.has(key))
+            continue;
+        pushDiag(diags, "doc-model-element-not-in-model", {
+            message: `slice doc "${docPath}" declares ${kind} \`${marker.name}\`, but no ${kind} named "${marker.name}" exists in the model${coverage}`,
+            line: ownerSlice.line,
+            refs: [ownerKey],
+        });
+    }
+    // (b) the model has a command/event/view this doc never mentions.
+    for (const [key, els] of modelByName) {
+        if (docByName.has(key))
+            continue;
+        const el = els[0];
+        const sliceKey = refs.sliceKeys[el.sliceIndex];
+        const sliceName = model.slices[el.sliceIndex].name;
+        pushDiag(diags, "doc-model-element-not-in-doc", {
+            message: `slice "${sliceName}" has ${kind} "${el.name}", but slice doc "${docPath}" doesn't declare it — expected ${markerHint(kind, el.name)}`,
+            line: el.line,
+            refs: [sliceKey, refs.refById.get(el.id)],
+        });
+    }
+}
+function markerHint(kind, name) {
+    if (kind === "view")
+        return `a "- **View:** \`${name}\` ..." marker`;
+    const label = kind === "command" ? "Command" : "Event";
+    return `a "**${label}:** \`${name}\`" marker`;
+}
+function checkFields(diags, kind, docPath, docByName, modelByName, model, refs) {
+    for (const [key, marker] of docByName) {
+        if (!marker.fieldsTable)
+            continue; // doc declares no fields for this element — silent
+        const modelMatches = modelByName.get(key);
+        if (!modelMatches)
+            continue; // already reported as doc-model-element-not-in-model above
+        const el = modelMatches[0];
+        if (!el.fields || el.fields.length === 0)
+            continue; // model declares no fields — silent
+        const docFields = new Map();
+        for (const f of marker.fieldsTable) {
+            const k = normalizeName(f.name);
+            if (!docFields.has(k))
+                docFields.set(k, f);
+        }
+        const modelFields = new Map();
+        for (const f of el.fields) {
+            const k = normalizeName(f.name);
+            if (!modelFields.has(k))
+                modelFields.set(k, f);
+        }
+        const sliceKey = refs.sliceKeys[el.sliceIndex];
+        const sliceName = model.slices[el.sliceIndex].name;
+        const elRef = refs.refById.get(el.id);
+        const elRefs = [sliceKey, elRef];
+        for (const [fk, df] of docFields) {
+            if (modelFields.has(fk))
+                continue;
+            pushDiag(diags, "doc-model-field-mismatch", {
+                message: `slice doc "${docPath}"'s ${kind} \`${marker.name}\` field table lists "${df.name}", but ${kind} "${el.name}" (slice "${sliceName}") has no such field`,
+                line: el.line,
+                refs: elRefs,
+            });
+        }
+        for (const [fk, mf] of modelFields) {
+            const df = docFields.get(fk);
+            if (!df) {
+                pushDiag(diags, "doc-model-field-mismatch", {
+                    message: `${kind} "${el.name}" (slice "${sliceName}") has field "${mf.name}", but slice doc "${docPath}"'s ${kind} \`${marker.name}\` field table doesn't list it`,
+                    line: el.line,
+                    refs: elRefs,
+                });
+                continue;
+            }
+            if (df.type && mf.type && normalizeName(df.type) !== normalizeName(mf.type)) {
+                pushDiag(diags, "doc-model-field-mismatch", {
+                    message: `field "${mf.name}" on ${kind} "${el.name}" (slice "${sliceName}") is typed \`${mf.type}\` in the model but \`${df.type}\` in slice doc "${docPath}"`,
+                    line: el.line,
+                    refs: elRefs,
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=docModelConsistencyValidate.js.map

package/dist/catalog/docModelConsistencyValidate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"docModelConsistencyValidate.js","sourceRoot":"","sources":["../../src/catalog/docModelConsistencyValidate.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+FAA+F;AAC/F,kGAAkG;AAClG,4FAA4F;AAC5F,8FAA8F;AAC9F,iGAAiG;AACjG,sFAAsF;AACtF,uEAAuE;AACvE,EAAE;AACF,2FAA2F;AAC3F,4FAA4F;AAC5F,UAAU;AACV,EAAE;AACF,2FAA2F;AAC3F,4FAA4F;AAC5F,kGAAkG;AAClG,6FAA6F;AAC7F,iGAAiG;AACjG,+FAA+F;AAC/F,iGAAiG;AACjG,EAAE;AACF,2FAA2F;AAC3F,6FAA6F;AAC7F,8FAA8F;AAC9F,gGAAgG;AAChG,4FAA4F;AAC5F,kGAAkG;AAClG,0DAA0D;AAC1D,EAAE;AACF,6FAA6F;AAC7F,6FAA6F;AAC7F,8FAA8F;AAC9F,gGAAgG;AAChG,8FAA8F;AAC9F,0FAA0F;AAC1F,0CAA0C;AAC1C,EAAE;AACF,oFAAoF;AACpF,iGAAiG;AACjG,iGAAiG;AACjG,iGAAiG;AACjG,8FAA8F;AAC9F,iGAAiG;AACjG,4FAA4F;AAC5F,iGAAiG;AACjG,6FAA6F;AAC7F,gGAAgG;AAChG,mFAAmF;AACnF,EAAE;AACF,gGAAgG;AAChG,2FAA2F;AAC3F,iGAAiG;AACjG,kGAAkG;AAClG,2FAA2F;AAC3F,4CAA4C;AAC5C,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAE5F,OAAO,EAAmC,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGnF,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AA8BjD,MAAM,cAAc,GAAG,mCAAmC,CAAC;AAC3D,MAAM,YAAY,GAAG,8DAA8D,CAAC;AACpF,MAAM,WAAW,GAAG,gCAAgC,CAAC;AAErD,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACzD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACvD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,SAAS,GAAG,QAAQ,CAAC;AAC3B,MAAM,oBAAoB,GAAG,UAAU,CAAC;AACxC,MAAM,WAAW,GAAG,YAAY,CAAC;AAEjC,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClE,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;qBAIqB;AACrB,SAAS,cAAc,CAAC,KAAe,EAAE,KAAa,EAAE,GAAW;IACjE,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAC5F,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO;YAAE,SAAS;QAC9D,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;QAE1F,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,MAAM;YACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI;gBAAE,SAAS,CAAC,0DAA0D;YAC/E,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;kDAIkD;AAClD,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,IAAI,GAA2D,EAAE,CAAC;IACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACtB,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpD,GAAG,GAAG,CAAC,CAAC;gBACR,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QACzF,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;qEAGqE;AACrE,SAAS,WAAW,CAAC,OAAoB,EAAE,IAAgB;IACzD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAqB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAC9B,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAsB,EAAE,IAAgB,EAAE,OAAe;IACnG,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,gGAAgG;IAChG,yFAAyF;IACzF,2FAA2F;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;QAC7F,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,CAAC,iDAAiD;QAChG,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,MAAM,SAAS,GAAG,CAAC,GAAW,EAAmB,EAAE;QACjD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAC5B,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,MAAM,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,sEAAsE;QAE7F,2FAA2F;QAC3F,4FAA4F;QAC5F,4FAA4F;QAC5F,6FAA6F;QAC7F,mEAAmE;QACnE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;QACrG,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAE1C,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE3D,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAEnE,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAU,EAAE,CAAC;YACzD,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS,CAAC,gDAAgD;YAEpF,MAAM,QAAQ,GAAc,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,YAAY;gBAAE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ;oBAAE,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;wBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAC;YACjD,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClC,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;oBACnB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,CAAC;YAED,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACrH,IAAI,IAAI,KAAK,MAAM;gBAAE,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,KAAmB,EACnB,GAAa,EACb,UAAiB,EACjB,QAAgB,EAChB,OAAe;IAEf,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO,CAAC,6EAA6E;IACvG,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,cAAc;QAAE,OAAO,CAAC,2DAA2D;IACtG,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,UAAU;QAAE,OAAO;IACtD,QAAQ,CAAC,KAAK,EAAE,4BAA4B,EAAE;QAC5C,OAAO,EACL,cAAc,OAAO,yBAAyB,GAAG,CAAC,OAAO,qCAAqC;YAC9F,IAAI,UAAU,CAAC,IAAI,SAAS,UAAU,MAAM,iBAAiB,CAAC,UAAU,CAAC,iCAAiC;QAC5G,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,CAAC,QAAQ,CAAC;KACjB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAmB,EACnB,IAAgB,EAChB,OAAe,EACf,SAAiC,EACjC,WAAmC,EACnC,UAAiB,EACjB,QAAgB,EAChB,YAAsB,EACtB,KAAsB,EACtB,IAAgB;IAEhB,MAAM,QAAQ,GACZ,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,sBAAsB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvG,iEAAiE;IACjE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACnC,QAAQ,CAAC,KAAK,EAAE,gCAAgC,EAAE;YAChD,OAAO,EAAE,cAAc,OAAO,cAAc,IAAI,MAAM,MAAM,CAAC,IAAI,cAAc,IAAI,WAAW,MAAM,CAAC,IAAI,wBAAwB,QAAQ,EAAE;YAC3I,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACjC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QACnD,QAAQ,CAAC,KAAK,EAAE,8BAA8B,EAAE;YAC9C,OAAO,EAAE,UAAU,SAAS,SAAS,IAAI,KAAK,EAAE,CAAC,IAAI,qBAAqB,OAAO,mCAAmC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE;YAC/I,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC;SAC3C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,IAAY;IAChD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,oBAAoB,IAAI,gBAAgB,CAAC;IACrE,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IACvD,OAAO,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAClB,KAAmB,EACnB,IAAyB,EACzB,OAAe,EACf,SAAiC,EACjC,WAAmC,EACnC,KAAsB,EACtB,IAAgB;IAEhB,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,WAAW;YAAE,SAAS,CAAC,mDAAmD;QACtF,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY;YAAE,SAAS,CAAC,2DAA2D;QACxF,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,oCAAoC;QAExF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA2C,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC;QACvC,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAEjC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAClC,QAAQ,CAAC,KAAK,EAAE,0BAA0B,EAAE;gBAC1C,OAAO,EAAE,cAAc,OAAO,OAAO,IAAI,MAAM,MAAM,CAAC,IAAI,yBAAyB,EAAE,CAAC,IAAI,UAAU,IAAI,KAAK,EAAE,CAAC,IAAI,aAAa,SAAS,sBAAsB;gBAChK,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,QAAQ,CAAC,KAAK,EAAE,0BAA0B,EAAE;oBAC1C,OAAO,EAAE,GAAG,IAAI,KAAK,EAAE,CAAC,IAAI,aAAa,SAAS,iBAAiB,EAAE,CAAC,IAAI,qBAAqB,OAAO,OAAO,IAAI,MAAM,MAAM,CAAC,IAAI,gCAAgC;oBAClK,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,IAAI,EAAE,MAAM;iBACb,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5E,QAAQ,CAAC,KAAK,EAAE,0BAA0B,EAAE;oBAC1C,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC,IAAI,aAAa,SAAS,iBAAiB,EAAE,CAAC,IAAI,yBAAyB,EAAE,CAAC,IAAI,oBAAoB,OAAO,GAAG;oBAC9J,IAAI,EAAE,EAAE,CAAC,IAAI;oBACb,IAAI,EAAE,MAAM;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/catalog/noteBindingValidate.d.ts

@@ -0,0 +1,8 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { Diagnostic } from "../model/validate.js";
+/**
+ * Resolve every slice's note-binding mismatches. `baseDir` is the `.em` file's directory, same
+ * convention every other doc/note path in em uses.
+ */
+export declare function validateNoteBindings(model: NormalizedModel, refs: RefsResult, baseDir: string): Diagnostic[];