@rhizomes/rhizomatic 0.1.0

package/dist/delta.js

@@ -0,0 +1,92 @@
+import { array, bool, encode, float, map, tstr } from "./cbor.js";
+import { bytesToHex, contentAddress } from "./hash.js";
+function targetToCbor(t) {
+    switch (t.kind) {
+        case "primitive": {
+            const v = t.value;
+            if (typeof v === "string")
+                return tstr(v);
+            if (typeof v === "boolean")
+                return bool(v);
+            return float(v);
+        }
+        case "entity": {
+            const entries = [["id", tstr(t.entity.id)]];
+            if (t.entity.context !== undefined)
+                entries.push(["context", tstr(t.entity.context)]);
+            return map(entries);
+        }
+        case "delta": {
+            const entries = [["delta", tstr(t.deltaRef.delta)]];
+            if (t.deltaRef.context !== undefined)
+                entries.push(["context", tstr(t.deltaRef.context)]);
+            return map(entries);
+        }
+    }
+}
+function pointerToCbor(p) {
+    return map([
+        ["role", tstr(p.role)],
+        ["target", targetToCbor(p.target)],
+    ]);
+}
+export function claimsToCbor(claims) {
+    return map([
+        ["author", tstr(claims.author)],
+        ["pointers", array(claims.pointers.map(pointerToCbor))],
+        ["timestamp", float(claims.timestamp)],
+    ]);
+}
+function assertNfc(s, what) {
+    if (s.normalize("NFC") !== s) {
+        throw new Error(`${what} must be NFC-normalized (ERRATA D11): ${JSON.stringify(s)}`);
+    }
+}
+// Reject malformed claims at the boundary; never repair (SPEC-4 §2).
+export function assertValidClaims(claims) {
+    if (claims.author.length === 0)
+        throw new Error("author must be non-empty");
+    assertNfc(claims.author, "author");
+    if (!Number.isFinite(claims.timestamp))
+        throw new Error("timestamp must be finite");
+    if (claims.pointers.length < 1)
+        throw new Error("a delta MUST contain at least one pointer");
+    for (const p of claims.pointers) {
+        if (p.role.length === 0)
+            throw new Error("role must be non-empty");
+        assertNfc(p.role, "role");
+        if (p.target.kind === "primitive") {
+            const v = p.target.value;
+            if (typeof v === "number" && !Number.isFinite(v)) {
+                throw new Error("numeric primitive must be finite");
+            }
+            if (typeof v === "string")
+                assertNfc(v, "string primitive");
+        }
+        if (p.target.kind === "entity")
+            assertNfc(p.target.entity.id, "entity id");
+        if (p.target.kind === "delta")
+            assertNfc(p.target.deltaRef.delta, "delta ref");
+        const ctx = p.target.kind === "entity"
+            ? p.target.entity.context
+            : p.target.kind === "delta"
+                ? p.target.deltaRef.context
+                : undefined;
+        if (ctx !== undefined) {
+            if (ctx.length === 0)
+                throw new Error("context, when present, must be non-empty");
+            assertNfc(ctx, "context");
+        }
+    }
+}
+export function canonicalBytes(claims) {
+    assertValidClaims(claims);
+    return encode(claimsToCbor(claims));
+}
+export function canonicalHex(claims) {
+    return bytesToHex(canonicalBytes(claims));
+}
+export function computeId(claims) {
+    return contentAddress(canonicalBytes(claims));
+}
+//# sourceMappingURL=delta.js.map

package/dist/delta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delta.js","sourceRoot":"","sources":["../src/delta.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGvD,SAAS,YAAY,CAAC,CAAS;IAC7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAClB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAA+B,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACtF,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAA+B,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChF,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1F,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,GAAG,CAAC;QACT,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;KACnC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,GAAG,CAAC;QACT,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;QACvD,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KACvC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,IAAY;IACxC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,yCAAyC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC5E,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACpF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACnE,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACzB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,SAAS,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QAC3E,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC/E,MAAM,GAAG,GACP,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YACxB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;YACzB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBACzB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO;gBAC3B,CAAC,CAAC,SAAS,CAAC;QAClB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAClF,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,OAAO,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;AAChD,CAAC"}

package/dist/derivation.d.ts

