@rhizomes/rhizomatic 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,23 @@
+export type { Primitive, EntityRef, DeltaRef, Target, Pointer, Claims, Delta } from "./types.js";
+export { encode, type CborValue, tstr, float, bool, array, map } from "./cbor.js";
+export { contentAddress } from "./hash.js";
+export { claimsToCbor, canonicalBytes, canonicalHex, computeId, assertValidClaims, } from "./delta.js";
+export { claimsToJson, parseClaims } from "./json-profile.js";
+export { AUTHOR_PREFIX, authorForSeed, publicKeyFromSeed, signClaims, verifyDelta, type Verification, } from "./sign.js";
+export { DeltaSet, federate, fork, makeDelta, makeNegationClaims, merge } from "./set.js";
+export { comparePrimitives, evalPred, strMatch, type Cmp, type PPred, type Pred, type StrMatch, type ValMatch, } from "./pred.js";
+export { aliasClosure, evalTerm, expandAliased, resultCanonicalHex, type AliasedSpec, type EvalResult, type GroupKey, type MaskPolicy, type Term, } from "./eval.js";
+export { relationSignature, relationSignatureCanonicalHex } from "./alias.js";
+export { hviewCanonicalHex, type HVEntry, type HView } from "./hview.js";
+export { SchemaRegistry, collectRefs, type HyperSchema } from "./schema.js";
+export { resolveView, viewCanonicalHex, type MergeFn, type Order, type Policy, type PropPolicy, type View, } from "./policy.js";
+export { parsePolicy, parsePred, parseTerm } from "./term-json.js";
+export { cborToJson, jsonToCbor, policyToJson, predToJson, termCanonicalHex, termHash, termToJson, } from "./term-io.js";
+export { SCHEMA_SCHEMA, VOCAB_PREFIX, loadSchema, publishSchemaClaims } from "./schema-deltas.js";
+export { decode } from "./cbor.js";
+export { packId, packSet, unpackSet } from "./pack.js";
+export { Peer, syncBoth, type SyncReport } from "./peer.js";
+export { offerFor, pullFromUrl, servePeer } from "./http.js";
+export { DerivationHost, derivedClaims, verifyPureDerivation, type BindingSpec, type DerivedFn, } from "./derivation.js";
+export { Reactor, isRootAnchored, makeManifestClaims, manifestMemberIds, type IngestResult, type MaterializationChange, } from "./reactor.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACjG,OAAO,EAAE,MAAM,EAAE,KAAK,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EACL,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,SAAS,EACT,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAC1F,OAAO,EACL,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,KAAK,GAAG,EACR,KAAK,KAAK,EACV,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,QAAQ,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,kBAAkB,EAClB,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,IAAI,GACV,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,KAAK,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,KAAK,OAAO,EACZ,KAAK,KAAK,EACV,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,IAAI,GACV,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EACL,UAAU,EACV,UAAU,EACV,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,QAAQ,EACR,UAAU,GACX,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EACL,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,OAAO,EACP,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,YAAY,EACjB,KAAK,qBAAqB,GAC3B,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,22 @@
+export { encode, tstr, float, bool, array, map } from "./cbor.js";
+export { contentAddress } from "./hash.js";
+export { claimsToCbor, canonicalBytes, canonicalHex, computeId, assertValidClaims, } from "./delta.js";
+export { claimsToJson, parseClaims } from "./json-profile.js";
+export { AUTHOR_PREFIX, authorForSeed, publicKeyFromSeed, signClaims, verifyDelta, } from "./sign.js";
+export { DeltaSet, federate, fork, makeDelta, makeNegationClaims, merge } from "./set.js";
+export { comparePrimitives, evalPred, strMatch, } from "./pred.js";
+export { aliasClosure, evalTerm, expandAliased, resultCanonicalHex, } from "./eval.js";
+export { relationSignature, relationSignatureCanonicalHex } from "./alias.js";
+export { hviewCanonicalHex } from "./hview.js";
+export { SchemaRegistry, collectRefs } from "./schema.js";
+export { resolveView, viewCanonicalHex, } from "./policy.js";
+export { parsePolicy, parsePred, parseTerm } from "./term-json.js";
+export { cborToJson, jsonToCbor, policyToJson, predToJson, termCanonicalHex, termHash, termToJson, } from "./term-io.js";
+export { SCHEMA_SCHEMA, VOCAB_PREFIX, loadSchema, publishSchemaClaims } from "./schema-deltas.js";
+export { decode } from "./cbor.js";
+export { packId, packSet, unpackSet } from "./pack.js";
+export { Peer, syncBoth } from "./peer.js";
+export { offerFor, pullFromUrl, servePeer } from "./http.js";
+export { DerivationHost, derivedClaims, verifyPureDerivation, } from "./derivation.js";
+export { Reactor, isRootAnchored, makeManifestClaims, manifestMemberIds, } from "./reactor.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAkB,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EACL,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,SAAS,EACT,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,UAAU,EACV,WAAW,GAEZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAC1F,OAAO,EACL,iBAAiB,EACjB,QAAQ,EACR,QAAQ,GAMT,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,kBAAkB,GAMnB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAA4B,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAoB,MAAM,aAAa,CAAC;AAC5E,OAAO,EACL,WAAW,EACX,gBAAgB,GAMjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EACL,UAAU,EACV,UAAU,EACV,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,QAAQ,EACR,UAAU,GACX,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAmB,MAAM,WAAW,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EACL,cAAc,EACd,aAAa,EACb,oBAAoB,GAGrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,OAAO,EACP,cAAc,EACd,kBAAkB,EAClB,iBAAiB,GAGlB,MAAM,cAAc,CAAC"}

