@cruba/crubal 0.0.0-stage → 0.1.0

package/dist/src/print-text.js

@@ -0,0 +1,194 @@
+// print-text.ts: the JSON form (spec chapter 3) back to canonical text (chapter 2.9). Full mode writes the
+// envelope lines and sources, so reading the print gives the same pairs back.
+import { blank } from "./defs.js";
+import { writeText } from "./lex.js";
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/** Detail pairs whose values are already spelled for the text form. */
+function detailText(pairs) {
+    if (!pairs.length)
+        return "";
+    return ` [${pairs.map(([k, v]) => `${k}: ${v}`).join(", ")}]`;
+}
+function sourcePairs(s) {
+    if (!s)
+        return [];
+    const out = [["origin", writeText(s.origin, true)], ["via", writeText(s.via, true)]];
+    if (s.owner)
+        out.push(["owner", writeText(s.owner, true)]);
+    return out;
+}
+const TEXT = blank("", "text");
+/** Spellings that would read as another shape under this facet, so text holding them must be quoted. */
+function otherShapes(f) {
+    const out = ["_", "-", "n/a", "N/A"];
+    if (f.type === "yes-no")
+        out.push("yes", "no", ...(f.words ?? []));
+    return out;
+}
+/** One scalar, as the text form spells it, without detail. */
+function scalarText(f, v) {
+    if (typeof v === "boolean") {
+        const [yes, no] = f.words ?? ["yes", "no"];
+        return v ? yes : no;
+    }
+    if (typeof v === "string")
+        return writeText(v, false, otherShapes(f));
+    if (typeof v === "number")
+        return String(v);
+    if (isObj(v)) {
+        if ("$empty" in v)
+            return v.$empty === "unknown" ? "_" : "-";
+        if ("$link" in v)
+            return `&${v.$link}`;
+        if ("$qty" in v)
+            return `${v.$qty}${v.unit}`;
+        if ("$money" in v)
+            return `${v.$money}${v.currency}`;
+        if ("$image" in v)
+            return writeText(String(v.$image));
+    }
+    return JSON.stringify(v);
+}
+/** The detail pairs a value carries in itself: qualifiers and image fields. */
+function ownDetail(v) {
+    if (!isObj(v))
+        return [];
+    if ("$value" in v) {
+        return Object.entries(v)
+            .filter(([k]) => k !== "$value")
+            .map(([k, q]) => [k, typeof q === "string" ? writeText(q, true) : scalarText(TEXT, q)]);
+    }
+    if ("$image" in v) {
+        return Object.entries(v)
+            .filter(([k]) => k !== "$image")
+            .map(([k, x]) => [k, typeof x === "string" ? writeText(x, true) : String(x)]);
+    }
+    return [];
+}
+function core(v) {
+    return isObj(v) && "$value" in v ? v.$value : v;
+}
+/** A list item's text form with its qualifiers and without its sources: the selector in an address. */
+export function itemText(f, v) {
+    return scalarText(f, core(v)) + detailText(ownDetail(v));
+}
+function valueLine(f, v, address, out) {
+    const src = out.mode === "full" ? out.sources[address] : undefined;
+    return scalarText(f, core(v)) + detailText([...ownDetail(v), ...sourcePairs(src)]);
+}
+function printFields(obj, within, prefix, depth, out) {
+    const pad = "  ".repeat(depth);
+    for (const [key, v] of Object.entries(obj)) {
+        const f = within ? within.get(key) : out.dict.facets.get(key);
+        const address = prefix ? `${prefix}.${key}` : key;
+        if (!f) {
+            const [first = "", ...more] = (typeof v === "string" ? v : JSON.stringify(v)).split("\n");
+            out.lines.push(first ? `${pad}${key}: ${first}` : `${pad}${key}:`);
+            for (const m of more)
+                out.lines.push(`${pad}  ${m}`);
+            continue;
+        }
+        printValue(f, key, v, address, depth, out);
+    }
+}
+function printValue(f, key, v, address, depth, out) {
+    const pad = "  ".repeat(depth);
+    if (isObj(v) && "$empty" in v) {
+        out.lines.push(`${pad}${key}: ${valueLine(f, v, address, out)}`);
+        return;
+    }
+    if (f.type === "compound") {
+        const children = f.children ?? new Map();
+        out.lines.push(`${pad}${key}:`);
+        if (!f.many || !Array.isArray(v)) {
+            if (isObj(v))
+                printFields(v, children, address, depth + 1, out);
+            return;
+        }
+        for (const row of v) {
+            if (!isObj(row))
+                continue;
+            const rowKey = f.identity ? linkTarget(row[f.identity]) : String(row.$row ?? "");
+            const fields = {};
+            if (f.identity && row[f.identity] !== undefined)
+                fields[f.identity] = row[f.identity];
+            for (const [k, x] of Object.entries(row))
+                if (k !== "$row" && !(k in fields))
+                    fields[k] = x;
+            const start = out.lines.length;
+            if (!f.identity)
+                out.lines.push(`${pad}  - [row: ${rowKey}]`);
+            printFields(fields, children, `${address}[${rowKey}]`, depth + 2, out);
+            if (f.identity) {
+                const first = out.lines[start];
+                if (first !== undefined)
+                    out.lines[start] = `${pad}  - ${first.trimStart()}`;
+            }
+        }
+        return;
+    }
+    if (!f.many || !Array.isArray(v)) {
+        out.lines.push(`${pad}${key}: ${valueLine(f, v, address, out)}`);
+        return;
+    }
+    const items = v.map((item) => {
+        const src = out.mode === "full" ? out.sources[`${key}[${JSON.stringify(itemText(f, item))}]`] : undefined;
+        return scalarText(f, core(item)) + detailText([...ownDetail(item), ...sourcePairs(src)]);
+    });
+    const short = `${pad}${key}: ${items.join(", ")}`;
+    if (short.length <= 100 && items.every((i) => !i.includes("\n"))) {
+        out.lines.push(short);
+        return;
+    }
+    out.lines.push(`${pad}${key}:`);
+    for (const item of items)
+        out.lines.push(`${pad}  - ${item}`);
+}
+function linkTarget(v) {
+    return isObj(v) && "$link" in v ? String(v.$link) : String(v ?? "");
+}
+function printRecord(r, fileOwner, out) {
+    const sources = r.sources ?? {};
+    out.sources = sources;
+    const star = out.mode === "full" ? detailText(sourcePairs(sources["*"])) : "";
+    out.lines.push(`${r.level}: ${r.id}${r.of ? ` of ${r.of}` : ""}${star}`);
+    if (r.owner !== fileOwner)
+        out.lines.push(`  crubal:owner: ${r.owner}`);
+    if (r.wears?.length)
+        out.lines.push(`  crubal:wears: ${r.wears.join(", ")}`);
+    if (out.mode === "full" && r.created)
+        out.lines.push(`  crubal:created: ${r.created}`);
+    if (out.mode === "full" && r.updated)
+        out.lines.push(`  crubal:updated: ${r.updated}`);
+    printFields(r.values, null, "", 1, out);
+    if (r.parts?.length) {
+        out.lines.push("  crubal:parts:");
+        for (const part of r.parts) {
+            if (!isObj(part))
+                continue;
+            out.lines.push(`    - [row: ${part.$row}]`);
+            const wears = part.wears;
+            if (Array.isArray(wears) && wears.length)
+                out.lines.push(`      crubal:wears: ${wears.join(", ")}`);
+            if (isObj(part.values))
+                printFields(part.values, null, `parts[${part.$row}]`, 3, out);
+        }
+    }
+}
+/** Print a wrapper as text. */
+export function printText(w, dict, mode = "full") {
+    const out = { lines: [], sources: {}, mode, dict };
+    const owners = w.records.map((r) => r.owner);
+    const fileOwner = owners[0];
+    out.lines.push(`crubal: ${w.crubal}`);
+    if (w.package)
+        out.lines.push(`package: ${w.package}`);
+    if (fileOwner)
+        out.lines.push(`owner: ${fileOwner}`);
+    for (const r of w.records) {
+        out.lines.push("");
+        printRecord(r, fileOwner, out);
+    }
+    return `${out.lines.join("\n")}\n`;
+}
+//# sourceMappingURL=print-text.js.map

