@milehimikey/em 1.13.0 → 1.14.0

package/dist/cli/api.d.ts

@@ -0,0 +1,90 @@
+import { Diagnostic } from "../model/validate.js";
+import { compile } from "../pipeline.js";
+import { ElementExport, FieldExport, TypeExport } from "../emit/json.js";
+import { GitRunner } from "./diff-inputs.js";
+/** `<modelDir>/contracts/<modelKey>.tsp` (R6), built from the model path as given. */
+export declare function contractPathFor(modelFile: string, modelKey: string): string;
+/** The `Source:` label: the model path relative to the contract file's directory, `/`-separated,
+ *  so the generated text never depends on the cwd `em api generate` ran from. */
+export declare function sourceLabelFor(modelFile: string, contractFile: string): string;
+export interface GeneratedContract {
+    modelKey: string;
+    contractPath: string;
+    /** Full file text, trailing newline included. */
+    text: string;
+    diagnostics: Diagnostic[];
+}
+/** Compile result + generated contract text for an error-free model. */
+export declare function generateContract(file: string, source: string, compiled: ReturnType<typeof compile>, outPath?: string): GeneratedContract;
+export type ApiChangeKind = "additive" | "breaking";
+export interface ApiCheckChange {
+    kind: ApiChangeKind;
+    /** `<kind>.<slug>` of the element (or `type.<slug>` for a declared type) — contract-level
+     *  identity, no slice key (moving an element between slices does not change the contract). */
+    element: string;
+    /** The field the change concerns, or null for an element-level change. */
+    field: string | null;
+    what: string;
+}
+type Role = "input" | "output";
+interface SurfaceEntry {
+    /** command | event | view | type */
+    kind: string;
+    name: string;
+    /** Normalized identity key: kind + normalizeName(name). */
+    key: string;
+    fields: FieldExport[];
+    renamedFrom: string[];
+    roles: Set<Role>;
+    /** Model-declared invariants (MIL-265), declaration order; `[]` for a type. */
+    invariants: {
+        id: string;
+        rule: string | null;
+    }[];
+}
+interface Surface {
+    entries: SurfaceEntry[];
+    /** Normalized `kind:name` of every element present in the model, public or not — tells
+     *  "`public` dropped" apart from "removed". */
+    allElements: Set<string>;
+}
+/** Build the public surface of one compiled model: public commands (input), events and views
+ *  (output), and every declared type reachable from them (carrying the roles that reach it). */
+export declare function surfaceOf(slices: {
+    elements: ElementExport[];
+}[], types: TypeExport[]): Surface;
+/** A field's type as the contract sees it: a declared type's name or the raw string,
+ *  normalized, with its array arity. */
+export declare function typeLabel(f: Pick<FieldExport, "type" | "typeRef">): string;
+export declare function typeIdentity(f: Pick<FieldExport, "type" | "typeRef">): string;
+/** Diff two public surfaces. `base === null` means the model did not exist at the base
+ *  revision: every HEAD element is an additive addition. */
+export declare function diffSurfaces(base: Surface | null, head: Surface): ApiCheckChange[];
+export interface ApiCheckReport {
+    file: string;
+    contractPath: string;
+    current: boolean;
+    /** True when the contract file does not exist at all (a special case of not current). */
+    missing: boolean;
+    base: string | null;
+    changes: ApiCheckChange[];
+}
+export type ApiCheckOutcome = {
+    ok: true;
+    report: ApiCheckReport;
+    diagnostics: Diagnostic[];
+} | {
+    ok: false;
+    message: string;
+    diagnostics: Diagnostic[];
+};
+/**
+ * Run `em api check <file> [--base <rev>]`. (a) "current" = regenerate from the working-tree
+ * model and compare to the committed contract file's text; (b) with `base`, compile the model
+ * at that revision (`resolveRevision`) and diff the public surfaces structurally. A model
+ * absent at `base` (new model) reports every public element as additive.
+ */
+export declare function runApiCheck(file: string, base: string | undefined, runGit?: GitRunner): ApiCheckOutcome;
+/** The text report: one status line, then one `additive:`/`breaking:` line per change. */
+export declare function formatApiCheckText(r: ApiCheckReport): string[];
+export {};

package/dist/cli/api.js