package/dist/json-profile.d.ts

@@ -0,0 +1,4 @@
+import type { Claims } from "./types.js";
+export declare function claimsToJson(claims: Claims): unknown;
+export declare function parseClaims(raw: unknown): Claims;
+//# sourceMappingURL=json-profile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"json-profile.d.ts","sourceRoot":"","sources":["../src/json-profile.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAA8B,MAAM,YAAY,CAAC;AAoDrE,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA4BpD;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAUhD"}

package/dist/json-profile.js

@@ -0,0 +1,97 @@
+// Parse the JSON debug profile used by the vectors (SPEC-1 §4.1, ERRATA "JSON debug profile")
+// into the logical delta model. The CBOR form is normative; this is for authoring/inspection.
+function asObject(x, what) {
+    if (typeof x !== "object" || x === null || Array.isArray(x)) {
+        throw new Error(`expected object for ${what}`);
+    }
+    return x;
+}
+function parsePrimitive(v) {
+    if (typeof v === "string" || typeof v === "boolean")
+        return v;
+    if (typeof v === "number") {
+        if (!Number.isFinite(v))
+            throw new Error("numeric primitive must be finite");
+        return v;
+    }
+    throw new Error("primitive must be string | number | boolean");
+}
+// The profile mirrors the canonical CBOR exactly: a primitive target is the bare value; an
+// entity ref is {id, context?}; a delta ref is {delta, context?}. Discrimination is structural
+// (SPEC-1 §2.1) — primitives are never objects, and the id/delta key names the ref kind.
+function parseTarget(raw) {
+    if (typeof raw === "string" || typeof raw === "number" || typeof raw === "boolean") {
+        return { kind: "primitive", value: parsePrimitive(raw) };
+    }
+    const o = asObject(raw, "target");
+    if ("id" in o) {
+        const id = o["id"];
+        if (typeof id !== "string")
+            throw new Error("entity ref id must be a string");
+        const context = o["context"];
+        return context === undefined
+            ? { kind: "entity", entity: { id } }
+            : { kind: "entity", entity: { id, context: String(context) } };
+    }
+    if ("delta" in o) {
+        const delta = o["delta"];
+        if (typeof delta !== "string")
+            throw new Error("delta ref delta must be a string");
+        const context = o["context"];
+        return context === undefined
+            ? { kind: "delta", deltaRef: { delta } }
+            : { kind: "delta", deltaRef: { delta, context: String(context) } };
+    }
+    throw new Error("target must be a primitive, {id, context?}, or {delta, context?}");
+}
+function parsePointer(raw) {
+    const o = asObject(raw, "pointer");
+    if (typeof o["role"] !== "string")
+        throw new Error("pointer.role must be a string");
+    return { role: o["role"], target: parseTarget(o["target"]) };
+}
+// Serialize claims back to the JSON debug profile (the inverse of parseClaims).
+export function claimsToJson(claims) {
+    return {
+        timestamp: claims.timestamp,
+        author: claims.author,
+        pointers: claims.pointers.map((p) => {
+            let target;
+            switch (p.target.kind) {
+                case "primitive":
+                    target = p.target.value;
+                    break;
+                case "entity":
+                    target = {
+                        id: p.target.entity.id,
+                        ...(p.target.entity.context === undefined ? {} : { context: p.target.entity.context }),
+                    };
+                    break;
+                case "delta":
+                    target = {
+                        delta: p.target.deltaRef.delta,
+                        ...(p.target.deltaRef.context === undefined
+                            ? {}
+                            : { context: p.target.deltaRef.context }),
+                    };
+                    break;
+            }
+            return { role: p.role, target };
+        }),
+    };
+}
+export function parseClaims(raw) {
+    const o = asObject(raw, "claims");
+    if (typeof o["timestamp"] !== "number")
+        throw new Error("claims.timestamp must be a number");
+    if (typeof o["author"] !== "string")
+        throw new Error("claims.author must be a string");
+    if (!Array.isArray(o["pointers"]))
+        throw new Error("claims.pointers must be an array");
+    return {
+        timestamp: o["timestamp"],
+        author: o["author"],
+        pointers: o["pointers"].map(parsePointer),
+    };
+}
+//# sourceMappingURL=json-profile.js.map

