@milehimikey/em 1.21.0 → 1.22.0

package/dist/cli/bindings.js

@@ -0,0 +1,462 @@
+// SPDX-License-Identifier: MIT
+// GH #449: the per-slice bindings manifest — `conformance/bindings/<slice-key>.yaml`, beside the
+// model. It is a FILE CONTRACT, not a CLI feature: any implementer that can commit a file can
+// write one by hand (see docs/bindings.md for the full schema an em-less agent can author from).
+// This module is `em`'s read side only — it never writes a bindings file.
+//
+// Two halves, both here:
+//  - `parseBindingsFile`: shape-validate the YAML (`yaml`'s `parseDocument` + `LineCounter`, the
+//    exact approach src/system/manifest.ts already uses for `system.yaml` — no new dependency).
+//    Pure: text in, a `BindingsFile` or line-numbered errors out. Never touches the filesystem.
+//  - `runBindingsCheck` and friends: `em conform bindings check` — deterministic, grep-level
+//    verification that every bound file exists under `--repo` and contains its bound identifier
+//    (plain substring, never code-parsed — language-agnostic by construction). Also resolves
+//    each element's `ref` against the compiled model's own export refs (model/refs.ts), so a
+//    bindings file that drifted from a renamed/removed element is caught as `unknown-ref`
+//    rather than silently "passing" because nobody looked at the file content.
+//
+// Advisory only (GH #449's own words): nothing here is wired into `em validate` or
+// `--slice-ready`, and `em conform bindings check`'s exit code stays 0 unless `--exit-code` is
+// given — the same opt-in-gate posture as `em refs --reachable-from`.
+import { existsSync, readdirSync, readFileSync, statSync } from "node:fs";
+import { join } from "node:path";
+import { LineCounter, parseDocument, isMap, isSeq, isScalar } from "yaml";
+/** The bindings-file schema version `em` writes expectations against. There is no writer in
+ *  `em` itself (the file contract is hand-authored, or written by any other tool) — this is
+ *  purely what `parseBindingsFile` accepts. */
+export const BINDINGS_SCHEMA_VERSION = "1.0";
+/** Where every per-slice bindings file lives, relative to the model's own directory. */
+export const BINDINGS_DIR = "conformance/bindings";
+/** The conventional path for one slice's bindings file, relative to the model directory. */
+export function bindingsFilePath(sliceKey) {
+    return `${BINDINGS_DIR}/${sliceKey}.yaml`;
+}
+/** A `<kind>.<slug>` element ref, lowercase dot-separated — the bare form valid WITHIN a bindings
+ *  file (the slice itself is already named by the file, so no `<sliceKey>/` prefix like `em
+ *  export`'s refs carry). */
+const REF_RE = /^[a-z][a-z0-9]*\.[a-z0-9]+(?:-[a-z0-9]+)*$/;
+const TOP_KEYS = new Set(["bindingsSchemaVersion", "slice", "elements", "invariants"]);
+const ELEMENT_KEYS = new Set(["ref", "file", "identifier", "note"]);
+const INVARIANT_KEYS = new Set(["id", "enforcedIn", "testedIn"]);
+const SITE_KEYS = new Set(["file", "identifier"]);
+/**
+ * Shape-validate a bindings file's YAML text. `expectedSlice`, when given, is the slice key the
+ * file's NAME says it binds (`conformance/bindings/<expectedSlice>.yaml`) — a `slice:` field
+ * disagreeing with it is a shape error, since "per-slice, named by the file" is the convention
+ * the whole scheme (parallel slice PRs never touching the same file) depends on. Never throws;
+ * every problem is a `"line N: ..."`-prefixed string (no line for a document-level problem),
+ * document-level issues first, then one entry at a time — same error style
+ * src/system/manifest.ts's `parseManifest` uses for the sibling `system.yaml` contract.
+ */
+export function parseBindingsFile(text, expectedSlice) {
+    const errors = [];
+    const lineCounter = new LineCounter();
+    const doc = parseDocument(text, { lineCounter, prettyErrors: false });
+    const lineOf = (node) => {
+        const range = node && typeof node === "object" && "range" in node ? node.range : undefined;
+        return range ? lineCounter.linePos(range[0]).line : undefined;
+    };
+    const invalid = (message, line) => errors.push(line !== undefined ? `line ${line}: ${message}` : message);
+    if (doc.errors.length > 0) {
+        for (const e of doc.errors)
+            invalid(`YAML parse error: ${e.message.trim()}`, e.linePos?.[0]?.line);
+        return { ok: false, errors };
+    }
+    const root = doc.contents;
+    if (!isMap(root)) {
+        invalid("bindings file must be a YAML mapping with `bindingsSchemaVersion`, `slice`, `elements`, `invariants`");
+        return { ok: false, errors };
+    }
+    for (const pair of root.items) {
+        const key = scalarString(pair.key);
+        if (key === undefined || !TOP_KEYS.has(key)) {
+            invalid(`unknown top-level key ${describeKey(pair.key)} — expected one of: ${[...TOP_KEYS].join(", ")}`, lineOf(pair));
+        }
+    }
+    const versionNode = root.get("bindingsSchemaVersion", true);
+    const version = scalarString(versionNode);
+    if (version === undefined) {
+        invalid(`missing or non-string \`bindingsSchemaVersion\` — set \`bindingsSchemaVersion: "${BINDINGS_SCHEMA_VERSION}"\``, lineOf(versionNode));
+    }
+    else if (version !== BINDINGS_SCHEMA_VERSION) {
+        invalid(`unsupported bindingsSchemaVersion "${version}" — this em accepts "${BINDINGS_SCHEMA_VERSION}"`, lineOf(versionNode));
+    }
+    const sliceNode = root.get("slice", true);
+    const slice = scalarString(sliceNode);
+    if (slice === undefined || slice.trim() === "") {
+        invalid("`slice` must be a non-empty string (the slice export key this file binds)", lineOf(sliceNode));
+    }
+    else if (expectedSlice !== undefined && slice.trim() !== expectedSlice) {
+        invalid(`\`slice: ${slice}\` does not match this file's name — a bindings file is named ` +
+            `\`${bindingsFilePath(expectedSlice)}\`, so \`slice:\` must be "${expectedSlice}"`, lineOf(sliceNode));
+    }
+    const elements = [];
+    const elementsNode = root.get("elements", true);
+    if (elementsNode !== undefined && !isExplicitNull(elementsNode)) {
+        if (!isSeq(elementsNode)) {
+            invalid("`elements` must be a list of { ref, file, identifier, note? }", lineOf(elementsNode));
+        }
+        else {
+            elementsNode.items.forEach((item, i) => {
+                const line = lineOf(item) ?? lineOf(elementsNode);
+                if (!isMap(item)) {
+                    invalid(`elements[${i}] must be a mapping with \`ref\`, \`file\`, \`identifier\``, line);
+                    return;
+                }
+                for (const p of item.items) {
+                    const k = scalarString(p.key);
+                    if (k === undefined || !ELEMENT_KEYS.has(k))
+                        invalid(`elements[${i}]: unknown key ${describeKey(p.key)} — expected ref, file, identifier, note`, lineOf(p));
+                }
+                const ref = scalarString(item.get("ref", true));
+                const file = scalarString(item.get("file", true));
+                const identifier = scalarString(item.get("identifier", true));
+                if (ref === undefined || ref.trim() === "")
+                    invalid(`elements[${i}]: \`ref\` must be a non-empty string ("<kind>.<slug>")`, line);
+                else if (!REF_RE.test(ref.trim()))
+                    invalid(`elements[${i}]: \`ref\` "${ref}" doesn't look like "<kind>.<slug>" (lowercase, dot-separated, e.g. "event.order-placed")`, line);
+                if (file === undefined || file.trim() === "")
+                    invalid(`elements[${i}]: \`file\` must be a non-empty repo-relative path`, line);
+                if (identifier === undefined || identifier.trim() === "")
+                    invalid(`elements[${i}]: \`identifier\` must be a non-empty string`, line);
+                const noteNode = item.get("note", true);
+                let note = null;
+                if (noteNode !== undefined && !isExplicitNull(noteNode)) {
+                    const n = scalarString(noteNode);
+                    if (n === undefined)
+                        invalid(`elements[${i}]: \`note\` must be a string`, lineOf(noteNode));
+                    else
+                        note = n;
+                }
+                if (ref !== undefined && ref.trim() !== "" && file !== undefined && file.trim() !== "" && identifier !== undefined && identifier.trim() !== "") {
+                    elements.push({ ref: ref.trim(), file: file.trim(), identifier, note });
+                }
+            });
+        }
+    }
+    const invariants = [];
+    const invariantsNode = root.get("invariants", true);
+    if (invariantsNode !== undefined && !isExplicitNull(invariantsNode)) {
+        if (!isSeq(invariantsNode)) {
+            invalid("`invariants` must be a list of { id, enforcedIn: {file, identifier}, testedIn: {file, identifier} }", lineOf(invariantsNode));
+        }
+        else {
+            invariantsNode.items.forEach((item, i) => {
+                const line = lineOf(item) ?? lineOf(invariantsNode);
+                if (!isMap(item)) {
+                    invalid(`invariants[${i}] must be a mapping with \`id\`, \`enforcedIn\`, \`testedIn\``, line);
+                    return;
+                }
+                for (const p of item.items) {
+                    const k = scalarString(p.key);
+                    if (k === undefined || !INVARIANT_KEYS.has(k))
+                        invalid(`invariants[${i}]: unknown key ${describeKey(p.key)} — expected id, enforcedIn, testedIn`, lineOf(p));
+                }
+                const id = scalarString(item.get("id", true));
+                if (id === undefined || id.trim() === "")
+                    invalid(`invariants[${i}]: \`id\` must be a non-empty string ("INV-...")`, line);
+                else if (!/^INV-/.test(id.trim()))
+                    invalid(`invariants[${i}]: \`id\` "${id}" doesn't look like an INV-* token`, line);
+                const parseSite = (key) => {
+                    const siteNode = item.get(key, true);
+                    const siteLine = lineOf(siteNode) ?? line;
+                    if (!isMap(siteNode)) {
+                        invalid(`invariants[${i}].${key} must be a mapping with \`file\`, \`identifier\``, siteLine);
+                        return undefined;
+                    }
+                    for (const p of siteNode.items) {
+                        const k = scalarString(p.key);
+                        if (k === undefined || !SITE_KEYS.has(k))
+                            invalid(`invariants[${i}].${key}: unknown key ${describeKey(p.key)} — expected file, identifier`, lineOf(p));
+                    }
+                    const file = scalarString(siteNode.get("file", true));
+                    const identifier = scalarString(siteNode.get("identifier", true));
+                    if (file === undefined || file.trim() === "")
+                        invalid(`invariants[${i}].${key}.file must be a non-empty repo-relative path`, siteLine);
+                    if (identifier === undefined || identifier.trim() === "")
+                        invalid(`invariants[${i}].${key}.identifier must be a non-empty string`, siteLine);
+                    if (file !== undefined && file.trim() !== "" && identifier !== undefined && identifier.trim() !== "") {
+                        return { file: file.trim(), identifier };
+                    }
+                    return undefined;
+                };
+                const enforcedIn = parseSite("enforcedIn");
+                const testedIn = parseSite("testedIn");
+                if (id !== undefined && id.trim() !== "" && enforcedIn && testedIn) {
+                    invariants.push({ id: id.trim(), enforcedIn, testedIn });
+                }
+            });
+        }
+    }
+    if (errors.length > 0)
+        return { ok: false, errors };
+    return {
+        ok: true,
+        doc: { bindingsSchemaVersion: version, slice: slice.trim(), elements, invariants },
+    };
+}
+function isExplicitNull(node) {
+    return isScalar(node) && node.value === null;
+}
+/** A scalar node's value as a string — `undefined` for a missing node, a non-scalar, or a
+ *  non-string scalar (same discipline src/system/manifest.ts's `scalarString` holds: a number/
+ *  boolean/null is never silently coerced to a string). */
+function scalarString(node) {
+    if (!isScalar(node))
+        return undefined;
+    return typeof node.value === "string" ? node.value : undefined;
+}
+function describeKey(node) {
+    if (isScalar(node))
+        return `"${String(node.value)}"`;
+    return "(non-scalar key)";
+}
+// ---- `em conform bindings check` ----------------------------------------------------------
+export const BINDINGS_CHECK_SCHEMA_VERSION = "1.0";
+/** Every `<slice-key>` with a `conformance/bindings/<slice-key>.yaml` beside the model, sorted —
+ *  deterministic file order for both the text report and `--json`. `[]` when the directory
+ *  doesn't exist (bindings are opt-in; no files yet is not an error). */
+export function listBindingsSliceKeys(modelDir) {
+    let names;
+    try {
+        names = readdirSync(join(modelDir, BINDINGS_DIR));
+    }
+    catch {
+        return [];
+    }
+    return names
+        .filter((n) => n.endsWith(".yaml"))
+        .map((n) => n.slice(0, -".yaml".length))
+        .sort();
+}
+/** The bare `<kind>.<slug>` refs (no `<sliceKey>/` prefix) the compiled model actually declares
+ *  for `sliceKey` — what a bindings file's `elements[].ref` is checked against. */
+function elementRefsForSlice(refs, sliceKey) {
+    const prefix = `${sliceKey}/`;
+    const out = new Set();
+    for (const ref of refs.refById.values()) {
+        if (ref.startsWith(prefix))
+            out.add(ref.slice(prefix.length));
+    }
+    return out;
+}
+/** Grep-level only: does `file` (resolved under `repoDir`) exist, and does it contain
+ *  `identifier` as a plain substring. Never parses code, never cares about language. */
+function checkSite(repoDir, site) {
+    const absPath = join(repoDir, site.file);
+    let fileExists = false;
+    try {
+        fileExists = statSync(absPath).isFile();
+    }
+    catch {
+        fileExists = false;
+    }
+    let identifierFound = false;
+    if (fileExists) {
+        try {
+            identifierFound = readFileSync(absPath, "utf8").includes(site.identifier);
+        }
+        catch {
+            identifierFound = false;
+        }
+    }
+    return { file: site.file, identifier: site.identifier, fileExists, identifierFound, ok: fileExists && identifierFound };
+}
+function checkElement(repoDir, el, validRefs) {
+    if (!validRefs.has(el.ref)) {
+        return { ref: el.ref, file: el.file, identifier: el.identifier, note: el.note, knownRef: false, fileExists: null, identifierFound: null, ok: false };
+    }
+    const site = checkSite(repoDir, el);
+    return {
+        ref: el.ref,
+        file: el.file,
+        identifier: el.identifier,
+        note: el.note,
+        knownRef: true,
+        fileExists: site.fileExists,
+        identifierFound: site.identifierFound,
+        ok: site.ok,
+    };
+}
+function checkInvariant(repoDir, inv) {
+    const enforcedIn = checkSite(repoDir, inv.enforcedIn);
+    const testedIn = checkSite(repoDir, inv.testedIn);
+    return { id: inv.id, enforcedIn, testedIn, ok: enforcedIn.ok && testedIn.ok };
+}
+function checkOneBindingsFile(refs, modelDir, repoDir, sliceKey) {
+    const path = bindingsFilePath(sliceKey);
+    const absPath = join(modelDir, path);
+    if (!existsSync(absPath)) {
+        return { path, slice: sliceKey, kind: "missing", ok: false, errors: [`no bindings file at ${path}`], elements: [], invariants: [] };
+    }
+    let text;
+    try {
+        text = readFileSync(absPath, "utf8");
+    }
+    catch (e) {
+        return { path, slice: sliceKey, kind: "malformed", ok: false, errors: [`could not read ${path}: ${e.message}`], elements: [], invariants: [] };
+    }
+    const parsed = parseBindingsFile(text, sliceKey);
+    if (!parsed.ok) {
+        return { path, slice: sliceKey, kind: "malformed", ok: false, errors: parsed.errors, elements: [], invariants: [] };
+    }
+    if (!refs.sliceKeys.includes(parsed.doc.slice)) {
+        return { path, slice: parsed.doc.slice, kind: "unknown-slice", ok: false, errors: [`slice "${parsed.doc.slice}" is not in the model`], elements: [], invariants: [] };
+    }
+    const validRefs = elementRefsForSlice(refs, parsed.doc.slice);
+    const elements = parsed.doc.elements.map((el) => checkElement(repoDir, el, validRefs));
+    const invariants = parsed.doc.invariants.map((inv) => checkInvariant(repoDir, inv));
+    const ok = elements.every((e) => e.ok) && invariants.every((i) => i.ok);
+    return { path, slice: parsed.doc.slice, kind: "checked", ok, errors: [], elements, invariants };
+}
+function summarize(files) {
+    let filesOk = 0;
+    let elementsChecked = 0;
+    let elementsOk = 0;
+    let invariantsChecked = 0;
+    let invariantsOk = 0;
+    for (const f of files) {
+        if (f.ok)
+            filesOk++;
+        elementsChecked += f.elements.length;
+        elementsOk += f.elements.filter((e) => e.ok).length;
+        invariantsChecked += f.invariants.length;
+        invariantsOk += f.invariants.filter((i) => i.ok).length;
+    }
+    return {
+        filesChecked: files.length,
+        filesOk,
+        filesFailed: files.length - filesOk,
+        elementsChecked,
+        elementsOk,
+        elementsFailed: elementsChecked - elementsOk,
+        invariantsChecked,
+        invariantsOk,
+        invariantsFailed: invariantsChecked - invariantsOk,
+    };
+}
+/**
+ * `em conform bindings check <model.em> --repo <path> [--slice <key>]`'s core: with `sliceKey`,
+ * checks exactly that one `conformance/bindings/<sliceKey>.yaml` (reporting `missing` rather than
+ * an empty result when it doesn't exist — the caller asked for this one, by name); without it,
+ * checks every bindings file present (an empty `files` list, `ok: true`, when none exist yet —
+ * bindings are opt-in). `modelDir` is the model's own directory (`dirname(<model>.em)`, the same
+ * convention every doc/note/conformance path in `em` uses); `repoDir` is `--repo`, resolved as
+ * given (never required to be a git repository — this check never shells out to git).
+ */
+export function runBindingsCheck(refs, modelDir, repoDir, sliceKey) {
+    const sliceKeys = sliceKey !== undefined ? [sliceKey] : listBindingsSliceKeys(modelDir);
+    const files = sliceKeys.map((key) => checkOneBindingsFile(refs, modelDir, repoDir, key));
+    return { ok: files.every((f) => f.ok), slice: sliceKey ?? null, files, summary: summarize(files) };
+}
+/** `em conform bindings check --json` document. Explicit nulls, deterministic key order, no
+ *  schema field reused from any other surface. */
+export function buildBindingsCheckJson(result) {
+    const doc = {
+        bindingsCheckSchemaVersion: BINDINGS_CHECK_SCHEMA_VERSION,
+        slice: result.slice,
+        ok: result.ok,
+        files: result.files.map((f) => ({
+            path: f.path,
+            slice: f.slice,
+            kind: f.kind,
+            ok: f.ok,
+            errors: f.errors,
+            elements: f.elements.map((e) => ({
+                ref: e.ref,
+                file: e.file,
+                identifier: e.identifier,
+                note: e.note,
+                knownRef: e.knownRef,
+                fileExists: e.fileExists,
+                identifierFound: e.identifierFound,
+                ok: e.ok,
+            })),
+            invariants: f.invariants.map((i) => ({
+                id: i.id,
+                enforcedIn: {
+                    file: i.enforcedIn.file,
+                    identifier: i.enforcedIn.identifier,
+                    fileExists: i.enforcedIn.fileExists,
+                    identifierFound: i.enforcedIn.identifierFound,
+                    ok: i.enforcedIn.ok,
+                },
+                testedIn: {
+                    file: i.testedIn.file,
+                    identifier: i.testedIn.identifier,
+                    fileExists: i.testedIn.fileExists,
+                    identifierFound: i.testedIn.identifierFound,
+                    ok: i.testedIn.ok,
+                },
+                ok: i.ok,
+            })),
+        })),
+        summary: result.summary,
+    };
+    return JSON.stringify(doc, null, 2);
+}
+/** The reason a single element/invariant-site check failed, for the text report — `null` on a
+ *  pass. Checked in the same order the checker itself short-circuits. Takes the two flags rather
+ *  than a `SiteCheck` so it also reads an `ElementCheck` with `knownRef: true` (whose
+ *  `fileExists`/`identifierFound` are booleans in practice, `boolean | null` only in the type —
+ *  never called on a `knownRef: false` element, which has its own "unknown ref" message). */
+function siteFailureReason(flags) {
+    if (!flags.fileExists)
+        return "file not found";
+    if (!flags.identifierFound)
+        return "identifier not found";
+    return null;
+}
+/** The plain-text report `em conform bindings check` prints (no `--json`): per-binding pass/fail
+ *  lines, then one summary line. Exported so tests can assert on it without spawning the CLI. */
+export function renderBindingsCheckText(result) {
+    const lines = [];
+    if (result.files.length === 0) {
+        lines.push(result.slice !== null ? `no bindings files found for slice "${result.slice}"` : `no bindings files found (${BINDINGS_DIR}/*.yaml)`);
+        return lines.join("\n");
+    }
+    for (const f of result.files) {
+        lines.push(`${f.path} (slice "${f.slice}")`);
+        if (f.kind === "missing") {
+            lines.push(`  [FAIL] ${f.errors[0]}`);
+            continue;
+        }
+        if (f.kind === "malformed") {
+            lines.push("  [FAIL] malformed bindings file:");
+            for (const e of f.errors)
+                lines.push(`    - ${e}`);
+            continue;
+        }
+        if (f.kind === "unknown-slice") {
+            lines.push(`  [FAIL] ${f.errors[0]}`);
+            continue;
+        }
+        if (f.elements.length === 0 && f.invariants.length === 0) {
+            lines.push("  (no elements or invariants bound)");
+        }
+        for (const e of f.elements) {
+            if (!e.knownRef) {
+                lines.push(`  [FAIL] ${e.ref} -> ${e.file} ("${e.identifier}") — unknown element ref (not in the model)`);
+                continue;
+            }
+            const reason = siteFailureReason(e);
+            lines.push(`  [${e.ok ? "ok" : "FAIL"}] ${e.ref} -> ${e.file} ("${e.identifier}")${reason ? ` — ${reason}` : ""}`);
+        }
+        for (const i of f.invariants) {
+            for (const [label, site] of [
+                ["enforced", i.enforcedIn],
+                ["tested", i.testedIn],
+            ]) {
+                const reason = siteFailureReason(site);
+                lines.push(`  [${site.ok ? "ok" : "FAIL"}] ${i.id} ${label}: ${site.file} ("${site.identifier}")${reason ? ` — ${reason}` : ""}`);
+            }
+        }
+    }
+    const s = result.summary;
+    lines.push("");
+    lines.push(`summary: ${s.filesChecked} file(s) checked, ${s.filesFailed} failed; ` +
+        `${s.elementsChecked} element binding(s), ${s.elementsFailed} failed; ` +
+        `${s.invariantsChecked} invariant binding(s), ${s.invariantsFailed} failed`);
+    return lines.join("\n");
+}
+//# sourceMappingURL=bindings.js.map