package/dist/src/print-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print-text.js","sourceRoot":"","sources":["../../src/print-text.ts"],"names":[],"mappings":"AAAA,2GAA2G;AAC3G,8EAA8E;AAE9E,OAAO,EAAE,KAAK,EAA+B,MAAM,WAAW,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAKrC,MAAM,KAAK,GAAG,CAAC,CAAmB,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAEjH,uEAAuE;AACvE,SAAS,UAAU,CAAC,KAAyB;IAC3C,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,CAAqB;IACxC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,MAAM,GAAG,GAAuB,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzG,IAAI,CAAC,CAAC,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,IAAI,GAAU,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;AAEtC,wGAAwG;AACxG,SAAS,WAAW,CAAC,CAAQ;IAC3B,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACnE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8DAA8D;AAC9D,SAAS,UAAU,CAAC,CAAQ,EAAE,CAAO;IACnC,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7D,IAAI,OAAO,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrD,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,CAAO;IACxB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACzB,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;aACrB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;aACrB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,IAAI,CAAC,CAAO;IACnB,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,QAAQ,CAAC,CAAQ,EAAE,CAAO;IACxC,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAID,SAAS,SAAS,CAAC,CAAQ,EAAE,CAAO,EAAE,OAAe,EAAE,GAAQ;IAC7D,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,WAAW,CAAC,GAAe,EAAE,MAAiC,EAAE,MAAc,EAAE,KAAa,EAAE,GAAQ;IAC9G,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAClD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1F,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;YACnE,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;YACrD,SAAS;QACX,CAAC;QACD,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,GAAW,EAAE,CAAO,EAAE,OAAe,EAAE,KAAa,EAAE,GAAQ;IAC1F,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,OAAO;IACT,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,GAAG,EAAiB,CAAC;QACxD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YACjF,MAAM,MAAM,GAAe,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS;gBAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAS,CAAC;YAC9F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5F,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAC/B,IAAI,CAAC,CAAC,CAAC,QAAQ;gBAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,aAAa,MAAM,GAAG,CAAC,CAAC;YAC9D,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,IAAI,MAAM,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACvE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC/B,IAAI,KAAK,KAAK,SAAS;oBAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,OAAO,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1G,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO;IACT,CAAC;IACD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,IAAI,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CAAC,CAAmB;IACrC,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,WAAW,CAAC,CAAS,EAAE,SAA6B,EAAE,GAAQ;IACrE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IAChC,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACvF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACvF,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;AACH,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,SAAS,CAAC,CAAU,EAAE,IAAgB,EAAE,OAAkB,MAAM;IAC9E,MAAM,GAAG,GAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxD,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACvD,IAAI,SAAS;QAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACrC,CAAC"}