package/dist/json-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-profile.js","sourceRoot":"","sources":["../src/json-profile.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAI9F,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAY;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAA4B,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAC7E,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;AACjE,CAAC;AAED,2FAA2F;AAC3F,+FAA+F;AAC/F,yFAAyF;AACzF,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,OAAO,OAAO,KAAK,SAAS;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE;YACpC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7B,OAAO,OAAO,KAAK,SAAS;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE;YACxC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;IACvE,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACnC,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpF,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAClC,IAAI,MAAe,CAAC;YACpB,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,WAAW;oBACd,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;oBACxB,MAAM;gBACR,KAAK,QAAQ;oBACX,MAAM,GAAG;wBACP,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;wBACtB,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;qBACvF,CAAC;oBACF,MAAM;gBACR,KAAK,OAAO;oBACV,MAAM,GAAG;wBACP,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK;wBAC9B,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS;4BACzC,CAAC,CAAC,EAAE;4BACJ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;qBAC5C,CAAC;oBACF,MAAM;YACV,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QAClC,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClC,IAAI,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC7F,IAAI,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACvF,OAAO;QACL,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC;QACnB,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC;KAC1C,CAAC;AACJ,CAAC"}

package/dist/pack.d.ts

@@ -0,0 +1,5 @@
+import { DeltaSet } from "./set.js";
+export declare function packSet(set: DeltaSet): Uint8Array;
+export declare function packId(bytes: Uint8Array): string;
+export declare function unpackSet(bytes: Uint8Array): DeltaSet;
+//# sourceMappingURL=pack.d.ts.map

package/dist/pack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.d.ts","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,QAAQ,EAAa,MAAM,UAAU,CAAC;AAqF/C,wBAAgB,OAAO,CAAC,GAAG,EAAE,QAAQ,GAAG,UAAU,CAyCjD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEhD;AAuED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CA8BrD"}

package/dist/pack.js

