@sdd-method/sdd-cli 1.23.1 → 1.24.0

package/dist/lib/metamodel/roundtrip-gate.js

@@ -0,0 +1,297 @@
+// The catalogue-metamodel round-trip GATE (M-ADR 0210 §4.2; §4.6 flips 1 and 2) — the CLI verb that
+// replaces the orchestration-script prototype under M-ADR 0127 §4.3.
+//
+// The authored form is the TypeQL pair; catalogue-schema.yaml and rubric-coverage-map.yaml are GENERATED
+// projections of it. This gate is what makes that derivation checkable: it parses the documented subset
+// fail-closed (tql-subset-parser), rebuilds both projections (schema-projection), and compares.
+//
+// Modes
+//   steady (default)  each regenerated projection must be BYTE-IDENTICAL to the committed file
+//   migrate           semantic comparison against OLD files, run once at a flip or an emitter change;
+//                     `schema_status` is the only named difference, and only on the schema
+//   write             regenerate and overwrite both committed projections
+//   self-test         run the mutation controls alone and report
+//
+// Controls run FIRST in every verdict mode (M-ADR 0205 §4.3): seven mutations of the authored form must
+// each be REFUSED before a passing comparison means anything. They are a property of the GENERATOR, not
+// of the committed file: a mutation is refused when the parser rejects it or when it changes the
+// regeneration relative to the unmutated authored form.
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join, relative, resolve } from "node:path";
+import { parse as parseYaml, stringify as stringifyYaml } from "yaml";
+import { ParseError, parseMeta, parseTypes } from "./tql-subset-parser.js";
+import { projectMap, projectSchema } from "./schema-projection.js";
+export const CANONICAL_PATHS = {
+    tql: "docs/method/foundations/schemas/catalogue-schema.tql",
+    meta: "docs/method/foundations/schemas/catalogue-schema-meta.tql",
+    schema: "docs/method/foundations/schemas/catalogue-schema.yaml",
+    map: "orchestration/rubric-coverage-map.yaml",
+};
+const VERB = "sdd-cli metamodel roundtrip";
+const GENERATED_HEADER = "# GENERATED — DO NOT EDIT. This file is a projection of the authored model (M-ADR 0210 §4.6, flip 1):\n" +
+    "#   docs/method/foundations/schemas/catalogue-schema.tql        (the type system; header carries the bump log)\n" +
+    "#   docs/method/foundations/schemas/catalogue-schema-meta.tql   (what a type system cannot say)\n" +
+    `# Regenerate:  ${VERB} --write\n` +
+    `# Guard:       ${VERB}   (any difference fails the build)\n` +
+    "# Direction of truth: authored .tql -> this projection (round-trip gate) -> vendored copies (digest hook).\n" +
+    "# Emitted by sdd-cli's YAML emitter with no line folding; the three header scalars are quoted for the\n" +
+    "# textual readers downstream. The one deliberate difference from the authored form is schema_status:\n" +
+    "# the authored form says canonical; a projection never does.\n";
+const MAP_HEADER = "# GENERATED — DO NOT EDIT. This file is a projection of the authored model (M-ADR 0210 §4.6, flip 2):\n" +
+    "#   docs/method/foundations/schemas/catalogue-schema-meta.tql — coverage-meta + relationship-meta rows carry\n" +
+    "#   every entry here; the relations themselves (roles, players) are in catalogue-schema.tql.\n" +
+    `# Regenerate:  ${VERB} --write\n` +
+    `# Guard:       ${VERB}   (any difference fails the build)\n` +
+    "# Vocabularies, rulings and the reading of each token live in the authored .tql header, as comments.\n";
+function dump(obj) {
+    return stringifyYaml(obj, { lineWidth: 0, indentSeq: false, aliasDuplicateObjects: false });
+}
+/** Emit projection 1. The three header scalars are QUOTED: two downstream readers take the version textually. */
+export function emitSchema(out) {
+    let text = dump(out);
+    for (const k of ["schema_version", "schema_owner", "schema_status"]) {
+        text = text.replace(new RegExp(`^${k}: (?!")([^\\n]+)$`, "m"), (_m, v) => `${k}: "${v}"`);
+    }
+    return GENERATED_HEADER + text;
+}
+export function emitMap(cov) {
+    return MAP_HEADER + dump(cov);
+}
+/** Parse + project + emit from the two authored texts. Throws ParseError (fail-closed). */
+export function regenerateFromText(tqlText, metaText) {
+    const types = parseTypes(tqlText);
+    const meta = parseMeta(metaText);
+    const schema = projectSchema(types, meta);
+    const map = projectMap(meta);
+    return { schemaText: emitSchema(schema), mapText: emitMap(map), schema, map };
+}
+function retargetOnePlayer(tql) {
+    const m = /^(entity ([a-z0-9-]+), [^\n]*?)(, plays ([a-z0-9-]+:[a-z0-9-]+))/m.exec(tql);
+    if (!m)
+        return tql;
+    const start = m.index + m[1].length;
+    const stripped = tql.slice(0, start) + tql.slice(start + m[3].length);
+    const other = new RegExp(`^(entity (?!${m[2].replace(/[-]/g, "\\-")}\\b)([a-z0-9-]+), [^\\n]*?)(;)$`, "m").exec(stripped);
+    if (!other)
+        return tql;
+    const at = other.index + other[1].length;
+    return stripped.slice(0, at) + `, plays ${m[4]}` + stripped.slice(at);
+}
+export function mutations(tql, meta) {
+    return [
+        { label: "@values on an owns clause", tql: tql.replace(/(entity [a-z0-9-]+, owns [a-z0-9-]+ @key)/, '$1 @values("x")'), meta },
+        { label: "@card(2..3) in place of @card(1..1)", tql: tql.replace(/^(entity [^\n#]*?)@card\(1\.\.1\)/m, "$1@card(2..3)"), meta },
+        {
+            label: "a role with two players",
+            tql: tql + "relation ctl-rel, relates ctl-role;\nentity ctl-a, plays ctl-rel:ctl-role;\nentity ctl-b, plays ctl-rel:ctl-role;\n",
+            meta,
+        },
+        { label: "attribute value type contradicting the column's type family", tql: tql.replace(/^attribute id, value string;$/m, "attribute id, value integer;"), meta },
+        { label: "a changed description must make the projection differ", tql, meta: meta.replace('has m-description "', 'has m-description "CONTROL-MUTATION ') },
+        { label: "a role's cardinality change must change the projection (nullable)", tql: tql.replace(/^(relation [^\n#]*?relates [a-z0-9-]+ )@card\(1\.\.1\)/m, "$1@card(0..1)"), meta },
+        { label: "a role player disagreeing with the declared permitted player is refused", tql: retargetOnePlayer(tql), meta },
+    ];
+}
+export function runControls(tql, meta) {
+    let clean;
+    try {
+        clean = regenerateFromText(tql, meta);
+    }
+    catch (e) {
+        return { ok: false, fired: 0, total: 7, results: [], cleanError: e.message };
+    }
+    const results = [];
+    for (const m of mutations(tql, meta)) {
+        if (m.tql === tql && m.meta === meta) {
+            results.push({ label: m.label, refused: false, reason: "mutation did not apply — the anchor text is missing" });
+            continue;
+        }
+        try {
+            const r = regenerateFromText(m.tql, m.meta);
+            const refused = r.schemaText !== clean.schemaText || r.mapText !== clean.mapText;
+            results.push({ label: m.label, refused, reason: refused ? "regeneration differs from the unmutated form" : "NOT FIRED — mutation left the regeneration unchanged" });
+        }
+        catch (e) {
+            if (!(e instanceof ParseError))
+                throw e;
+            results.push({ label: m.label, refused: true, reason: `refused: ${e.message}` });
+        }
+    }
+    const fired = results.filter((r) => r.refused).length;
+    return { ok: fired === results.length, fired, total: results.length, results };
+}
+// ---- semantic diff for migration mode ----
+export function* semanticDiff(a, b, path = "$") {
+    if (a !== null && b !== null && typeof a === "object" && typeof b === "object" && !Array.isArray(a) && !Array.isArray(b)) {
+        const ao = a;
+        const bo = b;
+        for (const k of [...new Set([...Object.keys(ao), ...Object.keys(bo)])].sort()) {
+            if (!(k in ao))
+                yield `${path}.${k}: only in regenerated`;
+            else if (!(k in bo))
+                yield `${path}.${k}: only in old`;
+            else
+                yield* semanticDiff(ao[k], bo[k], `${path}.${k}`);
+        }
+    }
+    else if (Array.isArray(a) && Array.isArray(b)) {
+        if (a.length !== b.length)
+            yield `${path}: list length ${a.length} vs ${b.length}`;
+        for (let i = 0; i < Math.min(a.length, b.length); i++)
+            yield* semanticDiff(a[i], b[i], `${path}[${i}]`);
+    }
+    else if (JSON.stringify(a) !== JSON.stringify(b)) {
+        yield `${path}: ${JSON.stringify(a)} vs ${JSON.stringify(b)}`;
+    }
+}
+function unifiedDiffLines(committed, regen, max = 30) {
+    const a = committed.split("\n");
+    const b = regen.split("\n");
+    const out = [];
+    const n = Math.max(a.length, b.length);
+    for (let i = 0; i < n && out.length < max; i++) {
+        if (a[i] !== b[i]) {
+            if (a[i] !== undefined)
+                out.push(`-${i + 1}: ${a[i].slice(0, 180)}`);
+            if (b[i] !== undefined)
+                out.push(`+${i + 1}: ${b[i].slice(0, 180)}`);
+        }
+    }
+    return out;
+}
+/** Run the gate. Exit codes: 0 pass; 1 projection differs; 2 authored form does not parse; 3 controls did not all fire. */
+export async function runMetamodelRoundtrip(inputs, write) {
+    const root = resolve(inputs.root ?? process.cwd());
+    const mode = inputs.mode ?? "steady";
+    const p = {
+        tql: join(root, CANONICAL_PATHS.tql),
+        meta: join(root, CANONICAL_PATHS.meta),
+        schema: join(root, CANONICAL_PATHS.schema),
+        map: join(root, CANONICAL_PATHS.map),
+    };
+    let tql;
+    let meta;
+    try {
+        tql = await readFile(p.tql, "utf-8");
+        meta = await readFile(p.meta, "utf-8");
+    }
+    catch (e) {
+        write(`[FAIL] authored form not found under ${root} (${e.message}) — run from the canonical method repo or pass --root\n`);
+        return { exitCode: 2 };
+    }
+    if (mode !== "write") {
+        const c = runControls(tql, meta);
+        if (c.cleanError !== undefined) {
+            write(`  [FAIL] control of the controls: the unmutated authored form does not parse — ${c.cleanError}\n`);
+            write(`[FAIL] 0/${c.total} controls fired; refusing to report a verdict (M-ADR 0205 §4.3: controls run first)\n`);
+            return { exitCode: 3 };
+        }
+        for (const r of c.results)
+            write(`  [${r.refused ? "ok" : "NOT FIRED"}] control: ${r.label} — ${r.reason.slice(0, 150)}\n`);
+        write(`  [ok] control of the controls: the unmutated authored form parses and projects\n`);
+        if (mode === "self-test") {
+            write(`[${c.ok ? "PASS" : "FAIL"}] round-trip gate self-test: ${c.fired}/${c.total} controls fired${c.ok ? "" : " — a control that does not fire is a gate that cannot"}\n`);
+            return { exitCode: c.ok ? 0 : 3 };
+        }
+        if (!c.ok) {
+            write(`[FAIL] ${c.fired}/${c.total} controls fired; refusing to report a verdict (M-ADR 0205 §4.3: controls run first)\n`);
+            return { exitCode: 3 };
+        }
+    }
+    let regen;
+    try {
+        regen = regenerateFromText(tql, meta);
+    }
+    catch (e) {
+        if (!(e instanceof ParseError))
+            throw e;
+        write(`[FAIL] the authored form does not parse (fail-closed): ${e.message}\n`);
+        return { exitCode: 2 };
+    }
+    const rel = (x) => relative(root, x);
+    if (mode === "write") {
+        await writeFile(p.schema, regen.schemaText, "utf-8");
+        await writeFile(p.map, regen.mapText, "utf-8");
+        const cats = Object.values(regen.schema.catalogues);
+        write(`[PASS] wrote ${rel(p.schema)}: ${cats.length} catalogues, ${Object.keys(regen.schema.enums).length} enums, ` +
+            `${cats.reduce((n, c) => n + c.columns.length, 0)} columns, ${cats.reduce((n, c) => n + (c.foreign_keys?.length ?? 0), 0)} foreign keys, schema_status generated\n`);
+        const cov = Object.values(regen.map.coverage);
+        write(`[PASS] wrote ${rel(p.map)}: ${cov.length} coverage entries, ${cov.filter((v) => v.class !== undefined).length} edge declarations, ` +
+            `${cov.reduce((n, v) => n + Object.keys(v.relationships ?? {}).length, 0)} entity-FK declarations\n`);
+        return { exitCode: 0 };
+    }
+    if (mode === "migrate") {
+        if (inputs.oldSchema === undefined) {
+            write(`[FAIL] --migrate needs the OLD schema projection path\n`);
+            return { exitCode: 1 };
+        }
+        let rc = 0;
+        const prev = parseYaml(await readFile(resolve(inputs.oldSchema), "utf-8"));
+        const next = parseYaml(regen.schemaText);
+        if (next["schema_status"] !== "generated" || !["canonical", "generated"].includes(String(prev["schema_status"]))) {
+            write(`[FAIL] migration comparison expects new=generated; got ${String(prev["schema_status"])}/${String(next["schema_status"])}\n`);
+            return { exitCode: 1 };
+        }
+        const diffs = [...semanticDiff(prev, next)].filter((x) => !x.startsWith("$.schema_status"));
+        write(`migration comparison (schema): ${Object.keys(regen.schema.catalogues).length} catalogues, ${Object.keys(regen.schema.enums).length} enums; semantic differences excluding schema_status: ${diffs.length}\n`);
+        for (const x of diffs.slice(0, 20))
+            write(`    ${x.slice(0, 200)}\n`);
+        write(`[${diffs.length === 0 ? "PASS" : "FAIL"}] ROUND TRIP (migration, schema): ${diffs.length === 0 ? "EXACT" : "DIFFERS"}\n`);
+        if (diffs.length > 0)
+            rc = 1;
+        if (inputs.oldMap !== undefined) {
+            const prevm = parseYaml(await readFile(resolve(inputs.oldMap), "utf-8"));
+            const nextm = parseYaml(regen.mapText);
+            const dm = [...semanticDiff(prevm, nextm)];
+            write(`migration comparison (coverage map): ${Object.keys(regen.map.coverage).length} entries; semantic differences: ${dm.length}\n`);
+            for (const x of dm.slice(0, 20))
+                write(`    ${x.slice(0, 200)}\n`);
+            write(`[${dm.length === 0 ? "PASS" : "FAIL"}] ROUND TRIP (migration, coverage map): ${dm.length === 0 ? "EXACT" : "DIFFERS"}\n`);
+            if (dm.length > 0)
+                rc = 1;
+        }
+        return { exitCode: rc };
+    }
+    let rc = 0;
+    for (const [label, path, text] of [
+        ["schema", p.schema, regen.schemaText],
+        ["coverage map", p.map, regen.mapText],
+    ]) {
+        let committed;
+        try {
+            committed = await readFile(path, "utf-8");
+        }
+        catch {
+            write(`[FAIL] ROUND TRIP (steady state, ${label}): ${rel(path)} is missing — regenerate with --write\n`);
+            rc = 1;
+            continue;
+        }
+        if (text === committed) {
+            write(`[PASS] ROUND TRIP (steady state, ${label}): EXACT — ${rel(path)} is byte-identical to its regeneration\n`);
+            continue;
+        }
+        rc = 1;
+        write(`[FAIL] ROUND TRIP (steady state, ${label}): DIFFERS — the committed projection is not what the authored form generates\n`);
+        for (const l of unifiedDiffLines(committed, text))
+            write(`    ${l}\n`);
+        write(`    regenerate with --write, or fix the authored form; never edit a projection\n`);
+    }
+    return { exitCode: rc };
+}
+/** Test helper: write two authored texts to a temp dir laid out like the canonical repo. */
+export async function withAuthoredTemp(tql, meta, fn) {
+    const root = await mkdtemp(join(tmpdir(), "sdd-metamodel-"));
+    try {
+        const { mkdir } = await import("node:fs/promises");
+        await mkdir(join(root, "docs/method/foundations/schemas"), { recursive: true });
+        await mkdir(join(root, "orchestration"), { recursive: true });
+        await writeFile(join(root, CANONICAL_PATHS.tql), tql, "utf-8");
+        await writeFile(join(root, CANONICAL_PATHS.meta), meta, "utf-8");
+        return await fn(root);
+    }
+    finally {
+        await rm(root, { recursive: true, force: true });
+    }
+}
+//# sourceMappingURL=roundtrip-gate.js.map

package/dist/lib/metamodel/roundtrip-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roundtrip-gate.js","sourceRoot":"","sources":["../../../src/lib/metamodel/roundtrip-gate.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,qEAAqE;AACrE,EAAE;AACF,yGAAyG;AACzG,wGAAwG;AACxG,gGAAgG;AAChG,EAAE;AACF,QAAQ;AACR,+FAA+F;AAC/F,sGAAsG;AACtG,2FAA2F;AAC3F,0EAA0E;AAC1E,iEAAiE;AACjE,EAAE;AACF,wGAAwG;AACxG,wGAAwG;AACxG,iGAAiG;AACjG,wDAAwD;AAExD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGnE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,GAAG,EAAE,sDAAsD;IAC3D,IAAI,EAAE,2DAA2D;IACjE,MAAM,EAAE,uDAAuD;IAC/D,GAAG,EAAE,wCAAwC;CACrC,CAAC;AAEX,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAE3C,MAAM,gBAAgB,GACpB,yGAAyG;IACzG,kHAAkH;IAClH,mGAAmG;IACnG,kBAAkB,IAAI,YAAY;IAClC,kBAAkB,IAAI,uCAAuC;IAC7D,8GAA8G;IAC9G,yGAAyG;IACzG,wGAAwG;IACxG,gEAAgE,CAAC;AAEnE,MAAM,UAAU,GACd,yGAAyG;IACzG,gHAAgH;IAChH,gGAAgG;IAChG,kBAAkB,IAAI,YAAY;IAClC,kBAAkB,IAAI,uCAAuC;IAC7D,wGAAwG,CAAC;AAE3G,SAAS,IAAI,CAAC,GAAY;IACxB,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,UAAU,CAAC,GAAqB;IAC9C,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,EAAE,eAAe,CAAC,EAAE,CAAC;QACpE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,gBAAgB,GAAG,IAAI,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAkB;IACxC,OAAO,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AASD,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,QAAgB;IAClE,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC;AASD,SAAS,iBAAiB,CAAC,GAAW;IACpC,MAAM,CAAC,GAAG,mEAAmE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3H,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IACvB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;IAC1C,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,IAAY;IACjD,OAAO;QACL,EAAE,KAAK,EAAE,2BAA2B,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,2CAA2C,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE;QAC9H,EAAE,KAAK,EAAE,qCAAqC,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,oCAAoC,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE;QAC/H;YACE,KAAK,EAAE,yBAAyB;YAChC,GAAG,EAAE,GAAG,GAAG,qHAAqH;YAChI,IAAI;SACL;QACD,EAAE,KAAK,EAAE,6DAA6D,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,gCAAgC,EAAE,8BAA8B,CAAC,EAAE,IAAI,EAAE;QAClK,EAAE,KAAK,EAAE,uDAAuD,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,sCAAsC,CAAC,EAAE;QAC1J,EAAE,KAAK,EAAE,mEAAmE,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,yDAAyD,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE;QAClL,EAAE,KAAK,EAAE,yEAAyE,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;KACxH,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,IAAY;IACnD,IAAI,KAAkB,CAAC;IACvB,IAAI,CAAC;QACH,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,qDAAqD,EAAE,CAAC,CAAC;YAChH,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;YACjF,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,sDAAsD,EAAE,CAAC,CAAC;QACvK,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC;gBAAE,MAAM,CAAC,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACtD,OAAO,EAAE,EAAE,EAAE,KAAK,KAAK,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;AACjF,CAAC;AAED,6CAA6C;AAC7C,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,CAAU,EAAE,CAAU,EAAE,IAAI,GAAG,GAAG;IAC9D,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzH,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9E,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,MAAM,GAAG,IAAI,IAAI,CAAC,uBAAuB,CAAC;iBACrD,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,MAAM,GAAG,IAAI,IAAI,CAAC,eAAe,CAAC;;gBAClD,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,MAAM,GAAG,IAAI,iBAAiB,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QACnF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1G,CAAC;SAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC;AACH,CAAC;AAUD,SAAS,gBAAgB,CAAC,SAAiB,EAAE,KAAa,EAAE,GAAG,GAAG,EAAE;IAClE,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACtE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2HAA2H;AAC3H,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,MAAkB,EAAE,KAA0B;IACxF,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC;IACrC,MAAM,CAAC,GAAG;QACR,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QACtC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC;QAC1C,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC;KACrC,CAAC;IACF,IAAI,GAAW,CAAC;IAChB,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,KAAK,CAAC,wCAAwC,IAAI,KAAM,CAAW,CAAC,OAAO,yDAAyD,CAAC,CAAC;QACtI,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,kFAAkF,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC;YAC1G,KAAK,CAAC,YAAY,CAAC,CAAC,KAAK,uFAAuF,CAAC,CAAC;YAClH,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,cAAc,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5H,KAAK,CAAC,mFAAmF,CAAC,CAAC;QAC3F,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,gCAAgC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,uDAAuD,IAAI,CAAC,CAAC;YAC7K,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,uFAAuF,CAAC,CAAC;YAC3H,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,KAAkB,CAAC;IACvB,IAAI,CAAC;QACH,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,CAAC,CAAC,YAAY,UAAU,CAAC;YAAE,MAAM,CAAC,CAAC;QACxC,KAAK,CAAC,0DAA0D,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QAC/E,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpD,KAAK,CACH,gBAAgB,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,gBAAgB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,UAAU;YAC3G,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,0CAA0C,CACtK,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,KAAK,CACH,gBAAgB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,MAAM,sBAAsB;YAClI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,2BAA2B,CACvG,CAAC;QACF,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACnC,KAAK,CAAC,yDAAyD,CAAC,CAAC;YACjE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzB,CAAC;QACD,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAA4B,CAAC;QACtG,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,CAA4B,CAAC;QACpE,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YACjH,KAAK,CAAC,0DAA0D,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC;YACpI,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzB,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC5F,KAAK,CAAC,kCAAkC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,gBAAgB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,yDAAyD,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;QACpN,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,qCAAqC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;QACjI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3C,KAAK,CAAC,wCAAwC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,mCAAmC,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;YACtI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAAE,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,2CAA2C,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;YACjI,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI;QAChC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC;QACtC,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC;KAC9B,EAAE,CAAC;QACX,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,CAAC,oCAAoC,KAAK,MAAM,GAAG,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;YACzG,EAAE,GAAG,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,oCAAoC,KAAK,cAAc,GAAG,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;YAClH,SAAS;QACX,CAAC;QACD,EAAE,GAAG,CAAC,CAAC;QACP,KAAK,CAAC,oCAAoC,KAAK,iFAAiF,CAAC,CAAC;QAClI,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACvE,KAAK,CAAC,kFAAkF,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAC1B,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAI,GAAW,EAAE,IAAY,EAAE,EAAgC;IACnG,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC;QACH,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACnD,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,iCAAiC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC"}

package/dist/lib/metamodel/schema-projection.d.ts

@@ -0,0 +1,60 @@
+import type { ParsedMeta, ParsedTypes } from "./tql-subset-parser.js";
+export interface ColumnSpec {
+    name: string;
+    type: string;
+    nullable: boolean;
+    description?: string;
+}
+export interface ForeignKeySpec {
+    column: string;
+    references: string;
+    nullable: boolean;
+    external?: boolean;
+    external_for_profiles?: string[];
+}
+export interface CatalogueSpec {
+    primary_key: string | null;
+    description?: string;
+    columns: ColumnSpec[];
+    foreign_keys?: ForeignKeySpec[];
+    column_enums?: Record<string, string>;
+}
+export interface EnumSpec {
+    description?: string;
+    values: Record<string, unknown>[];
+}
+export interface SchemaProjection {
+    schema_version: string;
+    schema_owner: string;
+    schema_status: "generated";
+    enums: Record<string, EnumSpec>;
+    catalogues: Record<string, CatalogueSpec>;
+}
+export interface CoverageEntry {
+    kind: string;
+    class?: string;
+    impact_flow?: string;
+    impact_flow_by?: {
+        column: string;
+        values: unknown;
+    };
+    scoring: string;
+    instrument?: string;
+    reason?: string;
+    relationships?: Record<string, {
+        class: string;
+        impact_flow?: string;
+        impact_flow_by?: {
+            column: string;
+            values: unknown;
+        };
+    }>;
+}
+export interface MapProjection {
+    coverage: Record<string, CoverageEntry>;
+}
+/** Projection 1: the relational catalogue schema. */
+export declare function projectSchema(types: ParsedTypes, meta: ParsedMeta): SchemaProjection;
+/** Projection 2: the rubric-coverage-map from coverage-meta + relationship-meta rows. */
+export declare function projectMap(meta: ParsedMeta): MapProjection;
+//# sourceMappingURL=schema-projection.d.ts.map

package/dist/lib/metamodel/schema-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-projection.d.ts","sourceRoot":"","sources":["../../../src/lib/metamodel/schema-projection.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAmC,UAAU,EAAE,WAAW,EAAY,MAAM,wBAAwB,CAAC;AAWjH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AACD,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,YAAY,CAAC,EAAE,cAAc,EAAE,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AACD,MAAM,WAAW,QAAQ;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;CACnC;AACD,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,WAAW,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAC3C;AACD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,CAAC,CAAC;CAC/H;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CACzC;AAwBD,qDAAqD;AACrD,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAgJpF;AAED,yFAAyF;AACzF,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa,CAoC1D"}

package/dist/lib/metamodel/schema-projection.js

@@ -0,0 +1,254 @@
+// The catalogue metamodel's two PROJECTIONS of the parsed authored form (M-ADR 0210 §4.6, flips 1 and 2):
+//   1. catalogue-schema.yaml   — the relational schema every catalogue reader consumes
+//   2. rubric-coverage-map.yaml — the coverage registry (class, impact flow, scoring) M-ADR 0206 declares
+//
+// This module consumes `ParsedTypes` + `ParsedMeta` and produces plain objects; it neither reads files
+// nor emits YAML (that is `roundtrip-gate.ts`). Every structural check that is not the grammar's lives
+// here: one @key per catalogue, every owned attribute has a column, a role-backed column has an fk row,
+// and — M-ADR 0210 §4.3, the permitted-players check — the type system's player of a role IS the fk
+// row's declared target. A disagreement is a ParseError: fail-closed, never a skip.
+import { META_TYPES, ParseError } from "./tql-subset-parser.js";
+const FAMILY = {
+    string: "string",
+    int: "integer",
+    integer: "integer",
+    number: "double",
+    date: "date",
+    boolean: "boolean",
+};
+function str(row, k) {
+    const v = row[k];
+    if (typeof v !== "string")
+        throw new ParseError(`meta row missing string ${k}: ${JSON.stringify(row)}`);
+    return v;
+}
+function num(row, k) {
+    const v = row[k];
+    if (typeof v !== "number")
+        throw new ParseError(`meta row missing integer ${k}: ${JSON.stringify(row)}`);
+    return v;
+}
+function has(row, k) {
+    return Object.prototype.hasOwnProperty.call(row, k);
+}
+function byPosition(rows) {
+    return [...rows].sort((a, b) => num(a, "m-position") - num(b, "m-position"));
+}
+function one(meta, typ, where) {
+    const rows = meta.get(typ) ?? [];
+    if (rows.length !== 1)
+        throw new ParseError(`${where}: exactly one ${typ} row required, found ${rows.length}`);
+    return rows[0];
+}
+/** Projection 1: the relational catalogue schema. */
+export function projectSchema(types, meta) {
+    const { attrs, entities, relations, players } = types;
+    const sm = one(meta, "schema-meta", "schema");
+    if (sm["m-schema-status"] !== "canonical") {
+        throw new ParseError('the authored form must carry m-schema-status "canonical"; the projection alone says generated');
+    }
+    const out = {
+        schema_version: str(sm, "m-schema-version"),
+        schema_owner: str(sm, "m-schema-owner"),
+        schema_status: "generated",
+        enums: {},
+        catalogues: {},
+    };
+    const enumValues = meta.get("enum-value-meta") ?? [];
+    const enumProps = meta.get("enum-value-property") ?? [];
+    for (const e of byPosition(meta.get("enum-meta") ?? [])) {
+        const name = str(e, "m-enum");
+        const spec = { values: [] };
+        if (has(e, "m-description"))
+            spec.description = str(e, "m-description");
+        for (const v of byPosition(enumValues.filter((x) => x["m-enum"] === name))) {
+            const row = { value: str(v, "m-value") };
+            if (has(v, "m-description"))
+                row["description"] = str(v, "m-description");
+            for (const pr of byPosition(enumProps.filter((x) => x["m-enum"] === name && x["m-value"] === v["m-value"]))) {
+                row[str(pr, "m-property")] = JSON.parse(str(pr, "m-json"));
+            }
+            spec.values.push(row);
+        }
+        if (name in out.enums)
+            throw new ParseError(`enum ${name} declared twice`);
+        out.enums[name] = spec;
+    }
+    const typesByLabel = new Map();
+    for (const [k, v] of entities)
+        typesByLabel.set(k, { kind: "entity", decl: v });
+    for (const [k, v] of relations)
+        typesByLabel.set(k, { kind: "relation", decl: v });
+    const catRows = byPosition(meta.get("catalogue-meta") ?? []);
+    const labels = new Set(catRows.map((c) => str(c, "m-type-label")));
+    for (const lab of typesByLabel.keys()) {
+        if (!META_TYPES.has(lab) && !labels.has(lab))
+            throw new ParseError(`type ${JSON.stringify(lab)} has no catalogue-meta row`);
+    }
+    for (const c of catRows) {
+        if (!typesByLabel.has(str(c, "m-type-label"))) {
+            throw new ParseError(`catalogue-meta ${str(c, "m-catalogue")} names undeclared type ${JSON.stringify(str(c, "m-type-label"))}`);
+        }
+    }
+    const catOfLabel = new Map(catRows.map((c) => [str(c, "m-type-label"), str(c, "m-catalogue")]));
+    const columnMeta = meta.get("column-meta") ?? [];
+    const fkMeta = meta.get("fk-meta") ?? [];
+    const colEnumMeta = meta.get("column-enum-meta") ?? [];
+    const seen = new Set();
+    for (const c of catRows) {
+        const name = str(c, "m-catalogue");
+        const t = str(c, "m-type-label");
+        if (seen.has(name))
+            throw new ParseError(`catalogue ${name} declared twice`);
+        seen.add(name);
+        const { kind, decl } = typesByLabel.get(t);
+        const owns = decl.owns;
+        const relates = decl.relates;
+        const pk = [...owns].filter(([, a]) => a.key).map(([n]) => n);
+        if (pk.length !== 1)
+            throw new ParseError(`${name}: expected exactly one @key attribute, found ${pk.length}`);
+        const colsMeta = byPosition(columnMeta.filter((x) => x["m-catalogue"] === name));
+        const fkRows = byPosition(fkMeta.filter((x) => x["m-catalogue"] === name));
+        const fkByCol = new Map(fkRows.map((f) => [str(f, "m-column"), f]));
+        const cols = [];
+        let pkName = null;
+        const attrSeen = new Set();
+        const roleSeen = new Set();
+        for (const cm of colsMeta) {
+            const column = str(cm, "m-column");
+            const yamlType = str(cm, "m-yaml-type");
+            const fam = FAMILY[yamlType];
+            if (fam === undefined)
+                throw new ParseError(`${name}.${column}: unknown yaml type ${JSON.stringify(yamlType)}`);
+            let nullable;
+            if (has(cm, "m-role")) {
+                const r = str(cm, "m-role");
+                if (kind !== "relation")
+                    throw new ParseError(`${name}.${column}: column meta names a role but ${t} is an entity`);
+                const ann = relates.get(r);
+                if (!ann)
+                    throw new ParseError(`${name}.${column}: relation ${t} does not relate ${r}`);
+                if (roleSeen.has(r))
+                    throw new ParseError(`${name}: role ${r} appears on two columns`);
+                roleSeen.add(r);
+                if (!(ann.required || ann.optional))
+                    throw new ParseError(`${name}.${column}: role ${r} must carry @card(1..1) or @card(0..1)`);
+                const fk = fkByCol.get(column);
+                if (!fk)
+                    throw new ParseError(`${name}.${column}: a role-backed column must have an fk-meta row (the declared permitted player)`);
+                // M-ADR 0210 §4.3 — the permitted-players check
+                const player = players.get(`${t}:${r}`);
+                if (player === undefined)
+                    throw new ParseError(`${name}.${column}: role ${t}:${r} has no player`);
+                const declared = str(fk, "m-references").split(".")[0];
+                if (catOfLabel.get(player) !== declared) {
+                    throw new ParseError(`${name}.${column}: role ${t}:${r} is played by ${JSON.stringify(catOfLabel.get(player) ?? player)} but the declared permitted player (fk-meta m-references) is ${JSON.stringify(declared)}`);
+                }
+                nullable = !ann.required;
+            }
+            else {
+                const a = str(cm, "m-attr");
+                if (attrSeen.has(a))
+                    throw new ParseError(`${name}: column meta for attribute ${a} appears twice`);
+                attrSeen.add(a);
+                const ann = owns.get(a);
+                if (!ann)
+                    throw new ParseError(`${name}.${column}: ${kind} ${t} does not own ${a}`);
+                if (attrs.get(a) !== fam) {
+                    throw new ParseError(`${name}.${column}: attribute ${a} has value type ${attrs.get(a)} but the column's declared type ${JSON.stringify(yamlType)} is of family ${fam}`);
+                }
+                nullable = !(ann.key || ann.required);
+                if (ann.key)
+                    pkName = column;
+            }
+            const col = { name: column, type: yamlType, nullable };
+            if (has(cm, "m-description"))
+                col.description = str(cm, "m-description");
+            cols.push(col);
+        }
+        const missingOwns = [...owns.keys()].filter((a) => !attrSeen.has(a)).sort();
+        if (missingOwns.length > 0)
+            throw new ParseError(`${name}: ${kind} ${t} owns ${JSON.stringify(missingOwns)} with no column meta`);
+        if (kind === "relation") {
+            const missingRoles = [...relates.keys()].filter((r) => !roleSeen.has(r)).sort();
+            if (missingRoles.length > 0)
+                throw new ParseError(`${name}: relation ${t} relates ${JSON.stringify(missingRoles)} with no column meta`);
+        }
+        const spec = { primary_key: pkName, columns: [] };
+        if (has(c, "m-description"))
+            spec.description = str(c, "m-description");
+        spec.columns = cols;
+        if (fkRows.length > 0) {
+            const colNull = new Map(cols.map((col) => [col.name, col.nullable]));
+            spec.foreign_keys = [];
+            for (const f of fkRows) {
+                const column = str(f, "m-column");
+                if (!colNull.has(column))
+                    throw new ParseError(`${name}: fk on unknown column ${column}`);
+                const entry = { column, references: str(f, "m-references"), nullable: colNull.get(column) };
+                if (f["m-external"] === true)
+                    entry.external = true;
+                const efp = f["m-external-for-profile"];
+                if (Array.isArray(efp) && efp.length > 0)
+                    entry.external_for_profiles = efp.map(String);
+                spec.foreign_keys.push(entry);
+            }
+        }
+        const ces = colEnumMeta.filter((x) => x["m-catalogue"] === name);
+        if (ces.length > 0) {
+            spec.column_enums = {};
+            for (const x of ces) {
+                const en = str(x, "m-enum");
+                if (!(en in out.enums))
+                    throw new ParseError(`${name}.${str(x, "m-column")} binds unknown enum ${en}`);
+                spec.column_enums[str(x, "m-column")] = `enums.${en}`;
+            }
+        }
+        out.catalogues[name] = spec;
+    }
+    return out;
+}
+/** Projection 2: the rubric-coverage-map from coverage-meta + relationship-meta rows. */
+export function projectMap(meta) {
+    const cov = {};
+    const rels = meta.get("relationship-meta") ?? [];
+    const flow = (r) => has(r, "m-flow-by-column")
+        ? { impact_flow_by: { column: str(r, "m-flow-by-column"), values: JSON.parse(str(r, "m-flow-by-json")) } }
+        : { impact_flow: str(r, "m-impact-flow") };
+    for (const c of byPosition(meta.get("coverage-meta") ?? [])) {
+        const n = str(c, "m-name");
+        if (n in cov)
+            throw new ParseError(`coverage-meta ${n} declared twice`);
+        const e = { kind: str(c, "m-kind"), scoring: "" };
+        const mine = rels.filter((r) => r["m-name"] === n);
+        const top = mine.filter((r) => !has(r, "m-column"));
+        if (top.length > 0) {
+            if (top.length > 1)
+                throw new ParseError(`${n}: two top-level relationship declarations`);
+            const r = top[0];
+            e.class = str(r, "m-class");
+            Object.assign(e, flow(r));
+        }
+        e.scoring = str(c, "m-scoring");
+        if (has(c, "m-instrument"))
+            e.instrument = str(c, "m-instrument");
+        if (has(c, "m-reason"))
+            e.reason = str(c, "m-reason");
+        const cols = byPosition(mine.filter((r) => has(r, "m-column")));
+        if (cols.length > 0) {
+            e.relationships = {};
+            for (const r of cols) {
+                const column = str(r, "m-column");
+                if (column in e.relationships)
+                    throw new ParseError(`${n}.${column}: relationship declared twice`);
+                e.relationships[column] = { class: str(r, "m-class"), ...flow(r) };
+            }
+        }
+        cov[n] = e;
+    }
+    const orphan = [...new Set(rels.map((r) => str(r, "m-name")).filter((n) => !(n in cov)))].sort();
+    if (orphan.length > 0)
+        throw new ParseError(`relationship-meta rows for names with no coverage entry: ${JSON.stringify(orphan.slice(0, 5))}`);
+    return { coverage: cov };
+}
+//# sourceMappingURL=schema-projection.js.map