@@ -0,0 +1,318 @@
+// SPDX-License-Identifier: MIT
+// `em api generate | check` (MIL-237): the contract path convention (briefing R6), the
+// "is the committed contract current" text comparison, and the structural public-surface diff
+// that annotates each change additive or breaking (briefing R8/R12). Pure where it can be —
+// fs/git reads go through injectable readers so the diff and the classification are unit-
+// testable without a repository; cli.ts and the MCP `api_check` tool share `runApiCheck`.
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join, relative, resolve, sep } from "node:path";
+import { normalizeName } from "../model/model.js";
+import { computeModelKey } from "../model/qualifiedRef.js";
+import { hasErrors } from "../model/validate.js";
+import { compile } from "../pipeline.js";
+import { ParseError } from "../parser/parser.js";
+import { buildApiContract, publicSurfaceOf } from "../emit/api.js";
+import { buildExportDoc } from "../emit/json.js";
+import { kebabSlug } from "../util/slug.js";
+import { realGit, resolveRevision } from "./diff-inputs.js";
+/** `<modelDir>/contracts/<modelKey>.tsp` (R6), built from the model path as given. */
+export function contractPathFor(modelFile, modelKey) {
+    return join(dirname(modelFile), "contracts", `${modelKey}.tsp`);
+}
+/** The `Source:` label: the model path relative to the contract file's directory, `/`-separated,
+ *  so the generated text never depends on the cwd `em api generate` ran from. */
+export function sourceLabelFor(modelFile, contractFile) {
+    return relative(dirname(resolve(contractFile)), resolve(modelFile)).split(sep).join("/");
+}
+/** Compile result + generated contract text for an error-free model. */
+export function generateContract(file, source, compiled, outPath) {
+    const modelKey = computeModelKey(compiled.model, file);
+    const contractPath = outPath ?? contractPathFor(file, modelKey);
+    const result = buildApiContract(compiled.model, compiled.refs, compiled.diagnostics, source, file, sourceLabelFor(file, contractPath));
+    return { modelKey, contractPath, text: result.text + "\n", diagnostics: result.diagnostics };
+}
+const keyOf = (kind, name) => `${kind}:${normalizeName(name)}`;
+/** Build the public surface of one compiled model: public commands (input), events and views
+ *  (output), and every declared type reachable from them (carrying the roles that reach it). */
+export function surfaceOf(slices, types) {
+    const s = publicSurfaceOf(slices);
+    const entries = [];
+    const typesByRef = new Map(types.map((t) => [t.ref, t]));
+    const typeRoles = new Map();
+    const reach = (fields, role) => {
+        for (const f of fields ?? []) {
+            if (!f.typeRef)
+                continue;
+            const roles = typeRoles.get(f.typeRef.ref) ?? new Set();
+            if (roles.has(role))
+                continue;
+            roles.add(role);
+            typeRoles.set(f.typeRef.ref, roles);
+            reach(typesByRef.get(f.typeRef.ref)?.fields ?? null, role);
+        }
+    };
+    const push = (el, role) => {
+        entries.push({
+            kind: el.kind,
+            name: el.name,
+            key: keyOf(el.kind, el.name),
+            fields: el.fields ?? [],
+            renamedFrom: el.renamedFrom ?? [],
+            roles: new Set([role]),
+            invariants: el.invariants ?? [],
+        });
+        reach(el.fields, role);
+    };
+    for (const el of s.commands)
+        push(el, "input");
+    for (const el of s.events)
+        push(el, "output");
+    for (const el of s.views)
+        push(el, "output");
+    for (const t of types) {
+        const roles = typeRoles.get(t.ref);
+        if (!roles)
+            continue;
+        entries.push({ kind: "type", name: t.name, key: keyOf("type", t.name), fields: t.fields, renamedFrom: [], roles, invariants: [] });
+    }
+    const allElements = new Set();
+    for (const slice of slices)
+        for (const el of slice.elements)
+            allElements.add(keyOf(el.kind, el.name));
+    for (const t of types)
+        allElements.add(keyOf("type", t.name));
+    return { entries, allElements };
+}
+/** A field's type as the contract sees it: a declared type's name or the raw string,
+ *  normalized, with its array arity. */
+export function typeLabel(f) {
+    if (f.typeRef)
+        return `${f.typeRef.name}${f.typeRef.array ? "[]" : ""}`;
+    return f.type ?? "(none)";
+}
+export function typeIdentity(f) {
+    if (f.typeRef)
+        return `ref:${f.typeRef.ref}:${f.typeRef.array}`;
+    return `raw:${(f.type ?? "").replace(/\s+/g, "").toLowerCase()}`;
+}
+function diffFields(base, head, element, out) {
+    const roles = new Set([...base.roles, ...head.roles]);
+    const isInput = roles.has("input");
+    const isOutput = roles.has("output");
+    const headByName = new Map(head.fields.map((f) => [normalizeName(f.name), f]));
+    const baseByName = new Map(base.fields.map((f) => [normalizeName(f.name), f]));
+    // HEAD field -> base field it renames (a `renamed from` naming a base field that HEAD no
+    // longer carries under its old name).
+    const renamedTo = new Map();
+    for (const f of head.fields) {
+        if (baseByName.has(normalizeName(f.name)))
+            continue;
+        for (const old of f.renamedFrom ?? []) {
+            const k = normalizeName(old);
+            if (baseByName.has(k) && !headByName.has(k) && !renamedTo.has(k)) {
+                renamedTo.set(k, f);
+                break;
+            }
+        }
+    }
+    const compare = (b, h) => {
+        if (typeIdentity(b) !== typeIdentity(h)) {
+            out.push({ kind: "breaking", element, field: h.name, what: `type changed ${typeLabel(b)} → ${typeLabel(h)}` });
+        }
+        if (b.optional !== h.optional) {
+            if (h.optional) {
+                // required → optional: outputs may now omit it (breaking); inputs only loosen.
+                out.push({ kind: isOutput ? "breaking" : "additive", element, field: h.name, what: "changed required → optional" });
+            }
+            else {
+                out.push({ kind: "breaking", element, field: h.name, what: "changed optional → required" });
+            }
+        }
+    };
+    // Base order first: removals, renames and changes to existing fields.
+    for (const b of base.fields) {
+        const k = normalizeName(b.name);
+        const h = headByName.get(k);
+        if (h) {
+            compare(b, h);
+            continue;
+        }
+        const renamed = renamedTo.get(k);
+        if (renamed) {
+            out.push({ kind: "breaking", element, field: renamed.name, what: `renamed from "${b.name}"` });
+            compare(b, renamed);
+            continue;
+        }
+        out.push({ kind: "breaking", element, field: b.name, what: "removed" });
+    }
+    // Then HEAD-only fields, HEAD order.
+    const renameTargets = new Set([...renamedTo.values()]);
+    for (const h of head.fields) {
+        if (baseByName.has(normalizeName(h.name)) || renameTargets.has(h))
+            continue;
+        const required = !h.optional;
+        // Adding a required input is breaking (existing callers do not send it); adding to an
+        // output is additive (consumers tolerate unknown fields).
+        const kind = isInput && required ? "breaking" : "additive";
+        out.push({ kind, element, field: h.name, what: `added (${required ? "required" : "optional"})` });
+    }
+}
+/** MIL-265: a public element's invariants, base vs HEAD, matched by ID. Added or rule text
+ *  changed = breaking (the contract got tighter); removed = additive (looser). HEAD order for
+ *  additions/changes, then base order for removals. */
+function diffInvariants(base, head, element, out) {
+    const baseById = new Map(base.invariants.map((i) => [i.id, i]));
+    const headIds = new Set(head.invariants.map((i) => i.id));
+    for (const h of head.invariants) {
+        const b = baseById.get(h.id);
+        if (!b)
+            out.push({ kind: "breaking", element, field: null, what: `invariant ${h.id} added` });
+        else if (b.rule !== h.rule)
+            out.push({ kind: "breaking", element, field: null, what: `invariant ${h.id} rule changed` });
+    }
+    for (const b of base.invariants) {
+        if (!headIds.has(b.id))
+            out.push({ kind: "additive", element, field: null, what: `invariant ${b.id} removed` });
+    }
+}
+/** Diff two public surfaces. `base === null` means the model did not exist at the base
+ *  revision: every HEAD element is an additive addition. */
+export function diffSurfaces(base, head) {
+    const out = [];
+    const elementId = (e) => `${e.kind}.${kebabSlug(e.name)}`;
+    if (!base) {
+        for (const h of head.entries)
+            out.push({ kind: "additive", element: elementId(h), field: null, what: "added" });
+        return out;
+    }
+    const baseByKey = new Map(base.entries.map((e) => [e.key, e]));
+    const matchedBase = new Set();
+    for (const h of head.entries) {
+        const element = elementId(h);
+        const same = baseByKey.get(h.key);
+        if (same) {
+            matchedBase.add(same.key);
+            diffFields(same, h, element, out);
+            diffInvariants(same, h, element, out);
+            continue;
+        }
+        const renamedFrom = h.renamedFrom
+            .map((old) => baseByKey.get(keyOf(h.kind, old)))
+            .find((b) => b !== undefined && !matchedBase.has(b.key) && !head.entries.some((x) => x.key === b.key));
+        if (renamedFrom) {
+            matchedBase.add(renamedFrom.key);
+            out.push({ kind: "breaking", element, field: null, what: `renamed from "${renamedFrom.name}"` });
+            diffFields(renamedFrom, h, element, out);
+            diffInvariants(renamedFrom, h, element, out);
+            continue;
+        }
+        if (h.kind !== "type" && base.allElements.has(h.key)) {
+            out.push({ kind: "additive", element, field: null, what: "marked public" });
+        }
+        else {
+            out.push({ kind: "additive", element, field: null, what: "added" });
+        }
+    }
+    for (const b of base.entries) {
+        if (matchedBase.has(b.key))
+            continue;
+        const element = elementId(b);
+        if (b.kind !== "type" && head.allElements.has(b.key)) {
+            out.push({ kind: "breaking", element, field: null, what: "`public` dropped" });
+        }
+        else {
+            out.push({ kind: "breaking", element, field: null, what: "removed" });
+        }
+    }
+    return out;
+}
+/**
+ * Run `em api check <file> [--base <rev>]`. (a) "current" = regenerate from the working-tree
+ * model and compare to the committed contract file's text; (b) with `base`, compile the model
+ * at that revision (`resolveRevision`) and diff the public surfaces structurally. A model
+ * absent at `base` (new model) reports every public element as additive.
+ */
+export function runApiCheck(file, base, runGit = realGit) {
+    let source;
+    try {
+        source = readFileSync(file, "utf8");
+    }
+    catch {
+        return { ok: false, message: `em api check: cannot read ${file}`, diagnostics: [] };
+    }
+    let head;
+    try {
+        head = compile(source);
+    }
+    catch (e) {
+        if (e instanceof ParseError)
+            return { ok: false, message: `em api check: parse error in ${file} ${e.message}`, diagnostics: [] };
+        throw e;
+    }
+    if (hasErrors(head.diagnostics)) {
+        return { ok: false, message: "em api check: not checking — fix the errors above", diagnostics: head.diagnostics };
+    }
+    const generated = generateContract(file, source, head);
+    const missing = !existsSync(generated.contractPath);
+    const current = !missing && readFileSync(generated.contractPath, "utf8") === generated.text;
+    let changes = [];
+    if (base !== undefined) {
+        const top = runGit(["-C", dirname(resolve(file)), "rev-parse", "--show-toplevel"]);
+        if (top.status !== 0) {
+            return { ok: false, message: `em api check: ${file} is not inside a git repository (needed for --base)`, diagnostics: head.diagnostics };
+        }
+        const verify = runGit(["-C", dirname(resolve(file)), "rev-parse", "--verify", "--quiet", `${base}^{commit}`]);
+        if (verify.status !== 0) {
+            return { ok: false, message: `em api check: unknown revision "${base}" (needed for --base)`, diagnostics: head.diagnostics };
+        }
+        const headDoc = buildExportDoc(head.model, head.refs, head.diagnostics, source, file).doc;
+        const headSurface = surfaceOf(headDoc.model.slices, headDoc.model.types);
+        const atBase = resolveRevision(file, base, runGit);
+        let baseSurface = null;
+        if (atBase.ok) {
+            let baseCompiled;
+            try {
+                baseCompiled = compile(atBase.content);
+            }
+            catch (e) {
+                if (e instanceof ParseError) {
+                    return { ok: false, message: `em api check: parse error in ${file}@${base} ${e.message}`, diagnostics: head.diagnostics };
+                }
+                throw e;
+            }
+            // Base-side validate errors (e.g. a pre-1.14 free-text public type) do not block the
+            // structural diff — the diff reads shapes, not strictness.
+            const baseDoc = buildExportDoc(baseCompiled.model, baseCompiled.refs, baseCompiled.diagnostics, atBase.content, file).doc;
+            baseSurface = surfaceOf(baseDoc.model.slices, baseDoc.model.types);
+        }
+        else if (!/is not tracked by git/.test(atBase.message)) {
+            return { ok: false, message: atBase.message.replace(/^em diff:/, "em api check:"), diagnostics: head.diagnostics };
+        }
+        changes = diffSurfaces(baseSurface, headSurface);
+    }
+    return {
+        ok: true,
+        report: { file, contractPath: generated.contractPath, current, missing, base: base ?? null, changes },
+        diagnostics: generated.diagnostics,
+    };
+}
+/** The text report: one status line, then one `additive:`/`breaking:` line per change. */
+export function formatApiCheckText(r) {
+    const lines = [];
+    const regen = `run: em api generate ${r.file}`;
+    if (r.current)
+        lines.push(`contract ${r.contractPath} is current`);
+    else if (r.missing)
+        lines.push(`contract ${r.contractPath} is missing — ${regen}`);
+    else
+        lines.push(`contract ${r.contractPath} is stale — ${regen}`);
+    if (r.base !== null) {
+        if (r.changes.length === 0)
+            lines.push(`no public-surface changes since ${r.base}`);
+        for (const c of r.changes) {
+            lines.push(`${c.kind}: ${c.element}${c.field !== null ? ` field "${c.field}"` : ""} ${c.what}`);
+        }
+    }
+    return lines;
+}
+//# sourceMappingURL=api.js.map