@@ -0,0 +1,227 @@
+// The pack format (SPEC-8, ERRATA-8): a content-addressed physical container whose logical form
+// is invariant. Never hash the dehydrated form; rehydration is byte-exact by construction because
+// unpacking rebuilds claims through the standard makeDelta path.
+import { array, bool, decode, encode, float, map, tstr } from "./cbor.js";
+import { contentAddress } from "./hash.js";
+import { manifestMemberIds } from "./reactor.js";
+import { DeltaSet, makeDelta } from "./set.js";
+const PACK_VERSION = 1;
+// --- string interning -------------------------------------------------------------------------------
+function stringsOf(delta, out) {
+    out.add(delta.id); // stored ids make rehydration self-verifying (SPEC-8 §4)
+    out.add(delta.claims.author);
+    if (delta.sig !== undefined)
+        out.add(delta.sig);
+    for (const p of delta.claims.pointers) {
+        out.add(p.role);
+        switch (p.target.kind) {
+            case "entity":
+                out.add(p.target.entity.id);
+                if (p.target.entity.context !== undefined)
+                    out.add(p.target.entity.context);
+                break;
+            case "delta":
+                out.add(p.target.deltaRef.delta);
+                if (p.target.deltaRef.context !== undefined)
+                    out.add(p.target.deltaRef.context);
+                break;
+            case "primitive":
+                if (typeof p.target.value === "string")
+                    out.add(p.target.value);
+                break;
+        }
+    }
+}
+// --- packing ----------------------------------------------------------------------------------------
+function ptrToCbor(p, idx) {
+    const entries = [["r", float(idx(p.role))]];
+    let context;
+    switch (p.target.kind) {
+        case "entity":
+            entries.push(["e", float(idx(p.target.entity.id))]);
+            context = p.target.entity.context;
+            break;
+        case "delta":
+            entries.push(["d", float(idx(p.target.deltaRef.delta))]);
+            context = p.target.deltaRef.context;
+            break;
+        case "primitive": {
+            const v = p.target.value;
+            if (typeof v === "string")
+                entries.push(["s", float(idx(v))]);
+            else if (typeof v === "number")
+                entries.push(["n", float(v)]);
+            else
+                entries.push(["b", bool(v)]);
+            break;
+        }
+    }
+    if (context !== undefined)
+        entries.push(["c", float(idx(context))]);
+    return map(entries);
+}
+function hydratedRecord(d, idx) {
+    const entries = [
+        ["i", float(idx(d.id))],
+        ["a", float(idx(d.claims.author))],
+        ["t", float(d.claims.timestamp)],
+        ["p", array(d.claims.pointers.map((p) => ptrToCbor(p, idx)))],
+    ];
+    if (d.sig !== undefined)
+        entries.push(["s", float(idx(d.sig))]);
+    return map(entries);
+}
+function memberRecord(d, manifest, envelopeIdx, idx) {
+    const entries = [
+        ["i", float(idx(d.id))],
+        ["m", float(envelopeIdx)],
+        ["p", array(d.claims.pointers.map((p) => ptrToCbor(p, idx)))],
+    ];
+    // Dehydrate against the envelope (SPEC-8 §3.1); divergent fields stored explicitly (P2).
+    if (d.claims.author !== manifest.claims.author)
+        entries.push(["a", float(idx(d.claims.author))]);
+    const dt = d.claims.timestamp - manifest.claims.timestamp;
+    if (dt !== 0)
+        entries.push(["dt", float(dt)]);
+    if (d.sig !== undefined)
+        entries.push(["s", float(idx(d.sig))]);
+    return map(entries);
+}
+export function packSet(set) {
+    const deltas = [...set].sort((a, b) => (a.id < b.id ? -1 : 1));
+    // Manifests: deltas carrying rdb.txn.member pointers, sorted by id.
+    const manifests = deltas.filter((d) => manifestMemberIds(d).length > 0);
+    // Each member is dehydrated against the lexicographically FIRST claiming manifest (P1).
+    const memberToManifest = new Map();
+    manifests.forEach((m, i) => {
+        for (const id of manifestMemberIds(m)) {
+            if (set.has(id) && !memberToManifest.has(id))
+                memberToManifest.set(id, i);
+        }
+    });
+    const manifestIds = new Set(manifests.map((m) => m.id));
+    const members = deltas.filter((d) => memberToManifest.has(d.id) && !manifestIds.has(d.id));
+    const loose = deltas.filter((d) => !memberToManifest.has(d.id) && !manifestIds.has(d.id));
+    const stringSet = new Set();
+    for (const d of deltas)
+        stringsOf(d, stringSet);
+    const strings = [...stringSet].sort();
+    const indexOf = new Map(strings.map((s, i) => [s, i]));
+    const idx = (s) => indexOf.get(s);
+    const packed = map([
+        ["version", float(PACK_VERSION)],
+        ["strings", array(strings.map(tstr))],
+        ["envelopes", array(manifests.map((m) => hydratedRecord(m, idx)))],
+        [
+            "members",
+            array(members.map((d) => memberRecord(d, manifests[memberToManifest.get(d.id)], memberToManifest.get(d.id), idx))),
+        ],
+        ["loose", array(loose.map((d) => hydratedRecord(d, idx)))],
+    ]);
+    return encode(packed);
+}
+export function packId(bytes) {
+    return contentAddress(bytes);
+}
+function asMap(v, what) {
+    if (v.t !== "map")
+        throw new Error(`pack: expected map for ${what}`);
+    return new Map(v.v);
+}
+function asArray(v, what) {
+    if (v === undefined || v.t !== "array")
+        throw new Error(`pack: expected array for ${what}`);
+    return v.v;
+}
+function asNum(v, what) {
+    if (v === undefined || v.t !== "float")
+        throw new Error(`pack: expected number for ${what}`);
+    return v.v;
+}
+function ptrFromCbor(v, strings) {
+    const o = asMap(v, "pointer");
+    const str = (key) => strings[asNum(o.get(key), key)];
+    const role = str("r");
+    const context = o.has("c") ? str("c") : undefined;
+    let target;
+    if (o.has("e")) {
+        target = {
+            kind: "entity",
+            entity: context === undefined ? { id: str("e") } : { id: str("e"), context },
+        };
+    }
+    else if (o.has("d")) {
+        target = {
+            kind: "delta",
+            deltaRef: context === undefined ? { delta: str("d") } : { delta: str("d"), context },
+        };
+    }
+    else if (o.has("s")) {
+        target = { kind: "primitive", value: str("s") };
+    }
+    else if (o.has("n")) {
+        target = { kind: "primitive", value: asNum(o.get("n"), "n") };
+    }
+    else if (o.has("b")) {
+        const b = o.get("b");
+        if (b.t !== "bool")
+            throw new Error("pack: expected bool for b");
+        target = { kind: "primitive", value: b.v };
+    }
+    else {
+        throw new Error("pack: pointer record has no target");
+    }
+    return { role, target };
+}
+function hydrateRecord(v, strings) {
+    const o = asMap(v, "record");
+    const claims = {
+        author: strings[asNum(o.get("a"), "a")],
+        timestamp: asNum(o.get("t"), "t"),
+        pointers: asArray(o.get("p"), "p").map((p) => ptrFromCbor(p, strings)),
+    };
+    const sig = o.has("s") ? strings[asNum(o.get("s"), "s")] : undefined;
+    return verifiedDelta(claims, sig, strings[asNum(o.get("i"), "i")]);
+}
+// SPEC-8 §4: hydrate -> canonical CBOR -> multihash MUST equal the stored id. Free fsck.
+function verifiedDelta(claims, sig, storedId) {
+    const d = makeDelta(claims, sig);
+    if (d.id !== storedId) {
+        throw new Error(`pack: rehydrated delta ${d.id} does not match stored id ${storedId}`);
+    }
+    return d;
+}
+export function unpackSet(bytes) {
+    const top = asMap(decode(bytes), "pack");
+    if (asNum(top.get("version"), "version") !== PACK_VERSION) {
+        throw new Error("pack: unsupported version");
+    }
+    const strings = asArray(top.get("strings"), "strings").map((s) => {
+        if (s.t !== "tstr")
+            throw new Error("pack: string table entries must be text");
+        return s.v;
+    });
+    const out = new DeltaSet();
+    const envelopes = asArray(top.get("envelopes"), "envelopes").map((e) => hydrateRecord(e, strings));
+    for (const m of envelopes)
+        out.add(m);
+    for (const rec of asArray(top.get("members"), "members")) {
+        const o = asMap(rec, "member");
+        const manifest = envelopes[asNum(o.get("m"), "m")];
+        if (manifest === undefined)
+            throw new Error("pack: member references missing envelope");
+        const author = o.has("a") ? strings[asNum(o.get("a"), "a")] : manifest.claims.author;
+        const timestamp = manifest.claims.timestamp + (o.has("dt") ? asNum(o.get("dt"), "dt") : 0);
+        const claims = {
+            author,
+            timestamp,
+            pointers: asArray(o.get("p"), "p").map((p) => ptrFromCbor(p, strings)),
+        };
+        const sig = o.has("s") ? strings[asNum(o.get("s"), "s")] : undefined;
+        out.add(verifiedDelta(claims, sig, strings[asNum(o.get("i"), "i")]));
+    }
+    for (const rec of asArray(top.get("loose"), "loose"))
+        out.add(hydrateRecord(rec, strings));
+    return out;
+}
+//# sourceMappingURL=pack.js.map

