@cruba/crubal 0.0.0-stage → 0.1.0

package/dist/src/dictionary.js

@@ -0,0 +1,498 @@
+// dictionary.ts: the Dictionary level (spec chapters 4 and 5). Definitions as JSON (4.6), the publish
+// checks on definitions and classes (4.7, 5.10), class resolution by meet (5.4), alias folding (4.3), and
+// checking each value against its facet and the classes its record wears (4.9, 5.3, 5.5, 5.6).
+import { evaluate, parseCondition } from "./conditions.js";
+import { itemText } from "./print-text.js";
+import { readUnder } from "./read-text.js";
+import { CrubalError } from "./tree.js";
+import { convert, unitOf } from "./units.js";
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/** A fold key (4.3): NFC, case-folded, trimmed, inner white space made one space. */
+export function foldKey(s) {
+    return s.normalize("NFC").toLowerCase().trim().replace(/\s+/g, " ");
+}
+// ─── Definitions as JSON (4.6) ────────────────────────────────────────────────
+export function facetJson(f) {
+    const o = { facet: f.key, type: f.type };
+    const put = (k, v, skip) => {
+        if (v === undefined || v === skip)
+            return;
+        if (Array.isArray(v) && v.length === 0)
+            return;
+        o[k] = v;
+    };
+    put("label", f.label);
+    put("ask", f.ask);
+    put("describe", f.describe);
+    put("pick", f.pick, "1");
+    put("ordered", f.ordered || undefined);
+    put("state", f.state, "active");
+    put("qualifiers", f.qualifiers);
+    put("aliases", f.aliases);
+    put("same-as", f.sameAs);
+    put("agree-by", f.agreeBy);
+    put("length", f.length === undefined ? undefined : String(f.length));
+    put("unit", f.unit);
+    put("accepts", f.accepts);
+    if (f.range)
+        o.range = { ...f.range };
+    put("places", f.places === undefined ? undefined : String(f.places));
+    put("precision", f.precision, "any");
+    if (f.words)
+        o.words = [...f.words];
+    if (f.values)
+        o.values = f.values.map((v) => (v.aliases.length ? { value: v.value, aliases: [...v.aliases] } : { value: v.value }));
+    put("open", f.open || undefined);
+    for (const k of ["fixed", "ranked", "scored", "required", "na", "unique"])
+        put(k, f[k] || undefined);
+    put("to", f.to);
+    if (f.children)
+        o.facets = [...f.children.values()].map(facetJson);
+    put("identity", f.identity);
+    put("when", f.when);
+    put("combine", f.combine);
+    put("version", f.version);
+    for (const [k, v] of Object.entries(f.extra))
+        o[k] = v;
+    return o;
+}
+function checkFacet(f) {
+    const line = f.line;
+    if (f.type === "choice" && !f.values?.length)
+        throw new CrubalError(`the choice facet ${f.key} has no values`, line);
+    if (f.type === "compound" && !f.children?.size)
+        throw new CrubalError(`the compound facet ${f.key} has no children`, line);
+    if (f.open && f.fixed)
+        throw new CrubalError(`the list of ${f.key} is both open and fixed`, line);
+    if ((f.ranked || f.scored || f.fixed || f.open) && f.type !== "choice") {
+        throw new CrubalError(`${f.key}: ranked, scored, fixed and open lists are for choice facets`, line);
+    }
+    if (f.ordered && !f.many)
+        throw new CrubalError(`${f.key} is ordered but holds one value`, line);
+    if (f.accepts.length && !f.unit)
+        throw new CrubalError(`${f.key} accepts other units but has no unit`, line);
+    if (f.range && Number(f.range.min) > Number(f.range.max))
+        throw new CrubalError(`${f.key}'s range runs backwards`, line);
+    if (f.identity) {
+        const child = f.children?.get(f.identity);
+        if (!child)
+            throw new CrubalError(`the identity child ${f.identity} of ${f.key} isn't one of its children`, line);
+        if (child.type !== "link")
+            throw new CrubalError(`the identity child ${f.identity} of ${f.key} is not a link`, line);
+    }
+    const seen = new Map();
+    for (const v of f.values ?? []) {
+        for (const spelling of [v.value, ...v.aliases]) {
+            const k = foldKey(spelling);
+            const owner = seen.get(k);
+            if (owner !== undefined && owner !== v.value) {
+                throw new CrubalError(`${f.key}: the spelling ${spelling} folds to the same as ${owner}`, line);
+            }
+            seen.set(k, v.value);
+        }
+    }
+    for (const c of f.children?.values() ?? []) {
+        if (["row", "origin", "via", "owner"].includes(c.key))
+            throw new CrubalError(`${f.key} has a child named ${c.key}, which is reserved`, line);
+        checkFacet(c);
+    }
+}
+/** Run every publish check on a dictionary. Throws the first error; returns warnings. */
+export function checkPackage(dict) {
+    const warnings = [];
+    const keys = new Map();
+    for (const f of dict.facets.values()) {
+        if (f.key.startsWith("crubal:"))
+            continue;
+        checkFacet(f);
+        for (const spelling of [f.key, ...f.aliases]) {
+            const k = foldKey(spelling);
+            const owner = keys.get(k);
+            if (owner !== undefined && owner !== f.key) {
+                const what = spelling === f.key ? `the key ${f.key}` : `the alias ${spelling} of ${f.key}`;
+                throw new CrubalError(`${what} folds to ${owner === k ? "the key" : "an alias"} of ${owner}`, f.line);
+            }
+            keys.set(k, f.key);
+        }
+    }
+    for (const c of dict.classes.values()) {
+        for (const l of c.lines)
+            checkClassLine(c, l, dict);
+        for (const slot of c.parts) {
+            if (!dict.classes.has(slot.wears))
+                throw new CrubalError(`the part slot ${slot.slot} wears ${slot.wears}, which isn't a class`, slot.line);
+        }
+    }
+    for (const c of dict.classes.values()) {
+        findCycle(c.name, dict, []);
+        resolve(dict, [c.name], c.line);
+        warnings.push(...redundantLines(c, dict));
+    }
+    return warnings;
+}
+function checkClassLine(c, l, dict) {
+    const f = dict.facets.get(l.facet);
+    if (!f)
+        throw new CrubalError(`the class line ${l.text} names a facet that isn't defined`, l.line);
+    if (f.state === "candidate")
+        throw new CrubalError(`${f.key} is a candidate; a class line can only name an active facet`, l.line);
+    if (f.state === "retired")
+        throw new CrubalError(`${f.key} is retired; a class line can only name an active facet`, l.line);
+    const type = l.type;
+    if (type && type !== f.type)
+        throw new CrubalError(`the class line ${l.text} marks ${f.key} as ${type}, but it is ${f.type}`, l.line);
+    if (l.values) {
+        const real = new Set((f.values ?? []).map((v) => v.value));
+        const extra = l.values.filter((v) => !real.has(v));
+        if (extra.length)
+            throw new CrubalError(`the class line ${l.text} widens ${f.key}: ${extra.join(", ")} is not one of its values`, l.line);
+    }
+    if (l.length !== undefined && f.length !== undefined && l.length > f.length)
+        throw new CrubalError(`the class line ${l.text} widens ${f.key}'s length`, l.line);
+    if (l.pick && f.pick !== "any" && (l.pick === "any" || Number(l.pick) > Number(f.pick)))
+        throw new CrubalError(`the class line ${l.text} widens ${f.key}'s pick`, l.line);
+    if (l.range && f.range && (Number(l.range.min) < Number(f.range.min) || Number(l.range.max) > Number(f.range.max))) {
+        throw new CrubalError(`the class line ${l.text} widens ${f.key}'s range`, l.line);
+    }
+    if (l.when)
+        parseCondition(l.when, l.line);
+    void c;
+}
+function findCycle(name, dict, path) {
+    if (path.includes(name)) {
+        const loop = path.slice(path.indexOf(name));
+        const first = dict.classes.get(loop[0]);
+        throw new CrubalError(`the classes ${loop.join(" and ")} use each other`, first?.line);
+    }
+    const c = dict.classes.get(name);
+    if (!c)
+        return;
+    for (const u of c.uses) {
+        if (!dict.classes.has(u))
+            throw new CrubalError(`${name} uses ${u}, which isn't a class`, c.line);
+        findCycle(u, dict, [...path, name]);
+    }
+}
+function order(dict, names, seen = new Set()) {
+    const out = [];
+    for (const n of names) {
+        if (seen.has(n))
+            continue;
+        const c = dict.classes.get(n);
+        if (!c)
+            continue;
+        seen.add(n);
+        out.push(...order(dict, c.uses, seen), c);
+    }
+    return out;
+}
+/** Resolve the meet of classes (a class with its uses, or everything a record wears). */
+export function resolve(dict, names, line) {
+    const lines = new Map();
+    for (const c of order(dict, names)) {
+        for (const l of c.lines) {
+            const f = dict.facets.get(l.facet);
+            let r = lines.get(l.facet);
+            if (!r) {
+                r = { facet: l.facet, levels: [], from: [] };
+                if (l.section)
+                    r.section = l.section;
+                lines.set(l.facet, r);
+            }
+            r.from.push({ cls: c.name, line: l });
+            if (l.required)
+                r.required = true;
+            if (l.level && !r.levels.includes(l.level))
+                r.levels.push(l.level);
+            if (l.when)
+                r.when = r.when ? `(${r.when}) and (${l.when})` : l.when;
+            if (l.values) {
+                const base = r.values ?? (f?.values ?? []).map((v) => v.value);
+                const next = base.filter((v) => l.values?.includes(v));
+                if (!next.length) {
+                    const others = r.from.filter((x) => x.line.values && x.cls !== c.name).map((x) => x.cls);
+                    throw new CrubalError(`${names.join(", ")} allows no value of ${l.facet}: ${[...new Set([...others, c.name])].join(" and ")} have nothing in common`, line ?? l.line);
+                }
+                r.values = next;
+            }
+            if (l.length !== undefined)
+                r.length = Math.min(r.length ?? Number.POSITIVE_INFINITY, l.length);
+            if (l.pick)
+                r.pick = r.pick && r.pick !== "any" && (l.pick === "any" || Number(r.pick) < Number(l.pick)) ? r.pick : l.pick;
+            if (l.range) {
+                const min = r.range ? String(Math.max(Number(r.range.min), Number(l.range.min))) : l.range.min;
+                const max = r.range ? String(Math.min(Number(r.range.max), Number(l.range.max))) : l.range.max;
+                r.range = { min, max };
+            }
+        }
+    }
+    return [...lines.values()];
+}
+/** A resolved class as JSON, as the corpus states it. */
+export function resolvedJson(lines) {
+    return lines.map((r) => {
+        const o = { facet: r.facet };
+        if (r.required)
+            o.required = true;
+        if (r.values)
+            o.values = r.values;
+        if (r.length !== undefined)
+            o.length = String(r.length);
+        if (r.pick)
+            o.pick = r.pick;
+        if (r.range)
+            o.range = r.range;
+        if (r.levels.length === 1)
+            o.level = r.levels[0];
+        else if (r.levels.length > 1)
+            o.levels = r.levels;
+        if (r.when)
+            o.when = r.when;
+        return o;
+    });
+}
+function redundantLines(c, dict) {
+    const inherited = new Map(resolve(dict, c.uses).map((r) => [r.facet, r]));
+    const out = [];
+    for (const l of c.lines) {
+        if (!inherited.has(l.facet))
+            continue;
+        const narrows = l.required || l.values || l.length !== undefined || l.pick || l.range || l.level || l.when;
+        if (!narrows)
+            out.push({ line: l.line, message: `${c.name} restates ${l.facet}, which a used class already asks for` });
+    }
+    return out;
+}
+// ─── Folding (4.3) ───────────────────────────────────────────────────────────
+function keyIndex(dict) {
+    const idx = new Map();
+    for (const f of dict.facets.values()) {
+        for (const s of [f.key, ...f.aliases])
+            idx.set(foldKey(s), f.key);
+    }
+    return idx;
+}
+function foldChoice(f, v) {
+    if (typeof v === "string" && f.values) {
+        const k = foldKey(v);
+        for (const cv of f.values)
+            if ([cv.value, ...cv.aliases].some((s) => foldKey(s) === k))
+                return cv.value;
+        return v;
+    }
+    if (isObj(v) && "$value" in v)
+        return { ...v, $value: foldChoice(f, v.$value) };
+    return v;
+}
+function foldQuantity(f, v) {
+    if (!isObj(v) || !("$qty" in v) || !f.unit)
+        return v;
+    const from = unitOf(String(v.unit)) ?? String(v.unit);
+    if (from === f.unit)
+        return from === v.unit ? v : { $qty: v.$qty, unit: from };
+    if (!f.accepts.includes(from) && !f.accepts.includes(String(v.unit)))
+        return v;
+    const amount = convert(String(v.$qty), from, f.unit, f.places);
+    return amount === null ? v : { $qty: amount, unit: f.unit };
+}
+export function foldValue(f, v, dict) {
+    if (Array.isArray(v))
+        return v.map((x) => foldValue(f, x, dict));
+    if (f.type === "choice")
+        return foldChoice(f, v);
+    if (f.type === "number")
+        return foldQuantity(f, v);
+    if (f.type === "compound" && isObj(v))
+        return foldFields(v, f.children ?? new Map(), dict);
+    return v;
+}
+function foldFields(obj, within, dict) {
+    const idx = within ? new Map([...within.keys()].map((k) => [foldKey(k), k])) : keyIndex(dict);
+    const out = {};
+    for (const [k, v] of Object.entries(obj)) {
+        const lookup = within ?? dict.facets;
+        let key = k;
+        let value = v;
+        let f = lookup.get(k);
+        if (!f) {
+            const real = idx.get(foldKey(k));
+            const rf = real ? lookup.get(real) : undefined;
+            if (real && rf && typeof v === "string") {
+                key = real;
+                f = rf;
+                value = readUnder(rf, v, dict) ?? v;
+            }
+        }
+        out[key] = f ? foldValue(f, value, dict) : value;
+    }
+    return out;
+}
+/** Fold a record: key aliases, value aliases and accepted units become real names (chapter 4.3). */
+export function foldRecord(r, dict) {
+    const out = { ...r, values: foldFields(r.values, null, dict) };
+    if (r.parts) {
+        out.parts = r.parts.map((p) => (isObj(p) && isObj(p.values) ? { ...p, values: foldFields(p.values, null, dict) } : p));
+    }
+    return out;
+}
+const NUMBER = /^-?(0|[1-9]\d*)(\.\d+)?$/;
+const DATE = /^\d{4}(-\d{2}(-\d{2})?)?$/;
+function core(v) {
+    return isObj(v) && "$value" in v ? v.$value : v;
+}
+function precisionOf(d) {
+    return d.length === 4 ? "year" : d.length === 7 ? "month" : "day";
+}
+/** Check one scalar against its facet: an outcome and an optional flag. */
+export function checkScalar(f, v) {
+    const c = core(v);
+    if (isObj(c) && "$empty" in c)
+        return { outcome: "absorbed" };
+    switch (f.type) {
+        case "number": {
+            let amount = null;
+            if (typeof c === "string" && NUMBER.test(c) && !f.unit)
+                amount = c;
+            if (isObj(c) && "$qty" in c && c.unit === f.unit)
+                amount = String(c.$qty);
+            if (isObj(c) && "$money" in c && (f.unit === "currency" || c.currency === f.unit))
+                amount = String(c.$money);
+            if (amount === null)
+                return { outcome: "contradiction" };
+            if (f.range && (Number(amount) < Number(f.range.min) || Number(amount) > Number(f.range.max)))
+                return { outcome: "absorbed", flag: "range" };
+            return { outcome: "absorbed" };
+        }
+        case "date": {
+            if (typeof c !== "string" || !DATE.test(c))
+                return { outcome: "contradiction" };
+            const want = f.precision ?? "any";
+            const rank = { year: 0, month: 1, day: 2 };
+            if (want !== "any" && rank[precisionOf(c)] < rank[want])
+                return { outcome: "absorbed", flag: "precision" };
+            return { outcome: "absorbed" };
+        }
+        case "yes-no":
+            return typeof c === "boolean" ? { outcome: "absorbed" } : { outcome: "contradiction" };
+        case "link":
+            return isObj(c) && "$link" in c ? { outcome: "absorbed" } : { outcome: "contradiction" };
+        case "image":
+            return isObj(c) && "$image" in c ? { outcome: "absorbed" } : { outcome: "contradiction" };
+        case "choice": {
+            if (typeof c !== "string")
+                return { outcome: "contradiction" };
+            if ((f.values ?? []).some((x) => x.value === c))
+                return { outcome: "absorbed" };
+            return f.fixed ? { outcome: "contradiction" } : { outcome: "new" };
+        }
+        case "compound":
+            return isObj(c) ? { outcome: "absorbed" } : { outcome: "contradiction" };
+        default: {
+            if (typeof c !== "string")
+                return { outcome: "contradiction" };
+            if (f.length !== undefined && [...c].length > f.length)
+                return { outcome: "absorbed", flag: "length" };
+            return { outcome: "absorbed" };
+        }
+    }
+}
+function outcome(record, address, r, cites) {
+    const o = { record, address, outcome: r.outcome };
+    if (r.flag)
+        o.flag = r.flag;
+    if (cites)
+        o.cites = cites;
+    else if (r.outcome === "contradiction")
+        o.cites = { type: address.replace(/\[.*$/, "").split(".").at(-1) };
+    return o;
+}
+function checkValue(record, f, key, v, address, narrow) {
+    const items = Array.isArray(v) ? v : null;
+    const pickLimit = narrow?.pick ?? f.pick;
+    if (items) {
+        if (pickLimit !== "any" && items.length > Number(pickLimit)) {
+            return [{ record, address, outcome: "contradiction", cites: { type: f.key } }];
+        }
+        return items.map((item) => itemOutcome(record, f, key, item, `${address}[${JSON.stringify(itemText(f, item))}]`, narrow));
+    }
+    return [itemOutcome(record, f, key, v, address, narrow)];
+}
+function citeLine(cls, l) {
+    return `${cls}: ${l.text}`;
+}
+function itemOutcome(record, f, _key, v, address, narrow) {
+    const base = checkScalar(f, v);
+    const c = core(v);
+    if (narrow?.values && typeof c === "string" && !(isObj(c) && "$empty" in c) && !narrow.values.includes(c)) {
+        const by = narrow.from.find((x) => x.line.values && !x.line.values.includes(c));
+        return outcome(record, address, { outcome: "contradiction" }, { rule: by ? citeLine(by.cls, by.line) : f.key });
+    }
+    return outcome(record, address, base);
+}
+function isEmptyValue(v) {
+    return v === undefined || (isObj(v) && v.$empty === "unknown");
+}
+/** Check a record: every value against its facet and worn classes, required facets, and parts. */
+export function checkRecord(r, dict) {
+    const outcomes = [];
+    const worn = (r.wears ?? []).filter((w) => dict.classes.has(w));
+    const resolved = resolve(dict, worn);
+    const byFacet = new Map(resolved.map((l) => [l.facet, l]));
+    const asked = [];
+    const missing = [];
+    for (const l of resolved) {
+        let holds = true;
+        if (l.when)
+            holds = evaluate(parseCondition(l.when), r.values);
+        if (holds !== true)
+            continue;
+        asked.push(l.facet);
+        if (l.required && isEmptyValue(r.values[l.facet])) {
+            missing.push(l.facet);
+            const by = l.from.find((x) => x.line.required);
+            outcomes.push({ record: r.id, address: l.facet, outcome: "incomplete", cites: { rule: by ? citeLine(by.cls, by.line) : l.facet } });
+        }
+    }
+    for (const [key, v] of Object.entries(r.values)) {
+        const f = dict.facets.get(key);
+        if (!f) {
+            outcomes.push({ record: r.id, address: key, outcome: "unknown" });
+            continue;
+        }
+        outcomes.push(...checkValue(r.id, f, key, v, key, byFacet.get(key)));
+    }
+    const slots = worn.flatMap((w) => (dict.classes.get(w)?.parts ?? []).map((s) => ({ cls: w, s })));
+    for (const p of r.parts ?? []) {
+        if (!isObj(p))
+            continue;
+        const row = String(p.$row);
+        const wears = Array.isArray(p.wears) ? p.wears.map(String) : [];
+        const slot = slots.find((x) => wears.includes(x.s.wears));
+        const at = `parts[${row}]`;
+        const cite = slot ? { type: `${slot.cls}: ${slot.s.slot}` } : undefined;
+        if (slot && !slot.s.fungible && (row === `${slot.s.slot}s` || row === `${slot.s.slot}es`)) {
+            outcomes.push({ record: r.id, address: at, outcome: "contradiction", cites: cite, reason: "plural of a non-fungible slot" });
+        }
+        const values = isObj(p.values) ? p.values : {};
+        for (const [key, v] of Object.entries(values)) {
+            const address = `${at}.${key}`;
+            if (key === "crubal:count") {
+                if (slot && !slot.s.fungible) {
+                    outcomes.push({ record: r.id, address, outcome: "contradiction", cites: cite, reason: "count on a non-fungible slot" });
+                    continue;
+                }
+            }
+            const f = dict.facets.get(key);
+            if (!f) {
+                outcomes.push({ record: r.id, address, outcome: "unknown" });
+                continue;
+            }
+            outcomes.push(...checkValue(r.id, f, key, v, address, undefined));
+        }
+    }
+    const summary = { record: r.id, asked, outcome: missing.length ? "incomplete" : "complete" };
+    if (missing.length)
+        summary.missing = missing;
+    return { outcomes, summary };
+}
+//# sourceMappingURL=dictionary.js.map

package/dist/src/dictionary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dictionary.js","sourceRoot":"","sources":["../../src/dictionary.ts"],"names":[],"mappings":"AAAA,sGAAsG;AACtG,0GAA0G;AAC1G,+FAA+F;AAE/F,OAAO,EAAc,QAAQ,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGvE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAE7C,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,qFAAqF;AACrF,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,SAAS,CAAC,CAAQ;IAChC,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAmB,EAAE,IAAW,EAAE,EAAE;QAC1D,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO;QAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC/C,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACX,CAAC,CAAC;IACF,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IACtB,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAClB,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzB,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,CAAC;IACvC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAChC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1B,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzB,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3B,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACpB,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;IACtC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC,MAAM;QAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAc,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChJ,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAU;QAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC;IAC9G,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChB,IAAI,CAAC,CAAC,QAAQ;QAAE,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACnE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACpB,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1B,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvD,OAAO,CAAC,CAAC;AACX,CAAC;AAMD,SAAS,UAAU,CAAC,CAAQ;IAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM;QAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,CAAC,CAAC,GAAG,gBAAgB,EAAE,IAAI,CAAC,CAAC;IACrH,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI;QAAE,MAAM,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC,GAAG,kBAAkB,EAAE,IAAI,CAAC,CAAC;IAC3H,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK;QAAE,MAAM,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,GAAG,yBAAyB,EAAE,IAAI,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,8DAA8D,EAAE,IAAI,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,iCAAiC,EAAE,IAAI,CAAC,CAAC;IACjG,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,sCAAsC,EAAE,IAAI,CAAC,CAAC;IAC7G,IAAI,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,yBAAyB,EAAE,IAAI,CAAC,CAAC;IACzH,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,GAAG,4BAA4B,EAAE,IAAI,CAAC,CAAC;QAClH,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,GAAG,gBAAgB,EAAE,IAAI,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC7C,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,kBAAkB,QAAQ,yBAAyB,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;YAClG,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,sBAAsB,CAAC,CAAC,GAAG,qBAAqB,EAAE,IAAI,CAAC,CAAC;QAC7I,UAAU,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,SAAS;QAC1C,UAAU,CAAC,CAAC,CAAC,CAAC;QACd,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,QAAQ,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,QAAQ,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC3F,MAAM,IAAI,WAAW,CAAC,GAAG,IAAI,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,OAAO,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACxG,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,KAAK,uBAAuB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7I,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,CAAW,EAAE,CAAY,EAAE,IAAgB;IACjE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,mCAAmC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACnG,IAAI,CAAC,CAAC,KAAK,KAAK,WAAW;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,6DAA6D,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClI,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,yDAAyD,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5H,MAAM,IAAI,GAAI,CAAmC,CAAC,IAAI,CAAC;IACvD,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,GAAG,OAAO,IAAI,eAAe,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACtI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,KAAK,CAAC,MAAM;YAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5I,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;QAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAChK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1K,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnH,MAAM,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,CAAC,IAAI;QAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,KAAK,CAAC,CAAC;AACT,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,IAAgB,EAAE,IAAc;IAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC;QAClD,MAAM,IAAI,WAAW,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO;IACf,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,IAAI,SAAS,CAAC,uBAAuB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAClG,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAkBD,SAAS,KAAK,CAAC,IAAgB,EAAE,KAAe,EAAE,OAAO,IAAI,GAAG,EAAU;IACxE,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,OAAO,CAAC,IAAgB,EAAE,KAAe,EAAE,IAAa;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;gBAC7C,IAAI,CAAC,CAAC,OAAO;oBAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;gBACrC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACxB,CAAC;YACD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,CAAC,CAAC,QAAQ;gBAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;YAClC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnE,IAAI,CAAC,CAAC,IAAI;gBAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACjB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACzF,MAAM,IAAI,WAAW,CACnB,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,EAC9H,IAAI,IAAI,CAAC,CAAC,IAAI,CACf,CAAC;gBACJ,CAAC;gBACD,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;YAClB,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAChG,IAAI,CAAC,CAAC,IAAI;gBAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3H,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACZ,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;gBAC/F,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;gBAC/F,CAAC,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,KAAqB;IAChD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,MAAM,CAAC,GAAe,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,QAAQ;YAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM;YAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,IAAI;YAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,CAAC,KAAK;YAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC;aACtD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QAClD,IAAI,CAAC,CAAC,IAAI;YAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,CAAW,EAAE,IAAgB;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,SAAS;QACtC,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC;QAC3G,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,KAAK,uCAAuC,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAEhF,SAAS,QAAQ,CAAC,IAAgB;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,CAAO;IACnC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAAE,OAAO,EAAE,CAAC,KAAK,CAAC;QACxG,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,MAAc,CAAC,EAAE,CAAC;IACxF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,CAAQ,EAAE,CAAO;IACrC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACvF,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAQ,EAAE,CAAO,EAAE,IAAgB;IAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IAC3F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,GAAe,EAAE,MAAiC,EAAE,IAAgB;IACtF,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9F,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;QACrC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/C,IAAI,IAAI,IAAI,EAAE,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACxC,GAAG,GAAG,IAAI,CAAC;gBACX,CAAC,GAAG,EAAE,CAAC;gBACP,KAAK,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,UAAU,CAAC,CAAS,EAAE,IAAgB;IACpD,MAAM,GAAG,GAAW,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;IACvE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACZ,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAMD,MAAM,MAAM,GAAG,0BAA0B,CAAC;AAC1C,MAAM,IAAI,GAAG,2BAA2B,CAAC;AAEzC,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,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AACpE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,WAAW,CAAC,CAAQ,EAAE,CAAO;IAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC9D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,MAAM,GAAkB,IAAI,CAAC;YACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;gBAAE,MAAM,GAAG,CAAC,CAAC;YACnE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1E,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC;gBAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC7G,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC7I,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;YAChF,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC;YAClC,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC3C,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC3G,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QACjC,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QACzF,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QAC3F,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QAC5F,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;YAC/D,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;YAChF,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACrE,CAAC;QACD,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;QAC3E,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;YAC/D,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;gBAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvG,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QACjC,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,MAAc,EAAE,OAAe,EAAE,CAAqC,EAAE,KAAkB;IACzG,MAAM,CAAC,GAAY,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,IAAI,CAAC,CAAC,IAAI;QAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK;QAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;SACtB,IAAI,CAAC,CAAC,OAAO,KAAK,eAAe;QAAE,CAAC,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC;IACrH,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,CAAQ,EAAE,GAAW,EAAE,CAAO,EAAE,OAAe,EAAE,MAAgC;IACnH,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1C,MAAM,SAAS,GAAG,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;IACzC,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,SAAS,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,CAAY;IACzC,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,MAAc,EAAE,CAAQ,EAAE,IAAY,EAAE,CAAO,EAAE,OAAe,EAAE,MAAgC;IACrH,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,IAAI,MAAM,EAAE,MAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1G,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,OAAO,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,YAAY,CAAC,CAAmB;IACvC,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;AACjE,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,IAAgB;IACrD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,KAAK,GAAU,IAAI,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI;YAAE,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,QAAQ,IAAI,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtI,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YAClE,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,GAAG,SAAS,GAAG,GAAG,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,IAAkB,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC,CAAC;QAC7I,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,MAAM,OAAO,GAAG,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC;YAC/B,IAAI,GAAG,KAAK,cAAc,EAAE,CAAC;gBAC3B,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,IAAkB,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC,CAAC;oBACtI,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC7D,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAY,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IACtG,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;IAC9C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC"}

package/dist/src/exchange.d.ts

@@ -0,0 +1,45 @@
+import type { Dictionary } from "./defs.ts";
+import type { Json, JsonObject, Record } from "./model.ts";
+import { type Contract, type Keys } from "./store.ts";
+export type Role = {
+    name: string;
+    audience: string;
+    may: {
+        [verb: string]: string[];
+    };
+    line: number;
+};
+export declare function readRoles(source: string): Role[];
+/** Check contracts against a dictionary (7.10). Throws the first problem. */
+export declare function checkContracts(contracts: Contract[], dict: Dictionary, ownPrefix?: string): void;
+export type RunResult = {
+    [k: string]: Json;
+};
+export declare class Exchange {
+    readonly dict: Dictionary;
+    readonly contracts: Map<string, Contract>;
+    readonly roles: Role[];
+    private records;
+    private sent;
+    private runs;
+    constructor(dict: Dictionary, contracts: Contract[], roles?: Role[]);
+    put(r: Record): void;
+    get(id: string): Record | undefined;
+    /** A record's values with everything above it read through (1.7). */
+    effective(r: Record): JsonObject;
+    /** The value an address names from a record, with a level prefix reading that level. */
+    private read;
+    private nextLog;
+    /** Steps 1–4 of a send (or form) contract: permission, needs, map out, act once. */
+    run(name: string, recordId: string, callerId?: string): RunResult;
+    private needsOf;
+    /** Steps 5–6 for a receive contract: map the answer back, compare with the record, and land it. */
+    receiveRun(name: string, recordId: string, body: string): RunResult;
+    /** Offer and take (7.8): only what the offer gives and the take reads flows. */
+    take(takeName: string, offerName: string, recordId: string, presenter: Record): RunResult;
+}
+/** Verify a border wrapper from another owner: its log against the owner's key, and its values against the log. */
+export declare function verifyBorder(w: {
+    records: Record[];
+    log?: JsonObject[];
+}, keys: Keys): JsonObject;