@milehimikey/em 1.7.2 → 1.8.1

package/dist/emit/json.js

@@ -11,10 +11,11 @@ import { createHash } from "node:crypto";
 import { dirname, join } from "node:path";
 import { fileURLToPath } from "node:url";
 import { readFileSync } from "node:fs";
-import { resolveByName, resolveTypeRef } from "../model/model.js";
+import { collectTags, resolveByName, resolveTypeRef } from "../model/model.js";
 import { serializeDiagnostic } from "../model/validate.js";
 import { classifySlicePattern } from "../catalog/classify.js";
 import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+import { validateNoteBindings } from "../catalog/noteBindingValidate.js";
 // Read once from package.json (two levels up from src/emit/ and dist/emit/
 // alike) so `generator.version` can never drift from the released version.
 // tsconfig targets NodeNext without resolveJsonModule, hence fs over import.
@@ -27,7 +28,23 @@ export const GENERATOR_VERSION = JSON.parse(readFileSync(join(dirname(fileURLToP
 // 1.5 (MIL-85): `slice.doc` gains `driftSignal` — the status/implementedIn coherence
 // classification (catalog/driftSignal.ts), computed from the same doc parse as `doc.status`/
 // `doc.version`/`doc.implementedIn`. Additive-only.
-export const SCHEMA_VERSION = "1.5";
+// 1.6 (MIL-66): field `tag: boolean` (identity tag marker, always present, `=== true`
+// convention like `public`), and element `tags: [{ key, kind, fields, description }] | null`
+// (identity/composite/external DCB tag metadata — events only; `null` when the element has
+// none). See `model/model.ts`'s `collectTags`. Additive-only.
+// Also 1.6 (MIL-68, same unreleased cycle as MIL-66 — no separate bump): field
+// `renamedFrom: string[] | null` (the prior name(s) a field was known as, most-recent-first;
+// `null` — not the `tag`-style boolean-default convention — when the field carries no
+// `renamed from` clause, which includes every field of a declared `type`, since the clause
+// can't parse there), and element `renamedFrom: string[] | null` (same shape, on the
+// element's own name; events and commands only — `null` on every other kind and on an
+// event/command that declares none). Both are purely codegen/export metadata: `em diff`
+// does not read either and keeps reporting a rename as remove+add. Additive-only.
+// 1.7 (MIL-148): field `assigned: boolean` (system-assigned marker, always present, `=== true`
+// convention like `tag`) — event fields only; a trailing `assigned` clause records that the
+// server/handler sets the field rather than the triggering command supplying it, and exempts
+// it from `fields-completeness/event-field-no-source`. See `model/validate.ts`. Additive-only.
+export const SCHEMA_VERSION = "1.7";
 /**
  * Export a single field, additively: `name`/`type` are exactly what today's consumers already
  * see. `typeRef` is the new, purely-additive key — non-null only when `type` (bare or `[]`-
@@ -44,6 +61,9 @@ function fieldExport(f, typesByName, refByTypeId) {
         typeRef: resolved
             ? { name: resolved.typeDecl.name, ref: refByTypeId.get(resolved.typeDecl.id), array: resolved.array }
             : null,
+        tag: f.tag === true,
+        renamedFrom: f.renamedFrom ?? null,
+        assigned: f.assigned === true,
     };
 }
 /** Build the `em export` document for an already-validated (error-free) model. `refs` is
@@ -52,6 +72,45 @@ function fieldExport(f, typesByName, refByTypeId) {
  *  emitted a second time. `path` is the `.em` file's own path — the doc join resolves
  *  `slices/*.md` relative to its directory, same convention `em catalog`'s doc lookup uses. */
 export function buildExport(model, refs, diagnostics, source, path) {
+    const { doc, diagnostics: allDiagnostics } = buildExportDoc(model, refs, diagnostics, source, path);
+    return { text: JSON.stringify(doc, null, 2), diagnostics: allDiagnostics };
+}
+/** Build one slice's `em export` object, scoped (MIL-128): same `pattern`/`fields`/`doc` shape
+ *  as that slice's entry in the full `em export` document (`ExportDoc.model.slices[i]`), plus
+ *  the envelope fields (`schemaVersion`, `generator`, `source`) every em JSON surface carries.
+ *  Reuses `buildExportDoc` wholesale rather than re-deriving the doc join for one slice — the
+ *  cost of computing every slice's join even though only one is returned is the same tradeoff
+ *  `validateSliceReady` already accepts for a single-slice check, and keeps this function from
+ *  drifting from the full export's own slice shape. `diagnostics` in the result is the same
+ *  scan `buildExport` would have raised for the whole model (unfiltered) — deciding whether an
+ *  error elsewhere in the model should block a *scoped* export is the caller's call (cli.ts
+ *  scopes the refusal to diagnostics that concern this slice, so an unrelated slice's breakage
+ *  never closes the structured path for one that's fine — the whole point of MIL-128). Returns
+ *  `found: false` (and a `null` `text`) when `sliceKey` matches no slice — the caller reports
+ *  that as a CLI error. */
+export function buildSliceExport(model, refs, diagnostics, source, path, sliceKey) {
+    const { doc, diagnostics: allDiagnostics } = buildExportDoc(model, refs, diagnostics, source, path);
+    const slice = doc.model.slices.find((s) => s.key === sliceKey);
+    if (!slice)
+        return { text: null, found: false, diagnostics: allDiagnostics };
+    const sliceDoc = {
+        schemaVersion: doc.schemaVersion,
+        generator: doc.generator,
+        source: doc.source,
+        sliceKey,
+        slice,
+        // Same scoping predicate as `em validate --slice-ready`'s own filter (cli.ts): a bare
+        // sliceKey ref (slice-level facts) or an element ref prefixed `<sliceKey>/` — never a
+        // second identifier scheme, always the refs the `slice` object above already uses.
+        diagnostics: doc.diagnostics.filter((d) => d.refs?.some((r) => r === sliceKey || r.startsWith(`${sliceKey}/`))),
+    };
+    return { text: JSON.stringify(sliceDoc, null, 2), found: true, diagnostics: allDiagnostics };
+}
+/** The shared body of `buildExport`/`buildSliceExport`: builds the full export document as a
+ *  JS object (pre-stringify) so a scoped export can pick one slice back out without
+ *  re-parsing JSON text or re-deriving the doc join. See `buildExport`'s own docstring for the
+ *  parameter contract — unchanged here, just split out. */
+function buildExportDoc(model, refs, diagnostics, source, path) {
     const { sliceKeys, refById, refByTypeId } = refs;
     const baseDir = dirname(path);
     const docDiagnostics = [];
@@ -61,6 +120,14 @@ export function buildExport(model, refs, diagnostics, source, path) {
             return null;
         return el.from.map((name) => ({ name, ref: refOf(resolveByName(model.byName, name)) }));
     };
+    // Identity/composite/external DCB tag metadata (MIL-66) — events only in practice (`tag`
+    // clauses are a parse error on any other kind), `null` when the event carries none. Order:
+    // inline field identity tags in field order, then element-level composite/external clauses
+    // in declaration order (see `model/model.ts`'s `collectTags`).
+    const tagsOf = (el) => {
+        const tags = collectTags(el);
+        return tags.length > 0 ? tags : null;
+    };
     // Built ahead of exportDoc (rather than inline) so docDiagnostics is fully populated before
     // allDiagnostics is computed once, below — no repeating the [...diagnostics, ...docDiagnostics]
     // concatenation for both the JSON diagnostics field and the returned ExportResult.
@@ -101,11 +168,18 @@ export function buildExport(model, refs, diagnostics, source, path) {
                 context: el.context ?? null,
                 again: el.again === true,
                 public: el.public === true,
+                tags: tagsOf(el),
+                renamedFrom: el.renamedFrom ?? null,
                 logicalRef: el.kind === "view" && el.again === true ? refOf(el.logicalId) : null,
             })),
         };
     });