package/dist/pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.js","sourceRoot":"","sources":["../src/pack.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,kGAAkG;AAClG,iEAAiE;AAEjE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAkB,MAAM,WAAW,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAG/C,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,uGAAuG;AAEvG,SAAS,SAAS,CAAC,KAAY,EAAE,GAAgB;IAC/C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,yDAAyD;IAC5E,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChB,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,QAAQ;gBACX,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5E,MAAM;YACR,KAAK,OAAO;gBACV,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAChF,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChE,MAAM;QACV,CAAC;IACH,CAAC;AACH,CAAC;AAED,uGAAuG;AAEvG,SAAS,SAAS,CAAC,CAAU,EAAE,GAA0B;IACvD,MAAM,OAAO,GAA+B,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,OAA2B,CAAC;IAChC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,QAAQ;YACX,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAClC,MAAM;QACR,KAAK,OAAO;YACV,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACpC,MAAM;QACR,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACzB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBACzD,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;;gBACzD,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,cAAc,CAAC,CAAQ,EAAE,GAA0B;IAC1D,MAAM,OAAO,GAA+B;QAC1C,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAClC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;KAC9D,CAAC;IACF,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CACnB,CAAQ,EACR,QAAe,EACf,WAAmB,EACnB,GAA0B;IAE1B,MAAM,OAAO,GAA+B;QAC1C,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACzB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;KAC9D,CAAC;IACF,yFAAyF;IACzF,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC;IAC1D,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAa;IACnC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,oEAAoE;IACpE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxE,wFAAwF;IACxF,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,KAAK,MAAM,EAAE,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;IAEnD,MAAM,MAAM,GAAG,GAAG,CAAC;QACjB,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QAChC,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACrC,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE;YACE,SAAS;YACT,KAAK,CACH,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChB,YAAY,CACV,CAAC,EACD,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAE,EACvC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAC3B,GAAG,CACJ,CACF,CACF;SACF;QACD,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;KAC3D,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAiB;IACtC,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAMD,SAAS,KAAK,CAAC,CAAY,EAAE,IAAY;IACvC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;IACrE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,OAAO,CAAC,CAAwB,EAAE,IAAY;IACrD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;IAC5F,OAAO,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,SAAS,KAAK,CAAC,CAAwB,EAAE,IAAY;IACnD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;IAC7F,OAAO,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,CAAY,EAAE,OAA0B;IAC3D,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC;IACtE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACf,MAAM,GAAG;YACP,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE;SAC7E,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG;YACP,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE;SACrF,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAClD,CAAC;SAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAChE,CAAC;SAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACjE,MAAM,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,CAAY,EAAE,OAA0B;IAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAW;QACrB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE;QACxC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;QACjC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACvE,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,OAAO,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC;AACtE,CAAC;AAED,yFAAyF;AACzF,SAAS,aAAa,CAAC,MAAc,EAAE,GAAuB,EAAE,QAAgB;IAC9E,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,EAAE,6BAA6B,QAAQ,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAiB;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,KAAK,YAAY,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/D,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC/E,OAAO,CAAC,CAAC,CAAC,CAAC;IACb,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrE,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAC1B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QACxF,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QACtF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,MAAM,GAAW;YACrB,MAAM;YACN,SAAS;YACT,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;SACvE,CAAC;QACF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3F,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/peer.d.ts

