@rhizomes/rhizomatic 0.1.0

package/dist/term-json.js

@@ -0,0 +1,362 @@
+// Parse the JSON term profile (ERRATA-2 E1) into Term/Pred. Strings are NFC-normalized at parse
+// time so term-side comparisons are NFC-vs-NFC (data strings are NFC by validation, D11).
+const CMPS = ["eq", "neq", "lt", "lte", "gt", "gte", "prefix", "inSet"];
+function nfc(s) {
+    return s.normalize("NFC");
+}
+function asObject(x, what) {
+    if (typeof x !== "object" || x === null || Array.isArray(x)) {
+        throw new Error(`expected object for ${what}`);
+    }
+    return x;
+}
+function parsePrimitive(v, what) {
+    if (typeof v === "string")
+        return nfc(v);
+    if (typeof v === "boolean")
+        return v;
+    if (typeof v === "number") {
+        if (!Number.isFinite(v))
+            throw new Error(`${what}: numeric constant must be finite`);
+        return v;
+    }
+    throw new Error(`${what}: constant must be string | number | boolean`);
+}
+// A hole in Const position: {"hole": "name"} (E15).
+function parseHole(v) {
+    if (typeof v !== "object" || v === null || Array.isArray(v))
+        return undefined;
+    const h = v["hole"];
+    return typeof h === "string" ? { kind: "hole", name: nfc(h) } : undefined;
+}
+function parseParam(v, what) {
+    return parseHole(v) ?? parsePrimitive(v, what);
+}
+function parseCmp(v, what) {
+    if (typeof v !== "string" || !CMPS.includes(v)) {
+        throw new Error(`${what}: unknown cmp ${String(v)}`);
+    }
+    return v;
+}
+function parseStrMatch(raw, what) {
+    const o = asObject(raw, what);
+    if (typeof o["exact"] === "string")
+        return { kind: "exact", value: nfc(o["exact"]) };
+    if (typeof o["prefix"] === "string")
+        return { kind: "prefix", value: nfc(o["prefix"]) };
+    if (Array.isArray(o["inSet"])) {
+        return {
+            kind: "inSet",
+            values: o["inSet"].map((s) => {
+                if (typeof s !== "string")
+                    throw new Error(`${what}: inSet members must be strings`);
+                return nfc(s);
+            }),
+        };
+    }
+    if (o["aliased"] !== undefined) {
+        const a = asObject(o["aliased"], `${what}.aliased`);
+        if (typeof a["name"] !== "string")
+            throw new Error(`${what}: aliased.name must be a string`);
+        const out = { name: nfc(a["name"]) };
+        if (a["via"] !== undefined) {
+            if (typeof a["via"] !== "string")
+                throw new Error(`${what}: aliased.via must be an entity id`);
+            out.via = nfc(a["via"]);
+        }
+        if (a["trust"] !== undefined) {
+            const trust = parsePred(a["trust"]);
+            assertClosedTrustPred(trust, `${what}.aliased.trust`);
+            out.trust = trust;
+        }
+        return { kind: "aliased", ...out };
+    }
+    throw new Error(`${what}: StrMatch must be exact | prefix | inSet | aliased`);
+}
+// An aliased trust predicate admits no holes and no nested aliased (SPEC-9 §4.1): it is
+// evaluated against alias-vocabulary deltas during closure computation, outside the hole
+// environment and outside any further expansion.
+function assertClosedTrustPred(p, what) {
+    switch (p.kind) {
+        case "true":
+        case "false":
+            return;
+        case "match":
+            if (typeof p.constant === "object" && !Array.isArray(p.constant)) {
+                throw new Error(`${what}: holes are not allowed inside an aliased trust predicate`);
+            }
+            return;
+        case "hasPointer": {
+            const pp = p.ppred;
+            if (pp.targetEntity?.kind === "hole" ||
+                (pp.targetValue?.kind === "vcmp" && typeof pp.targetValue.value === "object")) {
+                throw new Error(`${what}: holes are not allowed inside an aliased trust predicate`);
+            }
+            if (pp.role?.kind === "aliased" || pp.context?.kind === "aliased") {
+                throw new Error(`${what}: nested aliased is not allowed inside an aliased trust predicate`);
+            }
+            return;
+        }
+        case "and":
+        case "or":
+            assertClosedTrustPred(p.left, what);
+            assertClosedTrustPred(p.right, what);
+            return;
+        case "not":
+            assertClosedTrustPred(p.pred, what);
+            return;
+    }
+}
+function parseValMatch(raw, what) {
+    const o = asObject(raw, what);
+    if (o["vcmp"] !== undefined) {
+        const v = asObject(o["vcmp"], `${what}.vcmp`);
+        const cmp = parseCmp(v["cmp"], `${what}.vcmp`);
+        if (cmp === "inSet")
+            throw new Error(`${what}: vcmp cmp inSet is not allowed; use the inSet arm`);
+        const value = parseParam(v["value"], `${what}.vcmp`);
+        if (cmp === "prefix" && typeof value !== "string" && typeof value !== "object") {
+            throw new Error(`${what}: prefix requires a string constant`);
+        }
+        return { kind: "vcmp", cmp, value };
+    }
+    if (Array.isArray(o["between"])) {
+        if (o["between"].length !== 2)
+            throw new Error(`${what}: between takes [lo, hi]`);
+        return {
+            kind: "between",
+            lo: parsePrimitive(o["between"][0], `${what}.between`),
+            hi: parsePrimitive(o["between"][1], `${what}.between`),
+        };
+    }
+    if (Array.isArray(o["inSet"])) {
+        return { kind: "inSet", values: o["inSet"].map((v) => parsePrimitive(v, `${what}.inSet`)) };
+    }
+    throw new Error(`${what}: ValMatch must be vcmp | between | inSet`);
+}
+function parsePPred(raw) {
+    const o = asObject(raw, "hasPointer");
+    const out = {};
+    if (o["role"] !== undefined)
+        out.role = parseStrMatch(o["role"], "hasPointer.role");
+    if (o["targetEntity"] !== undefined) {
+        const te = o["targetEntity"];
+        if (typeof te === "string") {
+            out.targetEntity = { kind: "const", id: nfc(te) };
+        }
+        else {
+            const hole = parseHole(te);
+            if (hole !== undefined) {
+                out.targetEntity = hole;
+            }
+            else {
+                const v = asObject(te, "targetEntity");
+                if (v["var"] !== "root") {
+                    throw new Error('targetEntity must be a string, {var: "root"}, or {hole: "name"}');
+                }
+                out.targetEntity = { kind: "root" };
+            }
+        }
+    }
+    if (o["targetDelta"] !== undefined) {
+        if (typeof o["targetDelta"] !== "string")
+            throw new Error("targetDelta must be a string");
+        out.targetDelta = o["targetDelta"];
+    }
+    if (o["context"] !== undefined)
+        out.context = parseStrMatch(o["context"], "hasPointer.context");
+    if (o["targetIsPrimitive"] !== undefined) {
+        if (typeof o["targetIsPrimitive"] !== "boolean") {
+            throw new Error("targetIsPrimitive must be a boolean");
+        }
+        out.targetIsPrimitive = o["targetIsPrimitive"];
+    }
+    if (o["targetValue"] !== undefined) {
+        out.targetValue = parseValMatch(o["targetValue"], "hasPointer.targetValue");
+    }
+    if (Object.keys(out).length === 0)
+        throw new Error("hasPointer requires at least one field (E1)");
+    return out;
+}
+export function parsePred(raw) {
+    if (raw === "true")
+        return { kind: "true" };
+    if (raw === "false")
+        return { kind: "false" };
+    const o = asObject(raw, "pred");
+    if (o["match"] !== undefined) {
+        const m = asObject(o["match"], "match");
+        const field = m["field"];
+        if (field !== "author" && field !== "timestamp" && field !== "id") {
+            throw new Error(`match: unknown field ${String(field)}`);
+        }
+        const cmp = parseCmp(m["cmp"], "match");
+        const rawConst = m["const"];
+        const constant = cmp === "inSet"
+            ? (() => {
+                if (!Array.isArray(rawConst))
+                    throw new Error("match: inSet requires an array const");
+                return rawConst.map((v) => parsePrimitive(v, "match.const"));
+            })()
+            : parseParam(rawConst, "match.const");
+        if (cmp === "prefix" && typeof constant !== "string" && typeof constant !== "object") {
+            throw new Error("match: prefix requires a string const");
+        }
+        return { kind: "match", field, cmp, constant };
+    }
+    if (o["hasPointer"] !== undefined)
+        return { kind: "hasPointer", ppred: parsePPred(o["hasPointer"]) };
+    if (o["and"] !== undefined || o["or"] !== undefined) {
+        const key = o["and"] !== undefined ? "and" : "or";
+        const arr = o[key];
+        if (!Array.isArray(arr) || arr.length !== 2)
+            throw new Error(`${key} takes exactly [Pred, Pred] (E1)`);
+        const left = parsePred(arr[0]);
+        const right = parsePred(arr[1]);
+        return key === "and" ? { kind: "and", left, right } : { kind: "or", left, right };
+    }
+    if (o["not"] !== undefined)
+        return { kind: "not", pred: parsePred(o["not"]) };
+    throw new Error("pred must be true | false | match | hasPointer | and | or | not");
+}
+function parseMaskPolicy(raw) {
+    if (raw === "drop")
+        return { kind: "drop" };
+    if (raw === "annotate")
+        return { kind: "annotate" };
+    const o = asObject(raw, "mask.policy");
+    if (o["trust"] !== undefined)
+        return { kind: "trust", pred: parsePred(o["trust"]) };
+    throw new Error("mask policy must be drop | annotate | {trust: Pred}");
+}
+const MERGE_FNS = ["max", "min", "sum", "count", "and", "or", "concatSorted"];
+function parseOrder(raw) {
+    if (raw === "lexById")
+        return { kind: "lexById" };
+    const o = asObject(raw, "order");
+    if (o["byTimestamp"] !== undefined) {
+        if (o["byTimestamp"] !== "desc" && o["byTimestamp"] !== "asc") {
+            throw new Error("byTimestamp must be desc | asc");
+        }
+        return { kind: "byTimestamp", dir: o["byTimestamp"] };
+    }
+    if (Array.isArray(o["byAuthorRank"])) {
+        return {
+            kind: "byAuthorRank",
+            authors: o["byAuthorRank"].map((a) => {
+                if (typeof a !== "string")
+                    throw new Error("byAuthorRank entries must be strings");
+                return nfc(a);
+            }),
+        };
+    }
+    if (o["byPred"] !== undefined) {
+        const p = asObject(o["byPred"], "byPred");
+        return { kind: "byPred", pred: parsePred(p["pred"]), then: parseOrder(p["then"]) };
+    }
+    throw new Error("order must be lexById | byTimestamp | byAuthorRank | byPred");
+}
+function parsePropPolicy(raw) {
+    const o = asObject(raw, "propPolicy");
+    if (o["pick"] !== undefined) {
+        return { kind: "pick", order: parseOrder(asObject(o["pick"], "pick")["order"]) };
+    }
+    if (o["all"] !== undefined) {
+        return { kind: "all", order: parseOrder(asObject(o["all"], "all")["order"]) };
+    }
+    if (o["merge"] !== undefined) {
+        if (!MERGE_FNS.includes(o["merge"])) {
+            throw new Error("unknown merge fn " + String(o["merge"]));
+        }
+        return { kind: "merge", fn: o["merge"] };
+    }
+    if (o["conflicts"] !== undefined) {
+        return { kind: "conflicts", order: parseOrder(asObject(o["conflicts"], "conflicts")["order"]) };
+    }
+    if (o["absentAs"] !== undefined) {
+        const a = asObject(o["absentAs"], "absentAs");
+        return {
+            kind: "absentAs",
+            constant: parsePrimitive(a["const"], "absentAs.const"),
+            then: parsePropPolicy(a["then"]),
+        };
+    }
+    throw new Error("propPolicy must be pick | all | merge | conflicts | absentAs");
+}
+export function parsePolicy(raw) {
+    const o = asObject(raw, "policy");
+    const props = new Map();
+    if (o["props"] !== undefined) {
+        for (const [k, v] of Object.entries(asObject(o["props"], "policy.props"))) {
+            props.set(nfc(k), parsePropPolicy(v));
+        }
+    }
+    return { props, default: parsePropPolicy(o["default"]) };
+}
+function parseGroupKey(raw) {
+    if (raw === "byTargetContext")
+        return { kind: "byTargetContext" };
+    if (raw === "byRole")
+        return { kind: "byRole" };
+    const o = asObject(raw, "group.key");
+    if (typeof o["const"] === "string")
+        return { kind: "const", prop: nfc(o["const"]) };
+    throw new Error("group key must be byTargetContext | byRole | {const: string}");
+}
+function parseSchemaRef(raw) {
+    if (typeof raw === "string")
+        return { kind: "name", name: nfc(raw) };
+    const o = asObject(raw, "schemaRef");
+    if (typeof o["pinned"] === "string")
+        return { kind: "pinned", hash: o["pinned"] };
+    throw new Error("schema ref must be a name string or {pinned: hash} (E13)");
+}
+export function parseTerm(raw) {
+    if (raw === "input")
+        return { kind: "input" };
+    const o = asObject(raw, "term");
+    switch (o["op"]) {
+        case "select":
+            return { kind: "select", pred: parsePred(o["pred"]), of: parseTerm(o["in"]) };
+        case "union":
+            return { kind: "union", left: parseTerm(o["left"]), right: parseTerm(o["right"]) };
+        case "mask":
+            return { kind: "mask", policy: parseMaskPolicy(o["policy"]), of: parseTerm(o["in"]) };
+        case "group":
+            return { kind: "group", key: parseGroupKey(o["key"]), of: parseTerm(o["in"]) };
+        case "expand": {
+            return {
+                kind: "expand",
+                role: parseStrMatch(o["role"], "expand.role"),
+                schema: parseSchemaRef(o["schema"]),
+                of: parseTerm(o["in"]),
+            };
+        }
+        case "fix": {
+            if (typeof o["entity"] !== "string")
+                throw new Error("fix.entity must be a string");
+            const fix = {
+                kind: "fix",
+                schema: parseSchemaRef(o["schema"]),
+                entity: nfc(o["entity"]),
+            };
+            if (o["bindings"] === undefined)
+                return fix;
+            const bo = asObject(o["bindings"], "fix.bindings");
+            const bindings = new Map();
+            for (const key of Object.keys(bo).sort()) {
+                bindings.set(nfc(key), parsePrimitive(bo[key], `fix.bindings.${key}`));
+            }
+            return { ...fix, bindings };
+        }
+        case "resolve":
+            return { kind: "resolve", policy: parsePolicy(o["policy"]), of: parseTerm(o["in"]) };
+        case "prune": {
+            const keep = o["keep"] === "all" ? "all" : parseStrMatch(o["keep"], "prune.keep");
+            return { kind: "prune", keep, of: parseTerm(o["in"]) };
+        }
+        default:
+            throw new Error(`unknown term op ${String(o["op"])}`);
+    }
+}
+//# sourceMappingURL=term-json.js.map

