@rhizomes/rhizomatic 0.1.0

package/dist/eval.js

@@ -0,0 +1,318 @@
+// Term evaluation: select/union/mask over DSet (SPEC-2 §4.1-4.3), group into HView (§4.4),
+// prune over HView (§4.6). eval is a pure function; order-blind; deterministic (SPEC-2 §5).
+// Sorts are checked at evaluation time in v0 (ERRATA-2 E9).
+import { array, encode, map, tstr } from "./cbor.js";
+import { bytesToHex } from "./hash.js";
+import { hviewCanonicalHex } from "./hview.js";
+import { resolveView, viewCanonicalHex } from "./policy.js";
+import { comparePrimitives, evalPred, strMatch, substituteHoles, } from "./pred.js";
+import { VOCAB_PREFIX } from "./vocab.js";
+import { fork, merge } from "./set.js";
+const dsetResult = (set) => ({
+    sort: "dset",
+    set,
+    negated: new Set(),
+    annotated: false,
+});
+function expectDSet(r, op) {
+    if (r.sort !== "dset")
+        throw new Error(`${op} requires a DSet operand (E9)`);
+    return r;
+}
+function expectHView(r, op) {
+    if (r.sort !== "hview")
+        throw new Error(`${op} requires an HView operand (E9)`);
+    return r;
+}
+// negated(d, D) per SPEC-2 §4.3, over candidate negations restricted by `trusted` (E4).
+// Memoized with an in-progress default of "not negated" (E5 recursion guard).
+function computeNegated(d, trusted) {
+    const negators = new Map(); // target delta id -> negation delta ids
+    for (const n of d) {
+        if (trusted !== undefined && !trusted(n))
+            continue;
+        for (const ptr of n.claims.pointers) {
+            if (ptr.role === "negates" && ptr.target.kind === "delta") {
+                const list = negators.get(ptr.target.deltaRef.delta);
+                if (list === undefined)
+                    negators.set(ptr.target.deltaRef.delta, [n.id]);
+                else
+                    list.push(n.id);
+            }
+        }
+    }
+    const memo = new Map();
+    const isNegated = (id) => {
+        const cached = memo.get(id);
+        if (cached !== undefined)
+            return cached;
+        memo.set(id, false); // guard: cycles are impossible with verified ids, but degrade safely
+        const result = (negators.get(id) ?? []).some((nid) => !isNegated(nid));
+        memo.set(id, result);
+        return result;
+    };
+    const out = new Set();
+    for (const delta of d)
+        if (isNegated(delta.id))
+            out.add(delta.id);
+    return out;
+}
+// --- the aliased closure (SPEC-9 §4.1) -----------------------------------------------------------
+const ALIAS_FRAGMENT = `${VOCAB_PREFIX}.alias.fragment`;
+const ALIAS_SLOT = `${VOCAB_PREFIX}.alias.slot`;
+const ALIAS_CONCEPT = `${VOCAB_PREFIX}.alias.concept`;
+// closure(A, D): name → slots → fragments, one hop, computed against the AMBIENT evaluation
+// input. The trust predicate restricts every participant — mappings, slot declarations, and the
+// negations of both — and negation chains are walked within the trusted set only (mask(trust)
+// semantics). Returns the closure sorted by the canonical string order; the name is always a
+// member, so an aliased with no surviving mappings degrades to exact(name).
+export function aliasClosure(input, spec, root) {
+    const trustPred = spec.trust;
+    const trusted = trustPred === undefined ? undefined : (n) => evalPred(trustPred, n, root);
+    const negated = computeNegated(input, trusted);
+    const mappings = [];
+    const slotConcepts = new Map();
+    for (const d of input) {
+        if (trusted !== undefined && !trusted(d))
+            continue;
+        if (negated.has(d.id))
+            continue;
+        const fragments = [];
+        const slots = [];
+        const concepts = [];
+        for (const ptr of d.claims.pointers) {
+            if (ptr.role === ALIAS_FRAGMENT && ptr.target.kind === "primitive") {
+                if (typeof ptr.target.value === "string")
+                    fragments.push(ptr.target.value);
+            }
+            else if (ptr.role === ALIAS_SLOT && ptr.target.kind === "entity") {
+                slots.push(ptr.target.entity.id);
+            }
+            else if (ptr.role === ALIAS_CONCEPT && ptr.target.kind === "entity") {
+                concepts.push(ptr.target.entity.id);
+            }
+        }
+        // Mapping claim: ≥1 fragment × ≥1 slot, cross product (SPEC-9 §3). Anything else with the
+        // alias roles is not a mapping and is ignored here (graceful degradation).
+        for (const fragment of fragments)
+            for (const slot of slots)
+                mappings.push({ fragment, slot });
+        // Slot declaration: ≥1 slot × ≥1 concept (SPEC-9 §2).
+        for (const slot of slots) {
+            for (const concept of concepts) {
+                let set = slotConcepts.get(slot);
+                if (set === undefined) {
+                    set = new Set();
+                    slotConcepts.set(slot, set);
+                }
+                set.add(concept);
+            }
+        }
+    }
+    const eligible = spec.via === undefined
+        ? mappings
+        : mappings.filter((m) => slotConcepts.get(m.slot)?.has(spec.via) ?? false);
+    const slotsOfName = new Set(eligible.filter((m) => m.fragment === spec.name).map((m) => m.slot));
+    const closure = new Set([spec.name]);
+    for (const m of eligible)
+        if (slotsOfName.has(m.slot))
+            closure.add(m.fragment);
+    return [...closure].sort(comparePrimitives);
+}
+// Expand an aliased StrMatch to its inSet form against the ambient input; other forms pass.
+function expandStrMatch(m, input, root) {
+    if (m.kind !== "aliased")
+        return m;
+    return { kind: "inSet", values: aliasClosure(input, m, root) };
+}
+// Expand every aliased StrMatch in a predicate (ppred role/context) against the ambient input.
+// Applied where predicates meet data (select / mask-trust), after hole substitution (SPEC-9 §4.1).
+export function expandAliased(pred, input, root) {
+    switch (pred.kind) {
+        case "true":
+        case "false":
+        case "match":
+            return pred;
+        case "hasPointer": {
+            const p = pred.ppred;
+            const role = p.role === undefined ? undefined : expandStrMatch(p.role, input, root);
+            const context = p.context === undefined ? undefined : expandStrMatch(p.context, input, root);
+            if (role === p.role && context === p.context)
+                return pred;
+            return {
+                kind: "hasPointer",
+                ppred: {
+                    ...p,
+                    ...(role === undefined ? {} : { role }),
+                    ...(context === undefined ? {} : { context }),
+                },
+            };
+        }
+        case "and":
+            return {
+                kind: "and",
+                left: expandAliased(pred.left, input, root),
+                right: expandAliased(pred.right, input, root),
+            };
+        case "or":
+            return {
+                kind: "or",
+                left: expandAliased(pred.left, input, root),
+                right: expandAliased(pred.right, input, root),
+            };
+        case "not":
+            return { kind: "not", pred: expandAliased(pred.pred, input, root) };
+    }
+}
+// group(key, D) @ root — filing rules per ERRATA-2 E6; annotate tags thread into entries (E7).
+function evalGroup(key, operand, root) {
+    const buckets = new Map(); // prop -> deltaId -> entry
+    const file = (prop, d) => {
+        let bucket = buckets.get(prop);
+        if (bucket === undefined) {
+            bucket = new Map();
+            buckets.set(prop, bucket);
+        }
+        if (!bucket.has(d.id))
+            bucket.set(d.id, { delta: d, negated: operand.negated.has(d.id) });
+    };
+    for (const d of operand.set) {
+        if (key.kind === "const") {
+            file(key.prop, d);
+            continue;
+        }
+        for (const ptr of d.claims.pointers) {
+            if (ptr.target.kind !== "entity" || ptr.target.entity.id !== root)
+                continue;
+            if (key.kind === "byTargetContext") {
+                const ctx = ptr.target.entity.context;
+                if (ctx !== undefined)
+                    file(ctx, d);
+            }
+            else {
+                file(ptr.role, d);
+            }
+        }
+    }
+    const props = new Map();
+    for (const [prop, bucket] of buckets) {
+        props.set(prop, [...bucket.values()].sort((a, b) => (a.delta.id < b.delta.id ? -1 : 1)));
+    }
+    return { id: root, props };
+}
+export function evalTerm(term, input, root, registry, bindings) {
+    switch (term.kind) {
+        case "input":
+            return dsetResult(input);
+        case "select": {
+            const of = expectDSet(evalTerm(term.of, input, root, registry, bindings), "select");
+            const pred = expandAliased(substituteHoles(term.pred, bindings), input, root);
+            return dsetResult(fork(of.set, (d) => evalPred(pred, d, root)));
+        }
+        case "union": {
+            const left = expectDSet(evalTerm(term.left, input, root, registry, bindings), "union");
+            const right = expectDSet(evalTerm(term.right, input, root, registry, bindings), "union");
+            return dsetResult(merge(left.set, right.set));
+        }
+        case "mask": {
+            const of = expectDSet(evalTerm(term.of, input, root, registry, bindings), "mask");
+            switch (term.policy.kind) {
+                case "drop": {
+                    const negated = computeNegated(of.set);
+                    return dsetResult(fork(of.set, (d) => !negated.has(d.id)));
+                }
+                case "annotate": {
+                    const negated = computeNegated(of.set);
+                    return { sort: "dset", set: of.set, negated, annotated: true };
+                }
+                case "trust": {
+                    const pred = expandAliased(substituteHoles(term.policy.pred, bindings), input, root);
+                    const negated = computeNegated(of.set, (n) => evalPred(pred, n, root));
+                    return dsetResult(fork(of.set, (d) => !negated.has(d.id)));
+                }
+            }
+            break;
+        }
+        case "group": {
+            if (root === undefined)
+                throw new Error("group requires an ambient root entity (E9)");
+            const of = expectDSet(evalTerm(term.of, input, root, registry, bindings), "group");
+            return { sort: "hview", hview: evalGroup(term.key, of, root) };
+        }
+        case "prune": {
+            const of = expectHView(evalTerm(term.of, input, root, registry, bindings), "prune");
+            if (term.keep === "all")
+                return of;
+            const keep = expandStrMatch(term.keep, input, root);
+            const props = new Map();
+            for (const [prop, entries] of of.hview.props) {
+                if (strMatch(keep, prop))
+                    props.set(prop, entries);
+            }
+            return { sort: "hview", hview: { id: of.hview.id, props } };
+        }
+        case "expand": {
+            const of = expectHView(evalTerm(term.of, input, root, registry, bindings), "expand");
+            const role = expandStrMatch(term.role, input, root);
+            const props = new Map();
+            for (const [prop, entries] of of.hview.props) {
+                props.set(prop, entries.map((e) => {
+                    let expanded;
+                    e.delta.claims.pointers.forEach((ptr, i) => {
+                        // Only role-matching EntityRef pointers expand; everything else passes through
+                        // as written (E11, SPEC-3 §7 graceful degradation).
+                        if (ptr.target.kind !== "entity" || !strMatch(role, ptr.role))
+                            return;
+                        const nested = evalSchema(term.schema, input, ptr.target.entity.id, registry, bindings);
+                        expanded = expanded ?? new Map(e.expanded ?? []);
+                        expanded.set(i, nested);
+                    });
+                    return expanded === undefined ? e : { ...e, expanded };
+                }));
+            }
+            return { sort: "hview", hview: { id: of.hview.id, props } };
+        }
+        case "fix":
+            // The invocation instruction: ambient root is set explicitly (E10); bindings, when
+            // present, become the ambient hole environment for the invoked body (E15).
+            return {
+                sort: "hview",
+                hview: evalSchema(term.schema, input, term.entity, registry, term.bindings ?? bindings),
+            };
+        case "resolve": {
+            const of = expectHView(evalTerm(term.of, input, root, registry, bindings), "resolve");
+            return { sort: "view", view: resolveView(term.policy, of.hview) };
+        }
+    }
+}
+// Evaluate a named schema at a root over the SAME delta set the enclosing evaluation received
+// (SPEC-2 §4.5). Termination is the schema DAG's, enforced at registry build (SPEC-3 §3).
+function evalSchema(ref, input, root, registry, bindings) {
+    const label = ref.kind === "name" ? ref.name : `pinned:${ref.hash.slice(0, 12)}…`;
+    if (registry === undefined)
+        throw new Error(`schema ${label} referenced but no registry supplied (E10)`);
+    const schema = registry.resolve(ref);
+    if (schema === undefined)
+        throw new Error(`unknown schema: ${label} (E10/E13)`);
+    const result = evalTerm(schema.body, input, root, registry, bindings);
+    if (result.sort !== "hview") {
+        throw new Error(`schema ${label} body must be an HView-sort term (E10)`);
+    }
+    return result.hview;
+}
+// Canonical serialization of an evaluation result (ERRATA-2 E2, E7).
+export function resultCanonicalHex(result) {
+    if (result.sort === "view")
+        return viewCanonicalHex(result.view);
+    if (result.sort === "hview")
+        return hviewCanonicalHex(result.hview);
+    const ids = result.set.ids().map(tstr);
+    if (!result.annotated)
+        return bytesToHex(encode(array(ids)));
+    const negated = [...result.negated].sort().map(tstr);
+    return bytesToHex(encode(map([
+        ["ids", array(ids)],
+        ["negated", array(negated)],
+    ])));
+}
+//# sourceMappingURL=eval.js.map