package/dist/src/read-text.d.ts

@@ -0,0 +1,8 @@
+import type { Dictionary, Facet } from "./defs.ts";
+import { writeText } from "./lex.ts";
+import { type Json, type Wrapper } from "./model.ts";
+/** Read CRUBAL data text into a border wrapper (spec chapter 3.8). */
+export declare function readText(source: string, dict: Dictionary): Wrapper;
+export { writeText };
+/** Read one value's text under a facet, as if it had been written on that facet's line. */
+export declare function readUnder(f: Facet, text: string, dict: Dictionary, line?: number): Json | undefined;

package/dist/src/read-text.js

@@ -0,0 +1,317 @@
+// read-text.ts: CRUBAL data text (spec chapter 2) into the JSON form (chapter 3). The facet decides each
+// value's shape (chapter 1.4); a key without a facet keeps its exact text as a raw value.
+import { readList, readPiece, writeText } from "./lex.js";
+import { CrubalError, innerText, readTree } from "./tree.js";
+import {} from "./model.js";
+import { itemText } from "./print-text.js";
+const RESERVED_DETAIL = new Set(["row", "origin", "via", "owner"]);
+const IMAGE_FIELDS = new Set(["sha256", "w", "h", "type"]);
+const ENVELOPE = new Set(["crubal:wears", "crubal:parts", "crubal:kind", "crubal:owner", "crubal:created", "crubal:updated"]);
+const NUMBER = /^-?(0|[1-9]\d*)(\.\d+)?$/;
+const ORIGINS = new Set(["observed", "declared", "derived", "reported"]);
+function sourceOf(detail, line) {
+    const get = (n) => detail.find(([k]) => k === n)?.[1].text;
+    const origin = get("origin");
+    const via = get("via");
+    const owner = get("owner");
+    if (origin === undefined && via === undefined && owner === undefined)
+        return null;
+    if (!origin || !via)
+        throw new CrubalError("a source needs both origin and via", line);
+    if (!ORIGINS.has(origin))
+        throw new CrubalError(`unknown origin ${origin}`, line);
+    const s = { origin, via };
+    if (owner)
+        s.owner = owner;
+    return s;
+}
+function isEmptyMark(p) {
+    if (p.quoted)
+        return null;
+    if (p.text === "_")
+        return "unknown";
+    if (p.text === "-" || p.text === "n/a" || p.text === "N/A")
+        return "n/a";
+    return null;
+}
+/** Read one scalar piece under its facet: the shape the facet decides, falling back to text. */
+function scalar(f, p) {
+    const t = p.text;
+    switch (f.type) {
+        case "link":
+            return !p.quoted && t.startsWith("&") ? { $link: t.slice(1) } : t;
+        case "number": {
+            const unit = f.unit;
+            if (!unit)
+                return NUMBER.test(t) ? t : t;
+            const m = t.match(/^(-?(?:0|[1-9]\d*)(?:\.\d+)?) ?(\S+)$/);
+            if (m && (unit === "currency" || /^[A-Z]{3}$/.test(unit)) && /^[A-Z]{3}$/.test(m[2] ?? "")) {
+                return { $money: m[1], currency: m[2] };
+            }
+            if (m)
+                return { $qty: m[1], unit: m[2] };
+            return t;
+        }
+        case "yes-no": {
+            const [yes, no] = f.words ?? ["yes", "no"];
+            if (!p.quoted && (t === "yes" || t === yes))
+                return true;
+            if (!p.quoted && (t === "no" || t === no))
+                return false;
+            return t;
+        }
+        case "image":
+            return { $image: t };
+        default:
+            return t;
+    }
+}
+/** A value with its detail: image fields, qualifiers (a `$value` wrapper), and its source. */
+function value(f, p, ctx, address, line) {
+    let v = scalar(f, p);
+    const qualifiers = {};
+    for (const [name, d] of p.detail) {
+        if (name === "row")
+            throw new CrubalError("a row key belongs on the row's own line", line);
+        if (RESERVED_DETAIL.has(name))
+            continue;
+        if (f.type === "image" && IMAGE_FIELDS.has(name) && typeof v === "object" && v && "$image" in v) {
+            v[name] = name === "w" || name === "h" ? Number(d.text) : d.text;
+            continue;
+        }
+        const qf = ctx.dict.facets.get(name);
+        qualifiers[name] = qf ? scalar(qf, d) : d.text;
+    }
+    if (Object.keys(qualifiers).length)
+        v = { $value: v, ...qualifiers };
+    const src = sourceOf(p.detail, line);
+    if (src) {
+        const at = address ?? "";
+        ctx.sources[at] = src;
+    }
+    return v;
+}
+function addressItem(key, f, item) {
+    return `${key}[${JSON.stringify(itemText(f, item))}]`;
+}
+/** Read a facet's value from its node: one value, a list, or a compound. */
+function readValue(f, node, ctx, address) {
+    const raw = node.value;
+    // An empty is the whole value (chapter 1.5).
+    if (raw && node.children.length === 0 && /^(_|-|n\/a|N\/A)( \[.*\])?$/.test(raw.trim())) {
+        const whole = readPiece(raw, node.line);
+        const empty = isEmptyMark(whole);
+        if (empty) {
+            const src = sourceOf(whole.detail, node.line);
+            if (src)
+                ctx.sources[address] = src;
+            return { $empty: empty };
+        }
+    }
+    if (f.type === "compound")
+        return readCompound(f, node, ctx, address);
+    if (!f.many) {
+        if (!raw)
+            return undefined;
+        return value(f, readPiece(raw, node.line), ctx, address, node.line);
+    }
+    const pieces = raw
+        ? readList(raw, node.line).map((p) => ({ p, line: node.line }))
+        : node.children.map((c) => {
+            if (c.kind !== "item")
+                throw new CrubalError("a list's lines start with \"- \"", c.line);
+            return { p: readPiece(c.value, c.line), line: c.line };
+        });
+    const out = [];
+    for (const { p, line } of pieces) {
+        if (isEmptyMark(p) || (!p.quoted && p.text === ""))
+            throw new CrubalError("an empty can't be a list item", line);
+        const tmp = { dict: ctx.dict, sources: {} };
+        const v = value(f, p, tmp, "", line);
+        out.push(v);
+        if (tmp.sources[""])
+            ctx.sources[addressItem(f.key, f, v)] = tmp.sources[""];
+    }
+    return out.length ? out : undefined;
+}
+function readFields(children, within, ctx, prefix) {
+    const obj = {};
+    const seen = new Set();
+    for (const c of children) {
+        if (c.kind !== "pair" || !c.key)
+            throw new CrubalError(`expected "key: value": ${c.text}`, c.line);
+        if (seen.has(c.key))
+            throw new CrubalError(`the key ${c.key} twice`, c.line);
+        seen.add(c.key);
+        const f = within ? within.get(c.key) : ctx.dict.facets.get(c.key);
+        const address = prefix ? `${prefix}.${c.key}` : c.key;
+        if (!f) {
+            obj[c.key] = c.children.length ? `${c.value}\n${innerText(c)}` : c.value;
+            continue;
+        }
+        const v = readValue(f, c, ctx, address);
+        if (v !== undefined)
+            obj[c.key] = v;
+    }
+    return obj;
+}
+function rowKeyOf(item) {
+    if (!item.value)
+        return { key: null, rest: item.children };
+    const p = readPiece(item.value, item.line);
+    if (p.text !== "")
+        throw new CrubalError(`a row starts with "[row: key]" or its first pair: ${item.value}`, item.line);
+    const row = p.detail.find(([k]) => k === "row");
+    if (!row || p.detail.length !== 1)
+        throw new CrubalError("a row's own line holds only [row: key]", item.line);
+    return { key: row[1].text, rest: item.children };
+}
+function readCompound(f, node, ctx, address) {
+    const children = f.children ?? new Map();
+    if (!f.many)
+        return readFields(node.children, children, ctx, address);
+    const rows = [];
+    const keys = new Set();
+    for (const item of node.children) {
+        if (item.kind !== "item")
+            throw new CrubalError("a compound's rows start with \"- \"", item.line);
+        const { key: written, rest } = rowKeyOf(item);
+        if (written && f.identity) {
+            throw new CrubalError(`a row key on ${f.key}, whose row keys come from ${f.identity}`, item.line);
+        }
+        let key = written;
+        if (f.identity) {
+            const idNode = rest.find((c) => c.key === f.identity);
+            const target = idNode?.value.trim();
+            if (!target?.startsWith("&"))
+                throw new CrubalError(`a row of ${f.key} needs its ${f.identity}`, item.line);
+            key = target.slice(1);
+        }
+        if (!key)
+            throw new CrubalError(`a row of ${f.key} needs [row: key]`, item.line);
+        if (keys.has(key))
+            throw new CrubalError(`the row key ${key} twice in one list`, item.line);
+        keys.add(key);
+        const row = readFields(rest, children, ctx, `${address}[${key}]`);
+        rows.push(f.identity ? row : { $row: key, ...row });
+    }
+    return rows.length ? rows : undefined;
+}
+function readParts(node, ctx) {
+    const parts = [];
+    const keys = new Set();
+    for (const item of node.children) {
+        if (item.kind !== "item")
+            throw new CrubalError("parts are list items", item.line);
+        const { key, rest } = rowKeyOf(item);
+        if (!key)
+            throw new CrubalError("every part needs [row: key]", item.line);
+        if (keys.has(key))
+            throw new CrubalError(`the row key ${key} twice in one list`, item.line);
+        keys.add(key);
+        const wearsNode = rest.find((c) => c.key === "crubal:wears");
+        const values = readFields(rest.filter((c) => c !== wearsNode), null, ctx, `parts[${key}]`);
+        const part = { $row: key };
+        if (wearsNode)
+            part.wears = readList(wearsNode.value, wearsNode.line).map((p) => p.text);
+        part.values = values;
+        parts.push(part);
+    }
+    return parts;
+}
+/** Read CRUBAL data text into a border wrapper (spec chapter 3.8). */
+export function readText(source, dict) {
+    const nodes = readTree(source);
+    const wrapper = { crubal: "2", records: [] };
+    let owner;
+    for (const node of nodes) {
+        if (node.kind !== "pair" || !node.key)
+            throw new CrubalError(`unexpected line: ${node.text}`, node.line);
+        if (node.key === "crubal") {
+            wrapper.crubal = node.value;
+            continue;
+        }
+        if (node.key === "package") {
+            wrapper.package = node.value;
+            continue;
+        }
+        if (node.key === "owner") {
+            owner = node.value;
+            continue;
+        }
+        const kind = dict.levels.get(node.key);
+        if (!kind)
+            throw new CrubalError(`an unknown top-level key ${node.key}`, node.line);
+        wrapper.records.push(readRecord(node, kind, owner));
+    }
+    return wrapper;
+    function readRecord(node, kind, fileOwner) {
+        const head = readPiece(node.value, node.line);
+        const m = head.text.match(/^(\S+)(?: of (\S+))?$/);
+        if (!m)
+            throw new CrubalError(`a record header is "level: id" or "level: id of parent": ${node.value}`, node.line);
+        const ctx = { dict, sources: {} };
+        const star = sourceOf(head.detail, node.line);
+        if (star)
+            ctx.sources["*"] = star;
+        const rec = { id: m[1], kind, level: node.key, owner: fileOwner ?? "", values: {} };
+        if (m[2])
+            rec.of = m[2];
+        const seen = new Set();
+        const valueNodes = [];
+        for (const c of node.children) {
+            if (c.kind !== "pair" || !c.key)
+                throw new CrubalError(`expected "key: value": ${c.text}`, c.line);
+            if (seen.has(c.key))
+                throw new CrubalError(`the key ${c.key} twice in one record`, c.line);
+            seen.add(c.key);
+            if (!ENVELOPE.has(c.key)) {
+                valueNodes.push(c);
+                continue;
+            }
+            if (c.key === "crubal:wears")
+                rec.wears = readList(c.value, c.line).map((p) => p.text);
+            else if (c.key === "crubal:parts")
+                rec.parts = readParts(c, ctx);
+            else if (c.key === "crubal:owner")
+                rec.owner = c.value;
+            else if (c.key === "crubal:created")
+                rec.created = c.value;
+            else if (c.key === "crubal:updated")
+                rec.updated = c.value;
+            else if (c.key === "crubal:kind" && c.value !== kind) {
+                throw new CrubalError(`crubal:kind ${c.value} disagrees with the level's kind ${kind}`, c.line);
+            }
+        }
+        rec.values = readFields(valueNodes, null, ctx, "");
+        if (Object.keys(ctx.sources).length)
+            rec.sources = ctx.sources;
+        return orderRecord(rec);
+    }
+}
+/** Members in the order chapter 3.2 lists them, so output reads the same every time. */
+function orderRecord(r) {
+    const o = { id: r.id, kind: r.kind, level: r.level };
+    if (r.of)
+        o.of = r.of;
+    o.owner = r.owner;
+    if (r.wears)
+        o.wears = r.wears;
+    if (r.created)
+        o.created = r.created;
+    if (r.updated)
+        o.updated = r.updated;
+    o.values = r.values;
+    if (r.parts)
+        o.parts = r.parts;
+    if (r.sources)
+        o.sources = r.sources;
+    return o;
+}
+export { writeText };
+/** Read one value's text under a facet, as if it had been written on that facet's line. */
+export function readUnder(f, text, dict, line = 0) {
+    const node = { kind: "pair", key: f.key, value: text, text, line, indent: 0, children: [] };
+    return readValue(f, node, { dict, sources: {} }, f.key);
+}
+//# sourceMappingURL=read-text.js.map

