@milehimikey/em 1.13.1 → 1.14.1

package/dist/system/migrateManifest.js

@@ -0,0 +1,155 @@
+// SPDX-License-Identifier: MIT
+// Plans the `system.yaml` 1.0 -> 2.0 migration (MIL-235, ruling R3) — the pure half of `em
+// upgrade`'s `system-manifest` step (src/cli/upgrade.ts owns detection, fs, compile and the one
+// commit). Three rewrites, planned together so the step either writes all of them or none:
+//
+//  1. every legacy seam `{from, to}` becomes a `consumes <fromModel>:<kind>.<slug>` clause
+//     appended to the consuming translation's own line in its `.em` file (a bare-slice `to` —
+//     `<model>:<slice>` — resolves to that slice's single reaction, same rule `em system` used);
+//  2. every model's manifest `owner:` becomes `owner "<text>"` on that model's `model "Name"`
+//     header line (quoted free text as written; a header that already names owners wins);
+//  3. the manifest itself is rewritten to 2.0 — `systemSchemaVersion: "2.0"`, `seams:` and every
+//     `owner:` removed — through the YAML document API so comments and quoting survive.
+//
+// Like the verifier, this reads EXPORT DOCUMENTS (refs + element lines) for resolution, never a
+// NormalizedModel; the only model text it touches is source-text surgery on the exact lines the
+// export points at. Anything it cannot migrate mechanically — a seam whose consumer is not a
+// translation (`consumes` is translation-only), a member sourced from an export `.json` (no
+// `.em` text to edit), an unresolvable ref — is a refusal with a message, never a partial plan.
+import { parseDocument, isMap } from "yaml";
+import { indexOfUnquoted, stripComment } from "../parser/lexer.js";
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { formatContractRef, parseContractRef, parseQualifiedRef } from "../model/qualifiedRef.js";
+import { SYSTEM_MANIFEST_SCHEMA_VERSION } from "./manifest.js";
+/** Plan the whole migration. `manifest` must be a parsed 1.0 manifest; `members` one entry per
+ *  manifest model, same order. */
+export function planManifestMigration(manifestText, manifest, members) {
+    const byKey = new Map(members.map((m) => [m.key, m]));
+    // file -> (1-based line -> refs to append), insertion-ordered for stable output.
+    const consumesAt = new Map();
+    // file -> (1-based line -> `# …` comment lines carrying each seam's `description`, which has
+    // no home in the DSL — kept as a comment above the translation rather than silently dropped).
+    const notesAt = new Map();
+    const summary = [];
+    for (const [i, seam] of manifest.seams.entries()) {
+        const where = `seams[${i}] (${seam.from} -> ${seam.to})`;
+        // --- producer: `<model>:<slice>/<kind>.<slug>` -> `<model>:<kind>.<slug>`
+        const from = parseQualifiedRef(seam.from);
+        const fromTail = from.ref.includes("/") ? from.ref.slice(from.ref.indexOf("/") + 1) : "";
+        const contract = from.modelKey === null ? null : parseContractRef(`${from.modelKey}:${fromTail}`);
+        if (!contract) {
+            return { ok: false, message: `${where}: \`from\` is not a <modelKey>:<sliceKey>/<event|view>.<slug> ref — fix or drop the seam, then re-run` };
+        }
+        const ref = formatContractRef(contract.modelKey, contract.kind, contract.slug);
+        // --- consumer: an element ref, or a bare slice with exactly one reaction
+        const to = parseQualifiedRef(seam.to);
+        const consumer = to.modelKey === null ? undefined : byKey.get(to.modelKey);
+        if (!consumer) {
+            return { ok: false, message: `${where}: \`to\` names no model of this manifest — fix or drop the seam, then re-run` };
+        }
+        let element;
+        if (to.ref.includes("/")) {
+            for (const s of consumer.doc.model.slices)
+                element ??= s.elements.find((e) => e.ref === to.ref);
+        }
+        else {
+            const slice = consumer.doc.model.slices.find((s) => s.key === to.ref);
+            const reactions = slice ? slice.elements.filter((e) => AUTOMATION_KINDS.has(e.kind)) : [];
+            if (reactions.length === 1)
+                element = reactions[0];
+        }
+        if (!element) {
+            return { ok: false, message: `${where}: \`to\` does not resolve to one reaction in model "${consumer.key}" — fix or drop the seam, then re-run` };
+        }
+        if (element.kind !== "translation") {
+            return {
+                ok: false,
+                message: `${where}: the consumer is ${element.kind} "${element.name}", but \`consumes\` is only valid on translation — ` +
+                    "make it a translation (it crosses a model boundary) or drop the seam, then re-run",
+            };
+        }
+        if (consumer.text === null) {
+            return { ok: false, message: `${where}: model "${consumer.key}" is sourced from an export document, not a .em file — add \`consumes ${ref}\` to its translation by hand` };
+        }
+        if ((element.consumes ?? []).includes(ref))
+            continue; // already declared model-side
+        const lines = consumesAt.get(consumer.file) ?? new Map();
+        consumesAt.set(consumer.file, lines);
+        const refs = lines.get(element.line) ?? [];
+        if (!refs.includes(ref))
+            refs.push(ref);
+        lines.set(element.line, refs);
+        if (seam.description !== null && seam.description.trim() !== "") {
+            const notes = notesAt.get(consumer.file) ?? new Map();
+            notesAt.set(consumer.file, notes);
+            notes.set(element.line, [...(notes.get(element.line) ?? []), `${ref} — ${seam.description.trim().replace(/\s+/g, " ")}`]);
+        }
+    }
+    const files = [];
+    for (const member of members) {
+        const entry = manifest.models.find((m) => m.key === member.key);
+        const owner = entry?.owner ?? null;
+        const headerOwners = Array.isArray(member.doc.model.owner) ? member.doc.model.owner : [];
+        const writeOwner = owner !== null && headerOwners.length === 0;
+        const lineEdits = consumesAt.get(member.file);
+        if (!writeOwner && !lineEdits)
+            continue;
+        if (member.text === null) {
+            return { ok: false, message: `model "${member.key}" is sourced from an export document, not a .em file — move its \`owner:\` onto the model header by hand` };
+        }
+        const eol = member.text.includes("\r\n") ? "\r\n" : "\n";
+        const lines = member.text.split(/\r?\n/);
+        if (writeOwner) {
+            const at = lines.findIndex((l) => /^model(\s|$)/.test(stripComment(l).trim()));
+            if (at < 0) {
+                return { ok: false, message: `model "${member.key}" (${member.file}) has no \`model "Name"\` header line to carry \`owner "${owner}"\` — add one, then re-run` };
+            }
+            lines[at] = appendClause(lines[at], `owner ${quote(owner)}`, false);
+            summary.push(`${member.file}: owner ${quote(owner)}`);
+        }
+        for (const [line, refs] of lineEdits ?? []) {
+            lines[line - 1] = appendClause(lines[line - 1], `consumes ${refs.join(", ")}`, true);
+            summary.push(`${member.file}:${line}: consumes ${refs.join(", ")}`);
+        }
+        // Description comments last, bottom-up, so earlier insertions never shift a later line.
+        const notes = [...(notesAt.get(member.file) ?? new Map()).entries()].sort((a, b) => b[0] - a[0]);
+        for (const [line, texts] of notes) {
+            const indent = /^\s*/.exec(lines[line - 1])[0];
+            lines.splice(line - 1, 0, ...texts.map((t) => `${indent}# ${t}`));
+        }
+        files.push({ file: member.file, text: lines.join(eol) });
+    }
+    // --- the manifest itself: same document, 2.0 keys only (comments/quoting preserved).
+    const doc = parseDocument(manifestText);
+    doc.set("systemSchemaVersion", SYSTEM_MANIFEST_SCHEMA_VERSION);
+    doc.delete("seams");
+    const models = doc.get("models", true);
+    if (isMap(models)) {
+        for (const pair of models.items)
+            if (isMap(pair.value))
+                pair.value.delete("owner");
+    }
+    let rewritten = String(doc);
+    if (!manifestText.endsWith("\n"))
+        rewritten = rewritten.replace(/\n$/, "");
+    summary.push(`system.yaml: systemSchemaVersion "${SYSTEM_MANIFEST_SCHEMA_VERSION}" (seams/owner removed)`);
+    return { ok: true, manifestText: rewritten, files, summary };
+}
+/** A `"…"` literal the `.em` lexer decodes back to `text` (`\"` and `\\` escapes). */
+function quote(text) {
+    return `"${text.replace(/\\/g, "\\\\").replace(/"/g, '\\"')}"`;
+}
+/** Append `clause` to one `.em` source line's code — before a trailing `# comment`, and (when
+ *  `beforeBlock`) before an element's `{ … }` field-block opener, since clauses on the header
+ *  side of the brace are the canonical position. Indentation and the comment are kept. */
+function appendClause(raw, clause, beforeBlock) {
+    const code = stripComment(raw);
+    const comment = raw.slice(code.length);
+    const brace = beforeBlock ? indexOfUnquoted(code, "{") : -1;
+    if (brace >= 0) {
+        return `${code.slice(0, brace).trimEnd()} ${clause} ${code.slice(brace)}${comment}`;
+    }
+    const trimmed = code.trimEnd();
+    return `${trimmed} ${clause}${comment ? ` ${comment.trimStart()}` : code.slice(trimmed.length)}`;
+}
+//# sourceMappingURL=migrateManifest.js.map