@@ -0,0 +1,26 @@
+import { type Term } from "./eval.js";
+import { type Pred } from "./pred.js";
+import { Reactor } from "./reactor.js";
+import type { Claims, Delta } from "./types.js";
+export interface SyncReport {
+    readonly offered: number;
+    readonly bundles: number;
+    readonly loose: number;
+    readonly withheld: number;
+    readonly accepted: number;
+    readonly rejected: number;
+}
+export declare class Peer {
+    private readonly seedHex;
+    offeredLens: Term;
+    admission: Pred | undefined;
+    readonly reactor: Reactor;
+    readonly author: string;
+    constructor(seedHex: string, offeredLens?: Term, admission?: Pred | undefined);
+    authorClaims(claims: Omit<Claims, "author">): Delta;
+    admits(d: Delta): boolean;
+    offeredSet(): Delta[];
+    pullFrom(other: Peer): SyncReport;
+}
+export declare function syncBoth(a: Peer, b: Peer): void;
+//# sourceMappingURL=peer.d.ts.map

package/dist/peer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"peer.d.ts","sourceRoot":"","sources":["../src/peer.ts"],"names":[],"mappings":"AAGA,OAAO,EAAY,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAY,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,OAAO,EAAwC,MAAM,cAAc,CAAC;AAE7E,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAID,qBAAa,IAAI;IAKb,OAAO,CAAC,QAAQ,CAAC,OAAO;IAEjB,WAAW,EAAE,IAAI;IAEjB,SAAS,EAAE,IAAI,GAAG,SAAS;IARpC,QAAQ,CAAC,OAAO,UAAiB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAGL,OAAO,EAAE,MAAM,EAEzB,WAAW,GAAE,IAAU,EAEvB,SAAS,GAAE,IAAI,GAAG,SAAqB;IAMhD,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,KAAK;IAQnD,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,OAAO;IAKzB,UAAU,IAAI,KAAK,EAAE;IAOrB,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,UAAU;CA4DlC;AAGD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,CAO/C"}