package/dist/term-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"term-json.js","sourceRoot":"","sources":["../src/term-json.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,0FAA0F;AAO1F,MAAM,IAAI,GAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAExF,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAY;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAA4B,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,CAAU,EAAE,IAAY;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,mCAAmC,CAAC,CAAC;QACrF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,8CAA8C,CAAC,CAAC;AACzE,CAAC;AAED,oDAAoD;AACpD,SAAS,SAAS,CAAC,CAAU;IAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9E,MAAM,CAAC,GAAI,CAA6B,CAAC,MAAM,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,IAAY;IAC1C,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAY;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAQ,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iBAAiB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,GAAY,EAAE,IAAY;IAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACrF,IAAI,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IACxF,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;gBACrF,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QACpD,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;QAC7F,MAAM,GAAG,GAAiD,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ;gBAC9B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,oCAAoC,CAAC,CAAC;YAC/D,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACpC,qBAAqB,CAAC,KAAK,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;YACtD,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;QACpB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,GAAG,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qDAAqD,CAAC,CAAC;AAChF,CAAC;AAED,wFAAwF;AACxF,yFAAyF;AACzF,iDAAiD;AACjD,SAAS,qBAAqB,CAAC,CAAO,EAAE,IAAY;IAClD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO;QACT,KAAK,OAAO;YACV,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,2DAA2D,CAAC,CAAC;YACtF,CAAC;YACD,OAAO;QACT,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;YACnB,IACE,EAAE,CAAC,YAAY,EAAE,IAAI,KAAK,MAAM;gBAChC,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,KAAK,MAAM,IAAI,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,EAC7E,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,2DAA2D,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,mEAAmE,CAAC,CAAC;YAC9F,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpC,qBAAqB,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO;QACT,KAAK,KAAK;YACR,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO;IACX,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAAY,EAAE,IAAY;IAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,OAAO;YACjB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,oDAAoD,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QACrD,IAAI,GAAG,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/E,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;QAClF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC;YACtD,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,UAAU,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,2CAA2C,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,UAAU,CAAC,GAAY;IAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IACtC,MAAM,GAAG,GAOL,EAAE,CAAC;IACP,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpF,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;QAC7B,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC3B,GAAG,CAAC,YAAY,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,MAAM,EAAE,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;gBACrF,CAAC;gBACD,GAAG,CAAC,YAAY,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1F,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS;QAAE,GAAG,CAAC,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAChG,IAAI,CAAC,CAAC,mBAAmB,CAAC,KAAK,SAAS,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,mBAAmB,CAAC,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QACD,GAAG,CAAC,iBAAiB,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;QACnC,GAAG,CAAC,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAClG,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAY;IACpC,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5C,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QAC5B,MAAM,QAAQ,GACZ,GAAG,KAAK,OAAO;YACb,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;gBACtF,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC;YAC/D,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACrF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;IACpE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,kCAAkC,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAC9E,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,eAAe,CAAC,GAAY;IACnC,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5C,IAAI,GAAG,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACpD,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACpF,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,SAAS,GAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;AAElG,SAAS,UAAU,CAAC,GAAY;IAC9B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACnC,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;gBACnF,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IACrF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,eAAe,CAAC,GAAY;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAY,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAY,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;YACtD,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;YAC1E,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IACjC,IAAI,GAAG,KAAK,iBAAiB;QAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAClE,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAChD,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACpF,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,cAAc,CAAC,GAAY;IAClC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;IAClF,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAY;IACpC,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAChC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAChF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrF,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACxF,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACjF,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;gBAC7C,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACnC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACvB,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACpF,MAAM,GAAG,GAAG;gBACV,IAAI,EAAE,KAAc;gBACpB,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACnC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;aACzB,CAAC;YACF,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC;YAC5C,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;YAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACzC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,gBAAgB,GAAG,EAAE,CAAC,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC9B,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;YAClF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzD,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,mBAAmB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,34 @@
+export type Primitive = string | number | boolean;
+export interface EntityRef {
+    readonly id: string;
+    readonly context?: string;
+}
+export interface DeltaRef {
+    readonly delta: string;
+    readonly context?: string;
+}
+export type Target = {
+    readonly kind: "primitive";
+    readonly value: Primitive;
+} | {
+    readonly kind: "entity";
+    readonly entity: EntityRef;
+} | {
+    readonly kind: "delta";
+    readonly deltaRef: DeltaRef;
+};
+export interface Pointer {
+    readonly role: string;
+    readonly target: Target;
+}
+export interface Claims {
+    readonly timestamp: number;
+    readonly author: string;
+    readonly pointers: readonly Pointer[];
+}
+export interface Delta {
+    readonly id: string;
+    readonly claims: Claims;
+    readonly sig?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAElD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAID,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE5D,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB"}

package/dist/types.js

@@ -0,0 +1,4 @@
+// The delta data model (SPEC-1 §2). Bytes are never stored here — these are the logical
+// structures; canonical encoding lives in cbor.ts / delta.ts.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,8DAA8D"}

package/dist/vocab.d.ts

@@ -0,0 +1,2 @@
+export declare const VOCAB_PREFIX = "rhizomatic";
+//# sourceMappingURL=vocab.d.ts.map

package/dist/vocab.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocab.d.ts","sourceRoot":"","sources":["../src/vocab.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,YAAY,eAAe,CAAC"}

package/dist/vocab.js

@@ -0,0 +1,4 @@
+// The reserved vocabulary namespace (decided 2026-06-11). One configurable constant, so any
+// future change is a one-line edit plus a vector regen. Leaf module: importable from anywhere.
+export const VOCAB_PREFIX = "rhizomatic";
+//# sourceMappingURL=vocab.js.map

package/dist/vocab.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocab.js","sourceRoot":"","sources":["../src/vocab.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,+FAA+F;AAC/F,MAAM,CAAC,MAAM,YAAY,GAAG,YAAY,CAAC"}

package/package.json

@@ -0,0 +1,83 @@
+{
+  "name": "@rhizomes/rhizomatic",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "Rhizomatic (TypeScript) — a portable format for arbitrarily-relational data: signed, content-addressed deltas; union merge (grow-only CRDT); truth resolved per-reader. One of two parallel witnesses to the spec.",
+  "license": "MIT OR Apache-2.0",
+  "author": "Mykola Bilokonsky",
+  "homepage": "https://github.com/mbilokonsky/rhizomatic#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/mbilokonsky/rhizomatic.git",
+    "directory": "implementations/ts"
+  },
+  "bugs": {
+    "url": "https://github.com/mbilokonsky/rhizomatic/issues"
+  },
+  "keywords": [
+    "crdt",
+    "content-addressed",
+    "provenance",
+    "canonical-cbor",
+    "delta",
+    "federation",
+    "rhizomatic",
+    "signed-data"
+  ],
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE-MIT",
+    "LICENSE-APACHE"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "prepare": "npm run build",
+    "preversion": "npm run check",
+    "version": "npm run build",
+    "postversion": "git push --follow-tags",
+    "release:patch": "npm version patch && npm publish",
+    "release:minor": "npm version minor && npm publish",
+    "release:major": "npm version major && npm publish",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit",
+    "lint": "eslint .",
+    "lint:fix": "eslint . --fix",
+    "format": "prettier --write .",
+    "format:check": "prettier --check .",
+    "check": "npm run format:check && npm run lint && npm run typecheck && npm test",
+    "gen-vectors": "tsx tools/gen-vectors.ts",
+    "demo": "tsx demo/demo.ts",
+    "playground:build": "esbuild demo/playground/playground.ts --bundle --format=iife --outfile=demo/playground/bundle.js",
+    "docs:build": "esbuild demo/tour/tour.ts --bundle --format=iife --outfile=../../docs/tour.bundle.js && esbuild demo/playground/playground.ts --bundle --format=iife --outfile=../../docs/playground.bundle.js"
+  },
+  "dependencies": {
+    "@noble/curves": "^1.6.0",
+    "@noble/hashes": "^1.5.0"
+  },
+  "devDependencies": {
+    "@eslint/js": "^9.15.0",
+    "@types/node": "^22.0.0",
+    "esbuild": "^0.28.0",
+    "eslint": "^9.15.0",
+    "eslint-config-prettier": "^9.1.0",
+    "fast-check": "^3.22.0",
+    "prettier": "^3.3.0",
+    "tsx": "^4.19.0",
+    "typescript": "^5.7.0",
+    "typescript-eslint": "^8.15.0",
+    "vitest": "^2.1.0"
+  }
+}