package/dist/system/migrateManifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrateManifest.js","sourceRoot":"","sources":["../../src/system/migrateManifest.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2FAA2F;AAC3F,gGAAgG;AAChG,2FAA2F;AAC3F,EAAE;AACF,2FAA2F;AAC3F,8FAA8F;AAC9F,iGAAiG;AACjG,8FAA8F;AAC9F,0FAA0F;AAC1F,iGAAiG;AACjG,wFAAwF;AACxF,EAAE;AACF,gGAAgG;AAChG,gGAAgG;AAChG,6FAA6F;AAC7F,4FAA4F;AAC5F,gGAAgG;AAEhG,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClG,OAAO,EAAE,8BAA8B,EAAkB,MAAM,eAAe,CAAC;AAwB/E;kCACkC;AAClC,MAAM,UAAU,qBAAqB,CAAC,YAAoB,EAAE,QAAwB,EAAE,OAA0B;IAC9G,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,iFAAiF;IACjF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC5D,6FAA6F;IAC7F,8FAA8F;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiC,CAAC;IACzD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,GAAG,CAAC;QACzD,2EAA2E;QAC3E,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,EAAE,CAAC,CAAC;QAClG,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,uGAAuG,EAAE,CAAC;QACjJ,CAAC;QACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE/E,0EAA0E;QAC1E,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,8EAA8E,EAAE,CAAC;QACxH,CAAC;QACD,IAAI,OAAwC,CAAC;QAC7C,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;QAClG,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;YACtE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,uDAAuD,QAAQ,CAAC,GAAG,uCAAuC,EAAE,CAAC;QACpJ,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACnC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EACL,GAAG,KAAK,qBAAqB,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,qDAAqD;oBAC/G,mFAAmF;aACtF,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,YAAY,QAAQ,CAAC,GAAG,yEAAyE,GAAG,+BAA+B,EAAE,CAAC;QAC7K,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,8BAA8B;QACpF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC;QAC3E,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5H,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,IAAI,CAAC;QACnC,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,MAAM,UAAU,GAAG,KAAK,KAAK,IAAI,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;YAAE,SAAS;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,MAAM,CAAC,GAAG,0GAA0G,EAAE,CAAC;QAChK,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC/E,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,IAAI,2DAA2D,KAAK,4BAA4B,EAAE,CAAC;YACnK,CAAC;YACD,KAAK,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,KAAK,CAAC,KAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACrE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,WAAW,KAAK,CAAC,KAAM,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,IAAI,EAAE,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACrF,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,wFAAwF;QACxF,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAChD,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,sFAAsF;IACtF,MAAM,GAAG,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACxC,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,8BAA8B,CAAC,CAAC;IAC/D,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3E,OAAO,CAAC,IAAI,CAAC,qCAAqC,8BAA8B,yBAAyB,CAAC,CAAC;IAC3G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC/D,CAAC;AAED,sFAAsF;AACtF,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AACjE,CAAC;AAED;;0FAE0F;AAC1F,SAAS,YAAY,CAAC,GAAW,EAAE,MAAc,EAAE,WAAoB;IACrE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,IAAI,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,EAAE,CAAC;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC/B,OAAO,GAAG,OAAO,IAAI,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;AACnG,CAAC"}