package/dist/src/read-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-text.js","sourceRoot":"","sources":["../../src/read-text.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,0FAA0F;AAG1F,OAAO,EAAc,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAa,QAAQ,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,EAAsE,MAAM,YAAY,CAAC;AAChG,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAC9H,MAAM,MAAM,GAAG,0BAA0B,CAAC;AAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAIzE,SAAS,QAAQ,CAAC,MAAyB,EAAE,IAAY;IACvD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClF,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,WAAW,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;IAClF,MAAM,CAAC,GAAW,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAClC,IAAI,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,CAAQ;IAC3B,IAAI,CAAC,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IACrC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACzE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gGAAgG;AAChG,SAAS,MAAM,CAAC,CAAQ,EAAE,CAAQ;IAChC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,IAAI;gBAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC3F,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC;YAC9D,CAAC;YACD,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC;YAC7D,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,OAAO;YACV,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACvB;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,SAAS,KAAK,CAAC,CAAQ,EAAE,CAAQ,EAAE,GAAQ,EAAE,OAAsB,EAAE,IAAY;IAC/E,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,IAAI,KAAK,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,yCAAyC,EAAE,IAAI,CAAC,CAAC;QAC3F,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;YAC/F,CAAgB,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjF,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM;QAAE,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC;IACrE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrC,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;QACzB,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,GAAW,EAAE,CAAQ,EAAE,IAAU;IACpD,OAAO,GAAG,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC;AACxD,CAAC;AAED,4EAA4E;AAC5E,SAAS,SAAS,CAAC,CAAQ,EAAE,IAAU,EAAE,GAAQ,EAAE,OAAe;IAChE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;IACvB,6CAA6C;IAC7C,IAAI,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,6BAA6B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACxF,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,GAAG;gBAAE,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC;YACpC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,MAAM,GAAiC,GAAG;QAC9C,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAE,MAAM,IAAI,WAAW,CAAC,kCAAkC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACzF,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,CAAC,CAAC,CAAC;IACP,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,+BAA+B,EAAE,IAAI,CAAC,CAAC;QACjH,MAAM,GAAG,GAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB,EAAE,MAAiC,EAAE,GAAQ,EAAE,MAAc;IAC/F,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG;YAAE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACnG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACtD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACzE,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU;IAC1B,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE;QAAE,MAAM,IAAI,WAAW,CAAC,qDAAqD,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACvH,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,wCAAwC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9G,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,YAAY,CAAC,CAAQ,EAAE,IAAU,EAAE,GAAQ,EAAE,OAAe;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,GAAG,EAAiB,CAAC;IACxD,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,IAAI,GAAW,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,qCAAqC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClG,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,GAAG,8BAA8B,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5G,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,GAAG,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,eAAe,GAAG,oBAAoB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,OAAO,IAAI,GAAG,GAAG,CAAC,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,IAAU,EAAE,GAAQ;IACrC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,sBAAsB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,WAAW,CAAC,6BAA6B,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,eAAe,GAAG,oBAAoB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,cAAc,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,GAAG,GAAG,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACvC,IAAI,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzF,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,IAAgB;IACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAY,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtD,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzG,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;YACzB,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACnB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,WAAW,CAAC,4BAA4B,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,OAAO,CAAC;IAEf,SAAS,UAAU,CAAC,IAAU,EAAE,IAAY,EAAE,SAA6B;QACzE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACnD,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,4DAA4D,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACnH,MAAM,GAAG,GAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI;YAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QAElC,MAAM,GAAG,GAAW,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,GAAa,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAChH,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,UAAU,GAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG;gBAAE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACnG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC,GAAG,sBAAsB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3F,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAChB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,cAAc;gBAAE,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;iBAClF,IAAI,CAAC,CAAC,GAAG,KAAK,cAAc;gBAAE,GAAG,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC5D,IAAI,CAAC,CAAC,GAAG,KAAK,cAAc;gBAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;iBAClD,IAAI,CAAC,CAAC,GAAG,KAAK,gBAAgB;gBAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;iBACtD,IAAI,CAAC,CAAC,GAAG,KAAK,gBAAgB;gBAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC;iBACtD,IAAI,CAAC,CAAC,GAAG,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACrD,MAAM,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,KAAK,oCAAoC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;QACD,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;QAC/D,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,GAAe,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IACjE,IAAI,CAAC,CAAC,EAAE;QAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;IACtB,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,IAAI,CAAC,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,CAAC,OAAO;QAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IACrC,IAAI,CAAC,CAAC,OAAO;QAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;IACrC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,CAAC,OAAO;QAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAgC,CAAC;IAC9D,OAAO,CAAsB,CAAC;AAChC,CAAC;AAED,OAAO,EAAE,SAAS,EAAE,CAAC;AAErB,2FAA2F;AAC3F,MAAM,UAAU,SAAS,CAAC,CAAQ,EAAE,IAAY,EAAE,IAAgB,EAAE,IAAI,GAAG,CAAC;IAC1E,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClG,OAAO,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC"}

