@cruba/crubal 0.0.0-stage → 0.1.0

package/dist/src/exchange.js

@@ -0,0 +1,321 @@
+// exchange.ts: the Exchange level (spec chapters 7, 9 at borders, 11). Contracts are checked at publish
+// (7.10) and run in seven steps (7.4): trigger and permission, needs, map out, act, map back, rules,
+// record. Runs are idempotent (7.5). Offer and take share between owners, and only the overlap flows
+// (7.8). Data crossing a border is verified against the presenter's published key (8.5.1).
+import { serialize } from "./canonical.js";
+import { evaluate, parseCondition } from "./conditions.js";
+import { fieldPath, land, receive, sha256, verifyChain } from "./store.js";
+import { CrubalError, readTree } from "./tree.js";
+const isObj = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+export function readRoles(source) {
+    const out = [];
+    for (const node of readTree(source)) {
+        if (node.kind !== "pair" || node.key !== "role")
+            continue;
+        const role = { name: node.value.trim(), audience: "member", may: {}, line: node.line };
+        for (const c of node.children) {
+            if (c.key === "audience")
+                role.audience = c.value;
+            if (c.key === "may")
+                for (const g of c.children)
+                    if (g.key)
+                        role.may[g.key] = g.value.split(",").map((s) => s.trim());
+        }
+        out.push(role);
+    }
+    return out;
+}
+/** What a caller is, for `who` (7.6): its values, the classes it wears, and its roles' grants. */
+function callerStates(caller, roles) {
+    return (path) => {
+        const s = new Set();
+        if (path !== "caller" || !caller)
+            return s;
+        for (const w of caller.wears ?? [])
+            s.add(`wears:${w}`);
+        const held = caller.values.roles;
+        const names = (Array.isArray(held) ? held : held ? [held] : []).map((r) => (isObj(r) && "$link" in r ? String(r.$link) : String(r)));
+        for (const r of roles.filter((x) => names.includes(x.name))) {
+            for (const [verb, targets] of Object.entries(r.may))
+                for (const t of targets)
+                    s.add(`may:${verb} ${t}`);
+        }
+        return s;
+    };
+}
+// ─── Publish checks (7.10) ───────────────────────────────────────────────────
+const PARTS = {
+    send: ["needs", "gives", "writes", "reads", "when", "who", "auth", "scope", "credential", "retry", "undo", "for", "label", "describe", "version"],
+    receive: ["needs", "gives", "reads", "when", "who", "origin", "lands", "evidence", "absorb", "ignore", "keep-raw", "prefix", "auth", "scope", "credential", "retry", "undo", "for", "label", "describe", "version"],
+    store: ["needs", "stores", "when", "who", "for", "label", "describe", "version"],
+    form: ["needs", "gives", "writes", "reads", "when", "who", "origin", "lands", "for", "label", "describe", "version"],
+    offer: ["needs", "gives", "to", "mode", "terms", "for", "when", "who", "label", "describe", "version"],
+    take: ["needs", "from", "reads", "mode", "lands", "origin", "absorb", "ignore", "keep-raw", "prefix", "when", "who", "for", "label", "describe", "version"],
+};
+function ourKey(address) {
+    return address.replace(/^\w+::/, "").split(/[.[]/)[0];
+}
+/** Check contracts against a dictionary (7.10). Throws the first problem. */
+export function checkContracts(contracts, dict, ownPrefix = "") {
+    const names = new Set(contracts.map((c) => c.name));
+    for (const c of contracts) {
+        const allowed = PARTS[c.kind];
+        if (!allowed)
+            throw new CrubalError(`unknown contract kind ${c.kind}`, c.line);
+        for (const [part, line] of Object.entries(c.partLines)) {
+            if (part === "kind" || part.includes(":"))
+                continue;
+            if (!allowed.includes(part))
+                throw new CrubalError(`a ${c.kind} contract has no part ${part}`, line);
+        }
+        for (const l of c.needs)
+            if (!dict.facets.has(l.facet))
+                throw new CrubalError(`${l.facet} is not a defined facet`, l.line);
+        const sides = [
+            ...c.writes.filter((m) => !m.from.startsWith('"')).map((m) => ({ address: m.from, line: m.line, values: m.values.map(([ours]) => ours), valueLines: m.valueLines, mayBeUnknown: false })),
+            ...c.reads.map((m) => ({ address: m.to, line: m.line, values: m.values.map(([, ours]) => ours), valueLines: m.valueLines, mayBeUnknown: true })),
+        ];
+        for (const s of sides) {
+            const key = ourKey(s.address);
+            const f = dict.facets.get(key);
+            const foreign = key.includes(":") && !(ownPrefix && key.startsWith(`${ownPrefix}:`));
+            if (!f) {
+                if (s.mayBeUnknown && foreign)
+                    continue;
+                throw new CrubalError(`${key} is not a defined facet`, s.line);
+            }
+            s.values.forEach((v, i) => {
+                if (f.type !== "choice" || v === "-")
+                    return;
+                if ((f.values ?? []).some((x) => x.value === v))
+                    return;
+                const of = (f.values ?? []).find((x) => x.aliases.includes(v));
+                throw new CrubalError(of ? `${v} is an alias of ${of.value}; a value map must name the real value` : `${v} is not a value of ${key}`, s.valueLines[i] ?? s.line);
+            });
+        }
+        for (const cond of [c.who, c.when])
+            if (cond && cond !== "asked")
+                parseCondition(cond, c.line);
+        if (c.undo && !names.has(c.undo))
+            throw new CrubalError(`${c.name}'s undo names ${c.undo}, which isn't a contract here`, c.partLines.undo);
+        const cred = c.parts.credential;
+        if (cred && /[^A-Za-z0-9._-]/.test(cred))
+            throw new CrubalError(`${c.name}'s credential must be a name, never a secret`, c.partLines.credential);
+    }
+}
+/** The plain text a value is sent as: an amount for money and quantities, a target for links. */
+function wire(v) {
+    if (isObj(v)) {
+        if ("$value" in v)
+            return wire(v.$value);
+        if ("$money" in v)
+            return String(v.$money);
+        if ("$qty" in v)
+            return String(v.$qty);
+        if ("$link" in v)
+            return String(v.$link);
+        if ("$image" in v)
+            return String(v.$image);
+        if ("$empty" in v)
+            return "";
+    }
+    if (Array.isArray(v))
+        return v.map(wire);
+    return v;
+}
+function put(payload, path, value) {
+    const names = fieldPath(path);
+    let at = payload;
+    names.slice(0, -1).forEach((n) => {
+        if (!isObj(at[n]))
+            at[n] = {};
+        at = at[n];
+    });
+    at[names.at(-1)] = value;
+}
+export class Exchange {
+    dict;
+    contracts;
+    roles;
+    records = new Map();
+    sent = new Set();
+    runs = 0;
+    constructor(dict, contracts, roles = []) {
+        this.dict = dict;
+        this.contracts = new Map(contracts.map((c) => [c.name, c]));
+        this.roles = roles;
+    }
+    put(r) {
+        this.records.set(r.id, r);
+    }
+    get(id) {
+        return this.records.get(id);
+    }
+    /** A record's values with everything above it read through (1.7). */
+    effective(r) {
+        const up = r.of ? this.records.get(r.of) : undefined;
+        return { ...(up ? this.effective(up) : {}), ...r.values };
+    }
+    /** The value an address names from a record, with a level prefix reading that level. */
+    read(r, address) {
+        const m = address.match(/^(\w+)::(.+)$/);
+        // A level prefix reads the record at that level: the run's record itself, when it sits there.
+        if (m)
+            return r.level === m[1] ? this.effective(r)[m[2]] : undefined;
+        return this.effective(r)[address];
+    }
+    nextLog() {
+        this.runs += 1;
+        return `L-R${this.runs}`;
+    }
+    /** Steps 1–4 of a send (or form) contract: permission, needs, map out, act once. */
+    run(name, recordId, callerId) {
+        const c = this.contracts.get(name);
+        if (!c)
+            throw new Error(`no contract ${name}`);
+        const r = this.records.get(recordId);
+        if (!r)
+            throw new Error(`no record ${recordId}`);
+        const head = { contract: name, record: recordId, ...(callerId ? { caller: callerId } : {}) };
+        const log = this.nextLog();
+        // 1. Trigger and permission.
+        if (c.who) {
+            const caller = callerId ? this.records.get(callerId) : undefined;
+            const ok = evaluate(parseCondition(c.who), caller ? { ...caller.values } : {}, callerStates(caller, this.roles));
+            if (ok !== true)
+                return { ...head, stopped: "who" };
+        }
+        // 2. Needs: an unnamed class over the record.
+        const missing = [];
+        const unfit = [];
+        for (const l of this.needsOf(c)) {
+            const v = this.read(r, l.level ? `${l.level}::${l.facet}` : l.facet);
+            const empty = v === undefined || (isObj(v) && "$empty" in v);
+            if (l.required && empty)
+                missing.push(l.facet);
+            if (!empty && l.values && typeof v === "string" && !l.values.includes(v))
+                unfit.push(l.facet);
+            if (!empty && l.length !== undefined && typeof v === "string" && [...v].length > l.length)
+                unfit.push(l.facet);
+        }
+        if (missing.length || unfit.length)
+            return { ...head, stopped: "needs", ...(missing.length ? { missing } : {}), ...(unfit.length ? { unfit } : {}) };
+        if (c.kind === "receive" || c.kind === "take")
+            return { ...head, ready: true, log };
+        // 3. Map out.
+        const payload = {};
+        for (const m of c.writes) {
+            if (m.from.startsWith('"')) {
+                put(payload, m.to, JSON.parse(m.from));
+                continue;
+            }
+            const v = this.read(r, m.from);
+            if (v === undefined)
+                continue;
+            const mapped = typeof v === "string" ? (m.values.find(([ours]) => ours === v)?.[1] ?? v) : v;
+            put(payload, m.to, wire(mapped));
+        }
+        // 4. Act, at most once per contract, record and payload.
+        const key = `${name}|${recordId}|${sha256(serialize(payload))}`;
+        if (this.sent.has(key))
+            return { ...head, acted: false, reason: "the same payload was already sent" };
+        this.sent.add(key);
+        return { ...head, acted: true, payload, key, log };
+    }
+    needsOf(c) {
+        return c.needs;
+    }
+    /** Steps 5–6 for a receive contract: map the answer back, compare with the record, and land it. */
+    receiveRun(name, recordId, body) {
+        const c = this.contracts.get(name);
+        const r = this.records.get(recordId);
+        if (!c || !r)
+            throw new Error(`no contract ${name} or record ${recordId}`);
+        const log = this.nextLog();
+        const intake = receive(c, body, recordId, this.dict, `I-${log.slice(2)}`);
+        const outcomes = intake.outcomes.map((o) => {
+            if (o.outcome !== "absorbed" || !o.to)
+                return o;
+            const current = r.values[o.to];
+            if (current === undefined || (isObj(current) && "$empty" in current))
+                return o;
+            return serialize(current) === serialize(o.value) ? o : { ...o, outcome: "conflict" };
+        });
+        const source = { origin: c.origin, via: log };
+        if (c.lands === "suggestion")
+            this.put(suggest(r, outcomes, source));
+        else
+            this.put(land(r, { outcomes, contract: name }, source, this.dict.trust, this.dict.facetTrust));
+        return { contract: name, record: recordId, outcomes: outcomes, sources: { origin: c.origin }, log };
+    }
+    /** Offer and take (7.8): only what the offer gives and the take reads flows. */
+    take(takeName, offerName, recordId, presenter) {
+        const t = this.contracts.get(takeName);
+        const o = this.contracts.get(offerName);
+        const r = this.records.get(recordId);
+        if (!t || !o || !r)
+            throw new Error("a take needs its take contract, the offer and the record");
+        if (t.from && t.from !== presenter.owner)
+            return { contract: takeName, record: recordId, stopped: "from" };
+        const log = this.nextLog();
+        const values = { ...r.values };
+        const sources = { ...(r.sources ?? {}) };
+        const alternatives = { ...(r.alternatives ?? {}) };
+        const flows = [];
+        for (const m of t.reads) {
+            const theirs = m.from;
+            if (!o.gives.includes(theirs))
+                continue; // not offered: doesn't flow
+            const v = presenter.values[theirs];
+            if (v === undefined)
+                continue;
+            flows.push(theirs);
+            const theirSource = presenter.sources?.[theirs] ?? presenter.sources?.["*"];
+            const src = { origin: theirSource?.origin ?? "reported", via: log, owner: presenter.owner };
+            const current = values[m.to];
+            if (current === undefined || (isObj(current) && "$empty" in current)) {
+                values[m.to] = v;
+                sources[m.to] = src;
+            }
+            else if (serialize(current) !== serialize(v)) {
+                // A presenter never overrides the consumer's value unless the consumer took controlled terms.
+                alternatives[m.to] = [...(alternatives[m.to] ?? []), { value: v, origin: src.origin, via: log, owner: presenter.owner }];
+            }
+        }
+        const next = { ...r, values, sources, ...(Object.keys(alternatives).length ? { alternatives } : {}) };
+        this.put(next);
+        return { contract: takeName, record: recordId, flows, log };
+    }
+}
+function suggest(r, outcomes, source) {
+    const s = { ...(r.suggestions ?? {}) };
+    for (const o of outcomes) {
+        if (!o.to || o.value === undefined || o.outcome === "unknown" || o.outcome === "ignored" || o.outcome === "contradiction")
+            continue;
+        s[o.to] = [...(s[o.to] ?? []), { value: o.value, origin: source.origin, via: source.via }];
+    }
+    return { ...r, suggestions: s };
+}
+// ─── Borders (8.5.1) ─────────────────────────────────────────────────────────
+/** Verify a border wrapper from another owner: its log against the owner's key, and its values against the log. */
+export function verifyBorder(w, keys) {
+    const owner = w.records[0]?.owner ?? "";
+    if (!keys[owner])
+        return { verified: false, reason: "no key for the owner" };
+    const chain = verifyChain(w.log ?? [], keys);
+    if (!chain.valid)
+        return { verified: false, "breaks-at": chain["breaks-at"] ?? "", reason: chain.reason ?? "" };
+    const byLog = new Map((w.log ?? []).map((e) => [String(e.log), e]));
+    for (const r of w.records) {
+        for (const [address, value] of Object.entries(r.values)) {
+            const via = (r.sources?.[address] ?? r.sources?.["*"])?.via;
+            const entry = via ? byLog.get(via) : undefined;
+            const writes = Array.isArray(entry?.writes) ? entry.writes : [];
+            const write = writes.find((x) => x.record === r.id && x.address === address);
+            if (!write || serialize(write.value) !== serialize(value))
+                return { verified: false, record: r.id, address, reason: "value doesn't match the log" };
+        }
+    }
+    return { verified: true, records: w.records.length, owner };
+}
+//# sourceMappingURL=exchange.js.map

package/dist/src/exchange.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exchange.js","sourceRoot":"","sources":["../../src/exchange.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,qGAAqG;AACrG,qGAAqG;AACrG,2FAA2F;AAE3F,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAgB,MAAM,iBAAiB,CAAC;AAGzE,OAAO,EAAiB,SAAS,EAAiC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAElD,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;AAMjH,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM;YAAE,SAAS;QAC1D,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7F,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,GAAG,KAAK,UAAU;gBAAE,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC;YAClD,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;oBAAE,IAAI,CAAC,CAAC,GAAG;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,kGAAkG;AAClG,SAAS,YAAY,CAAC,MAA0B,EAAE,KAAa;IAC7D,OAAO,CAAC,IAAI,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;QAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,EAAE;YAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrI,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,KAAK,MAAM,CAAC,IAAI,OAAO;oBAAE,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,MAAM,KAAK,GAAiC;IAC1C,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IACjJ,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IACnN,KAAK,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IAChF,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IACpH,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;IACtG,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;CAC5J,CAAC;AAEF,SAAS,MAAM,CAAC,OAAe;IAC7B,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAW,CAAC;AAClE,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,SAAqB,EAAE,IAAgB,EAAE,SAAS,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,WAAW,CAAC,yBAAyB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YACvD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,yBAAyB,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACvG,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,yBAAyB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3H,MAAM,KAAK,GAAuG;YAChH,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YACzL,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;SACjJ,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC;YACrF,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,IAAI,CAAC,CAAC,YAAY,IAAI,OAAO;oBAAE,SAAS;gBACxC,MAAM,IAAI,WAAW,CAAC,GAAG,GAAG,yBAAyB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACjE,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,GAAG;oBAAE,OAAO;gBAC7C,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;oBAAE,OAAO;gBACxD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/D,MAAM,IAAI,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,KAAK,wCAAwC,CAAC,CAAC,CAAC,GAAG,CAAC,sBAAsB,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YACnK,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,IAAI,IAAI,IAAI,KAAK,OAAO;gBAAE,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/F,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,IAAI,+BAA+B,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3I,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;QAChC,IAAI,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,8CAA8C,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACnJ,CAAC;AACH,CAAC;AAMD,iGAAiG;AACjG,SAAS,IAAI,CAAC,CAAO;IACnB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACb,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAc,CAAC,CAAC;QACjD,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,OAAO,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,OAAmB,EAAE,IAAY,EAAE,KAAW;IACzD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,EAAE,GAAG,OAAO,CAAC;IACjB,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9B,EAAE,GAAG,EAAE,CAAC,CAAC,CAAe,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAW,CAAC,GAAG,KAAK,CAAC;AACrC,CAAC;AAED,MAAM,OAAO,QAAQ;IACV,IAAI,CAAa;IACjB,SAAS,CAAwB;IACjC,KAAK,CAAS;IACf,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IACzB,IAAI,GAAG,CAAC,CAAC;IAEjB,YAAY,IAAgB,EAAE,SAAqB,EAAE,QAAgB,EAAE;QACrE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,GAAG,CAAC,CAAS;QACX,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,qEAAqE;IACrE,SAAS,CAAC,CAAS;QACjB,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;IAC5D,CAAC;IAED,wFAAwF;IAChF,IAAI,CAAC,CAAS,EAAE,OAAe;QACrC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACzC,8FAA8F;QAC9F,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAEO,OAAO;QACb,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;QACf,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC;IAED,oFAAoF;IACpF,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAE,QAAiB;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACjD,MAAM,IAAI,GAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAE3B,6BAA6B;QAC7B,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACjE,MAAM,EAAE,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACjH,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACtD,CAAC;QACD,8CAA8C;QAC9C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9F,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAErJ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAEpF,cAAc;QACd,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAW,CAAC,CAAC;gBACjD,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7F,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,yDAAyD;QACzD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAChE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;QACtG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrD,CAAC;IAEO,OAAO,CAAC,CAAW;QACzB,OAAO,CAAC,CAAC,KAAK,CAAC;IACjB,CAAC;IAED,mGAAmG;IACnG,UAAU,CAAC,IAAY,EAAE,QAAgB,EAAE,IAAY;QACrD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,IAAI,cAAc,QAAQ,EAAE,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAoB,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,OAAO,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,QAAQ,IAAI,OAAO,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC/E,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QAC/F,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACtD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY;YAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;;YAChE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACpG,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAA2B,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC;IACzH,CAAC;IAED,gFAAgF;IAChF,IAAI,CAAC,QAAgB,EAAE,SAAiB,EAAE,QAAgB,EAAE,SAAiB;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAChG,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK;YAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC3G,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAe,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,OAAO,GAA4B,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,YAAY,GAAkC,EAAE,GAAG,CAAE,CAAiE,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;QACnJ,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS,CAAC,4BAA4B;YACrE,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;YAC5E,MAAM,GAAG,GAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,IAAI,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;YACpG,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,QAAQ,IAAI,OAAO,CAAC,EAAE,CAAC;gBACrE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;gBACjB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;YACtB,CAAC;iBAAM,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,8FAA8F;gBAC9F,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3H,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAY,CAAC;QAChH,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC9D,CAAC;CACF;AAED,SAAS,OAAO,CAAC,CAAS,EAAE,QAAyB,EAAE,MAAc;IACnE,MAAM,CAAC,GAAkC,EAAE,GAAG,CAAE,CAAgE,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC;IACtI,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,eAAe;YAAE,SAAS;QACpI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,CAAC,EAAuB,CAAC;AACvD,CAAC;AAED,gFAAgF;AAEhF,mHAAmH;AACnH,MAAM,UAAU,YAAY,CAAC,CAA4C,EAAE,IAAU;IACnF,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;IACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;IAChH,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;YAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,MAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;YAC7E,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC,KAAa,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;QAC9J,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;AAC9D,CAAC"}

package/dist/src/index.d.ts

@@ -0,0 +1,15 @@
+export { CrubalError, readTree } from "./tree.ts";
+export { readDefinitions, emptyDictionary, type ClassDef, type Dictionary, type Facet } from "./defs.ts";
+export { readText } from "./read-text.ts";
+export { printText, type PrintMode } from "./print-text.ts";
+export { canonical, serialize } from "./canonical.ts";
+export { checkWrapper, type Wrapper, type Record, type Json } from "./model.ts";
+export { runCorpus, type CaseResult } from "./corpus.ts";
+export { checkPackage, checkRecord, facetJson, foldKey, foldRecord, resolve, resolvedJson, type Outcome, type Warning } from "./dictionary.ts";
+export { evaluate, parseCondition, type Truth } from "./conditions.ts";
+export { checkRules, Engine, readRules, shortcutRules, type Result, type Rule, type Strength } from "./rules.ts";
+export { entryHash, fieldPath, land, matchParts, readContracts, receive, sha256, validate, verifyChain, type Contract, type IntakeRecord, type Observation } from "./store.ts";
+export { checkRecipe, readRecipes, restamp, type Recipe, type ReviewItem, type Step } from "./migrate.ts";
+export { checkContracts, Exchange, readRoles, verifyBorder, type Role, type RunResult } from "./exchange.ts";
+export { checkPackages, readPackages, type PackageInfo } from "./packages.ts";
+export { AUDIENCES, checkViews, readViews, Views, type Projection, type ProjectOptions, type View, type ViewSet } from "./views.ts";

package/dist/src/index.js

@@ -0,0 +1,17 @@
+// @cruba/crubal: the CRUBAL reference implementation. Pure functions; JSON in, JSON out.
+export { CrubalError, readTree } from "./tree.js";
+export { readDefinitions, emptyDictionary } from "./defs.js";
+export { readText } from "./read-text.js";
+export { printText } from "./print-text.js";
+export { canonical, serialize } from "./canonical.js";
+export { checkWrapper } from "./model.js";
+export { runCorpus } from "./corpus.js";
+export { checkPackage, checkRecord, facetJson, foldKey, foldRecord, resolve, resolvedJson } from "./dictionary.js";
+export { evaluate, parseCondition } from "./conditions.js";
+export { checkRules, Engine, readRules, shortcutRules } from "./rules.js";
+export { entryHash, fieldPath, land, matchParts, readContracts, receive, sha256, validate, verifyChain } from "./store.js";
+export { checkRecipe, readRecipes, restamp } from "./migrate.js";
+export { checkContracts, Exchange, readRoles, verifyBorder } from "./exchange.js";
+export { checkPackages, readPackages } from "./packages.js";
+export { AUDIENCES, checkViews, readViews, Views } from "./views.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,eAAe,EAA8C,MAAM,WAAW,CAAC;AACzG,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAwC,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,SAAS,EAAmB,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAA8B,MAAM,iBAAiB,CAAC;AAC/I,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAc,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAyC,MAAM,YAAY,CAAC;AACjH,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAsD,MAAM,YAAY,CAAC;AAC/K,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAA2C,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAA6B,MAAM,eAAe,CAAC;AAC7G,OAAO,EAAE,aAAa,EAAE,YAAY,EAAoB,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAiE,MAAM,YAAY,CAAC"}