package/dist/eval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval.js","sourceRoot":"","sources":["../src/eval.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,4FAA4F;AAC5F,4DAA4D;AAE5D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAA4B,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAA0B,MAAM,aAAa,CAAC;AACpF,OAAO,EACL,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,eAAe,GAIhB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAY,IAAI,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AA2DjD,MAAM,UAAU,GAAG,CAAC,GAAa,EAAc,EAAE,CAAC,CAAC;IACjD,IAAI,EAAE,MAAM;IACZ,GAAG;IACH,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,SAAS,EAAE,KAAK;CACjB,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,CAAa,EAAE,EAAU;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,+BAA+B,CAAC,CAAC;IAC7E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,CAAa,EAAE,EAAU;IAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,iCAAiC,CAAC,CAAC;IAChF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wFAAwF;AACxF,8EAA8E;AAC9E,SAAS,cAAc,CAAC,CAAW,EAAE,OAA+B;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC,CAAC,wCAAwC;IACtF,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,SAAS;QACnD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrD,IAAI,IAAI,KAAK,SAAS;oBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;oBACnE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,SAAS,GAAG,CAAC,EAAU,EAAW,EAAE;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,qEAAqE;QAC1F,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,CAAC;QAAE,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oGAAoG;AAEpG,MAAM,cAAc,GAAG,GAAG,YAAY,iBAAiB,CAAC;AACxD,MAAM,UAAU,GAAG,GAAG,YAAY,aAAa,CAAC;AAChD,MAAM,aAAa,GAAG,GAAG,YAAY,gBAAgB,CAAC;AAQtD,4FAA4F;AAC5F,gGAAgG;AAChG,8FAA8F;AAC9F,6FAA6F;AAC7F,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,IAAiB,EAAE,IAAa;IAC5E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7B,MAAM,OAAO,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAyC,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,SAAS;QACnD,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QAChC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnE,IAAI,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ;oBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7E,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,0FAA0F;QAC1F,2EAA2E;QAC3E,KAAK,MAAM,QAAQ,IAAI,SAAS;YAAE,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9F,sDAAsD;QACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;oBAChB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC9B,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GACZ,IAAI,CAAC,GAAG,KAAK,SAAS;QACpB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAI,CAAC,IAAI,KAAK,CAAC,CAAC;IAChF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC/E,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;AAC9C,CAAC;AAED,4FAA4F;AAC5F,SAAS,cAAc,CAAC,CAAW,EAAE,KAAe,EAAE,IAAwB;IAC5E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,+FAA+F;AAC/F,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,IAAU,EAAE,KAAe,EAAE,IAAwB;IACjF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACpF,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC7F,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1D,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE;oBACL,GAAG,CAAC;oBACJ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;oBACvC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;iBAC9C;aACF,CAAC;QACJ,CAAC;QACD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC;gBAC3C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;aAC9C,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC;gBAC3C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;aAC9C,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;IACxE,CAAC;AACH,CAAC;AAED,+FAA+F;AAC/F,SAAS,SAAS,CAAC,GAAa,EAAE,OAAmB,EAAE,IAAY;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgC,CAAC,CAAC,2BAA2B;IACpF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,CAAQ,EAAE,EAAE;QACtC,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI;gBAAE,SAAS;YAC5E,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;gBACtC,IAAI,GAAG,KAAK,SAAS;oBAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,KAAK,CAAC,GAAG,CACP,IAAI,EACJ,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,IAAU,EACV,KAAe,EACf,IAAa,EACb,QAAyB,EACzB,QAAmB;IAEnB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;YACpF,MAAM,IAAI,GAAG,aAAa,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9E,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACvF,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACzF,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;YAClF,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,CAAC,CAAC;oBACZ,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;oBACvC,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7D,CAAC;gBACD,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;oBACvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACjE,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,IAAI,GAAG,aAAa,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;oBACrF,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;oBACvE,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACtF,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACnF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QACjE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACpF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC7C,IAAI,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;YACrF,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC7C,KAAK,CAAC,GAAG,CACP,IAAI,EACJ,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAChB,IAAI,QAAwC,CAAC;oBAC7C,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;wBACzC,+EAA+E;wBAC/E,oDAAoD;wBACpD,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;4BAAE,OAAO;wBACtE,MAAM,MAAM,GAAG,UAAU,CACvB,IAAI,CAAC,MAAM,EACX,KAAK,EACL,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EACpB,QAAQ,EACR,QAAQ,CACT,CAAC;wBACF,QAAQ,GAAG,QAAQ,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;wBACjD,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC1B,CAAC,CAAC,CAAC;oBACH,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;gBACzD,CAAC,CAAC,CACH,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,KAAK,KAAK;YACR,mFAAmF;YACnF,2EAA2E;YAC3E,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC;aACxF,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;YACtF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,CAAC;IACH,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,0FAA0F;AAC1F,SAAS,UAAU,CACjB,GAAe,EACf,KAAe,EACf,IAAY,EACZ,QAAoC,EACpC,QAAmB;IAEnB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;IAClF,IAAI,QAAQ,KAAK,SAAS;QACxB,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,4CAA4C,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,YAAY,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,wCAAwC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,kBAAkB,CAAC,MAAkB;IACnD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,SAAS;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,UAAU,CACf,MAAM,CACJ,GAAG,CAAC;QACF,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;KAC5B,CAAC,CACH,CACF,CAAC;AACJ,CAAC"}