package/dist/peer.js

@@ -0,0 +1,111 @@
+// Federation (SPEC-6, ERRATA-6): a peer is a reactor + keypair + offered lens + admission
+// predicate. Merge is union; this layer is selection and trust. Coordination without conscription.
+import { evalTerm } from "./eval.js";
+import { evalPred } from "./pred.js";
+import { Reactor, manifestMemberIds } from "./reactor.js";
+import { authorForSeed, signClaims, verifyDelta } from "./sign.js";
+const ALL = { kind: "input" };
+export class Peer {
+    seedHex;
+    offeredLens;
+    admission;
+    reactor = new Reactor();
+    author;
+    constructor(seedHex, 
+    // What this peer offers to others (F4). Default: everything.
+    offeredLens = ALL, 
+    // What this peer accepts (SPEC-6 §5 step 3). Default: everything that verifies.
+    admission = undefined) {
+        this.seedHex = seedHex;
+        this.offeredLens = offeredLens;
+        this.admission = admission;
+        this.author = authorForSeed(seedHex);
+    }
+    // Author a claim as this peer: sign and ingest (read-your-writes).
+    authorClaims(claims) {
+        const signed = signClaims({ ...claims, author: this.author }, this.seedHex);
+        const result = this.reactor.ingest(signed);
+        if (result.status === "rejected")
+            throw new Error(`own claim rejected: ${result.reason}`);
+        return signed;
+    }
+    // The admission judgment (SPEC-6 §5 step 3), exposed for transport bindings (F5).
+    admits(d) {
+        return this.admission === undefined || evalPred(this.admission, d);
+    }
+    // The offered set: eval(lens, log) — lens fidelity is a tested invariant (F4).
+    offeredSet() {
+        const result = evalTerm(this.offeredLens, this.reactor.snapshot());
+        if (result.sort !== "dset")
+            throw new Error("a lens must be a DSet-sort term (F4)");
+        return [...result.set];
+    }
+    // Pull from another peer: WANT(my ids) -> OFFER/BUNDLE -> verify -> admission -> ingest (§5).
+    pullFrom(other) {
+        const have = new Set();
+        for (const d of this.reactor.arrivalLog())
+            have.add(d.id);
+        const offered = other.offeredSet().filter((d) => !have.has(d.id));
+        const offeredIds = new Set(offered.map((d) => d.id));
+        // Partition per the signature boundary (F3): signed manifests carry their present members
+        // as bundles; remaining signed deltas travel loose; unsigned uncovered are withheld.
+        const isSignedManifest = (d) => d.sig !== undefined && verifyDelta(d) === "verified" && manifestMemberIds(d).length > 0;
+        const bundles = [];
+        const covered = new Set();
+        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: m, members });
+            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");
+        const withheld = offered.length - covered.size - loose.length;
+        let accepted = 0;
+        let rejected = 0;
+        const admit = (d) => this.admits(d);
+        const count = (r) => {
+            if (r.status === "accepted")
+                accepted += 1;
+            else if (r.status === "rejected")
+                rejected += 1;
+        };
+        for (const { manifest, members } of bundles) {
+            // Admission applies to the act: if the manifest or any member fails, decline the bundle.
+            if (![manifest, ...members].every(admit)) {
+                rejected += 1 + members.length;
+                continue;
+            }
+            count(this.reactor.ingestBundle(manifest, members));
+        }
+        for (const d of loose) {
+            if (!admit(d)) {
+                rejected += 1;
+                continue;
+            }
+            count(this.reactor.ingest(d));
+        }
+        return {
+            offered: offered.length,
+            bundles: bundles.length,
+            loose: loose.length,
+            withheld,
+            accepted,
+            rejected,
+        };
+    }
+}
+// Anti-entropy both ways; repeat until quiescent (bounded — union is monotone).
+export function syncBoth(a, b) {
+    for (let i = 0; i < 4; i++) {
+        const before = a.reactor.digest() + b.reactor.digest();
+        a.pullFrom(b);
+        b.pullFrom(a);
+        if (a.reactor.digest() + b.reactor.digest() === before)
+            return;
+    }
+}
+//# sourceMappingURL=peer.js.map