package/dist/src/lex.d.ts

@@ -0,0 +1,21 @@
+/** One value as written: its main text, whether it was quoted, and its detail pairs. */
+export type Piece = {
+    /** The main text, unquoted (escapes decoded when it was quoted). */
+    text: string;
+    quoted: boolean;
+    /** Detail pairs in written order; each value is itself a piece without detail. */
+    detail: [string, Piece][];
+};
+/** Split on `sep` characters that sit outside quotes and brackets. */
+export declare function splitTop(s: string, sep: string, line?: number): string[];
+/** Read one value with its optional detail: `PG-13 [region: US]`. */
+export declare function readPiece(raw: string, line?: number): Piece;
+/** Read a short list: `Comedy, "Blu-ray, 3D", Drama`. */
+export declare function readList(raw: string, line?: number): Piece[];
+/**
+ * Should the printer quote this text (spec 2.5)? `inDetail` adds `]`; `otherShapes` lists spellings that
+ * would read as another shape under the facet (`yes`, `-`).
+ */
+export declare function needsQuotes(text: string, inDetail?: boolean, otherShapes?: string[]): boolean;
+/** Write text, quoted only when it needs to be. */
+export declare function writeText(text: string, inDetail?: boolean, otherShapes?: string[]): string;

package/dist/src/lex.js