package/dist/cli/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sourceRoot":"","sources":["../../src/cli/bindings.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,iGAAiG;AACjG,8FAA8F;AAC9F,iGAAiG;AACjG,0EAA0E;AAC1E,EAAE;AACF,yBAAyB;AACzB,iGAAiG;AACjG,gGAAgG;AAChG,gGAAgG;AAChG,6FAA6F;AAC7F,gGAAgG;AAChG,6FAA6F;AAC7F,6FAA6F;AAC7F,0FAA0F;AAC1F,+EAA+E;AAC/E,EAAE;AACF,mFAAmF;AACnF,+FAA+F;AAC/F,sEAAsE;AAEtE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAQ,MAAM,MAAM,CAAC;AAGhF;;+CAE+C;AAC/C,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,CAAC;AAE7C,wFAAwF;AACxF,MAAM,CAAC,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAEnD,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,GAAG,YAAY,IAAI,QAAQ,OAAO,CAAC;AAC5C,CAAC;AAED;;6BAE6B;AAC7B,MAAM,MAAM,GAAG,4CAA4C,CAAC;AAkC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,uBAAuB,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AACvF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;AACpE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AACjE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,aAAsB;IACpE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;IACtC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,CAAC,IAAa,EAAsB,EAAE;QACnD,MAAM,KAAK,GAAG,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAK,IAA4B,CAAC,CAAC,CAAE,IAAa,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9H,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,IAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAE3H,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM;YAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO,CAAC,sGAAsG,CAAC,CAAC;QAChH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,yBAAyB,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,uBAAuB,EAAE,IAAI,CAAqB,CAAC;IAChF,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC,mFAAmF,uBAAuB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IAChJ,CAAC;SAAM,IAAI,OAAO,KAAK,uBAAuB,EAAE,CAAC;QAC/C,OAAO,CAAC,sCAAsC,OAAO,wBAAwB,uBAAuB,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IAChI,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAqB,CAAC;IAC9D,MAAM,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,OAAO,CAAC,2EAA2E,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1G,CAAC;SAAM,IAAI,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;QACzE,OAAO,CACL,YAAY,KAAK,gEAAgE;YAC/E,KAAK,gBAAgB,CAAC,aAAa,CAAC,8BAA8B,aAAa,GAAG,EACpF,MAAM,CAAC,SAAS,CAAC,CAClB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAqB,CAAC;IACpE,IAAI,YAAY,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,+DAA+D,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;QACjG,CAAC;aAAM,CAAC;YACN,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC;gBAClD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,OAAO,CAAC,YAAY,CAAC,4DAA4D,EAAE,IAAI,CAAC,CAAC;oBACzF,OAAO;gBACT,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAC9B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,OAAO,CAAC,YAAY,CAAC,kBAAkB,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,yCAAyC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9J,CAAC;gBACD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAqB,CAAC,CAAC;gBACpE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAqB,CAAC,CAAC;gBACtE,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAqB,CAAC,CAAC;gBAClF,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,CAAC,YAAY,CAAC,yDAAyD,EAAE,IAAI,CAAC,CAAC;qBAC7H,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;oBAAE,OAAO,CAAC,YAAY,CAAC,eAAe,GAAG,2FAA2F,EAAE,IAAI,CAAC,CAAC;gBAC7K,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,CAAC,YAAY,CAAC,oDAAoD,EAAE,IAAI,CAAC,CAAC;gBAC/H,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,CAAC,YAAY,CAAC,8CAA8C,EAAE,IAAI,CAAC,CAAC;gBACrI,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAqB,CAAC;gBAC5D,IAAI,IAAI,GAAkB,IAAI,CAAC;gBAC/B,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxD,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;oBACjC,IAAI,CAAC,KAAK,SAAS;wBAAE,OAAO,CAAC,YAAY,CAAC,8BAA8B,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;;wBACvF,IAAI,GAAG,CAAC,CAAC;gBAChB,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC/I,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAqB,CAAC;IACxE,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,qGAAqG,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;QACzI,CAAC;aAAM,CAAC;YACN,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC;gBACpD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjB,OAAO,CAAC,cAAc,CAAC,+DAA+D,EAAE,IAAI,CAAC,CAAC;oBAC9F,OAAO;gBACT,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAC9B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,OAAO,CAAC,cAAc,CAAC,kBAAkB,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,sCAAsC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/J,CAAC;gBACD,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAqB,CAAC,CAAC;gBAClE,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,CAAC,cAAc,CAAC,kDAAkD,EAAE,IAAI,CAAC,CAAC;qBACtH,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;oBAAE,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,oCAAoC,EAAE,IAAI,CAAC,CAAC;gBAEtH,MAAM,SAAS,GAAG,CAAC,GAA8B,EAA2B,EAAE;oBAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAqB,CAAC;oBACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;oBAC1C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrB,OAAO,CAAC,cAAc,CAAC,KAAK,GAAG,kDAAkD,EAAE,QAAQ,CAAC,CAAC;wBAC7F,OAAO,SAAS,CAAC;oBACnB,CAAC;oBACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;wBAC/B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;wBAC9B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;4BAAE,OAAO,CAAC,cAAc,CAAC,KAAK,GAAG,iBAAiB,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,8BAA8B,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACzJ,CAAC;oBACD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAqB,CAAC,CAAC;oBAC1E,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAqB,CAAC,CAAC;oBACtF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;wBAAE,OAAO,CAAC,cAAc,CAAC,KAAK,GAAG,8CAA8C,EAAE,QAAQ,CAAC,CAAC;oBACvI,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;wBAAE,OAAO,CAAC,cAAc,CAAC,KAAK,GAAG,wCAAwC,EAAE,QAAQ,CAAC,CAAC;oBAC7I,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;wBACrG,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC;oBAC3C,CAAC;oBACD,OAAO,SAAS,CAAC;gBACnB,CAAC,CAAC;gBACF,MAAM,UAAU,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;gBAC3C,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;oBACnE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACpD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,GAAG,EAAE,EAAE,qBAAqB,EAAE,OAAQ,EAAE,KAAK,EAAE,KAAM,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE;KACrF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED;;2DAE2D;AAC3D,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,IAAa;IAChC,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;IACrD,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,8FAA8F;AAE9F,MAAM,CAAC,MAAM,6BAA6B,GAAG,KAAK,CAAC;AA2DnD;;yEAEyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACH,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;SACvC,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;mFACmF;AACnF,SAAS,mBAAmB,CAAC,IAAgB,EAAE,QAAgB;IAC7D,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;wFACwF;AACxF,SAAS,SAAS,CAAC,OAAe,EAAE,IAAiB;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,UAAU,GAAG,KAAK,CAAC;IACrB,CAAC;IACD,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,eAAe,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5E,CAAC;QAAC,MAAM,CAAC;YACP,eAAe,GAAG,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,EAAE,EAAE,UAAU,IAAI,eAAe,EAAE,CAAC;AAC1H,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,EAAkB,EAAE,SAA8B;IACvF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvJ,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACpC,OAAO;QACL,GAAG,EAAE,EAAE,CAAC,GAAG;QACX,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,EAAE,EAAE,IAAI,CAAC,EAAE;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAAe,EAAE,GAAqB;IAC5D,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB,EAAE,QAAgB,EAAE,OAAe,EAAE,QAAgB;IACjG,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACtI,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,kBAAkB,IAAI,KAAM,CAAW,CAAC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5J,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACtH,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,UAAU,MAAM,CAAC,GAAG,CAAC,KAAK,uBAAuB,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACxK,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACpF,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,KAA2B;IAC5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,EAAE;YAAE,OAAO,EAAE,CAAC;QACpB,eAAe,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QACrC,UAAU,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QACpD,iBAAiB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;QACzC,YAAY,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;IAC1D,CAAC;IACD,OAAO;QACL,YAAY,EAAE,KAAK,CAAC,MAAM;QAC1B,OAAO;QACP,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,OAAO;QACnC,eAAe;QACf,UAAU;QACV,cAAc,EAAE,eAAe,GAAG,UAAU;QAC5C,iBAAiB;QACjB,YAAY;QACZ,gBAAgB,EAAE,iBAAiB,GAAG,YAAY;KACnD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAgB,EAAE,QAAgB,EAAE,OAAe,EAAE,QAAiB;IACrG,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;AACrG,CAAC;AAED;kDACkD;AAClD,MAAM,UAAU,sBAAsB,CAAC,MAA8B;IACnE,MAAM,GAAG,GAAG;QACV,0BAA0B,EAAE,6BAA6B;QACzD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC/B,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,eAAe,EAAE,CAAC,CAAC,eAAe;gBAClC,EAAE,EAAE,CAAC,CAAC,EAAE;aACT,CAAC,CAAC;YACH,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,UAAU,EAAE;oBACV,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI;oBACvB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU;oBACnC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU;oBACnC,eAAe,EAAE,CAAC,CAAC,UAAU,CAAC,eAAe;oBAC7C,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE;iBACpB;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI;oBACrB,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACjC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACjC,eAAe,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe;oBAC3C,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE;iBAClB;gBACD,EAAE,EAAE,CAAC,CAAC,EAAE;aACT,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAED;;;;6FAI6F;AAC7F,SAAS,iBAAiB,CAAC,KAAsE;IAC/F,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,gBAAgB,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,eAAe;QAAE,OAAO,sBAAsB,CAAC;IAC1D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;iGACiG;AACjG,MAAM,UAAU,uBAAuB,CAAC,MAA8B;IACpE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,sCAAsC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,4BAA4B,YAAY,UAAU,CAAC,CAAC;QAC/I,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,6CAA6C,CAAC,CAAC;gBAC1G,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI;gBAC1B,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;gBAC1B,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC;aACd,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACpI,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,YAAY,CAAC,CAAC,YAAY,qBAAqB,CAAC,CAAC,WAAW,WAAW;QACrE,GAAG,CAAC,CAAC,eAAe,wBAAwB,CAAC,CAAC,cAAc,WAAW;QACvE,GAAG,CAAC,CAAC,iBAAiB,0BAA0B,CAAC,CAAC,gBAAgB,SAAS,CAC9E,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/cli/conformScope.d.ts