package/dist/peer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"peer.js","sourceRoot":"","sources":["../src/peer.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,mGAAmG;AAEnG,OAAO,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAqB,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAYnE,MAAM,GAAG,GAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAEpC,MAAM,OAAO,IAAI;IAKI;IAEV;IAEA;IARA,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IACxB,MAAM,CAAS;IAExB,YACmB,OAAe;IAChC,6DAA6D;IACtD,cAAoB,GAAG;IAC9B,gFAAgF;IACzE,YAA8B,SAAS;QAJ7B,YAAO,GAAP,OAAO,CAAQ;QAEzB,gBAAW,GAAX,WAAW,CAAY;QAEvB,cAAS,GAAT,SAAS,CAA8B;QAE9C,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,mEAAmE;IACnE,YAAY,CAAC,MAA8B;QACzC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,kFAAkF;IAClF,MAAM,CAAC,CAAQ;QACb,OAAO,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,+EAA+E;IAC/E,UAAU;QACR,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACpF,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,8FAA8F;IAC9F,QAAQ,CAAC,KAAW;QAClB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAE1D,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAErD,0FAA0F;QAC1F,qFAAqF;QACrF,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;QAC1F,MAAM,OAAO,GAAiD,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC;iBACjC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;iBAClC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAE,CAAC;iBAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YACvC,KAAK,MAAM,GAAG,IAAI,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAC1B,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,CAClF,CAAC;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;QAE9D,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,CAAC,CAAQ,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,CAAC,CAAe,EAAE,EAAE;YAChC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;iBACtC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;QAClD,CAAC,CAAC;QAEF,KAAK,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE,CAAC;YAC5C,yFAAyF;YACzF,IAAI,CAAC,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzC,QAAQ,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACd,QAAQ,IAAI,CAAC,CAAC;gBACd,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QAED,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,QAAQ;YACR,QAAQ;YACR,QAAQ;SACT,CAAC;IACJ,CAAC;CACF;AAED,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,CAAO;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACvD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACd,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,MAAM;YAAE,OAAO;IACjE,CAAC;AACH,CAAC"}

package/dist/policy.d.ts

@@ -0,0 +1,46 @@
+import { type CborValue } from "./cbor.js";
+import type { HView } from "./hview.js";
+import { type Pred } from "./pred.js";
+import type { Primitive } from "./types.js";
+export type View = Primitive | readonly View[] | {
+    readonly [key: string]: View;
+};
+export type MergeFn = "max" | "min" | "sum" | "count" | "and" | "or" | "concatSorted";
+export type Order = {
+    readonly kind: "byTimestamp";
+    readonly dir: "desc" | "asc";
+} | {
+    readonly kind: "byAuthorRank";
+    readonly authors: readonly string[];
+} | {
+    readonly kind: "byPred";
+    readonly pred: Pred;
+    readonly then: Order;
+} | {
+    readonly kind: "lexById";
+};
+export type PropPolicy = {
+    readonly kind: "pick";
+    readonly order: Order;
+} | {
+    readonly kind: "all";
+    readonly order: Order;
+} | {
+    readonly kind: "merge";
+    readonly fn: MergeFn;
+} | {
+    readonly kind: "conflicts";
+    readonly order: Order;
+} | {
+    readonly kind: "absentAs";
+    readonly constant: Primitive;
+    readonly then: PropPolicy;
+};
+export interface Policy {
+    readonly props: ReadonlyMap<string, PropPolicy>;
+    readonly default: PropPolicy;
+}
+export declare function viewToCbor(v: View): CborValue;
+export declare function viewCanonicalHex(v: View): string;
+export declare function resolveView(policy: Policy, hview: HView): View;
+//# sourceMappingURL=policy.d.ts.map

package/dist/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,SAAS,EAAyC,MAAM,WAAW,CAAC;AAElF,OAAO,KAAK,EAAW,KAAK,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAA+B,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAU,MAAM,YAAY,CAAC;AAEpD,MAAM,MAAM,IAAI,GAAG,SAAS,GAAG,SAAS,IAAI,EAAE,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAElF,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,GAAG,KAAK,GAAG,IAAI,GAAG,cAAc,CAAC;AAEtF,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,GAC9D;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEjC,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE3F,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAwED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAS7C;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAEhD;AA2FD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAU9D"}