package/dist/system/scope.d.ts

@@ -0,0 +1,46 @@
+import type { ApiCheckChange } from "../cli/api.js";
+import type { SystemDiagnostic } from "./verify.js";
+export interface ScopeModel {
+    key: string;
+    /** Repo-root-relative model file, `/`-separated. */
+    file: string;
+    /** Repo-root-relative model directory (`dirname(file)`; "" when the model sits at the repo root). */
+    dir: string;
+    /** Repo-root-relative contract file: `<dir>/contracts/<key>.tsp` (briefing R6). */
+    contract: string;
+    /** Repo-root-relative code roots the model's state file declares (`Code roots:` bullet); [] when none. */
+    codeRoots: string[];
+    /** Structural public-surface changes base -> HEAD (`diffSurfaces`). `null` = not evaluated: the
+     *  model file is unchanged or exempt in this change set. A model absent at base reports every
+     *  public element as additive "added". */
+    surfaceChanges: ApiCheckChange[] | null;
+    /** `<modelKey>:<kind>.<slug>` refs this model's translations consume, at HEAD and at base. */
+    headConsumes: string[];
+    baseConsumes: string[];
+}
+export interface ScopeInput {
+    models: ScopeModel[];
+    /** Repo-relative changed paths AFTER the `Em-Upgrade:` exemption: both sides of a rename. */
+    changed: string[];
+}
+export interface ScopeTouched {
+    key: string;
+    dir: string;
+    /** Changed paths under this model's dir (longest-prefix match), sorted. */
+    paths: string[];
+}
+export interface ScopeReport {
+    /** Models whose design dir has >= 1 changed path, sorted by key. */
+    touched: ScopeTouched[];
+    /** Changed paths under no model dir (ignored), sorted. */
+    unmapped: string[];
+    diagnostics: SystemDiagnostic[];
+    /** Number of `seam-crossing` errors. */
+    crossings: number;
+}
+/** Longest-prefix model for a path (briefing R6); `null` outside every model dir. */
+export declare function modelForPath(models: Pick<ScopeModel, "key" | "dir">[], path: string): string | null;
+/** `Code roots:` bullet from a model's `.event-modeling.md`: `- **Code roots:** a, b` (comma
+ *  separated, repo-root-relative). `[]` when absent or `none`. */
+export declare function parseCodeRoots(stateText: string): string[];
+export declare function evaluateScope(input: ScopeInput): ScopeReport;