package/dist/hash.d.ts

@@ -0,0 +1,4 @@
+import { bytesToHex } from "@noble/hashes/utils";
+export declare function contentAddress(data: Uint8Array): string;
+export { bytesToHex };
+//# sourceMappingURL=hash.d.ts.map

package/dist/hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAQjD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAOvD;AAED,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/hash.js

@@ -0,0 +1,17 @@
+import { blake3 } from "@noble/hashes/blake3";
+import { bytesToHex } from "@noble/hashes/utils";
+// BLAKE3 multicodec code (https://github.com/multiformats/multicodec). Both it and the 32-byte
+// length fit in a single-byte varint, so the multihash prefix is simply [0x1e, 0x20].
+const BLAKE3_MULTICODEC = 0x1e;
+const DIGEST_LEN = 32;
+// id = multihash(BLAKE3-256(data)) as lowercase hex (SPEC-1 §4, ERRATA D7).
+export function contentAddress(data) {
+    const digest = blake3(data, { dkLen: DIGEST_LEN });
+    const mh = new Uint8Array(2 + digest.length);
+    mh[0] = BLAKE3_MULTICODEC;
+    mh[1] = digest.length;
+    mh.set(digest, 2);
+    return bytesToHex(mh);
+}
+export { bytesToHex };
+//# sourceMappingURL=hash.js.map