@@ -0,0 +1,29 @@
+import type { HView } from "./hview.js";
+import { Reactor, type IngestResult } from "./reactor.js";
+import type { Claims, Delta, Pointer } from "./types.js";
+export type DerivedFn = (view: HView, root: string) => Pointer[][];
+export interface BindingSpec {
+    readonly name: string;
+    readonly fnId: string;
+    readonly materialization: string;
+    readonly pure: boolean;
+    readonly budget: number;
+    readonly emit: "append" | "supersede" | {
+        readonly keyed: readonly string[];
+    };
+}
+export declare function derivedClaims(spec: BindingSpec, author: string, substantive: readonly Pointer[], inputHex: string): Claims;
+export declare class DerivationHost {
+    readonly reactor: Reactor;
+    private readonly bindings;
+    constructor(reactor: Reactor);
+    install(spec: BindingSpec, fn: DerivedFn, seedHex: string): string;
+    isSuspended(name: string): boolean;
+    authorOf(name: string): string | undefined;
+    ingest(delta: Delta): IngestResult;
+    private drain;
+    private emitSigned;
+    private trigger;
+}
+export declare function verifyPureDerivation(emitted: Delta, spec: BindingSpec, fn: DerivedFn, view: HView, root: string, viewHex: string): boolean;
+//# sourceMappingURL=derivation.d.ts.map

package/dist/derivation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,KAAK,YAAY,EAA8B,MAAM,cAAc,CAAC;AAItF,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGzD,MAAM,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,EAAE,EAAE,CAAC;AAEnE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CAC/E;AA2CD,wBAAgB,aAAa,CAC3B,IAAI,EAAE,WAAW,EACjB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,SAAS,OAAO,EAAE,EAC/B,QAAQ,EAAE,MAAM,GACf,MAAM,CAOR;AAED,qBAAa,cAAc;IAGb,QAAQ,CAAC,OAAO,EAAE,OAAO;IAFrC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgC;gBAEpC,OAAO,EAAE,OAAO;IAGrC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM;IA8BlE,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIlC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAK1C,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY;IAOlC,OAAO,CAAC,KAAK;IAeb,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,OAAO;CAsDhB;AAID,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,KAAK,EACd,IAAI,EAAE,WAAW,EACjB,EAAE,EAAE,SAAS,EACb,IAAI,EAAE,KAAK,EACX,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,OAAO,CAWT"}

package/dist/derivation.js