@@ -17,11 +17,19 @@ export interface SliceDocFacts {
      *  pre-1.15 `status: implemented`). The scope predicate, in place of `status === "implemented"`:
      *  a slice whose next version is an open `draft` still has shipped code to check. */
     shipped: boolean;
+    /** GH #451 (storyline models): the storyline model file this slice's body lives in — posix,
+     *  relative to the root model's directory (`Slice.file` from model/model.ts) — or `null` for a
+     *  slice declared in the root file. Echoed on `CandidateSlice` below so the agent knows which
+     *  scratch file to edit without a second lookup against the model: `<model>-asis.em` when
+     *  `null`, else that file's own `-asis` sibling (`seedAsisModel`, below). */
+    file: string | null;
 }
 export interface CandidateSlice {
     key: string;
     matchedBy: "implementedIn" | "full";
     paths: string[];
+    /** GH #451: see `SliceDocFacts.file`. */
+    file: string | null;
 }
 /** The `em conform-scope` JSON document (ticket MIL-100). `lastConformance` echoes what was
  *  parsed from the state file even under `--full` — the caller always knows what was on record,
@@ -104,6 +112,14 @@ export declare function changedPathsStaged(repo: string, runGit?: GitRunner, lab
 export interface SeedAsisResult {
     asisPath: string;
     gitignoreUpdated: boolean;
+    /** GH #451 (storyline models): one entry per storyline model file the root declares (`in` or
+     *  the default `<slug>/<slug>.em`) — the file byte-copied to its own `-asis` sibling, and the
+     *  path written into `asisPath`'s own `storyline … in "…"` declaration (see below). `[]` for a
+     *  model with no storyline files — not omitted, so the JSON shape stays stable either way. */
+    storylineFiles: {
+        file: string;
+        asisFile: string;
+    }[];
 }
 /**
  * `--seed-asis`: byte-copy `modelFile` to `<dirname(modelFile)>/<stem>-asis.em`, and make sure
@@ -115,5 +131,21 @@ export interface SeedAsisResult {
  * model the repo holds. Falls back to a `.gitignore` right next to the model when the model
  * isn't inside a git repo at all. Idempotent: never appends a second `*-asis.em` line if one
  * (exactly, on its own line) is already present anywhere in the file.
+ *
+ * GH #451 (storyline models): a root that declares a storyline without a body (GH #421 — its
+ * slices live in their own `<slug>/<slug>.em` file) has NO slice bodies of its own to rewrite in
+ * `<model>-asis.em` for an in-scope slice that lives in one of those files — editing the root
+ * copy alone leaves the agent nowhere to write the as-is picture, and editing the CANONICAL
+ * storyline file directly (the only other file that exists) would corrupt it, not scratch it.
+ * So this also byte-copies each storyline file the root declares to its own `-asis` sibling and
+ * rewrites the copied root's declaration line to `in` that sibling instead of the canonical file
+ * — `em diff <model>.em <model>-asis.em` then reads the canonical file on one side and the
+ * scratch copies on the other, exactly as the inline-block case always has. Reparses the root
+ * text itself (not a caller-supplied `NormalizedModel`) specifically so `source`/`after` come
+ * back exactly as the root declares them, never as the cross-file inheritance
+ * `loadModelAst`/`compileModelFile` apply when the root's own declaration omits `source` (a
+ * storyline file's own header fills that gap on the COMPILED model, which would otherwise get
+ * redundantly copied onto the rewritten root line). A model with no external storylines (the
+ * common case) is byte-copied exactly as before — a no-op change for every non-storyline model.
  */
 export declare function seedAsisModel(modelFile: string, runGit?: GitRunner): SeedAsisResult;