package/dist/src/rules.d.ts

@@ -0,0 +1,64 @@
+import { type Expr } from "./conditions.ts";
+import type { Dictionary, Facet } from "./defs.ts";
+import type { Json, JsonObject, Record } from "./model.ts";
+export type Strength = "must" | "should" | "suggest";
+export type Rule = {
+    name: string;
+    line: number;
+    for: string;
+    when: Expr | null;
+    whenText: string;
+    thenText: string;
+    then: Expr | null;
+    strength: Strength;
+    because?: string;
+    /** A production: `key is <value | template | aggregate>`. */
+    produces?: {
+        key: string;
+        kind: "fill" | "template" | "rollup";
+        right: string;
+    };
+    /** Where it came from when it was expanded from a shortcut. */
+    shortcut?: boolean;
+};
+/** Read `rule:` blocks from definition text. */
+export declare function readRules(source: string): Rule[];
+/** The rules a facet's shortcut settings expand to (4.4). */
+export declare function shortcutRules(dict: Dictionary): Rule[];
+/** Check a rule set (6.8). Throws the first problem. */
+export declare function checkRules(rules: Rule[], dict: Dictionary): void;
+export type Result = {
+    record: string;
+    result: string;
+    address?: string;
+    value?: Json;
+    rule?: string;
+};
+export declare class Engine {
+    readonly dict: Dictionary;
+    readonly rules: Rule[];
+    private store;
+    private order;
+    constructor(dict: Dictionary, rules: Rule[]);
+    /** The values a record reads: its own over everything above it (1.7). */
+    effective(rec: Record): JsonObject;
+    private applies;
+    /** Where a produced key may be stored: the top of its chain, or a level where it varies. */
+    private storesAt;
+    private states;
+    /** A path a check tests, for reporting. */
+    private pathOf;
+    private uniqueClash;
+    /** Write a record (a create, or values merged onto one already stored). Returns its results. */
+    write(incoming: Record): Result[];
+    private layered;
+    /** A value's plain text in a template: the value itself, never quoted, without detail. */
+    private text;
+    /** A template (6.4.1): `{a}`, `{a ?? b}`, `{a?}`, `{{`, `}}`. Nothing when a needed value is empty. */
+    template(right: string, vals: JsonObject): string | undefined;
+    /** A rollup over parts: `worst of parts[*].condition`. */
+    rollup(right: string, rec: Record): Json | undefined;
+    /** Completeness (6.9): asked facets with a value ÷ asked facets, per record and per part. */
+    completeness(rec: Record): Result[];
+}
+export type { Facet };