package/src/alias.ts

@@ -0,0 +1,36 @@
+// Relation signatures (SPEC-9 §5): the deterministic answer to "what relation shape does this
+// delta instantiate?" — the librarian's input, never part of evaluation semantics.
+
+import { array, encode, tstr } from "./cbor.js";
+import { bytesToHex } from "./hash.js";
+import type { Delta } from "./types.js";
+
+function byteCompare(a: Uint8Array, b: Uint8Array): number {
+  const n = Math.min(a.length, b.length);
+  for (let i = 0; i < n; i++) {
+    const d = a[i]! - b[i]!;
+    if (d !== 0) return d;
+  }
+  return a.length - b.length;
+}
+
+// The [role, context] pairs ([role] when the pointer has no context) of the delta's EntityRef
+// pointers, sorted bytewise by their canonical CBOR encoding. Primitive and DeltaRef pointers
+// contribute nothing: primitives are not vertices (SPEC-1 §2.3); delta references are plumbing.
+export function relationSignature(delta: Delta): readonly (readonly string[])[] {
+  const pairs: { pair: string[]; bytes: Uint8Array }[] = [];
+  for (const ptr of delta.claims.pointers) {
+    if (ptr.target.kind !== "entity") continue;
+    const context = ptr.target.entity.context;
+    const pair = context === undefined ? [ptr.role] : [ptr.role, context];
+    pairs.push({ pair, bytes: encode(array(pair.map(tstr))) });
+  }
+  pairs.sort((a, b) => byteCompare(a.bytes, b.bytes));
+  return pairs.map((p) => p.pair);
+}
+
+// The signature's canonical form: the canonical CBOR of the sorted array of pairs.
+export function relationSignatureCanonicalHex(delta: Delta): string {
+  const pairs = relationSignature(delta).map((pair) => array(pair.map(tstr)));
+  return bytesToHex(encode(array(pairs)));
+}