@@ -0,0 +1,183 @@
+// The derivation layer (SPEC-7, ERRATA-7): everything that computes is an author. Derived
+// authors read materializations and write signed claims back through the ordinary ingest path.
+import { computeId } from "./delta.js";
+import { VOCAB_PREFIX } from "./schema-deltas.js";
+import { makeNegationClaims } from "./set.js";
+import { authorForSeed, signClaims, verifyDelta } from "./sign.js";
+// The subject key of an emission under keyed(contextSet): sorted (entity id, context) pairs of
+// the substantive entity pointers whose context is in the set; "" when none match (G4).
+function emissionKey(substantive, contexts) {
+    const pairs = [];
+    for (const p of substantive) {
+        if (p.target.kind !== "entity")
+            continue;
+        const ctx = p.target.entity.context;
+        if (ctx !== undefined && contexts.includes(ctx)) {
+            pairs.push(`${p.target.entity.id}
${ctx}`);
+        }
+    }
+    return pairs.sort().join("");
+}
+function provenancePointers(spec, inputHex) {
+    return [
+        {
+            role: `${VOCAB_PREFIX}.derived.by`,
+            target: { kind: "entity", entity: { id: spec.fnId } },
+        },
+        { role: `${VOCAB_PREFIX}.derived.from`, target: { kind: "primitive", value: inputHex } },
+        {
+            role: `${VOCAB_PREFIX}.derived.under`,
+            target: { kind: "entity", entity: { id: spec.name } },
+        },
+    ];
+}
+// Build the full claims for one emission — the exact recipe replay verification re-runs (G5).
+export function derivedClaims(spec, author, substantive, inputHex) {
+    // timestamp 0: pure output must be a function of (fn, input hash) only (G3).
+    return {
+        timestamp: 0,
+        author,
+        pointers: [...substantive, ...provenancePointers(spec, inputHex)],
+    };
+}
+export class DerivationHost {
+    reactor;
+    bindings = new Map();
+    constructor(reactor) {
+        this.reactor = reactor;
+    }
+    // Installation is an assertion: a signed rdb.derived.binds delta (SPEC-7 §3).
+    install(spec, fn, seedHex) {
+        if (this.bindings.has(spec.name))
+            throw new Error(`duplicate binding: ${spec.name}`);
+        const author = authorForSeed(seedHex);
+        const binds = signClaims({
+            timestamp: 0,
+            author,
+            pointers: [
+                {
+                    role: `${VOCAB_PREFIX}.derived.binds`,
+                    target: { kind: "entity", entity: { id: spec.fnId, context: "bindings" } },
+                },
+                { role: `${VOCAB_PREFIX}.derived.author`, target: { kind: "primitive", value: author } },
+            ],
+        }, seedHex);
+        this.reactor.ingest(binds);
+        this.bindings.set(spec.name, {
+            spec,
+            fn,
+            seedHex,
+            author,
+            liveEmissions: new Map(),
+            triggerCount: 0,
+            suspended: false,
+        });
+        return author;
+    }
+    isSuspended(name) {
+        return this.bindings.get(name)?.suspended ?? false;
+    }
+    authorOf(name) {
+        return this.bindings.get(name)?.author;
+    }
+    // The write-back loop (G2): ingest, then drain triggers until quiescent.
+    ingest(delta) {
+        const result = this.reactor.ingest(delta);
+        if (result.status !== "accepted")
+            return result;
+        this.drain([...this.reactor.changesFromLastIngest()]);
+        return result;
+    }
+    drain(pending) {
+        let depth = 0;
+        while (pending.length > 0 && depth < 32) {
+            depth += 1;
+            const next = [];
+            for (const change of pending) {
+                for (const b of this.bindings.values()) {
+                    if (b.spec.materialization !== change.materialization)
+                        continue;
+                    next.push(...this.trigger(b, change));
+                }
+            }
+            pending = next;
+        }
+    }
+    emitSigned(b, claims) {
+        const signed = signClaims(claims, b.seedHex);
+        const result = this.reactor.ingest(signed);
+        if (result.status === "rejected")
+            throw new Error("derived emission rejected");
+        return result.status === "accepted" ? [...this.reactor.changesFromLastIngest()] : [];
+    }
+    trigger(b, change) {
+        if (b.suspended)
+            return [];
+        // The default non-reentrancy guard (SPEC-7 §6): skip when the trigger is entirely our own.
+        const own = change.responsibleDeltaIds.every((id) => this.reactor.get(id)?.claims.author === b.author);
+        if (own)
+            return [];
+        if (b.triggerCount >= b.spec.budget) {
+            b.suspended = true;
+            // Divergence becomes an observable event, not a melted reactor (G2).
+            return this.emitSigned(b, {
+                timestamp: 0,
+                author: b.author,
+                pointers: [
+                    {
+                        role: `${VOCAB_PREFIX}.derived.suspended`,
+                        target: { kind: "entity", entity: { id: b.spec.name, context: "suspensions" } },
+                    },
+                ],
+            });
+        }
+        b.triggerCount += 1;
+        const view = this.reactor.materializedView(change.materialization, change.root);
+        if (view === undefined)
+            return [];
+        const out = [];
+        if (b.spec.emit === "supersede") {
+            // Wholesale supersession: negate every live emission before emitting anew (G4).
+            for (const prior of [...b.liveEmissions.values()].flat()) {
+                out.push(...this.emitSigned(b, makeNegationClaims(b.author, 0, prior)));
+            }
+            b.liveEmissions.clear();
+        }
+        const keyed = typeof b.spec.emit === "object" ? b.spec.emit.keyed : undefined;
+        for (const substantive of b.fn(view, change.root)) {
+            const claims = derivedClaims(b.spec, b.author, substantive, change.newHex);
+            const signed = signClaims(claims, b.seedHex);
+            const key = keyed === undefined ? "" : emissionKey(substantive, keyed);
+            // Per-subject supersession: negate only the same-key priors; an empty key appends (G4).
+            if (keyed !== undefined && key !== "") {
+                for (const prior of b.liveEmissions.get(key) ?? []) {
+                    out.push(...this.emitSigned(b, makeNegationClaims(b.author, 0, prior)));
+                }
+                b.liveEmissions.set(key, []);
+            }
+            const result = this.reactor.ingest(signed);
+            if (result.status === "accepted") {
+                const bucket = b.liveEmissions.get(key);
+                if (bucket === undefined)
+                    b.liveEmissions.set(key, [signed.id]);
+                else
+                    bucket.push(signed.id);
+                out.push(...this.reactor.changesFromLastIngest());
+            }
+        }
+        return out;
+    }
+}
+// Pure-replay verification (SPEC-7 §4, G5): recompute the emission from (fn, input view) and
+// compare content addresses; the signature must also verify.
+export function verifyPureDerivation(emitted, spec, fn, view, root, viewHex) {
+    if (verifyDelta(emitted) !== "verified")
+        return false;
+    const fromPtr = emitted.claims.pointers.find((p) => p.role === `${VOCAB_PREFIX}.derived.from` && p.target.kind === "primitive");
+    if (fromPtr?.target.kind !== "primitive" || fromPtr.target.value !== viewHex)
+        return false;
+    // Re-derive ids: the replayed claims must content-address to the emitted delta's id.
+    const ids = fn(view, root).map((substantive) => computeId(derivedClaims(spec, emitted.claims.author, substantive, viewHex)));
+    return ids.includes(emitted.id);
+}
+//# sourceMappingURL=derivation.js.map