package/dist/system/scope.js

@@ -0,0 +1,132 @@
+// SPDX-License-Identifier: MIT
+// `em system scope` (MIL-240): the pure half. Given each model's directory, its contract file,
+// the structural public-surface changes between the base revision and HEAD, and both sides'
+// `consumes` bindings, plus the change set's repo-relative paths, return the findings:
+//
+//   seam-crossing (error)             a producer's public surface or contract file changed AND a
+//                                     model that consumes it changed its design dir, in ONE change set
+//   seam-crossing-greenfield (warn)   the only "surface changes" are elements no consumer was bound
+//                                     to at the base revision (new public surface) - not a crossing
+//   multi-model-change-set (warn)     the change set touches >= 2 model dirs and crosses no contract
+//   code-spans-seam (warn)            advisory: code under two seam-joined models' declared code roots
+//
+// There is NO override: review on the contract file (CODEOWNERS, MIL-234) is the override.
+//
+// Pure: no git, no fs, no compile. `src/cli/scopeInputs.ts` gathers the inputs; the same function
+// runs per commit for `em metrics`' `seamCrossings`.
+import { makeDiag } from "../model/rules.js";
+import { parseContractRef } from "../model/qualifiedRef.js";
+const isUnder = (path, dir) => dir === "" || path === dir || path.startsWith(dir + "/");
+/** Longest-prefix model for a path (briefing R6); `null` outside every model dir. */
+export function modelForPath(models, path) {
+    let best = null;
+    for (const m of models) {
+        if (!isUnder(path, m.dir))
+            continue;
+        if (best === null || m.dir.length > best.len)
+            best = { key: m.key, len: m.dir.length };
+    }
+    return best === null ? null : best.key;
+}
+/** `Code roots:` bullet from a model's `.event-modeling.md`: `- **Code roots:** a, b` (comma
+ *  separated, repo-root-relative). `[]` when absent or `none`. */
+export function parseCodeRoots(stateText) {
+    const m = /^-\s+\*\*Code roots:\*\*\s*(.*)$/m.exec(stateText);
+    if (!m)
+        return [];
+    return m[1]
+        .split(",")
+        .map((s) => s.trim().replace(/^`|`$/g, "").replace(/^\.\//, "").replace(/\/+$/, ""))
+        .filter((s) => s !== "" && s.toLowerCase() !== "none");
+}
+function consumedModels(m) {
+    const out = new Set();
+    for (const ref of [...m.headConsumes, ...m.baseConsumes]) {
+        const p = parseContractRef(ref);
+        if (p)
+            out.add(p.modelKey);
+    }
+    return out;
+}
+function diag(file, code, message, refs) {
+    return { file, ...makeDiag(code, { message, refs }) };
+}
+const sorted = (xs) => [...new Set(xs)].sort();
+export function evaluateScope(input) {
+    const models = [...input.models].sort((a, b) => (a.key < b.key ? -1 : a.key > b.key ? 1 : 0));
+    const byModel = new Map();
+    const unmapped = [];
+    for (const p of [...input.changed].sort()) {
+        const key = modelForPath(models, p);
+        if (key === null)
+            unmapped.push(p);
+        else
+            byModel.set(key, [...(byModel.get(key) ?? []), p]);
+    }
+    const touched = models
+        .filter((m) => byModel.has(m.key))
+        .map((m) => ({ key: m.key, dir: m.dir, paths: byModel.get(m.key) }));
+    const changedSet = new Set(input.changed);
+    // Consumers per producer, from either side of the change (a removed `consumes` still counts).
+    const consumes = new Map(models.map((m) => [m.key, consumedModels(m)]));
+    const boundAtBase = new Set(models.flatMap((m) => m.baseConsumes));
+    const diagnostics = [];
+    let crossings = 0;
+    for (const producer of models) {
+        const surface = producer.surfaceChanges ?? [];
+        const contractChanged = changedSet.has(producer.contract);
+        if (surface.length === 0 && !contractChanged)
+            continue;
+        // New public surface nothing was bound to at base is greenfield (not a crossing).
+        const isGreenfield = (c) => c.field === null && (c.what === "added" || c.what === "marked public") && !boundAtBase.has(`${producer.key}:${c.element}`);
+        const greenfield = surface.filter(isGreenfield);
+        const binding = surface.filter((c) => !isGreenfield(c));
+        // A changed contract file is explained by greenfield-only surface changes (it was regenerated);
+        // it is a trigger of its own only when nothing in the surface accounts for it.
+        const contractTrigger = contractChanged && surface.length === 0;
+        const triggered = binding.length > 0 || contractTrigger;
+        const consumers = models.filter((c) => c.key !== producer.key && (consumes.get(c.key)?.has(producer.key) ?? false) && byModel.has(c.key));
+        if (!triggered) {
+            if (greenfield.length > 0 && consumers.length > 0) {
+                const els = sorted(greenfield.map((c) => c.element));
+                diagnostics.push(diag(producer.file, "seam-crossing-greenfield", `${producer.key}: ${els.join(", ")} ${els.length === 1 ? "is" : "are"} new public surface with no consumer bound at the base revision, ` +
+                    `changed together with ${consumers.map((c) => c.key).join(", ")} - not a crossing (greenfield); later changes to ${els.length === 1 ? "it" : "them"} are`, [...els.map((e) => `${producer.key}:${e}`), ...consumers.map((c) => c.key)]));
+            }
+            continue;
+        }
+        const what = sorted(binding.map((c) => `${c.element}${c.field !== null ? ` field "${c.field}"` : ""} ${c.what}`));
+        if (contractTrigger)
+            what.push(`contract file ${producer.contract} changed`);
+        const elementRefs = sorted(binding.map((c) => `${producer.key}:${c.element}`));
+        if (contractTrigger)
+            elementRefs.push(`${producer.key}:contract`);
+        for (const consumer of consumers) {
+            crossings++;
+            const paths = byModel.get(consumer.key);
+            diagnostics.push(diag(producer.file, "seam-crossing", `change set alters ${producer.key}'s public surface (${what.join("; ")}) and ${consumer.key}, which consumes it ` +
+                `(changed: ${paths.join(", ")}) - land the contract change and the consumer's adaptation in separate change sets; ` +
+                `review on ${producer.contract} is the only override`, [...elementRefs, consumer.key]));
+        }
+    }
+    if (crossings === 0 && touched.length >= 2) {
+        const keys = touched.map((t) => t.key);
+        diagnostics.push(diag(".", "multi-model-change-set", `change set touches ${keys.length} models (${keys.join(", ")}) but crosses no contract - consider one change set per model`, keys));
+    }
+    // Advisory code-side check: changed code under two seam-joined models' declared code roots.
+    const underRoots = (m) => sorted(input.changed.filter((p) => m.codeRoots.some((r) => isUnder(p, r))));
+    for (let i = 0; i < models.length; i++) {
+        for (let j = i + 1; j < models.length; j++) {
+            const a = models[i];
+            const b = models[j];
+            if (!(consumes.get(a.key)?.has(b.key) || consumes.get(b.key)?.has(a.key)))
+                continue;
+            const pa = underRoots(a);
+            const pb = underRoots(b);
+            if (pa.length === 0 || pb.length === 0)
+                continue;
+            diagnostics.push(diag(a.file, "code-spans-seam", `code change spans the seam between ${a.key} (${pa.join(", ")}) and ${b.key} (${pb.join(", ")}) - one code module per model, changed in separate change sets`, [a.key, b.key]));
+        }
+    }
+    return { touched, unmapped, diagnostics, crossings };
+}
+//# sourceMappingURL=scope.js.map

package/dist/system/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/system/scope.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+FAA+F;AAC/F,4FAA4F;AAC5F,uFAAuF;AACvF,EAAE;AACF,iGAAiG;AACjG,uGAAuG;AACvG,oGAAoG;AACpG,oGAAoG;AACpG,qGAAqG;AACrG,uGAAuG;AACvG,EAAE;AACF,2FAA2F;AAC3F,EAAE;AACF,kGAAkG;AAClG,qDAAqD;AAGrD,OAAO,EAAE,QAAQ,EAAY,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AA6C5D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;AAEjH,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,MAAyC,EAAE,IAAY;IAClF,IAAI,IAAI,GAAwC,IAAI,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;YAAE,SAAS;QACpC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG;YAAE,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;IACzF,CAAC;IACD,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;AACzC,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,OAAO,CAAC,CAAC,CAAC,CAAC;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACnF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,CAAa;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,IAAc,EAAE,OAAe,EAAE,IAAc;IACzE,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,EAAoB,EAAY,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAE3E,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC7C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACpC,IAAI,GAAG,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,OAAO,GAAmB,MAAM;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAE1C,8FAA8F;IAC9F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAEnE,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC;QAC9C,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,eAAe;YAAE,SAAS;QAEvD,kFAAkF;QAClF,MAAM,YAAY,GAAG,CAAC,CAAiB,EAAW,EAAE,CAClD,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7H,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,gGAAgG;QAChG,+EAA+E;QAC/E,MAAM,eAAe,GAAG,eAAe,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC;QAExD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAE1I,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;gBACrD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,QAAQ,CAAC,IAAI,EACb,0BAA0B,EAC1B,GAAG,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,mEAAmE;oBACtI,yBAAyB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,MAAM,EAC3J,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5E,CACF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAa,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5H,IAAI,eAAe;YAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,QAAQ,CAAC,QAAQ,UAAU,CAAC,CAAC;QAC7E,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC/E,IAAI,eAAe;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,WAAW,CAAC,CAAC;QAElE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,SAAS,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,QAAQ,CAAC,IAAI,EACb,eAAe,EACf,qBAAqB,QAAQ,CAAC,GAAG,sBAAsB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,GAAG,sBAAsB;gBAC/G,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sFAAsF;gBACnH,aAAa,QAAQ,CAAC,QAAQ,uBAAuB,EACvD,CAAC,GAAG,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAC/B,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,SAAS,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,GAAG,EAAE,wBAAwB,EAAE,sBAAsB,IAAI,CAAC,MAAM,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,+DAA+D,EAAE,IAAI,CAAC,CACvK,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,MAAM,UAAU,GAAG,CAAC,CAAa,EAAY,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5H,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAE,SAAS;YACpF,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACjD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,CAAC,CAAC,IAAI,EACN,iBAAiB,EACjB,sCAAsC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE,EAC7J,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CACf,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AACvD,CAAC"}

package/dist/system/verify.d.ts

@@ -1,6 +1,7 @@
 import { ElementKind } from "../parser/ast.js";
 import type { Diagnostic } from "../model/validate.js";
-import type { SystemManifest } from "./manifest.js";
+import { AdaptationField } from "./adaptation.js";
+import { SystemManifest } from "./manifest.js";
 /** The subset of one `em export --json` document `verifySystem` reads. */
 export interface SystemExportElement {
     ref: string;
@@ -8,6 +9,12 @@ export interface SystemExportElement {
     name: string;
     line: number;
     public: boolean;
+    /** Export schema >= 1.15 (MIL-235): a translation's contract refs. Absent on older exports —
+     *  read as none. */
+    consumes?: string[] | null;
+    /** The element's declared fields (MIL-239 reads them for the consumer-adaptation check).
+     *  Absent on an export that carries none; read as no fields. */
+    fields?: AdaptationField[] | null;
 }
 export interface SystemExportSlice {
     key: string;
@@ -19,6 +26,8 @@ export interface SystemExportDoc {
     model: {
         key: string;
         name: string | null;
+        /** Export schema >= 1.15 (MIL-235): the header's `owner` entries. Absent on older exports. */
+        owner?: string[];
         slices: SystemExportSlice[];
         edges: {
             from: string;
@@ -27,17 +36,27 @@ export interface SystemExportDoc {
     };
 }
 export type SystemSourceKind = "em" | "export";
-/** One model, loaded by the caller: the manifest's entry plus its export document and the
- *  path diagnostics about it should point at (the `.em` file, or the export `.json`). */
+/** One model, loaded by the caller: its key (the manifest's, or the computed one in discovery
+ *  mode), its export document, and the path diagnostics about it should point at (the `.em`
+ *  file, or the export `.json`). */
 export interface SystemModelInput {
     key: string;
     source: string;
     sourceKind: SystemSourceKind;
-    owner: string | null;
+    /** The model header's `owner` entries (export `model.owner`); a legacy 1.0 manifest's
+     *  `owner:` fills in when the header names none. `[]` when neither does. */
+    owner: string[];
     /** Path diagnostics about this model's elements point at — resolved, as the CLI prints it. */
     file: string;
     doc: SystemExportDoc;
 }
+/** How a discovered system (no manifest, MIL-235 R4) was found: the repo root (or start
+ *  directory) as reached from the path the caller gave — never absolutized, same "as given"
+ *  posture as a manifest path — and every discovered `.em` file relative to it, sorted. */
+export interface SystemDiscovery {
+    root: string;
+    files: string[];
+}
 /** A diagnostic plus the file it concerns — `em status --json`'s multi-model convention. */
 export interface SystemDiagnostic extends Diagnostic {
     file: string;
@@ -47,29 +66,32 @@ export interface SystemModelReport {
     name: string | null;
     source: string;
     sourceKind: SystemSourceKind;
-    owner: string | null;
+    owner: string[];
     /** Unqualified (`<sliceKey>/<kind>.<slug>`) refs of every `public` element, export order. */
     publicSurface: string[];
 }
 export interface SystemSeamReport {
-    /** Resolved, element-level qualified ref when the endpoint resolved; else the ref as written. */
+    /** Resolved, element-level qualified ref of the producing element when it resolved; else the
+     *  ref as written (a `consumes` contract ref, or a legacy manifest `from`). */
     from: string;
+    /** Qualified ref of the consuming reaction (resolved), else the legacy manifest `to` as written. */
     to: string;
     fromSlice: string | null;
     toSlice: string | null;
+    /** Legacy 1.0 manifest seams only — `null` for a `consumes` binding. */
     description: string | null;
     status: "verified" | "error";
-    /** Codes of every diagnostic raised on this seam (errors and warnings), in raise order. */
+    /** Codes of every diagnostic raised on this binding (errors and warnings), in raise order. */
     diagnostics: string[];
 }
 export interface ContextMap {
     nodes: {
         key: string;
         name: string | null;
-        owner: string | null;
+        owner: string[];
     }[];
-    /** One edge per ordered model pair with at least one declared seam (verified or not), sorted
-     *  by (from, to); `seams` counts the declarations. */
+    /** One edge per ordered (producer, consumer) model pair with at least one binding (verified or
+     *  not), sorted by (from, to); `seams` counts the bindings. */
     edges: {
         from: string;
         to: string;
@@ -81,8 +103,23 @@ export interface SystemReport {
     models: SystemModelReport[];
     seams: SystemSeamReport[];
     contextMap: ContextMap;
+    /** MIL-239: `checked` = resolved `consumes` bindings whose consumer declares fields (so there
+     *  was something to compare); `notAdapted` = how many of them raised `consumer-not-adapted`. */
+    consumerAdaptation: {
+        checked: number;
+        notAdapted: number;
+    };
     diagnostics: SystemDiagnostic[];
 }
-/** Verify `manifest` against the loaded `models` (one per manifest entry, same order).
- *  `manifestFile` is the path manifest-level diagnostics point at. */
-export declare function verifySystem(manifest: SystemManifest, models: SystemModelInput[], manifestFile: string): SystemReport;
+/** Caller-supplied, impure inputs `verifySystem` cannot compute itself. */
+export interface VerifySystemOptions {
+    /** The short sha of the last commit that changed the producer model's source, or `null` when
+     *  unknown (no git, no history, export-document source). Named in `consumer-not-adapted`. */
+    producerCommit?: (model: SystemModelInput) => string | null;
+}
+/** Verify a system: `models` (manifest order, or discovery order) plus, when the system came
+ *  from a manifest, that `manifest` and the path manifest-level diagnostics point at. `manifest`
+ *  is `null` in discovery mode (R4: no manifest found/given) — there is then no name, no
+ *  manifest-key check, and no legacy seams. `preDiagnostics` (e.g. discovery's own
+ *  `duplicate-model-key` warnings) lead the report's diagnostics unchanged. */
+export declare function verifySystem(manifest: SystemManifest | null, models: SystemModelInput[], manifestFile: string | null, preDiagnostics?: SystemDiagnostic[], options?: VerifySystemOptions): SystemReport;