@rhizomes/rhizomatic 0.1.0

package/dist/reactor.js

@@ -0,0 +1,433 @@
+// The reactor core (SPEC-4 §2-3, ERRATA-4): ingest -> validate -> persist -> index. The log is
+// the truth; the four core indexes are derived and reconstructible. Materializations arrive in
+// M2.2; this layer guarantees idempotence and order-convergence.
+import { evalTerm } from "./eval.js";
+import { array, encode } from "./cbor.js";
+import { bytesToHex } from "./hash.js";
+import { hvEntryToCbor, hviewCanonicalHex } from "./hview.js";
+import { collectRefs } from "./schema.js";
+import { comparePrimitives } from "./pred.js";
+import { viewCanonicalHex } from "./policy.js";
+import { DeltaSet } from "./set.js";
+import { VOCAB_PREFIX } from "./schema-deltas.js";
+import { verifyDelta } from "./sign.js";
+export class Reactor {
+    // The append-only log in arrival order (v0: in-memory; the log is still the truth — V2).
+    log = [];
+    set = new DeltaSet();
+    // target index: EntityId -> delta ids whose pointers target that entity (SPEC-4 §3)
+    targetIndex = new Map();
+    // negation index: delta id -> ids of negations targeting it (SPEC-4 §3)
+    negationIndex = new Map();
+    materializations = new Map();
+    // value index: role -> canonical primitive key -> { value, ids } (V1: keyed by role)
+    valueIndex = new Map();
+    // Validate -> persist -> index. Idempotent by id; rejected deltas leave no trace (V3).
+    ingest(delta) {
+        if (this.set.has(delta.id))
+            return { status: "duplicate" };
+        // A present signature must verify; unsigned deltas remain legal at L1 (D9).
+        if (delta.sig !== undefined && verifyDelta(delta) !== "verified") {
+            return { status: "rejected", reason: "signature does not verify" };
+        }
+        try {
+            this.set.add(delta); // recomputes the content address and runs L1 validation
+        }
+        catch (e) {
+            return { status: "rejected", reason: e instanceof Error ? e.message : String(e) };
+        }
+        this.log.push(delta);
+        this.index(delta);
+        for (const cb of this.rawSubscribers)
+            cb(delta);
+        this.lastChanges = this.dispatchAndUpdate([delta]);
+        return { status: "accepted" };
+    }
+    index(delta) {
+        for (const ptr of delta.claims.pointers) {
+            switch (ptr.target.kind) {
+                case "entity": {
+                    const id = ptr.target.entity.id;
+                    let bucket = this.targetIndex.get(id);
+                    if (bucket === undefined) {
+                        bucket = new Set();
+                        this.targetIndex.set(id, bucket);
+                    }
+                    bucket.add(delta.id);
+                    break;
+                }
+                case "delta": {
+                    if (ptr.role === "negates") {
+                        const target = ptr.target.deltaRef.delta;
+                        let bucket = this.negationIndex.get(target);
+                        if (bucket === undefined) {
+                            bucket = new Set();
+                            this.negationIndex.set(target, bucket);
+                        }
+                        bucket.add(delta.id);
+                    }
+                    break;
+                }
+                case "primitive": {
+                    let roleBucket = this.valueIndex.get(ptr.role);
+                    if (roleBucket === undefined) {
+                        roleBucket = new Map();
+                        this.valueIndex.set(ptr.role, roleBucket);
+                    }
+                    const key = viewCanonicalHex(ptr.target.value);
+                    let entry = roleBucket.get(key);
+                    if (entry === undefined) {
+                        entry = { value: ptr.target.value, ids: new Set() };
+                        roleBucket.set(key, entry);
+                    }
+                    entry.ids.add(delta.id);
+                    break;
+                }
+            }
+        }
+    }
+    // --- queries over the core indexes (sorted ids — canonical enumeration order) ---
+    byTarget(entityId) {
+        return [...(this.targetIndex.get(entityId) ?? [])].sort();
+    }
+    negationsOf(deltaId) {
+        return [...(this.negationIndex.get(deltaId) ?? [])].sort();
+    }
+    // Range/equality queries over primitive payloads filed under a role (V1; ValMatch per SPEC-2 §3).
+    byValue(role, match) {
+        const bucket = this.valueIndex.get(role);
+        if (bucket === undefined)
+            return [];
+        const out = [];
+        for (const { value, ids } of bucket.values()) {
+            if (match(value))
+                out.push(...ids);
+        }
+        return out.sort();
+    }
+    byValueBetween(role, lo, hi) {
+        return this.byValue(role, (v) => comparePrimitives(v, lo) >= 0 && comparePrimitives(v, hi) <= 0);
+    }
+    // --- the log and the set ---
+    get size() {
+        return this.set.size;
+    }
+    has(id) {
+        return this.set.has(id);
+    }
+    get(id) {
+        return this.set.get(id);
+    }
+    // Arrival order — a transport artifact, never consulted by evaluation (SPEC-4 §2).
+    arrivalLog() {
+        return this.log;
+    }
+    digest() {
+        return this.set.digest();
+    }
+    snapshot() {
+        return DeltaSet.from(this.set);
+    }
+    // Batch evaluation over the current set — the oracle hookup (SPEC-4 §1). Read-your-writes
+    // holds trivially: ingest is synchronous, so an accepted delta is visible immediately (§6).
+    eval(term, root, registry) {
+        return evalTerm(term, this.set, root, registry);
+    }
+    // --- materializations (SPEC-4 §4, ERRATA-4 V5) ---
+    lastChanges = [];
+    // Register a live materialization: an HView-sort term (a function of $root) kept
+    // incrementally equal to batch evaluation at each root (SPEC-4 §1).
+    register(name, term, roots, registry) {
+        if (this.materializations.has(name))
+            throw new Error(`duplicate materialization: ${name}`);
+        const mat = {
+            name,
+            term,
+            roots: [...roots],
+            registry,
+            rootAnchored: isRootAnchored(term, registry),
+            views: new Map(),
+            hexes: new Map(),
+            propHexes: new Map(),
+            supportEntities: new Map(),
+            evalCount: 0,
+        };
+        for (const root of mat.roots)
+            void this.refresh(mat, root);
+        this.materializations.set(name, mat);
+    }
+    materializedHex(name, root) {
+        return this.materializations.get(name)?.hexes.get(root);
+    }
+    materializedView(name, root) {
+        return this.materializations.get(name)?.views.get(root);
+    }
+    evalCountOf(name) {
+        return this.materializations.get(name)?.evalCount ?? 0;
+    }
+    changesFromLastIngest() {
+        return this.lastChanges;
+    }
+    refresh(mat, root) {
+        const result = evalTerm(mat.term, this.set, root, mat.registry);
+        if (result.sort !== "hview")
+            throw new Error("materialized terms must be HView-sort");
+        mat.evalCount += 1;
+        const hex = hviewCanonicalHex(result.hview);
+        const changed = mat.hexes.get(root) !== hex;
+        const newPropHexes = propHexesOf(result.hview);
+        const changedProps = changed
+            ? diffProps(mat.propHexes.get(root) ?? new Map(), newPropHexes)
+            : undefined;
+        mat.views.set(root, result.hview);
+        mat.hexes.set(root, hex);
+        mat.propHexes.set(root, newPropHexes);
+        const entities = new Set([root]);
+        collectNestedIds(result.hview, entities);
+        mat.supportEntities.set(root, entities);
+        return changedProps;
+    }
+    // Sound dispatch (V5): over-match allowed, under-match forbidden.
+    dispatchAndUpdate(deltas) {
+        const responsible = deltas.map((d) => d.id);
+        const changes = [];
+        for (const mat of this.materializations.values()) {
+            for (const root of mat.roots) {
+                if (!deltas.some((d) => this.affects(d, mat, root)))
+                    continue;
+                const changedProps = this.refresh(mat, root);
+                if (changedProps !== undefined) {
+                    changes.push({
+                        materialization: mat.name,
+                        root,
+                        changedProps,
+                        responsibleDeltaIds: responsible,
+                        newHex: mat.hexes.get(root),
+                    });
+                }
+            }
+        }
+        for (const c of changes) {
+            for (const cb of this.matSubscribers.get(c.materialization) ?? [])
+                cb(c);
+        }
+        return changes;
+    }
+    affects(delta, mat, root) {
+        if (!mat.rootAnchored)
+            return true; // broad dispatch for non-anchored terms (V5)
+        const support = mat.supportEntities.get(root) ?? new Set([root]);
+        if (this.targetsSupport(delta, support))
+            return true;
+        // negation chains: walk each negates target downward toward base data (V5)
+        for (const ptr of delta.claims.pointers) {
+            if (ptr.role !== "negates" || ptr.target.kind !== "delta")
+                continue;
+            if (this.chainTouchesSupport(ptr.target.deltaRef.delta, support, 0))
+                return true;
+        }
+        return false;
+    }
+    targetsSupport(delta, support) {
+        return delta.claims.pointers.some((p) => p.target.kind === "entity" && support.has(p.target.entity.id));
+    }
+    chainTouchesSupport(id, support, depth) {
+        if (depth > 64)
+            return true; // adversarial-depth guard: over-match rather than recurse forever
+        const target = this.set.get(id);
+        if (target === undefined)
+            return false; // unknown target: nothing materialized depends on it
+        if (this.targetsSupport(target, support))
+            return true;
+        for (const ptr of target.claims.pointers) {
+            if (ptr.role !== "negates" || ptr.target.kind !== "delta")
+                continue;
+            if (this.chainTouchesSupport(ptr.target.deltaRef.delta, support, depth + 1))
+                return true;
+        }
+        return false;
+    }
+    // --- subscriptions (SPEC-4 §5) ---
+    rawSubscribers = [];
+    matSubscribers = new Map();
+    // The raw stream: every accepted delta (federation relays, audit, mirrors).
+    subscribeRaw(cb) {
+        this.rawSubscribers.push(cb);
+    }
+    // Change events on a registered materialization's HyperViews.
+    subscribe(materialization, cb) {
+        const list = this.matSubscribers.get(materialization);
+        if (list === undefined)
+            this.matSubscribers.set(materialization, [cb]);
+        else
+            list.push(cb);
+    }
+    // --- atomic batch ingestion (SPEC-1 §9, SPEC-4 §6) ---
+    // Manifest-keyed atomic ingestion: validate everything first; all members become visible to
+    // dispatch in one step, or none do. The transaction vocabulary supplies the batch boundary;
+    // the reactor supplies the courtesy.
+    ingestBundle(manifest, members) {
+        const fresh = [...members, manifest].filter((d) => !this.set.has(d.id));
+        // Validate all before admitting any (atomic acceptance).
+        for (const d of fresh) {
+            if (d.sig !== undefined && verifyDelta(d) !== "verified") {
+                return { status: "rejected", reason: `bundle member ${d.id}: signature does not verify` };
+            }
+            try {
+                const probe = new DeltaSet();
+                probe.add(d);
+            }
+            catch (e) {
+                return {
+                    status: "rejected",
+                    reason: `bundle member ${d.id}: ${e instanceof Error ? e.message : String(e)}`,
+                };
+            }
+        }
+        // The manifest must commit to every supplied member by content address (SPEC-1 §9).
+        const committed = new Set(manifestMemberIds(manifest));
+        for (const m of members) {
+            if (!committed.has(m.id)) {
+                return { status: "rejected", reason: `member ${m.id} is not claimed by the manifest` };
+            }
+        }
+        if (fresh.length === 0)
+            return { status: "duplicate" };
+        for (const d of fresh) {
+            this.set.add(d);
+            this.log.push(d);
+            this.index(d);
+            for (const cb of this.rawSubscribers)
+                cb(d);
+        }
+        this.lastChanges = this.dispatchAndUpdate(fresh);
+        return { status: "accepted" };
+    }
+    // Completeness is verifiable, not enforced (SPEC-1 §9): a hash check.
+    holdsAllMembers(manifestId) {
+        const manifest = this.set.get(manifestId);
+        if (manifest === undefined)
+            return false;
+        return manifestMemberIds(manifest).every((id) => this.set.has(id));
+    }
+}
+// --- the rdb.txn vocabulary (SPEC-1 §9) ---
+export function makeManifestClaims(author, timestamp, memberIds, options) {
+    const pointers = memberIds.map((id) => ({
+        role: `${VOCAB_PREFIX}.txn.member`,
+        target: { kind: "delta", deltaRef: { delta: id } },
+    }));
+    if (options?.prior !== undefined) {
+        pointers.push({
+            role: `${VOCAB_PREFIX}.txn.prior`,
+            target: { kind: "delta", deltaRef: { delta: options.prior } },
+        });
+    }
+    if (options?.intent !== undefined) {
+        pointers.push({
+            role: `${VOCAB_PREFIX}.txn.intent`,
+            target: { kind: "primitive", value: options.intent },
+        });
+    }
+    return { timestamp, author, pointers };
+}
+export function manifestMemberIds(manifest) {
+    return manifest.claims.pointers
+        .filter((p) => p.role === `${VOCAB_PREFIX}.txn.member` && p.target.kind === "delta")
+        .map((p) => p.target.deltaRef.delta);
+}
+// Per-property canonical hexes, for change-path diffing (SPEC-4 §5).
+function propHexesOf(h) {
+    const out = new Map();
+    for (const [prop, entries] of h.props) {
+        out.set(prop, bytesToHex(encode(array(entries.map(hvEntryToCbor)))));
+    }
+    return out;
+}
+function diffProps(before, after) {
+    const changed = new Set();
+    for (const [prop, hex] of after)
+        if (before.get(prop) !== hex)
+            changed.add(prop);
+    for (const prop of before.keys())
+        if (!after.has(prop))
+            changed.add(prop);
+    return [...changed].sort();
+}
+// Collect every nested (expanded) HView id, recursively — the support-entity set (V5).
+function collectNestedIds(h, out) {
+    for (const entries of h.props.values()) {
+        for (const e of entries) {
+            if (e.expanded === undefined)
+                continue;
+            for (const nested of e.expanded.values()) {
+                out.add(nested.id);
+                collectNestedIds(nested, out);
+            }
+        }
+    }
+}
+// Does this predicate conjunctively REQUIRE a pointer at $root? (V5 anchoring analyzer)
+function predRequiresRoot(pred) {
+    switch (pred.kind) {
+        case "hasPointer":
+            return pred.ppred.targetEntity?.kind === "root";
+        case "and":
+            return predRequiresRoot(pred.left) || predRequiresRoot(pred.right);
+        case "or":
+            return predRequiresRoot(pred.left) && predRequiresRoot(pred.right);
+        default:
+            return false;
+    }
+}
+// Does every group in this pipeline sit above a root-requiring select?
+function pipelineAnchored(t) {
+    switch (t.kind) {
+        case "input":
+            return false;
+        case "select":
+            return predRequiresRoot(t.pred) || pipelineAnchored(t.of);
+        case "mask":
+            return pipelineAnchored(t.of);
+        case "union":
+            return pipelineAnchored(t.left) && pipelineAnchored(t.right);
+        default:
+            return false;
+    }
+}
+function termAnchored(t) {
+    switch (t.kind) {
+        case "group":
+            return pipelineAnchored(t.of);
+        case "prune":
+        case "expand":
+        case "resolve":
+            return termAnchored(t.of);
+        case "fix":
+            return true; // anchoring of the referenced schema is checked via the registry walk below
+        default:
+            return false;
+    }
+}
+// Root anchoring across the term and every transitively referenced schema body (V5).
+export function isRootAnchored(term, registry) {
+    if (!termAnchored(term))
+        return false;
+    const seen = new Set();
+    const queue = [...collectRefs(term)];
+    while (queue.length > 0) {
+        const ref = queue.pop();
+        const key = ref.kind === "name" ? `n:${ref.name}` : `h:${ref.hash}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        const schema = registry?.resolve(ref);
+        if (schema === undefined)
+            return false; // unresolvable: be conservative, dispatch broadly
+        if (!termAnchored(schema.body))
+            return false;
+        queue.push(...collectRefs(schema.body));
+    }
+    return true;
+}
+//# sourceMappingURL=reactor.js.map

package/dist/reactor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactor.js","sourceRoot":"","sources":["../src/reactor.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,+FAA+F;AAC/F,iEAAiE;AAEjE,OAAO,EAAE,QAAQ,EAA8B,MAAM,WAAW,CAAC;AACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAc,MAAM,YAAY,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAA4B,MAAM,WAAW,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AA+BxC,MAAM,OAAO,OAAO;IAClB,yFAAyF;IACxE,GAAG,GAAY,EAAE,CAAC;IAClB,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC;IACtC,oFAAoF;IACnE,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9D,wEAAwE;IACvD,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,gBAAgB,GAAG,IAAI,GAAG,EAA2B,CAAC;IACvE,qFAAqF;IACpE,UAAU,GAAG,IAAI,GAAG,EAGlC,CAAC;IAEJ,uFAAuF;IACvF,MAAM,CAAC,KAAY;QACjB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QAC3D,4EAA4E;QAC5E,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,UAAU,EAAE,CAAC;YACjE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;QACrE,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,wDAAwD;QAC/E,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc;YAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAChC,CAAC;IAEO,KAAK,CAAC,KAAY;QACxB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxC,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,IAAI,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;wBACnB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBACnC,CAAC;oBACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACrB,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBACzC,IAAI,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;4BACnB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;wBACzC,CAAC;wBACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACvB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,IAAI,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC/C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7B,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;wBACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBAC5C,CAAC;oBACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC/C,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,KAAK,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBACpD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBAC7B,CAAC;oBACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACxB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mFAAmF;IAEnF,QAAQ,CAAC,QAAgB;QACvB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,CAAC;IAED,WAAW,CAAC,OAAe;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,CAAC;IAED,kGAAkG;IAClG,OAAO,CAAC,IAAY,EAAE,KAAgC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;IACpB,CAAC;IAED,cAAc,CAAC,IAAY,EAAE,EAAa,EAAE,EAAa;QACvD,OAAO,IAAI,CAAC,OAAO,CACjB,IAAI,EACJ,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CACtE,CAAC;IACJ,CAAC;IAED,8BAA8B;IAE9B,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,mFAAmF;IACnF,UAAU;QACR,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;IAC3B,CAAC;IAED,QAAQ;QACN,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAED,0FAA0F;IAC1F,4FAA4F;IAC5F,IAAI,CAAC,IAAU,EAAE,IAAa,EAAE,QAAyB;QACvD,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED,oDAAoD;IAE5C,WAAW,GAA4B,EAAE,CAAC;IAElD,iFAAiF;IACjF,oEAAoE;IACpE,QAAQ,CAAC,IAAY,EAAE,IAAU,EAAE,KAAwB,EAAE,QAAyB;QACpF,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;QAC3F,MAAM,GAAG,GAAoB;YAC3B,IAAI;YACJ,IAAI;YACJ,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;YACjB,QAAQ;YACR,YAAY,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC5C,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,SAAS,EAAE,IAAI,GAAG,EAAE;YACpB,eAAe,EAAE,IAAI,GAAG,EAAE;YAC1B,SAAS,EAAE,CAAC;SACb,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,eAAe,CAAC,IAAY,EAAE,IAAY;QACxC,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,gBAAgB,CAAC,IAAY,EAAE,IAAY;QACzC,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,WAAW,CAAC,IAAY;QACtB,OAAO,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,CAAC;IACzD,CAAC;IAED,qBAAqB;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAEO,OAAO,CAAC,GAAoB,EAAE,IAAY;QAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACtF,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC;QAC5C,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,OAAO;YAC1B,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,YAAY,CAAC;YAC/D,CAAC,CAAC,SAAS,CAAC;QACd,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,kEAAkE;IAC1D,iBAAiB,CAAC,MAAwB;QAChD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;YACjD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;oBAAE,SAAS;gBAC9D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC7C,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;oBAC/B,OAAO,CAAC,IAAI,CAAC;wBACX,eAAe,EAAE,GAAG,CAAC,IAAI;wBACzB,IAAI;wBACJ,YAAY;wBACZ,mBAAmB,EAAE,WAAW;wBAChC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE;qBAC7B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE;gBAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,OAAO,CAAC,KAAY,EAAE,GAAoB,EAAE,IAAY;QAC9D,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC,CAAC,6CAA6C;QACjF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACrD,2EAA2E;QAC3E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpE,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QACnF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,cAAc,CAAC,KAAY,EAAE,OAA4B;QAC/D,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CACrE,CAAC;IACJ,CAAC;IAEO,mBAAmB,CAAC,EAAU,EAAE,OAA4B,EAAE,KAAa;QACjF,IAAI,KAAK,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,kEAAkE;QAC/F,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,qDAAqD;QAC7F,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACzC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpE,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC3F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oCAAoC;IAEnB,cAAc,GAA8B,EAAE,CAAC;IAC/C,cAAc,GAAG,IAAI,GAAG,EAAqD,CAAC;IAE/F,4EAA4E;IAC5E,YAAY,CAAC,EAA0B;QACrC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC;IAED,8DAA8D;IAC9D,SAAS,CAAC,eAAuB,EAAE,EAA2C;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;;YAClE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IAED,wDAAwD;IAExD,4FAA4F;IAC5F,4FAA4F;IAC5F,qCAAqC;IACrC,YAAY,CAAC,QAAe,EAAE,OAAyB;QACrD,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,yDAAyD;QACzD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;gBACzD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,6BAA6B,EAAE,CAAC;YAC5F,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC7B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACf,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO;oBACL,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;iBAC/E,CAAC;YACJ,CAAC;QACH,CAAC;QACD,oFAAoF;QACpF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,iCAAiC,EAAE,CAAC;YACzF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAChB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACd,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc;gBAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAChC,CAAC;IAED,sEAAsE;IACtE,eAAe,CAAC,UAAkB;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACzC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;CACF;AAED,6CAA6C;AAE7C,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,SAAiB,EACjB,SAA4B,EAC5B,OAA+D;IAE/D,MAAM,QAAQ,GAAmC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,GAAG,YAAY,aAAa;QAClC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;KACnD,CAAC,CAAC,CAAC;IACJ,IAAI,OAAO,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,GAAG,YAAY,YAAY;YACjC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE;SAC9D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,GAAG,YAAY,aAAa;YAClC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE;SACrD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAe;IAC/C,OAAO,QAAQ,CAAC,MAAM,CAAC,QAAQ;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,YAAY,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;SACnF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,MAA0C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,qEAAqE;AACrE,SAAS,WAAW,CAAC,CAAQ;IAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,MAA2B,EAAE,KAA0B;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK;QAAE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,uFAAuF;AACvF,SAAS,gBAAgB,CAAC,CAAQ,EAAE,GAAgB;IAClD,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACvC,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACzC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACnB,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,IAAU;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,KAAK,MAAM,CAAC;QAClD,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,IAAI;YACP,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,SAAS,gBAAgB,CAAC,CAAO;IAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,KAAK,MAAM;YACT,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,KAAK,OAAO;YACV,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,CAAO;IAC3B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5B,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,CAAC,4EAA4E;QAC3F;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAAC,IAAU,EAAE,QAAoC;IAC7E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QACpE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,kDAAkD;QAC1F,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/schema-deltas.d.ts

@@ -0,0 +1,14 @@
+import type { HyperSchema } from "./schema.js";
+import { DeltaSet } from "./set.js";
+import type { Claims } from "./types.js";
+export { VOCAB_PREFIX } from "./vocab.js";
+export declare const SCHEMA_SCHEMA: HyperSchema;
+export declare function publishSchemaClaims(schema: HyperSchema, schemaEntity: string, author: string, timestamp: number): Claims;
+export declare function loadSchema(dset: DeltaSet, schemaEntity: string): HyperSchema;
+export declare function definitionRoles(): {
+    defines: string;
+    name: string;
+    alg: string;
+    term: string;
+};
+//# sourceMappingURL=schema-deltas.d.ts.map

package/dist/schema-deltas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-deltas.d.ts","sourceRoot":"","sources":["../src/schema-deltas.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAGpC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAQ1C,eAAO,MAAM,aAAa,EAAE,WAc3B,CAAC;AAGF,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,WAAW,EACnB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,MAAM,CAcR;AAcD,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,GAAG,WAAW,CAuB5E;AAED,wBAAgB,eAAe,IAAI;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAE9F"}

package/dist/schema-deltas.js

@@ -0,0 +1,87 @@
+// Schemas as deltas (SPEC-3 §5, ERRATA-3 S1-S3): the at-rest, federated form of a schema, and the
+// rdb.SchemaSchema bootstrap — the one hand-specified schema, through which all others are read.
+import { decode } from "./cbor.js";
+import { evalTerm } from "./eval.js";
+import { hexToBytes } from "@noble/hashes/utils";
+import { cborToJson, termCanonicalHex } from "./term-io.js";
+import { parseTerm } from "./term-json.js";
+import { VOCAB_PREFIX } from "./vocab.js";
+export { VOCAB_PREFIX } from "./vocab.js";
+const ROLE_DEFINES = `${VOCAB_PREFIX}.schema.defines`;
+const ROLE_NAME = `${VOCAB_PREFIX}.schema.name`;
+const ROLE_ALG = `${VOCAB_PREFIX}.schema.alg`;
+const ROLE_TERM = `${VOCAB_PREFIX}.schema.term`;
+// The bootstrap (S2): the canonical idiom, hand-specified. Everything else is read using it.
+export const SCHEMA_SCHEMA = {
+    name: `${VOCAB_PREFIX}.SchemaSchema`,
+    alg: 1,
+    body: parseTerm({
+        op: "group",
+        key: "byTargetContext",
+        in: {
+            op: "select",
+            pred: { hasPointer: { targetEntity: { var: "root" } } },
+            // mask BEFORE select (ERRATA-3 S5): negations target deltas, not the root, so a
+            // select-first idiom would exclude them before mask could suppress anything.
+            in: { op: "mask", policy: "drop", in: "input" },
+        },
+    }),
+};
+// Publish a schema definition as claims (S1). The caller signs/timestamps as any other authorship.
+export function publishSchemaClaims(schema, schemaEntity, author, timestamp) {
+    return {
+        timestamp,
+        author,
+        pointers: [
+            {
+                role: ROLE_DEFINES,
+                target: { kind: "entity", entity: { id: schemaEntity, context: "definition" } },
+            },
+            { role: ROLE_NAME, target: { kind: "primitive", value: schema.name } },
+            { role: ROLE_ALG, target: { kind: "primitive", value: schema.alg } },
+            { role: ROLE_TERM, target: { kind: "primitive", value: termCanonicalHex(schema.body) } },
+        ],
+    };
+}
+function primitiveOf(claims, role) {
+    for (const p of claims.pointers) {
+        if (p.role === role && p.target.kind === "primitive" && typeof p.target.value !== "boolean") {
+            return p.target.value;
+        }
+    }
+    return undefined;
+}
+// Load a schema definition from the rhizome (S3): evaluate the bootstrap at the schema entity,
+// take the latest surviving definition (claimed timestamp, lexById tiebreak — a policy choice),
+// decode the term, and verify canonicality by re-encoding.
+export function loadSchema(dset, schemaEntity) {
+    const result = evalTerm(SCHEMA_SCHEMA.body, dset, schemaEntity);
+    if (result.sort !== "hview")
+        throw new Error("bootstrap body must yield an HView");
+    const defs = result.hview.props.get("definition") ?? [];
+    if (defs.length === 0)
+        throw new Error(`no surviving schema definition for ${schemaEntity}`);
+    const latest = [...defs].sort((a, b) => {
+        const dt = b.delta.claims.timestamp - a.delta.claims.timestamp;
+        if (dt !== 0)
+            return dt;
+        return a.delta.id < b.delta.id ? -1 : 1;
+    })[0];
+    const name = primitiveOf(latest.delta.claims, ROLE_NAME);
+    const alg = primitiveOf(latest.delta.claims, ROLE_ALG);
+    const termHex = primitiveOf(latest.delta.claims, ROLE_TERM);
+    if (typeof name !== "string" || typeof alg !== "number" || typeof termHex !== "string") {
+        throw new Error(`malformed schema definition delta ${latest.delta.id}`);
+    }
+    const bytes = hexToBytes(termHex);
+    const term = parseTerm(cborToJson(decode(bytes)));
+    // Reject non-canonical blobs: the term must re-encode to exactly the published bytes (S3).
+    if (termCanonicalHex(term) !== termHex) {
+        throw new Error(`schema definition ${latest.delta.id} carries a non-canonical term blob`);
+    }
+    return { name, alg, body: term };
+}
+export function definitionRoles() {
+    return { defines: ROLE_DEFINES, name: ROLE_NAME, alg: ROLE_ALG, term: ROLE_TERM };
+}
+//# sourceMappingURL=schema-deltas.js.map

package/dist/schema-deltas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-deltas.js","sourceRoot":"","sources":["../src/schema-deltas.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,iGAAiG;AAEjG,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGjD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,YAAY,GAAG,GAAG,YAAY,iBAAiB,CAAC;AACtD,MAAM,SAAS,GAAG,GAAG,YAAY,cAAc,CAAC;AAChD,MAAM,QAAQ,GAAG,GAAG,YAAY,aAAa,CAAC;AAC9C,MAAM,SAAS,GAAG,GAAG,YAAY,cAAc,CAAC;AAEhD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,aAAa,GAAgB;IACxC,IAAI,EAAE,GAAG,YAAY,eAAe;IACpC,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,SAAS,CAAC;QACd,EAAE,EAAE,OAAO;QACX,GAAG,EAAE,iBAAiB;QACtB,EAAE,EAAE;YACF,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,EAAE,UAAU,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;YACvD,gFAAgF;YAChF,6EAA6E;YAC7E,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE;SAChD;KACF,CAAC;CACH,CAAC;AAEF,mGAAmG;AACnG,MAAM,UAAU,mBAAmB,CACjC,MAAmB,EACnB,YAAoB,EACpB,MAAc,EACd,SAAiB;IAEjB,OAAO;QACL,SAAS;QACT,MAAM;QACN,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE;aAChF;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE;YACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,EAAE;YACpE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;SACzF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,MAAc,EAAE,IAAY;IAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5F,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+FAA+F;AAC/F,gGAAgG;AAChG,2DAA2D;AAC3D,MAAM,UAAU,UAAU,CAAC,IAAc,EAAE,YAAoB;IAC7D,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,YAAY,EAAE,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;QAC/D,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;IACP,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvF,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,IAAI,GAAS,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,2FAA2F;IAC3F,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,KAAK,CAAC,EAAE,oCAAoC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,eAAe;IAC7B,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACpF,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,17 @@
+import type { SchemaRefT, Term } from "./eval.js";
+export interface HyperSchema {
+    readonly name: string;
+    readonly alg: number;
+    readonly body: Term;
+}
+export declare function collectRefs(term: Term): SchemaRefT[];
+export declare class SchemaRegistry {
+    private readonly byName;
+    private readonly byHash;
+    private constructor();
+    static build(schemas: readonly HyperSchema[]): SchemaRegistry;
+    get(name: string): HyperSchema | undefined;
+    getByHash(hash: string): HyperSchema | undefined;
+    resolve(ref: SchemaRefT): HyperSchema | undefined;
+}
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGlD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAGD,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,EAAE,CA4BpD;AAED,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFzB,OAAO;IAOP,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,cAAc;IAgD7D,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAI1C,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIhD,OAAO,CAAC,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS;CAGlD"}