package/dist/cli/api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/cli/api.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,uFAAuF;AACvF,8FAA8F;AAC9F,4FAA4F;AAC5F,0FAA0F;AAC1F,0FAA0F;AAE1F,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAc,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,cAAc,EAA0C,MAAM,iBAAiB,CAAC;AACzF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAa,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEvE,sFAAsF;AACtF,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,QAAgB;IACjE,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAC;AAClE,CAAC;AAED;iFACiF;AACjF,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,YAAoB;IACpE,OAAO,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3F,CAAC;AAUD,wEAAwE;AACxE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,MAAc,EACd,QAAoC,EACpC,OAAgB;IAEhB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,OAAO,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,MAAM,EACN,IAAI,EACJ,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,CACnC,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;AAC/F,CAAC;AAsCD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;AAG/E;gGACgG;AAChG,MAAM,UAAU,SAAS,CAAC,MAAuC,EAAE,KAAmB;IACpF,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,MAA4B,EAAE,IAAU,EAAE,EAAE;QACzD,KAAK,MAAM,CAAC,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,SAAS;YACzB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAQ,CAAC;YAC9D,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACpC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,EAAiB,EAAE,IAAU,EAAE,EAAE;QAC7C,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YAC5B,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,EAAE;YACvB,WAAW,EAAE,EAAE,CAAC,WAAW,IAAI,EAAE;YACjC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACtB,UAAU,EAAE,EAAE,CAAC,UAAU,IAAI,EAAE;SAChC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ;QAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM;QAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK;QAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ;YAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC;AAED;wCACwC;AACxC,MAAM,UAAU,SAAS,CAAC,CAAwC;IAChE,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACxE,OAAO,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC;AAC5B,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,CAAwC;IACnE,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IAChE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,UAAU,CAAC,IAAkB,EAAE,IAAkB,EAAE,OAAe,EAAE,GAAqB;IAChG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,yFAAyF;IACzF,sCAAsC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QACpD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,CAAc,EAAE,CAAc,EAAE,EAAE;QACjD,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,SAAS,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjH,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACf,+EAA+E;gBAC/E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,6BAA6B,EAAE,CAAC,CAAC;YACtH,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,6BAA6B,EAAE,CAAC,CAAC;YAC9F,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,sEAAsE;IACtE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,CAAC;YACN,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,OAAO,EAAE,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAC/F,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,qCAAqC;IACrC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC5E,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC7B,sFAAsF;QACtF,0DAA0D;QAC1D,MAAM,IAAI,GAAkB,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC1E,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED;;uDAEuD;AACvD,SAAS,cAAc,CAAC,IAAkB,EAAE,IAAkB,EAAE,OAAe,EAAE,GAAqB;IACpG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;aACzF,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;IAClH,CAAC;AACH,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,YAAY,CAAC,IAAoB,EAAE,IAAa;IAC9D,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,MAAM,SAAS,GAAG,CAAC,CAAe,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACxE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAChH,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,EAAE,CAAC;YACT,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAClC,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW;aAC9B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;aAC/C,IAAI,CAAC,CAAC,CAAC,EAAqB,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5H,IAAI,WAAW,EAAE,CAAC;YAChB,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,WAAW,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YACjG,UAAU,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACzC,cAAc,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAC9E,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,SAAS;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,IAAwB,EAAE,SAAoB,OAAO;IAC7F,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,IAAI,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,UAAU;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,gCAAgC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACjI,MAAM,CAAC,CAAC;IACV,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mDAAmD,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;IACpH,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,CAAC,OAAO,IAAI,YAAY,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC;IAE5F,IAAI,OAAO,GAAqB,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACnF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,IAAI,qDAAqD,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QAC3I,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC;QAC9G,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,IAAI,uBAAuB,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/H,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1F,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,WAAW,GAAmB,IAAI,CAAC;QACvC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,IAAI,YAAY,CAAC;YACjB,IAAI,CAAC;gBACH,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;oBAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,gCAAgC,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC5H,CAAC;gBACD,MAAM,CAAC,CAAC;YACV,CAAC;YACD,qFAAqF;YACrF,2DAA2D;YAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC;YAC1H,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC;aAAM,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,eAAe,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACrH,CAAC;QACD,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,OAAO,EAAE;QACrG,WAAW,EAAE,SAAS,CAAC,WAAW;KACnC,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAAC,CAAiB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,YAAY,aAAa,CAAC,CAAC;SAC9D,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,YAAY,iBAAiB,KAAK,EAAE,CAAC,CAAC;;QAC9E,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,YAAY,eAAe,KAAK,EAAE,CAAC,CAAC;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,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;QAClG,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/cli/ciInit.d.ts