package/dist/hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.js","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,+FAA+F;AAC/F,sFAAsF;AACtF,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAC/B,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,IAAgB;IAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;IACnD,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC;IAC1B,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACtB,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAClB,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,OAAO,EAAE,UAAU,EAAE,CAAC"}

package/dist/http.d.ts

@@ -0,0 +1,21 @@
+import { type Server } from "node:http";
+import { Peer } from "./peer.js";
+interface WireDelta {
+    claims: unknown;
+    sig?: string;
+}
+interface SyncResponse {
+    bundles: Array<{
+        manifest: WireDelta;
+        members: WireDelta[];
+    }>;
+    loose: WireDelta[];
+}
+export declare function offerFor(peer: Peer, have: ReadonlySet<string>): SyncResponse;
+export declare function servePeer(peer: Peer, port: number): Promise<Server>;
+export declare function pullFromUrl(peer: Peer, baseUrl: string): Promise<{
+    accepted: number;
+    rejected: number;
+}>;
+export {};
+//# sourceMappingURL=http.d.ts.map

package/dist/http.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../src/http.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAMjC,UAAU,SAAS;IACjB,MAAM,EAAE,OAAO,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,UAAU,YAAY;IACpB,OAAO,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,SAAS,EAAE,CAAA;KAAE,CAAC,CAAC;IAC9D,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAcD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,YAAY,CAoB5E;AAGD,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAsBnE;AAGD,wBAAsB,WAAW,CAC/B,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAuCjD"}