-    const allDiagnostics = [...diagnostics, ...docDiagnostics];
+    // MIL-126: a note that looks like a doc binding but doesn't actually participate in one
+    // (already-bound slice, dangling/unusable/unratified cross-note) — computed once per model,
+    // not once per slice like the per-slice docDiagnostics loop above, since it needs to see every
+    // element on a slice at once to tell "extra" from "dangling" from "unratified".
+    const noteBindingDiagnostics = validateNoteBindings(model, refs, baseDir);
+    const allDiagnostics = [...diagnostics, ...docDiagnostics, ...noteBindingDiagnostics];
     const exportDoc = {
         schemaVersion: SCHEMA_VERSION,
         generator: { name: GENERATOR_NAME, version: GENERATOR_VERSION },
@@ -134,6 +208,6 @@ export function buildExport(model, refs, diagnostics, source, path) {
         },
         diagnostics: allDiagnostics.map(serializeDiagnostic),
     };
-    return { text: JSON.stringify(exportDoc, null, 2), diagnostics: allDiagnostics };
+    return { doc: exportDoc, diagnostics: allDiagnostics };
 }
 //# sourceMappingURL=json.js.map

package/dist/emit/json.js.map

@@ -1 +1 @@
-{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/emit/json.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,EAAE;AACF,gFAAgF;AAChF,yEAAyE;AACzE,4EAA4E;AAC5E,iDAAiD;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAsC,aAAa,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEtG,OAAO,EAAc,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,2EAA2E;AAC3E,2EAA2E;AAC3E,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAChD,MAAM,CAAC,MAAM,iBAAiB,GAAW,IAAI,CAAC,KAAK,CACjD,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAChG,CAAC,OAAO,CAAC;AAEV,uFAAuF;AACvF,0FAA0F;AAC1F,8FAA8F;AAC9F,8CAA8C;AAC9C,qFAAqF;AACrF,6FAA6F;AAC7F,oDAAoD;AACpD,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CAAC;AAgBpC;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,CAAQ,EACR,WAAkC,EAClC,WAAgC;IAEhC,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;QACpB,OAAO,EAAE,QAAQ;YACf,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;YACtG,CAAC,CAAC,IAAI;KACT,CAAC;AACJ,CAAC;AAED;;;;+FAI+F;AAC/F,MAAM,UAAU,WAAW,CACzB,KAAsB,EACtB,IAAgB,EAChB,WAAyB,EACzB,MAAc,EACd,IAAY;IAEZ,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IACjD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,MAAM,KAAK,GAAG,CAAC,EAAsB,EAAiB,EAAE,CACtD,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEtC,MAAM,MAAM,GAAG,CAAC,EAAW,EAAiD,EAAE;QAC5E,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC;IAEF,4FAA4F;IAC5F,gGAAgG;IAChG,mFAAmF;IACnF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;QACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,mBAAmB,CAC7D,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CACzB,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QACtC,OAAO;YACL,GAAG,EAAE,QAAQ;YACb,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,sEAAsE;YACtE,sEAAsE;YACtE,4DAA4D;YAC5D,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,kFAAkF;YAClF,kFAAkF;YAClF,sDAAsD;YACtD,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC;YACpC,2EAA2E;YAC3E,8EAA8E;YAC9E,uDAAuD;YACvD,GAAG;YACH,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACpC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE;gBACxB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,MAAM,EAAE,EAAE,CAAC,MAAM;oBACf,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;oBACtE,CAAC,CAAC,IAAI;gBACR,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI;gBACrB,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI;gBACvB,UAAU,EAAE,EAAE,CAAC,UAAU,IAAI,IAAI;gBACjC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI;gBAC3B,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI;gBAC3B,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI;gBACxB,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI;gBAC1B,UAAU,EACR,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;aACvE,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,cAAc,CAAC,CAAC;IAE3D,MAAM,SAAS,GAAG;QAChB,aAAa,EAAE,cAAc;QAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;QACnF,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,+EAA+E;YAC/E,iDAAiD;YACjD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE;gBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;aAC5E,CAAC,CAAC;YACH,MAAM;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACxB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;SACJ;QACD,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,mBAAmB,CAAC;KACrD,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACnF,CAAC"}
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/emit/json.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,EAAE;AACF,gFAAgF;AAChF,yEAAyE;AACzE,4EAA4E;AAC5E,iDAAiD;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,WAAW,EAAsC,aAAa,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnH,OAAO,EAAc,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAEzE,2EAA2E;AAC3E,2EAA2E;AAC3E,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAChD,MAAM,CAAC,MAAM,iBAAiB,GAAW,IAAI,CAAC,KAAK,CACjD,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAChG,CAAC,OAAO,CAAC;AAEV,uFAAuF;AACvF,0FAA0F;AAC1F,8FAA8F;AAC9F,8CAA8C;AAC9C,qFAAqF;AACrF,6FAA6F;AAC7F,oDAAoD;AACpD,sFAAsF;AACtF,6FAA6F;AAC7F,2FAA2F;AAC3F,8DAA8D;AAC9D,+EAA+E;AAC/E,6FAA6F;AAC7F,sFAAsF;AACtF,2FAA2F;AAC3F,qFAAqF;AACrF,sFAAsF;AACtF,wFAAwF;AACxF,kFAAkF;AAClF,+FAA+F;AAC/F,4FAA4F;AAC5F,6FAA6F;AAC7F,+FAA+F;AAC/F,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CAAC;AAqEpC;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,CAAQ,EACR,WAAkC,EAClC,WAAgC;IAEhC,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACrD,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;QACpB,OAAO,EAAE,QAAQ;YACf,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;YACtG,CAAC,CAAC,IAAI;QACR,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI;QACnB,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;QAClC,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI;KAC9B,CAAC;AACJ,CAAC;AAED;;;;+FAI+F;AAC/F,MAAM,UAAU,WAAW,CACzB,KAAsB,EACtB,IAAgB,EAChB,WAAyB,EACzB,MAAc,EACd,IAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACpG,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;2BAY2B;AAC3B,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,IAAgB,EAChB,WAAyB,EACzB,MAAc,EACd,IAAY,EACZ,QAAgB;IAEhB,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACpG,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;IAE7E,MAAM,QAAQ,GAAG;QACf,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ;QACR,KAAK;QACL,sFAAsF;QACtF,sFAAsF;QACtF,mFAAmF;QACnF,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAC3E;KACF,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AAC/F,CAAC;AAED;;;2DAG2D;AAC3D,SAAS,cAAc,CACrB,KAAsB,EACtB,IAAgB,EAChB,WAAyB,EACzB,MAAc,EACd,IAAY;IAEZ,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IACjD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,MAAM,KAAK,GAAG,CAAC,EAAsB,EAAiB,EAAE,CACtD,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEtC,MAAM,MAAM,GAAG,CAAC,EAAW,EAAiD,EAAE;QAC5E,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC;IAEF,yFAAyF;IACzF,2FAA2F;IAC3F,2FAA2F;IAC3F,+DAA+D;IAC/D,MAAM,MAAM,GAAG,CAAC,EAAW,EAAsB,EAAE;QACjD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACvC,CAAC,CAAC;IAEF,4FAA4F;IAC5F,gGAAgG;IAChG,mFAAmF;IACnF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;QACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,mBAAmB,CAC7D,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CACzB,CAAC;QACF,cAAc,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QACtC,OAAO;YACL,GAAG,EAAE,QAAQ;YACb,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,sEAAsE;YACtE,sEAAsE;YACtE,4DAA4D;YAC5D,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,kFAAkF;YAClF,kFAAkF;YAClF,sDAAsD;YACtD,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC;YACpC,2EAA2E;YAC3E,8EAA8E;YAC9E,uDAAuD;YACvD,GAAG;YACH,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACpC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE;gBACxB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,MAAM,EAAE,EAAE,CAAC,MAAM;oBACf,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;oBACtE,CAAC,CAAC,IAAI;gBACR,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI;gBACrB,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI;gBACvB,UAAU,EAAE,EAAE,CAAC,UAAU,IAAI,IAAI;gBACjC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI;gBAC3B,OAAO,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI;gBAC3B,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI;gBACxB,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI;gBAC1B,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAChB,WAAW,EAAE,EAAE,CAAC,WAAW,IAAI,IAAI;gBACnC,UAAU,EACR,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;aACvE,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,wFAAwF;IACxF,4FAA4F;IAC5F,+FAA+F;IAC/F,gFAAgF;IAChF,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,cAAc,EAAE,GAAG,sBAAsB,CAAC,CAAC;IAEtF,MAAM,SAAS,GAAG;QAChB,aAAa,EAAE,cAAc;QAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;QACnF,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,+EAA+E;YAC/E,iDAAiD;YACjD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE;gBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;aAC5E,CAAC,CAAC;YACH,MAAM;YACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;gBACxB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;SACJ;QACD,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,mBAAmB,CAAC;KACrD,CAAC;IAEF,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACzD,CAAC"}

package/dist/emit/validateJson.d.ts

@@ -0,0 +1,52 @@
+import { Diagnostic } from "../model/validate.js";
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { SliceReadyGates } from "../catalog/sliceReadyValidate.js";
+export declare const VALIDATE_SCHEMA_VERSION = "1.0";
+/** Build the plain `em validate <file> --json` document — the serialized diagnostics array
+ *  (stable `code`s, `refs`, line numbers, `usageCategory`) plus a pass/fail summary. Works on
+ *  a model with errors; `ok` mirrors `!hasErrors(diagnostics)`, the same predicate that gates
+ *  `em validate`'s exit code. */
+export declare function buildValidateJson(file: string, diagnostics: Diagnostic[]): string;
+export declare const VALIDATE_SLICE_READY_SCHEMA_VERSION = "1.0";
+/** Build the `em validate <file> --slice-ready <key> --json` document — the machine verdict
+ *  replacing the two hand-parsed English sentences ("is ready-to-implement" /
+ *  "is NOT ready-to-implement") plus scraped warning prose. `gates` names each of the 4
+ *  conditions individually (see `computeSliceReadyGates`, catalog/sliceReadyValidate.ts);
+ *  `null` when `sliceKey` matches no slice in the model (the `slice-ready-unknown-slice` error
+ *  case — nothing to gate). `ready` is the same predicate driving `em validate`'s exit code
+ *  for `--slice-ready` (scoped diagnostics empty) — it is the AND of the 4 gates only when
+ *  `gates` is non-null AND nothing else concerning this slice is broken (e.g. a plain
+ *  both-ends-of-a-flow diagnostic on one of its own elements); `diagnostics` carries that full
+ *  scoped list so a consumer sees exactly why, never just the 4 named gates. */
+export declare function buildSliceReadyJson(file: string, sliceKey: string, gates: SliceReadyGates | null, diagnostics: Diagnostic[], ready: boolean): string;
+export declare const VALIDATE_LIST_SCHEMA_VERSION = "1.0";
+/** One `--list-issues`/`--list-divergences`/`--list-public` entry — the structured replacement
+ *  for the `  issue :12 slice "X" command "Y": text` eyeball format. `elementRef` is the same
+ *  export-stable ref (`<sliceKey>/<kind>.<slug>`) `em export`/`em diff` use — never a second
+ *  identifier scheme. `text` is the `issue`/`divergence` annotation's own text; `null` for a
+ *  `public` marker, which carries no text. */
+export interface MarkerEntry {
+    markerKind: "issue" | "divergence" | "public";
+    sliceKey: string;
+    sliceName: string;
+    elementRef: string;
+    elementKind: string;
+    elementName: string;
+    text: string | null;
+    line: number;
+}
+/** Collects `--list-issues`/`--list-divergences`/`--list-public` markers straight off the
+ *  model, in document order — the same element sets cli.ts's `printIssues`/`printDivergences`/
+ *  `printPublicElements` already walk, just refs-aware and machine-shaped instead of printed.
+ *  Each `kinds` flag independently gates its own marker kind, same as the text-mode flags. */
+export declare function collectMarkers(model: NormalizedModel, refs: RefsResult, kinds: {
+    issues?: boolean;
+    divergences?: boolean;
+    public?: boolean;
+}): MarkerEntry[];
+/** Build the `--list-issues`/`--list-divergences`/`--list-public --json` document. `markers`
+ *  is whatever `collectMarkers` returned for the flags actually passed; `diagnostics` is the
+ *  same errors-only list text mode still prints (`em validate` fails the run on genuine
+ *  errors regardless of which `--list-*` flag was passed). */
+export declare function buildValidateListJson(file: string, markers: MarkerEntry[], diagnostics: Diagnostic[]): string;

package/dist/emit/validateJson.js

@@ -0,0 +1,120 @@
+// SPDX-License-Identifier: MIT
+// Builds the three `em validate --json` document shapes (MIL-128): the plain diagnostics
+// document, the `--slice-ready <key>` machine verdict, and the `--list-issues`/
+// `--list-divergences`/`--list-public` structured enumeration. Follows `em export`/`em diff`'s
+// conventions (json.ts/diffJson.ts): a schema field versioned independently of the npm package
+// and of every other command's own schema, explicit `null` for an unused optional field, and
+// byte-deterministic output for the same inputs.
+//
+// Why `em validate` needed `--json` at all (the ticket's own framing): `em export`'s
+// diagnostics carry `code`/`refs` already, but `em export` refuses to run on an errored model —
+// precisely when an agent most needs structured diagnostics, the structured path was closed.
+// `em validate --json` works on an errored model by design; that's the whole point.
+//
+// Every diagnostic emitted here also carries `usageCategory`, sourced from the `RULES`
+// registry (model/rules.ts) — the same fixed vocabulary docs/usage-data.md's Categories tables
+// already draw from. No new judgment: this module only reshapes what the validator and
+// `RULES` already compute, never adds a check of its own.
+import { serializeDiagnostic } from "../model/validate.js";
+import { RULES } from "../model/rules.js";
+import { GENERATOR_NAME, GENERATOR_VERSION } from "./json.js";
+/** `serializeDiagnostic()`'s shape plus `usageCategory`, looked up from `RULES` — every
+ *  diagnostic `em validate --json` emits, in all three modes below, carries it. Trusts the
+ *  same invariant `makeDiag`/`pushDiag` (model/rules.ts) already enforce: a diagnostic's
+ *  `code` is always a registered `RuleCode`, or construction would have thrown already. */
+function serializeDiagnosticWithUsage(d) {
+    return { ...serializeDiagnostic(d), usageCategory: RULES[d.code].usageCategory };
+}
+// 1.0 (MIL-128): initial shape.
+export const VALIDATE_SCHEMA_VERSION = "1.0";
+/** Build the plain `em validate <file> --json` document — the serialized diagnostics array
+ *  (stable `code`s, `refs`, line numbers, `usageCategory`) plus a pass/fail summary. Works on
+ *  a model with errors; `ok` mirrors `!hasErrors(diagnostics)`, the same predicate that gates
+ *  `em validate`'s exit code. */
+export function buildValidateJson(file, diagnostics) {
+    const errors = diagnostics.filter((d) => d.severity === "error").length;
+    const doc = {
+        validateSchemaVersion: VALIDATE_SCHEMA_VERSION,
+        generator: { name: GENERATOR_NAME, version: GENERATOR_VERSION },
+        file,
+        ok: errors === 0,
+        summary: { errors, warnings: diagnostics.length - errors, total: diagnostics.length },
+        diagnostics: diagnostics.map(serializeDiagnosticWithUsage),
+    };
+    return JSON.stringify(doc, null, 2);
+}
+// 1.0 (MIL-128): initial shape.
+export const VALIDATE_SLICE_READY_SCHEMA_VERSION = "1.0";
+/** Build the `em validate <file> --slice-ready <key> --json` document — the machine verdict
+ *  replacing the two hand-parsed English sentences ("is ready-to-implement" /
+ *  "is NOT ready-to-implement") plus scraped warning prose. `gates` names each of the 4
+ *  conditions individually (see `computeSliceReadyGates`, catalog/sliceReadyValidate.ts);
+ *  `null` when `sliceKey` matches no slice in the model (the `slice-ready-unknown-slice` error
+ *  case — nothing to gate). `ready` is the same predicate driving `em validate`'s exit code
+ *  for `--slice-ready` (scoped diagnostics empty) — it is the AND of the 4 gates only when
+ *  `gates` is non-null AND nothing else concerning this slice is broken (e.g. a plain
+ *  both-ends-of-a-flow diagnostic on one of its own elements); `diagnostics` carries that full
+ *  scoped list so a consumer sees exactly why, never just the 4 named gates. */
+export function buildSliceReadyJson(file, sliceKey, gates, diagnostics, ready) {
+    const doc = {
+        validateSliceReadySchemaVersion: VALIDATE_SLICE_READY_SCHEMA_VERSION,
+        generator: { name: GENERATOR_NAME, version: GENERATOR_VERSION },
+        file,
+        sliceKey,
+        gates,
+        ready,
+        diagnostics: diagnostics.map(serializeDiagnosticWithUsage),
+    };
+    return JSON.stringify(doc, null, 2);
+}
+// 1.0 (MIL-128): initial shape.
+export const VALIDATE_LIST_SCHEMA_VERSION = "1.0";
+/** Collects `--list-issues`/`--list-divergences`/`--list-public` markers straight off the
+ *  model, in document order — the same element sets cli.ts's `printIssues`/`printDivergences`/
+ *  `printPublicElements` already walk, just refs-aware and machine-shaped instead of printed.
+ *  Each `kinds` flag independently gates its own marker kind, same as the text-mode flags. */
+export function collectMarkers(model, refs, kinds) {
+    const markers = [];
+    const entryFor = (el, markerKind, text) => ({
+        markerKind,
+        sliceKey: refs.sliceKeys[el.sliceIndex],
+        sliceName: model.slices[el.sliceIndex].name,
+        elementRef: refs.refById.get(el.id),
+        elementKind: el.kind,
+        elementName: el.name,
+        text,
+        line: el.line,
+    });
+    if (kinds.issues) {
+        for (const el of model.elements)
+            if (el.issue)
+                markers.push(entryFor(el, "issue", el.issue));
+    }
+    if (kinds.divergences) {
+        for (const el of model.elements)
+            if (el.divergence)
+                markers.push(entryFor(el, "divergence", el.divergence));
+    }
+    if (kinds.public) {
+        for (const el of model.elements) {
+            if (el.public && (el.kind === "event" || el.kind === "view"))
+                markers.push(entryFor(el, "public", null));
+        }
+    }
+    return markers;
+}
+/** Build the `--list-issues`/`--list-divergences`/`--list-public --json` document. `markers`
+ *  is whatever `collectMarkers` returned for the flags actually passed; `diagnostics` is the
+ *  same errors-only list text mode still prints (`em validate` fails the run on genuine
+ *  errors regardless of which `--list-*` flag was passed). */
+export function buildValidateListJson(file, markers, diagnostics) {
+    const doc = {
+        validateListSchemaVersion: VALIDATE_LIST_SCHEMA_VERSION,
+        generator: { name: GENERATOR_NAME, version: GENERATOR_VERSION },
+        file,
+        markers,
+        diagnostics: diagnostics.map(serializeDiagnosticWithUsage),
+    };
+    return JSON.stringify(doc, null, 2);
+}
+//# sourceMappingURL=validateJson.js.map

package/dist/emit/validateJson.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validateJson.js","sourceRoot":"","sources":["../../src/emit/validateJson.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yFAAyF;AACzF,gFAAgF;AAChF,+FAA+F;AAC/F,+FAA+F;AAC/F,6FAA6F;AAC7F,iDAAiD;AACjD,EAAE;AACF,qFAAqF;AACrF,gGAAgG;AAChG,6FAA6F;AAC7F,oFAAoF;AACpF,EAAE;AACF,uFAAuF;AACvF,+FAA+F;AAC/F,uFAAuF;AACvF,0DAA0D;AAE1D,OAAO,EAAc,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,KAAK,EAAY,MAAM,mBAAmB,CAAC;AAIpD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9D;;;2FAG2F;AAC3F,SAAS,4BAA4B,CAAC,CAAa;IACjD,OAAO,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,IAAgB,CAAC,CAAC,aAAa,EAAE,CAAC;AAC/F,CAAC;AAED,gCAAgC;AAChC,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,CAAC;AAE7C;;;iCAGiC;AACjC,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,WAAyB;IACvE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,GAAG,GAAG;QACV,qBAAqB,EAAE,uBAAuB;QAC9C,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,IAAI;QACJ,EAAE,EAAE,MAAM,KAAK,CAAC;QAChB,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,GAAG,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE;QACrF,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,4BAA4B,CAAC;KAC3D,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,gCAAgC;AAChC,MAAM,CAAC,MAAM,mCAAmC,GAAG,KAAK,CAAC;AAEzD;;;;;;;;;gFASgF;AAChF,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,QAAgB,EAChB,KAA6B,EAC7B,WAAyB,EACzB,KAAc;IAEd,MAAM,GAAG,GAAG;QACV,+BAA+B,EAAE,mCAAmC;QACpE,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,IAAI;QACJ,QAAQ;QACR,KAAK;QACL,KAAK;QACL,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,4BAA4B,CAAC;KAC3D,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,gCAAgC;AAChC,MAAM,CAAC,MAAM,4BAA4B,GAAG,KAAK,CAAC;AAkBlD;;;8FAG8F;AAC9F,MAAM,UAAU,cAAc,CAC5B,KAAsB,EACtB,IAAgB,EAChB,KAAoE;IAEpE,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,CAAC,EAAW,EAAE,UAAqC,EAAE,IAAmB,EAAe,EAAE,CAAC,CAAC;QAC1G,UAAU;QACV,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC;QACvC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI;QAC3C,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE;QACpC,WAAW,EAAE,EAAE,CAAC,IAAI;QACpB,WAAW,EAAE,EAAE,CAAC,IAAI;QACpB,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,IAAI;KACd,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,EAAE,CAAC,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ;YAAE,IAAI,EAAE,CAAC,UAAU;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;8DAG8D;AAC9D,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,OAAsB,EAAE,WAAyB;IACnG,MAAM,GAAG,GAAG;QACV,yBAAyB,EAAE,4BAA4B;QACvD,SAAS,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,EAAE;QAC/D,IAAI;QACJ,OAAO;QACP,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,4BAA4B,CAAC;KAC3D,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC"}

package/dist/mcp/main.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export declare function main(): Promise<void>;

package/dist/mcp/main.js

@@ -0,0 +1,20 @@
+#!/usr/bin/env node
+// SPDX-License-Identifier: MIT
+// `em-mcp`'s stdio entry point (MIL-21). Thin on purpose: build the server (src/mcp/server.ts),
+// connect it to stdio, done. The stdio transport IS the protocol channel — nothing here or in
+// server.ts may write to stdout outside it, so every diagnostic goes to stderr instead.
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { createServer } from "./server.js";
+import { isMainModule } from "../util/isMainModule.js";
+export async function main() {
+    const server = createServer();
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+}
+if (isMainModule(import.meta.url)) {
+    main().catch((e) => {
+        console.error(e instanceof Error ? e.message : String(e));
+        process.exit(1);
+    });
+}
+//# sourceMappingURL=main.js.map

package/dist/mcp/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/mcp/main.ts"],"names":[],"mappings":";AACA,+BAA+B;AAC/B,gGAAgG;AAChG,8FAA8F;AAC9F,wFAAwF;AAExF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,CAAC,KAAK,UAAU,IAAI;IACxB,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC;AAED,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAClC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QACjB,OAAO,CAAC,KAAK,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/mcp/server.d.ts

@@ -0,0 +1,11 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+/** MCP server identity: name "em", version = the installed package's own version — same
+ *  `GENERATOR_VERSION` `em export`'s `generator.version` field already reads from package.json,
+ *  so `em --version`/`em export`'s `generator.version`/this server's version never drift apart. */
+export declare const SERVER_NAME = "em";
+export declare const SERVER_VERSION: string;
+/** Registers all seven MCP tools on a fresh McpServer instance and returns it, unconnected — the
+ *  caller (src/mcp/main.ts's stdio entry, or a test harness using an in-memory transport)
+ *  decides how to connect it. Building the server is a pure, side-effect-free function so tests
+ *  can exercise it directly with the SDK's in-memory transport, no child process required. */
+export declare function createServer(): McpServer;