@@ -0,0 +1,142 @@
+// lex.ts: the spellings of a value in the text form (spec chapter 2.4–2.7): quoting with the JSON string
+// syntax, `[ … ]` detail after a value, and short lists separated by commas. Nothing here knows facets;
+// read-text.ts gives the pieces their meaning.
+import { CrubalError } from "./tree.js";
+/** Find the end of a quoted string starting at `start` (the opening quote). Returns the closing index. */
+function closeQuote(s, start, line) {
+    for (let i = start + 1; i < s.length; i++) {
+        if (s[i] === "\\") {
+            i++;
+            continue;
+        }
+        if (s[i] === '"')
+            return i;
+    }
+    throw new CrubalError(`a quote is not closed in ${s}`, line);
+}
+/** Split on `sep` characters that sit outside quotes and brackets. */
+export function splitTop(s, sep, line) {
+    const out = [];
+    let depth = 0;
+    let cur = "";
+    for (let i = 0; i < s.length; i++) {
+        const ch = s[i];
+        if (ch === '"') {
+            const end = closeQuote(s, i, line);
+            cur += s.slice(i, end + 1);
+            i = end;
+            continue;
+        }
+        if (ch === "[")
+            depth++;
+        if (ch === "]")
+            depth--;
+        if (depth === 0 && ch === sep) {
+            out.push(cur.trim());
+            cur = "";
+            continue;
+        }
+        cur += ch;
+    }
+    if (depth > 0)
+        throw new CrubalError(`a "[" is not closed in ${s}`, line);
+    out.push(cur.trim());
+    return out;
+}
+/** Decode one scalar spelling: a quoted JSON string, or the text as written. */
+function scalar(raw, line) {
+    const t = raw.trim();
+    if (t.startsWith('"')) {
+        const end = closeQuote(t, 0, line);
+        if (end !== t.length - 1)
+            throw new CrubalError(`text after a closing quote in ${t}`, line);
+        try {
+            return { text: JSON.parse(t), quoted: true };
+        }
+        catch {
+            throw new CrubalError(`a quoted value isn't valid: ${t}`, line);
+        }
+    }
+    return { text: t, quoted: false };
+}
+/** Read one value with its optional detail: `PG-13 [region: US]`. */
+export function readPiece(raw, line) {
+    const t = raw.trim();
+    // A detail is the last top-level `[ … ]`, after a space, ending the value.
+    let detailAt = -1;
+    if (t.endsWith("]")) {
+        let depth = 0;
+        for (let i = 0; i < t.length; i++) {
+            const ch = t[i];
+            if (ch === '"') {
+                i = closeQuote(t, i, line);
+                continue;
+            }
+            if (ch === "[") {
+                if (depth === 0 && (i === 0 || t[i - 1] === " "))
+                    detailAt = i;
+                depth++;
+            }
+            if (ch === "]")
+                depth--;
+        }
+        if (depth !== 0)
+            throw new CrubalError(`a "[" is not closed in ${t}`, line);
+    }
+    else if (/\[[^\]"]*$/.test(t.replace(/"(?:\\.|[^"\\])*"/g, ""))) {
+        throw new CrubalError(`a "[" is not closed in ${t}`, line);
+    }
+    const main = detailAt >= 0 ? t.slice(0, detailAt).trim() : t;
+    const detail = [];
+    if (detailAt >= 0) {
+        const inner = t.slice(detailAt + 1, -1);
+        for (const part of splitTop(inner, ",", line)) {
+            if (!part)
+                continue;
+            const colon = part.indexOf(": ");
+            if (colon <= 0)
+                throw new CrubalError(`a detail needs "name: value", not ${part}`, line);
+            const name = part.slice(0, colon).trim();
+            const value = scalar(part.slice(colon + 2), line);
+            detail.push([name, { ...value, detail: [] }]);
+        }
+    }
+    return { ...scalar(main, line), detail };
+}
+/** Read a short list: `Comedy, "Blu-ray, 3D", Drama`. */
+export function readList(raw, line) {
+    return splitTop(raw, ",", line).map((p) => readPiece(p, line));
+}
+const MARK_START = /^(&|_|\[|"|\{|\.\.\.)/;
+const NUMBER = /^-?(0|[1-9]\d*)(\.\d+)?$/;
+/**
+ * Should the printer quote this text (spec 2.5)? `inDetail` adds `]`; `otherShapes` lists spellings that
+ * would read as another shape under the facet (`yes`, `-`).
+ */
+export function needsQuotes(text, inDetail = false, otherShapes = []) {
+    if (text === "")
+        return true;
+    if (MARK_START.test(text))
+        return true;
+    if (text.startsWith("-") && !NUMBER.test(text))
+        return true;
+    if (text === "n/a" || text === "N/A")
+        return true;
+    if (text.includes(": ") || text.includes(" //") || text.includes(","))
+        return true;
+    if (inDetail && text.includes("]"))
+        return true;
+    if (/^\s|\s$/.test(text))
+        return true;
+    // biome-ignore lint/suspicious/noControlCharactersInRegex: control characters must be quoted
+    if (/[\u0000-\u001f\u007f]/.test(text))
+        return true;
+    if (text.endsWith(":"))
+        return true;
+    return otherShapes.includes(text);
+}
+/** Write text, quoted only when it needs to be. */
+export function writeText(text, inDetail = false, otherShapes = []) {
+    return needsQuotes(text, inDetail, otherShapes) ? JSON.stringify(text) : text;
+}
+//# sourceMappingURL=lex.js.map

package/dist/src/lex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/lex.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,wGAAwG;AACxG,+CAA+C;AAE/C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAWxC,0GAA0G;AAC1G,SAAS,UAAU,CAAC,CAAS,EAAE,KAAa,EAAE,IAAa;IACzD,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAClB,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,IAAI,WAAW,CAAC,4BAA4B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,GAAW,EAAE,IAAa;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAW,CAAC;QAC1B,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACnC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;YAC3B,CAAC,GAAG,GAAG,CAAC;YACR,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrB,GAAG,GAAG,EAAE,CAAC;YACT,SAAS;QACX,CAAC;QACD,GAAG,IAAI,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC1E,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACrB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,SAAS,MAAM,CAAC,GAAW,EAAE,IAAa;IACxC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,iCAAiC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,WAAW,CAAC,+BAA+B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,IAAa;IAClD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,2EAA2E;IAC3E,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;oBAAE,QAAQ,GAAG,CAAC,CAAC;gBAC/D,KAAK,EAAE,CAAC;YACV,CAAC;YACD,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,KAAK,KAAK,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;SAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,KAAK,IAAI,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,qCAAqC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;YACzF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,QAAQ,CAAC,GAAW,EAAE,IAAa;IACjD,OAAO,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,GAAG,uBAAuB,CAAC;AAC3C,MAAM,MAAM,GAAG,0BAA0B,CAAC;AAE1C;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK,EAAE,cAAwB,EAAE;IACpF,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,IAAI,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,6FAA6F;IAC7F,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK,EAAE,cAAwB,EAAE;IAClF,OAAO,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChF,CAAC"}