package/dist/derivation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../src/derivation.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,+FAA+F;AAE/F,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AA2BnE,+FAA+F;AAC/F,wFAAwF;AACxF,SAAS,WAAW,CAAC,WAA+B,EAAE,QAA2B;IAC/E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACpC,IAAI,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB,EAAE,QAAgB;IAC7D,OAAO;QACL;YACE,IAAI,EAAE,GAAG,YAAY,aAAa;YAClC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;SACtD;QACD,EAAE,IAAI,EAAE,GAAG,YAAY,eAAe,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;QACxF;YACE,IAAI,EAAE,GAAG,YAAY,gBAAgB;YACrC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;SACtD;KACF,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,aAAa,CAC3B,IAAiB,EACjB,MAAc,EACd,WAA+B,EAC/B,QAAgB;IAEhB,6EAA6E;IAC7E,OAAO;QACL,SAAS,EAAE,CAAC;QACZ,MAAM;QACN,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,cAAc;IAGJ;IAFJ,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAEzD,YAAqB,OAAgB;QAAhB,YAAO,GAAP,OAAO,CAAS;IAAG,CAAC;IAEzC,8EAA8E;IAC9E,OAAO,CAAC,IAAiB,EAAE,EAAa,EAAE,OAAe;QACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,UAAU,CACtB;YACE,SAAS,EAAE,CAAC;YACZ,MAAM;YACN,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,GAAG,YAAY,gBAAgB;oBACrC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE;iBAC3E;gBACD,EAAE,IAAI,EAAE,GAAG,YAAY,iBAAiB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;aACzF;SACF,EACD,OAAO,CACR,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YAC3B,IAAI;YACJ,EAAE;YACF,OAAO;YACP,MAAM;YACN,aAAa,EAAE,IAAI,GAAG,EAAE;YACxB,YAAY,EAAE,CAAC;YACf,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,IAAI,KAAK,CAAC;IACrD,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACzC,CAAC;IAED,yEAAyE;IACzE,MAAM,CAAC,KAAY;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;QACtD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,KAAK,CAAC,OAAgC;QAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,CAAC;YACX,MAAM,IAAI,GAA4B,EAAE,CAAC;YACzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe;wBAAE,SAAS;oBAChE,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,UAAU,CAAC,CAAY,EAAE,MAAc;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/E,OAAO,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,CAAC;IAEO,OAAO,CAAC,CAAY,EAAE,MAA6B;QACzD,IAAI,CAAC,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC3B,2FAA2F;QAC3F,MAAM,GAAG,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAC1C,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CACzD,CAAC;QACF,IAAI,GAAG;YAAE,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC;YACnB,qEAAqE;YACrE,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE;gBACxB,SAAS,EAAE,CAAC;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,QAAQ,EAAE;oBACR;wBACE,IAAI,EAAE,GAAG,YAAY,oBAAoB;wBACzC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE;qBAChF;iBACF;aACF,CAAC,CAAC;QACL,CAAC;QACD,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,gFAAgF;YAChF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACzD,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9E,KAAK,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YAC3E,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACvE,wFAAwF;YACxF,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;gBACtC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnD,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1E,CAAC;gBACD,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/B,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,MAAM,KAAK,SAAS;oBAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;;oBAC3D,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF;AAED,6FAA6F;AAC7F,6DAA6D;AAC7D,MAAM,UAAU,oBAAoB,CAClC,OAAc,EACd,IAAiB,EACjB,EAAa,EACb,IAAW,EACX,IAAY,EACZ,OAAe;IAEf,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,YAAY,eAAe,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAClF,CAAC;IACF,IAAI,OAAO,EAAE,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3F,qFAAqF;IACrF,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC7C,SAAS,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAC5E,CAAC;IACF,OAAO,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC"}