@@ -14,11 +14,35 @@ export declare function findUnsafeCiInitArg(value: string): string | null;
  *  by a pre-pin em shows stale the same way. */
 export declare function ciManagedBody(model: string, testsDir: string, emVersion: string): string;
 export declare function buildCiWorkflowFile(model: string, testsDir: string, emVersion: string): string;
+/** One model of a system, as `em ci init <system.yaml>` hands it to the generators: its manifest
+ *  key and its path relative to the repo root (the working directory the workflow runs from). */
+export interface CiModel {
+    key: string;
+    path: string;
+}
+/** Deterministic, valid GitHub Actions job-id suffix per model key. Keys are kebab-case with an
+ *  optional `~N` collision suffix (MIL-193), and `~` is not an Actions id character, so it
+ *  becomes `-`; if two keys then collide (`a-2` and `a~2`), the later one in key order gets a
+ *  numeric suffix until it is unique. Keys are processed in sorted order, so the mapping never
+ *  depends on manifest order. */
+export declare function ciJobIds(keys: string[]): Map<string, string>;
+/** The directory a model's design artifacts live in (R6: `dirname(<model>.em)`). */
+export declare function ciModelDir(modelPath: string): string;
+/** The managed block for a whole system: per-model `validate-`/`slice-index-`/`coverage-`/
+ *  `ledger-`/`upgrade-check-`/`status-badge-<id>` jobs, then ONE `skill-check` and ONE
+ *  `glossary` (both repo-wide). Same version-pin discipline as `ciManagedBody`. */
+export declare function ciManagedBodyMulti(models: CiModel[], testsDir: string, emVersion: string): string;
+export declare function buildCiWorkflowFileMulti(arg: string, models: CiModel[], testsDir: string, emVersion: string): string;
 /** The managed block only (no header/`on:`/`permissions:`/`jobs:` scaffolding) — what gets
  *  written between the marker pair, both for a fresh file and to patch an existing marked one
  *  in place. */