package/dist/http.js

@@ -0,0 +1,110 @@
+// The blessed HTTP federation binding (ERRATA-6 F5): POST /rhz/v0/sync over the Peer protocol.
+// Transport only — partitioning, the signature boundary, and admission all live in Peer (F3/§5).
+import { createServer } from "node:http";
+import { claimsToJson, parseClaims } from "./json-profile.js";
+import { manifestMemberIds } from "./reactor.js";
+import { makeDelta } from "./set.js";
+import { verifyDelta } from "./sign.js";
+function toWire(d) {
+    // No id on the wire: the receiver recomputes content addresses (F5; never trust the wire).
+    return d.sig === undefined
+        ? { claims: claimsToJson(d.claims) }
+        : { claims: claimsToJson(d.claims), sig: d.sig };
+}
+function fromWire(w) {
+    return makeDelta(parseClaims(w.claims), w.sig);
+}
+// Compute the OFFER for a WANT, partitioned per the signature boundary (F3).
+export function offerFor(peer, have) {
+    const offered = peer.offeredSet().filter((d) => !have.has(d.id));
+    const offeredIds = new Set(offered.map((d) => d.id));
+    const isSignedManifest = (d) => d.sig !== undefined && verifyDelta(d) === "verified" && manifestMemberIds(d).length > 0;
+    const covered = new Set();
+    const bundles = [];
+    for (const m of offered.filter(isSignedManifest)) {
+        const members = manifestMemberIds(m)
+            .filter((id) => offeredIds.has(id))
+            .map((id) => offered.find((d) => d.id === id))
+            .filter((d) => !isSignedManifest(d));
+        bundles.push({ manifest: toWire(m), members: members.map(toWire) });
+        for (const mem of members)
+            covered.add(mem.id);
+        covered.add(m.id);
+    }
+    const loose = offered
+        .filter((d) => !covered.has(d.id) && d.sig !== undefined && verifyDelta(d) === "verified")
+        .map(toWire);
+    return { bundles, loose };
+}
+// Serve a peer's offered lens over HTTP. Returns the server; close it when done.
+export function servePeer(peer, port) {
+    const server = createServer((req, res) => {
+        if (req.method !== "POST" || req.url !== "/rhz/v0/sync") {
+            res.writeHead(404).end();
+            return;
+        }
+        const chunks = [];
+        req.on("data", (c) => chunks.push(c));
+        req.on("end", () => {
+            try {
+                const body = JSON.parse(Buffer.concat(chunks).toString("utf8"));
+                const have = new Set(Array.isArray(body.have) ? body.have : []);
+                const response = offerFor(peer, have);
+                res.writeHead(200, { "content-type": "application/json" });
+                res.end(JSON.stringify(response));
+            }
+            catch (e) {
+                res.writeHead(400, { "content-type": "application/json" });
+                res.end(JSON.stringify({ error: e instanceof Error ? e.message : String(e) }));
+            }
+        });
+    });
+    return new Promise((resolve) => server.listen(port, "127.0.0.1", () => resolve(server)));
+}
+// Pull from a remote peer over HTTP: WANT(my ids) -> verify -> admission -> ingest (§5).
+export async function pullFromUrl(peer, baseUrl) {
+    const have = peer.reactor.arrivalLog().map((d) => d.id);
+    const res = await fetch(`${baseUrl}/rhz/v0/sync`, {
+        method: "POST",
+        headers: { "content-type": "application/json" },
+        body: JSON.stringify({ have }),
+    });
+    if (!res.ok)
+        throw new Error(`sync failed: HTTP ${res.status}`);
+    const offer = (await res.json());
+    let accepted = 0;
+    let rejected = 0;
+    // Reuse the local admission machinery by reconstructing deltas and handing them to the
+    // same ingest paths pullFrom uses: bundles atomically, loose individually.
+    for (const b of offer.bundles) {
+        const manifest = fromWire(b.manifest);
+        if (verifyDelta(manifest) !== "verified") {
+            rejected += 1 + b.members.length;
+            continue;
+        }
+        const members = b.members.map(fromWire);
+        if (!peer.admits(manifest) || !members.every((m) => peer.admits(m))) {
+            rejected += 1 + members.length;
+            continue;
+        }
+        const result = peer.reactor.ingestBundle(manifest, members);
+        if (result.status === "accepted")
+            accepted += 1;
+        else if (result.status === "rejected")
+            rejected += 1;
+    }
+    for (const w of offer.loose) {
+        const d = fromWire(w);
+        if (verifyDelta(d) !== "verified" || !peer.admits(d)) {
+            rejected += 1;
+            continue;
+        }
+        const result = peer.reactor.ingest(d);
+        if (result.status === "accepted")
+            accepted += 1;
+        else if (result.status === "rejected")
+            rejected += 1;
+    }
+    return { accepted, rejected };
+}
+//# sourceMappingURL=http.js.map