package/dist/eval.d.ts

@@ -0,0 +1,91 @@
+import { type HView } from "./hview.js";
+import { type Policy, type View } from "./policy.js";
+import { type Bindings, type Pred, type StrMatch } from "./pred.js";
+import { SchemaRegistry } from "./schema.js";
+import { DeltaSet } from "./set.js";
+export type MaskPolicy = {
+    readonly kind: "drop";
+} | {
+    readonly kind: "annotate";
+} | {
+    readonly kind: "trust";
+    readonly pred: Pred;
+};
+export type SchemaRefT = {
+    readonly kind: "name";
+    readonly name: string;
+} | {
+    readonly kind: "pinned";
+    readonly hash: string;
+};
+export type GroupKey = {
+    readonly kind: "byTargetContext";
+} | {
+    readonly kind: "byRole";
+} | {
+    readonly kind: "const";
+    readonly prop: string;
+};
+export type Term = {
+    readonly kind: "input";
+} | {
+    readonly kind: "select";
+    readonly pred: Pred;
+    readonly of: Term;
+} | {
+    readonly kind: "union";
+    readonly left: Term;
+    readonly right: Term;
+} | {
+    readonly kind: "mask";
+    readonly policy: MaskPolicy;
+    readonly of: Term;
+} | {
+    readonly kind: "group";
+    readonly key: GroupKey;
+    readonly of: Term;
+} | {
+    readonly kind: "prune";
+    readonly keep: "all" | StrMatch;
+    readonly of: Term;
+} | {
+    readonly kind: "expand";
+    readonly role: StrMatch;
+    readonly schema: SchemaRefT;
+    readonly of: Term;
+} | {
+    readonly kind: "fix";
+    readonly schema: SchemaRefT;
+    readonly entity: string;
+    readonly bindings?: Bindings;
+} | {
+    readonly kind: "resolve";
+    readonly policy: Policy;
+    readonly of: Term;
+};
+interface DSetResult {
+    readonly sort: "dset";
+    readonly set: DeltaSet;
+    readonly negated: ReadonlySet<string>;
+    readonly annotated: boolean;
+}
+interface HViewResult {
+    readonly sort: "hview";
+    readonly hview: HView;
+}
+interface ViewResult {
+    readonly sort: "view";
+    readonly view: View;
+}
+export type EvalResult = DSetResult | HViewResult | ViewResult;
+export interface AliasedSpec {
+    readonly name: string;
+    readonly via?: string;
+    readonly trust?: Pred;
+}
+export declare function aliasClosure(input: DeltaSet, spec: AliasedSpec, root?: string): string[];
+export declare function expandAliased(pred: Pred, input: DeltaSet, root: string | undefined): Pred;
+export declare function evalTerm(term: Term, input: DeltaSet, root?: string, registry?: SchemaRegistry, bindings?: Bindings): EvalResult;
+export declare function resultCanonicalHex(result: EvalResult): string;
+export {};
+//# sourceMappingURL=eval.d.ts.map

package/dist/eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval.d.ts","sourceRoot":"","sources":["../src/eval.ts"],"names":[],"mappings":"AAMA,OAAO,EAAmC,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAiC,KAAK,MAAM,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAKL,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,QAAQ,EACd,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAe,MAAM,UAAU,CAAC;AAGjD,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEpD,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,GACpC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GAC9E;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;CACnB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC;AAE7E,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IAEvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,UAAU,WAAW;IACnB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAGD,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;AAqD/D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;CACvB;AAOD,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CA4CxF;AAUD,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAmCzF;AAsCD,wBAAgB,QAAQ,CACtB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,QAAQ,EACf,IAAI,CAAC,EAAE,MAAM,EACb,QAAQ,CAAC,EAAE,cAAc,EACzB,QAAQ,CAAC,EAAE,QAAQ,GAClB,UAAU,CAyFZ;AAwBD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAc7D"}