-export declare function conformManagedBody(model: string, emVersion: string): string;
-export declare function buildConformWorkflowFile(model: string, emVersion: string): string;
+export declare function conformManagedBody(model: string, emVersion: string, usePlugin?: boolean): string;
+export declare function buildConformWorkflowFile(model: string, emVersion: string, usePlugin?: boolean): string;
+/** Conformance for a whole system: the same single `conform` job fanned out over a matrix of
+ *  model directories (`MODEL_DIR: ${{ matrix.model }}`). Directories, not models: two models in
+ *  one directory share a conformance folder, so the matrix lists each directory once. */
+export declare function conformManagedBodyMulti(models: CiModel[], emVersion: string, usePlugin?: boolean): string;
+export declare function buildConformWorkflowFileMulti(arg: string, models: CiModel[], emVersion: string, usePlugin?: boolean): string;
 export type CiFileStatus = {
     kind: "create";
     content: string;
@@ -34,7 +58,43 @@ export type CiFileStatus = {
 } | {
     kind: "would-replace";
     content: string;
+} | {
+    kind: "other-models";
+    previous: string[];
+    requested: string[];
+    narrowing: boolean;
+} | {
+    kind: "replace-models";
+    content: string;
+    previous: string[];
+    requested: string[];
+    narrowing: boolean;
 };
+/**
+ * The model SET an existing managed block was generated for, read from the block's own content
+ * (MIL-256, widened to sets by MIL-233). Deliberately content-derived rather than a new marker
+ * line: blocks written by em 1.13.0 and earlier carry no machine-readable model, but every one
+ * of them bakes the model into the per-model `run:` lines. em-ci.yml: every
+ * `slice index "<model>" --check` line (one per model); em-conform.yml: every `matrix.model`
+ * entry of a multi-model block, else the single `MODEL_DIR: <dir>` line. None of these patterns
+ * includes the `npx @milehimikey/em@<ver>` pin, so a version difference can never read as a
+ * different model. Returns `[]` when the block was hand-edited past recognition - callers then
+ * treat it as covering the requested models (the conservative, pre-MIL-256 behavior) rather than
+ * refusing on a guess.
+ */
+export declare function managedBlockModels(markerName: string, blockBody: string): string[];
+/** The model set of an existing workflow file's managed block (`[]` when unmarked/unreadable). */
+export declare function fileBlockModels(content: string, markerName: string): string[];
+/** `--check`'s extra detail for a stale multi-model block: which models the manifest adds and
+ *  which the workflow still names that the manifest no longer does. `null` when the sets agree. */
+export declare function describeSetChange(previous: string[], requested: string[]): string | null;
+/** The one-line explanation of an `other-models` refusal (also printed by `--check`), ending in
+ *  what to do about it. Names both sets. */
+export declare function describeOtherModels(path: string, status: {
+    previous: string[];
+    requested: string[];
+    narrowing: boolean;
+}): string;
 /**
  * Decide what to do with one generated file: create it if missing, patch the managed block if
  * the marker pair is present, or (without `force`) leave an existing unmarked file alone. Pure
@@ -44,6 +104,31 @@ export type CiFileStatus = {
  * marker-wrapped body) — written verbatim for `create`/`would-replace`. `managedBody` is just
  * the text between the markers, reused to patch an existing marked file in place without
  * touching whatever a repo added around it.
+ *
+ * Block identity (MIL-256 #174, MIL-233): a block is identified by the SET of models it names
+ * (`managedBlockModels`). The requested set wins unless that would lose models by accident:
+ *   - disjoint sets are `other-models` (refused without `force`, `replace-models` with it);
+ *   - `multi` false (a single `<model.em>` argument) against a block naming several models is
+ *     `other-models` too (`narrowing`) - the single-model form must never silently narrow it;
+ *   - otherwise (same set, superset, subset or overlap, requested from the system manifest) the
+ *     block is regenerated for the requested set - `stale` when anything differs, e.g. a version
+ *     pin, an added model or a removed one.
+ * `em upgrade`'s ci-block step re-derives its arguments from the existing file (and, for a
+ * multi-model block, from the manifest), so it only ever plans the same set.
  */
-export declare function planCiFile(path: string, generated: string, managedBody: string, markerName: string, force: boolean): CiFileStatus;
+export declare function planCiFile(path: string, generated: string, managedBody: string, markerName: string, force: boolean, multi?: boolean): CiFileStatus;
 export declare function applyCiFile(path: string, status: CiFileStatus): void;
+export type CiModelsResult = {
+    ok: true;
+    models: CiModel[];
+    manifestPath: string;
+} | {
+    ok: false;
+    message: string;
+};
+/** Read the system manifest at `target` (a file, or a directory holding `system.yaml`) and turn
+ *  its `models:` into `CiModel`s whose paths are relative to `baseDir` - the repo root the
+ *  workflows run from. Reuses MIL-235's `parseManifest`; compiling the models is not needed to
+ *  write a workflow, so a model that does not compile does not block it. Every path goes through
+ *  `findUnsafeCiInitArg`; a source must be a `.em` file inside `baseDir`. */
+export declare function ciModelsFromManifest(target: string, baseDir: string): CiModelsResult;