@rhizomes/rhizomatic 0.1.0

package/dist/schema.js

@@ -0,0 +1,102 @@
+// HyperSchemas and the schema registry (SPEC-3 §2-3 §6, ERRATA-2 E10/E13). The registry indexes
+// schemas by name AND by term hash; pinned refs resolve by hash and are immutable by construction.
+import { termHash } from "./term-io.js";
+// refs are derived from the body — every expand/fix schema reference (E10).
+export function collectRefs(term) {
+    const out = [];
+    const walk = (t) => {
+        switch (t.kind) {
+            case "input":
+                return;
+            case "select":
+            case "mask":
+            case "group":
+            case "prune":
+            case "resolve":
+                walk(t.of);
+                return;
+            case "union":
+                walk(t.left);
+                walk(t.right);
+                return;
+            case "expand":
+                out.push(t.schema);
+                walk(t.of);
+                return;
+            case "fix":
+                out.push(t.schema);
+                return;
+        }
+    };
+    walk(term);
+    return out;
+}
+export class SchemaRegistry {
+    byName;
+    byHash;
+    constructor(byName, byHash) {
+        this.byName = byName;
+        this.byHash = byHash;
+    }
+    // Rejects duplicate names, unresolved refs, and reference cycles (SPEC-3 §3).
+    // Data cycles remain legal — the DAG constraint is on programs, not data.
+    static build(schemas) {
+        const byName = new Map();
+        const byHash = new Map();
+        const hashOf = new Map(); // name -> term hash
+        for (const s of schemas) {
+            if (byName.has(s.name))
+                throw new Error(`duplicate schema name: ${s.name}`);
+            byName.set(s.name, s);
+            const h = termHash(s.body);
+            hashOf.set(s.name, h);
+            // Two names MAY share a body hash; first registration wins the hash index.
+            if (!byHash.has(h))
+                byHash.set(h, s);
+        }
+        const resolveName = (ref, from) => {
+            if (ref.kind === "name") {
+                const s = byName.get(ref.name);
+                if (s === undefined)
+                    throw new Error(`schema ${from} references unknown schema ${ref.name}`);
+                return s.name;
+            }
+            const s = byHash.get(ref.hash);
+            if (s === undefined) {
+                throw new Error(`schema ${from} references unknown pinned schema ${ref.hash} (E13)`);
+            }
+            return s.name;
+        };
+        const refs = new Map();
+        for (const s of schemas) {
+            refs.set(s.name, collectRefs(s.body).map((r) => resolveName(r, s.name)));
+        }
+        // DFS cycle detection over the resolved reference graph.
+        const state = new Map();
+        const visit = (name, path) => {
+            const st = state.get(name);
+            if (st === "done")
+                return;
+            if (st === "visiting") {
+                throw new Error(`schema reference cycle: ${[...path, name].join(" -> ")} (SPEC-3 §3)`);
+            }
+            state.set(name, "visiting");
+            for (const r of refs.get(name) ?? [])
+                visit(r, [...path, name]);
+            state.set(name, "done");
+        };
+        for (const s of schemas)
+            visit(s.name, []);
+        return new SchemaRegistry(byName, byHash);
+    }
+    get(name) {
+        return this.byName.get(name);
+    }
+    getByHash(hash) {
+        return this.byHash.get(hash);
+    }
+    resolve(ref) {
+        return ref.kind === "name" ? this.byName.get(ref.name) : this.byHash.get(ref.hash);
+    }
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,mGAAmG;AAGnG,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAQxC,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,IAAU;IACpC,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAO,EAAQ,EAAE;QAC7B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO;gBACV,OAAO;YACT,KAAK,QAAQ,CAAC;YACd,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO,CAAC;YACb,KAAK,OAAO,CAAC;YACb,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACX,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACb,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACd,OAAO;YACT,KAAK,QAAQ;gBACX,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACX,OAAO;YACT,KAAK,KAAK;gBACR,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACnB,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,OAAO,cAAc;IAEN;IACA;IAFnB,YACmB,MAAwC,EACxC,MAAwC;QADxC,WAAM,GAAN,MAAM,CAAkC;QACxC,WAAM,GAAN,MAAM,CAAkC;IACxD,CAAC;IAEJ,8EAA8E;IAC9E,0EAA0E;IAC1E,MAAM,CAAC,KAAK,CAAC,OAA+B;QAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,oBAAoB;QAC9D,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5E,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtB,2EAA2E;YAC3E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,GAAe,EAAE,IAAY,EAAU,EAAE;YAC5D,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,SAAS;oBACjB,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,8BAA8B,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1E,OAAO,CAAC,CAAC,IAAI,CAAC;YAChB,CAAC;YACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,UAAU,IAAI,qCAAqC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC;YACvF,CAAC;YACD,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CACN,CAAC,CAAC,IAAI,EACN,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CACvD,CAAC;QACJ,CAAC;QACD,yDAAyD;QACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;QACrD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAc,EAAQ,EAAE;YACnD,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,EAAE,KAAK,MAAM;gBAAE,OAAO;YAC1B,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YACzF,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;gBAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAChE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,CAAC,GAAe;QACrB,OAAO,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC;CACF"}

package/dist/set.d.ts

@@ -0,0 +1,18 @@
+import type { Claims, Delta } from "./types.js";
+export declare function makeDelta(claims: Claims, sig?: string): Delta;
+export declare function makeNegationClaims(author: string, timestamp: number, targetDeltaId: string, reason?: string): Claims;
+export declare class DeltaSet implements Iterable<Delta> {
+    private readonly byId;
+    static from(deltas: Iterable<Delta>): DeltaSet;
+    add(delta: Delta): boolean;
+    has(id: string): boolean;
+    get(id: string): Delta | undefined;
+    get size(): number;
+    [Symbol.iterator](): Iterator<Delta>;
+    ids(): string[];
+    digest(): string;
+}
+export declare function merge(a: DeltaSet, b: DeltaSet): DeltaSet;
+export declare function fork(a: DeltaSet, p: (d: Delta) => boolean): DeltaSet;
+export declare function federate(a: DeltaSet, b: DeltaSet, p: (d: Delta) => boolean): DeltaSet;
+//# sourceMappingURL=set.d.ts.map

package/dist/set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"set.d.ts","sourceRoot":"","sources":["../src/set.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAW,MAAM,YAAY,CAAC;AAGzD,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAG7D;AAID,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,MAAM,GACd,MAAM,CAQR;AAED,qBAAa,QAAS,YAAW,QAAQ,CAAC,KAAK,CAAC;IAC9C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA4B;IAEjD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,QAAQ;IAS9C,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;IAS1B,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAIlC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;IAKpC,GAAG,IAAI,MAAM,EAAE;IAKf,MAAM,IAAI,MAAM;CAGjB;AAGD,wBAAgB,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAIxD;AAGD,wBAAgB,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,QAAQ,CAIpE;AAGD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,QAAQ,CAErF"}

package/dist/set.js

@@ -0,0 +1,83 @@
+// The delta set and its algebra (SPEC-1 §8): a mathematical set of deltas, deduplicated by id.
+// merge is union (grow-only set CRDT), fork is filter, federate is merge of a filtered fork.
+// There is no conflict at this layer — contradiction lives in superposition until evaluation.
+import { array, encode, tstr } from "./cbor.js";
+import { computeId } from "./delta.js";
+import { contentAddress } from "./hash.js";
+// Build a complete delta from claims (id computed, optional detached sig attached).
+export function makeDelta(claims, sig) {
+    const id = computeId(claims);
+    return sig === undefined ? { id, claims } : { id, claims, sig };
+}
+// The negation vocabulary convention (SPEC-1 §7): an ordinary delta whose pointer targets the
+// negated delta by content address under role "negates". Meaning is given at evaluation (mask).
+export function makeNegationClaims(author, timestamp, targetDeltaId, reason) {
+    const pointers = [
+        { role: "negates", target: { kind: "delta", deltaRef: { delta: targetDeltaId } } },
+    ];
+    if (reason !== undefined) {
+        pointers.push({ role: "reason", target: { kind: "primitive", value: reason } });
+    }
+    return { timestamp, author, pointers };
+}
+export class DeltaSet {
+    byId = new Map();
+    static from(deltas) {
+        const s = new DeltaSet();
+        for (const d of deltas)
+            s.add(d);
+        return s;
+    }
+    // Idempotent insert; returns false when the id was already present. Verifies content
+    // addressing on the way in (P6): a delta whose id does not recompute is rejected, never
+    // repaired (SPEC-4 §2) — set semantics depend on true ids.
+    add(delta) {
+        if (this.byId.has(delta.id))
+            return false;
+        if (computeId(delta.claims) !== delta.id) {
+            throw new Error(`delta id ${delta.id} does not match its claims (content addressing, P6)`);
+        }
+        this.byId.set(delta.id, delta);
+        return true;
+    }
+    has(id) {
+        return this.byId.has(id);
+    }
+    get(id) {
+        return this.byId.get(id);
+    }
+    get size() {
+        return this.byId.size;
+    }
+    [Symbol.iterator]() {
+        return this.byId.values();
+    }
+    // Sorted lexicographically — the canonical enumeration order.
+    ids() {
+        return [...this.byId.keys()].sort();
+    }
+    // Canonical membership fingerprint (ERRATA D10, provisional helper — not the SPEC-6 digest).
+    digest() {
+        return contentAddress(encode(array(this.ids().map(tstr))));
+    }
+}
+// merge(A, B) = A ∪ B — commutative, associative, idempotent (SPEC-1 §8).
+export function merge(a, b) {
+    const s = DeltaSet.from(a);
+    for (const d of b)
+        s.add(d);
+    return s;
+}
+// fork(A, p) = { d ∈ A : p(d) } — any filter yields a valid delta set (SPEC-1 §8).
+export function fork(a, p) {
+    const s = new DeltaSet();
+    for (const d of a)
+        if (p(d))
+            s.add(d);
+    return s;
+}
+// federate(A, B, p) = A ∪ fork(B, p) — merge of a filtered fork (SPEC-1 §8).
+export function federate(a, b, p) {
+    return merge(a, fork(b, p));
+}
+//# sourceMappingURL=set.js.map

package/dist/set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"set.js","sourceRoot":"","sources":["../src/set.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,6FAA6F;AAC7F,8FAA8F;AAE9F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG3C,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,GAAY;IACpD,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC7B,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAClE,CAAC;AAED,8FAA8F;AAC9F,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,SAAiB,EACjB,aAAqB,EACrB,MAAe;IAEf,MAAM,QAAQ,GAAc;QAC1B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE;KACnF,CAAC;IACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,OAAO,QAAQ;IACF,IAAI,GAAG,IAAI,GAAG,EAAiB,CAAC;IAEjD,MAAM,CAAC,IAAI,CAAC,MAAuB;QACjC,MAAM,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,qFAAqF;IACrF,wFAAwF;IACxF,2DAA2D;IAC3D,GAAG,CAAC,KAAY;QACd,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,EAAE,qDAAqD,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,8DAA8D;IAC9D,GAAG;QACD,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,CAAC;IAED,6FAA6F;IAC7F,MAAM;QACJ,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;CACF;AAED,0EAA0E;AAC1E,MAAM,UAAU,KAAK,CAAC,CAAW,EAAE,CAAW;IAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,IAAI,CAAC,CAAW,EAAE,CAAwB;IACxD,MAAM,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,QAAQ,CAAC,CAAW,EAAE,CAAW,EAAE,CAAwB;IACzE,OAAO,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC"}

package/dist/sign.d.ts

@@ -0,0 +1,8 @@
+import type { Claims, Delta } from "./types.js";
+export declare const AUTHOR_PREFIX = "ed25519:";
+export declare function publicKeyFromSeed(seedHex: string): string;
+export declare function authorForSeed(seedHex: string): string;
+export declare function signClaims(claims: Claims, seedHex: string): Delta;
+export type Verification = "verified" | "unsigned" | "invalid";
+export declare function verifyDelta(delta: Delta): Verification;
+//# sourceMappingURL=sign.d.ts.map

package/dist/sign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sign.d.ts","sourceRoot":"","sources":["../src/sign.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEhD,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEzD;AAGD,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAErD;AAID,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAQjE;AAED,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAI/D,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY,CAYtD"}

package/dist/sign.js

@@ -0,0 +1,44 @@
+// Ed25519 signing & verification (SPEC-1 §5, ERRATA D8-D9). Deterministic (RFC 8032), so
+// signatures are reproducible across implementations and pinned in vectors.
+import { ed25519 } from "@noble/curves/ed25519";
+import { bytesToHex, hexToBytes } from "@noble/hashes/utils";
+import { computeId } from "./delta.js";
+export const AUTHOR_PREFIX = "ed25519:";
+export function publicKeyFromSeed(seedHex) {
+    return bytesToHex(ed25519.getPublicKey(hexToBytes(seedHex)));
+}
+// The author string a signed delta MUST carry for this seed (ERRATA D8).
+export function authorForSeed(seedHex) {
+    return AUTHOR_PREFIX + publicKeyFromSeed(seedHex);
+}
+// Sign claims, producing a complete delta. Refuses to sign claims whose author does not match
+// the signing key — a signature contradicting its own author field is born broken (ERRATA D8).
+export function signClaims(claims, seedHex) {
+    const expected = authorForSeed(seedHex);
+    if (claims.author !== expected) {
+        throw new Error(`author must be ${expected} for this signing key, got ${claims.author}`);
+    }
+    const id = computeId(claims);
+    const sig = bytesToHex(ed25519.sign(hexToBytes(id), hexToBytes(seedHex)));
+    return { id, claims, sig };
+}
+// Full verification per ERRATA D9: content addressing must hold, then the signature must verify
+// over the raw id bytes against the key named in `author`.
+export function verifyDelta(delta) {
+    if (computeId(delta.claims) !== delta.id)
+        return "invalid";
+    if (delta.sig === undefined)
+        return "unsigned";
+    if (!delta.claims.author.startsWith(AUTHOR_PREFIX))
+        return "invalid";
+    const pubHex = delta.claims.author.slice(AUTHOR_PREFIX.length);
+    try {
+        return ed25519.verify(hexToBytes(delta.sig), hexToBytes(delta.id), hexToBytes(pubHex))
+            ? "verified"
+            : "invalid";
+    }
+    catch {
+        return "invalid";
+    }
+}
+//# sourceMappingURL=sign.js.map

package/dist/sign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sign.js","sourceRoot":"","sources":["../src/sign.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,4EAA4E;AAE5E,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGvC,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;AAExC,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,OAAO,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACpD,CAAC;AAED,8FAA8F;AAC9F,+FAA+F;AAC/F,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,OAAe;IACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,8BAA8B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7B,CAAC;AAID,gGAAgG;AAChG,2DAA2D;AAC3D,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC3D,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YACpF,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/term-io.d.ts

@@ -0,0 +1,13 @@
+import { type CborValue } from "./cbor.js";
+import type { Term } from "./eval.js";
+import type { Policy } from "./policy.js";
+import type { Pred } from "./pred.js";
+export declare function predToJson(pred: Pred): unknown;
+export declare function policyToJson(p: Policy): unknown;
+export declare function termToJson(term: Term): unknown;
+export declare function jsonToCbor(v: unknown): CborValue;
+export declare function cborToJson(v: CborValue): unknown;
+export declare function termCanonicalBytes(term: Term): Uint8Array;
+export declare function termCanonicalHex(term: Term): string;
+export declare function termHash(term: Term): string;
+//# sourceMappingURL=term-io.d.ts.map

package/dist/term-io.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"term-io.d.ts","sourceRoot":"","sources":["../src/term-io.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,SAAS,EAAyC,MAAM,WAAW,CAAC;AAClF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,KAAK,EAAS,MAAM,EAAc,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EAAQ,IAAI,EAA6B,MAAM,WAAW,CAAC;AAyDvE,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAyB9C;AA8BD,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAI/C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAgD9C;AAQD,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,CAchD;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAchD;AAID,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,CAEzD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAEnD;AAGD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAE3C"}

package/dist/term-io.js

@@ -0,0 +1,216 @@
+// Term serialization back to the JSON profile, the generic JSON<->CBOR bridge, and term hashing
+// (ERRATA-2 E12). parse(termToJson(t)) is identity on the AST, so semantically identical terms
+// hash identically regardless of authored spelling.
+import { array, bool, encode, float, map, tstr } from "./cbor.js";
+import { bytesToHex, contentAddress } from "./hash.js";
+// --- AST -> JSON profile ---------------------------------------------------------------------------
+// Holes serialize to their profile spelling (E15); primitives pass through.
+function paramToJson(v) {
+    return typeof v === "object" ? { hole: v.name } : v;
+}
+function strMatchToJson(m) {
+    switch (m.kind) {
+        case "exact":
+            return { exact: m.value };
+        case "prefix":
+            return { prefix: m.value };
+        case "inSet":
+            return { inSet: [...m.values] };
+        case "aliased": {
+            // Optional fields omitted when absent (SPEC-2 §7); the closure never enters the hash.
+            const a = { name: m.name };
+            if (m.via !== undefined)
+                a["via"] = m.via;
+            if (m.trust !== undefined)
+                a["trust"] = predToJson(m.trust);
+            return { aliased: a };
+        }
+    }
+}
+function valMatchToJson(m) {
+    switch (m.kind) {
+        case "vcmp":
+            return { vcmp: { cmp: m.cmp, value: paramToJson(m.value) } };
+        case "between":
+            return { between: [m.lo, m.hi] };
+        case "inSet":
+            return { inSet: [...m.values] };
+    }
+}
+function ppredToJson(p) {
+    const out = {};
+    if (p.role !== undefined)
+        out["role"] = strMatchToJson(p.role);
+    if (p.targetEntity !== undefined) {
+        out["targetEntity"] =
+            p.targetEntity.kind === "const"
+                ? p.targetEntity.id
+                : p.targetEntity.kind === "hole"
+                    ? { hole: p.targetEntity.name }
+                    : { var: "root" };
+    }
+    if (p.targetDelta !== undefined)
+        out["targetDelta"] = p.targetDelta;
+    if (p.context !== undefined)
+        out["context"] = strMatchToJson(p.context);
+    if (p.targetIsPrimitive !== undefined)
+        out["targetIsPrimitive"] = p.targetIsPrimitive;
+    if (p.targetValue !== undefined)
+        out["targetValue"] = valMatchToJson(p.targetValue);
+    return out;
+}
+export function predToJson(pred) {
+    switch (pred.kind) {
+        case "true":
+            return "true";
+        case "false":
+            return "false";
+        case "match":
+            return {
+                match: {
+                    field: pred.field,
+                    cmp: pred.cmp,
+                    const: Array.isArray(pred.constant)
+                        ? [...pred.constant]
+                        : paramToJson(pred.constant),
+                },
+            };
+        case "hasPointer":
+            return { hasPointer: ppredToJson(pred.ppred) };
+        case "and":
+            return { and: [predToJson(pred.left), predToJson(pred.right)] };
+        case "or":
+            return { or: [predToJson(pred.left), predToJson(pred.right)] };
+        case "not":
+            return { not: predToJson(pred.pred) };
+    }
+}
+function orderToJson(o) {
+    switch (o.kind) {
+        case "byTimestamp":
+            return { byTimestamp: o.dir };
+        case "byAuthorRank":
+            return { byAuthorRank: [...o.authors] };
+        case "byPred":
+            return { byPred: { pred: predToJson(o.pred), then: orderToJson(o.then) } };
+        case "lexById":
+            return "lexById";
+    }
+}
+function propPolicyToJson(pp) {
+    switch (pp.kind) {
+        case "pick":
+            return { pick: { order: orderToJson(pp.order) } };
+        case "all":
+            return { all: { order: orderToJson(pp.order) } };
+        case "merge":
+            return { merge: pp.fn };
+        case "conflicts":
+            return { conflicts: { order: orderToJson(pp.order) } };
+        case "absentAs":
+            return { absentAs: { const: pp.constant, then: propPolicyToJson(pp.then) } };
+    }
+}
+export function policyToJson(p) {
+    const props = {};
+    for (const [k, v] of p.props)
+        props[k] = propPolicyToJson(v);
+    return { props, default: propPolicyToJson(p.default) };
+}
+export function termToJson(term) {
+    switch (term.kind) {
+        case "input":
+            return "input";
+        case "select":
+            return { op: "select", pred: predToJson(term.pred), in: termToJson(term.of) };
+        case "union":
+            return { op: "union", left: termToJson(term.left), right: termToJson(term.right) };
+        case "mask": {
+            const policy = term.policy.kind === "trust" ? { trust: predToJson(term.policy.pred) } : term.policy.kind;
+            return { op: "mask", policy, in: termToJson(term.of) };
+        }
+        case "group": {
+            const key = term.key.kind === "const" ? { const: term.key.prop } : term.key.kind;
+            return { op: "group", key, in: termToJson(term.of) };
+        }
+        case "prune":
+            return {
+                op: "prune",
+                keep: term.keep === "all" ? "all" : strMatchToJson(term.keep),
+                in: termToJson(term.of),
+            };
+        case "expand":
+            return {
+                op: "expand",
+                role: strMatchToJson(term.role),
+                schema: schemaRefToJson(term.schema),
+                in: termToJson(term.of),
+            };
+        case "fix": {
+            const out = {
+                op: "fix",
+                schema: schemaRefToJson(term.schema),
+                entity: term.entity,
+            };
+            if (term.bindings !== undefined && term.bindings.size > 0) {
+                const bindings = {};
+                for (const key of [...term.bindings.keys()].sort()) {
+                    bindings[key] = term.bindings.get(key);
+                }
+                out["bindings"] = bindings;
+            }
+            return out;
+        }
+        case "resolve":
+            return { op: "resolve", policy: policyToJson(term.policy), in: termToJson(term.of) };
+    }
+}
+function schemaRefToJson(ref) {
+    return ref.kind === "name" ? ref.name : { pinned: ref.hash };
+}
+// --- generic JSON <-> CBOR bridge ------------------------------------------------------------------
+export function jsonToCbor(v) {
+    if (typeof v === "string")
+        return tstr(v);
+    if (typeof v === "number")
+        return float(v);
+    if (typeof v === "boolean")
+        return bool(v);
+    if (Array.isArray(v))
+        return array(v.map(jsonToCbor));
+    if (typeof v === "object" && v !== null) {
+        return map(Object.entries(v).map(([k, x]) => [
+            k,
+            jsonToCbor(x),
+        ]));
+    }
+    throw new Error("json value outside the CBOR profile (null/undefined are not representable)");
+}
+export function cborToJson(v) {
+    switch (v.t) {
+        case "tstr":
+        case "float":
+        case "bool":
+            return v.v;
+        case "array":
+            return v.v.map(cborToJson);
+        case "map": {
+            const out = {};
+            for (const [k, x] of v.v)
+                out[k] = cborToJson(x);
+            return out;
+        }
+    }
+}
+// --- term hashing (E12) ----------------------------------------------------------------------------
+export function termCanonicalBytes(term) {
+    return encode(jsonToCbor(termToJson(term)));
+}
+export function termCanonicalHex(term) {
+    return bytesToHex(termCanonicalBytes(term));
+}
+// A term's content address: same multihash as deltas (E12).
+export function termHash(term) {
+    return contentAddress(termCanonicalBytes(term));
+}
+//# sourceMappingURL=term-io.js.map

package/dist/term-io.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"term-io.js","sourceRoot":"","sources":["../src/term-io.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,+FAA+F;AAC/F,oDAAoD;AAEpD,OAAO,EAAkB,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAKvD,sGAAsG;AAEtG,4EAA4E;AAC5E,SAAS,WAAW,CAAC,CAAmB;IACtC,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,cAAc,CAAC,CAAW;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,sFAAsF;YACtF,MAAM,CAAC,GAA4B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACpD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAC1C,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;gBAAE,CAAC,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5D,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAW;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAC/D,KAAK,SAAS;YACZ,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,CAAQ;IAC3B,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACjC,GAAG,CAAC,cAAc,CAAC;YACjB,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC7B,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE;gBACnB,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM;oBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE;oBAC/B,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;IACpE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS;QAAE,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,iBAAiB,CAAC;IACtF,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,GAAG,CAAC,aAAa,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO;gBACL,KAAK,EAAE;oBACL,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;wBACjC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;wBACpB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,QAA4B,CAAC;iBACnD;aACF,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClE,KAAK,IAAI;YACP,OAAO,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACjE,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,CAAQ;IAC3B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAChC,KAAK,cAAc;YACjB,OAAO,EAAE,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,KAAK,QAAQ;YACX,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC7E,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAc;IACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACpD,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACnD,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1B,KAAK,WAAW;YACd,OAAO,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACzD,KAAK,UAAU;YACb,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IACjF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,KAAK,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAChF,KAAK,OAAO;YACV,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrF,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAC5F,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACzD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACjF,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,CAAC;QACD,KAAK,OAAO;YACV,OAAO;gBACL,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7D,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;aACxB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/B,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;aACxB,CAAC;QACJ,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAA4B;gBACnC,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC;YACF,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBAC1D,MAAM,QAAQ,GAA8B,EAAE,CAAC;gBAC/C,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnD,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;gBAC1C,CAAC;gBACD,GAAG,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC;YAC7B,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAAmC;IAC1D,OAAO,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;AAC/D,CAAC;AAED,sGAAsG;AAEtG,MAAM,UAAU,UAAU,CAAC,CAAU;IACnC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACtD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,GAAG,CACR,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAgC,EAAE,CAAC;YACzF,CAAC;YACD,UAAU,CAAC,CAAC,CAAC;SACd,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAY;IACrC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACjD,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAED,sGAAsG;AAEtG,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC3C,OAAO,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,OAAO,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,cAAc,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/term-json.d.ts

@@ -0,0 +1,7 @@
+import type { Term } from "./eval.js";
+import type { Policy } from "./policy.js";
+import type { Pred } from "./pred.js";
+export declare function parsePred(raw: unknown): Pred;
+export declare function parsePolicy(raw: unknown): Policy;
+export declare function parseTerm(raw: unknown): Term;
+//# sourceMappingURL=term-json.d.ts.map

package/dist/term-json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"term-json.d.ts","sourceRoot":"","sources":["../src/term-json.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAoC,IAAI,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,KAAK,EAAkB,MAAM,EAAc,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EAAiC,IAAI,EAAsB,MAAM,WAAW,CAAC;AA0LzF,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAqC5C;AAiED,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAShD;AAiBD,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CA4C5C"}