package/dist/http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.js","sourceRoot":"","sources":["../src/http.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,iGAAiG;AAEjG,OAAO,EAAE,YAAY,EAAe,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAaxC,SAAS,MAAM,CAAC,CAAQ;IACtB,2FAA2F;IAC3F,OAAO,CAAC,CAAC,GAAG,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE;QACpC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY;IAC5B,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,IAAyB;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,CAAC,CAAQ,EAAE,EAAE,CACpC,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC;aACjC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aAClC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;aAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpE,KAAK,MAAM,GAAG,IAAI,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC;SACzF,GAAG,CAAC,MAAM,CAAC,CAAC;IACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,SAAS,CAAC,IAAU,EAAE,IAAY;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACvC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,cAAc,EAAE,CAAC;YACxD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACzB,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;YACjB,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAwB,CAAC;gBACvF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxE,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACtC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC;gBAC3D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YACpC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC;gBAC3D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACjF,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAU,EACV,OAAe;IAEf,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,cAAc,EAAE;QAChD,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;QAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC;KAC/B,CAAC,CAAC;IACH,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAiB,CAAC;IACjD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,uFAAuF;IACvF,2EAA2E;IAC3E,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,WAAW,CAAC,QAAQ,CAAC,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;YACjC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,QAAQ,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,QAAQ,IAAI,CAAC,CAAC;aAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,QAAQ,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,QAAQ,IAAI,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,QAAQ,IAAI,CAAC,CAAC;aAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,QAAQ,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/hview.d.ts

@@ -0,0 +1,15 @@
+import { type CborValue } from "./cbor.js";
+import type { Delta } from "./types.js";
+export interface HVEntry {
+    readonly delta: Delta;
+    readonly negated: boolean;
+    readonly expanded?: ReadonlyMap<number, HView>;
+}
+export interface HView {
+    readonly id: string;
+    readonly props: ReadonlyMap<string, readonly HVEntry[]>;
+}
+export declare function hvEntryToCbor(e: HVEntry): CborValue;
+export declare function hviewToCbor(h: HView): CborValue;
+export declare function hviewCanonicalHex(h: HView): string;
+//# sourceMappingURL=hview.d.ts.map

package/dist/hview.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hview.d.ts","sourceRoot":"","sources":["../src/hview.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,SAAS,EAAyC,MAAM,WAAW,CAAC;AAElF,OAAO,KAAK,EAAU,KAAK,EAAU,MAAM,YAAY,CAAC;AAExD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAEtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;CACzD;AA+CD,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,CAQnD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,KAAK,GAAG,SAAS,CAS/C;AAGD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAElD"}

package/dist/hview.js

@@ -0,0 +1,72 @@
+// The HyperView: the output sort of group/expand/prune — SPEC-3 §4, encoded per ERRATA-2 E7/E11.
+// Provenance-complete: every entry carries the full delta; expansion is view structure keyed by
+// pointer index, never a mutation of the delta.
+import { array, bool, encode, float, map, tstr } from "./cbor.js";
+import { bytesToHex } from "./hash.js";
+function targetToCborWithExpansion(t, expansion) {
+    if (expansion !== undefined)
+        return hviewToCbor(expansion);
+    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);
+        }
+    }
+}
+// Claims rendered for an HVEntry: identical to the L1 canonical claims encoding, except that
+// expanded pointer targets are replaced by nested HView maps (E11). Never used for hashing.
+function claimsToCborWithExpansions(claims, expanded) {
+    return map([
+        ["author", tstr(claims.author)],
+        [
+            "pointers",
+            array(claims.pointers.map((p, i) => map([
+                ["role", tstr(p.role)],
+                ["target", targetToCborWithExpansion(p.target, expanded?.get(i))],
+            ]))),
+        ],
+        ["timestamp", float(claims.timestamp)],
+    ]);
+}
+export function hvEntryToCbor(e) {
+    const entries = [
+        ["id", tstr(e.delta.id)],
+        ["claims", claimsToCborWithExpansions(e.delta.claims, e.expanded)],
+    ];
+    if (e.delta.sig !== undefined)
+        entries.push(["sig", tstr(e.delta.sig)]);
+    if (e.negated)
+        entries.push(["negated", bool(true)]);
+    return map(entries);
+}
+export function hviewToCbor(h) {
+    const props = [...h.props.entries()].map(([prop, entries]) => [
+        prop,
+        array(entries.map(hvEntryToCbor)),
+    ]);
+    return map([
+        ["id", tstr(h.id)],
+        ["props", map(props)],
+    ]);
+}
+// HyperViews are content-addressable (SPEC-3 §4): same (schema, DSet) => byte-identical form.
+export function hviewCanonicalHex(h) {
+    return bytesToHex(encode(hviewToCbor(h)));
+}
+//# sourceMappingURL=hview.js.map

package/dist/hview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hview.js","sourceRoot":"","sources":["../src/hview.ts"],"names":[],"mappings":"AAAA,iGAAiG;AACjG,gGAAgG;AAChG,gDAAgD;AAEhD,OAAO,EAAkB,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAgBvC,SAAS,yBAAyB,CAAC,CAAS,EAAE,SAA4B;IACxE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,SAAS,CAAC,CAAC;IAC3D,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,6FAA6F;AAC7F,4FAA4F;AAC5F,SAAS,0BAA0B,CACjC,MAAc,EACd,QAAgD;IAEhD,OAAO,GAAG,CAAC;QACT,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/B;YACE,UAAU;YACV,KAAK,CACH,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC3B,GAAG,CAAC;gBACF,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACtB,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CACH,CACF;SACF;QACD,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KACvC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAU;IACtC,MAAM,OAAO,GAA+B;QAC1C,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC,QAAQ,EAAE,0BAA0B,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;KACnE,CAAC;IACF,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAQ;IAClC,MAAM,KAAK,GAA+B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QACxF,IAAI;QACJ,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;KAClC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;QACT,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;KACtB,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,iBAAiB,CAAC,CAAQ;IACxC,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC"}