@bjornpagen/bumbledb-log 0.20.0 → 0.20.2

package/dist/codec.js

@@ -0,0 +1,179 @@
+/**
+ * The command codec seat (20): one implementation reads and writes the
+ * batch wire — `crates/bumbledb-log`, reached through the sealed
+ * per-theory `LogCodec` handle the descriptor parse mints
+ * (`descriptor.codec`). This module is typed payload construction only:
+ * raw rows tag by the descriptor's layout on the way in, decoded rows
+ * cross exactly as the engine's `ValueOut` walk, and every grammar
+ * refusal carries the log core's own identity kind, minted through the
+ * bridge's `log-identities.json` table. The chain discipline
+ * (`verifyChain`) is pure slot algebra over decoded headers and stays
+ * host-side; no byte grammar lives here.
+ */
+import { internalLogDecodeBatch, internalLogEncodeBatch } from "@bjornpagen/bumbledb";
+import * as errors from "@superbuilders/errors";
+import { bytesEqual, digest32 } from "#bytes.ts";
+import { braidHex, descriptorOf } from "#descriptor.ts";
+import { refuse, refuseChain } from "#errors.ts";
+import { generation } from "#keys.ts";
+function braidIdOf(id) {
+    return Number.parseInt(id.slice(1), 16);
+}
+function asDigest(bytes, at) {
+    if (bytes.length !== 32) {
+        refuse({ kind: "DigestWidth" }, `${at} is not 32 bytes`);
+    }
+    return digest32(bytes);
+}
+/** A bridge refusal row surfaces as `ErrRefused` carrying the core's identity kind. */
+function refuseBridge(kind, message) {
+    refuse({ kind }, message);
+}
+/**
+ * Tags one raw cell by the field's declared layout — the bridge's
+ * inbound spelling. Only the JS shape is judged here (the tag must be
+ * constructible); range, width, and interval emptiness are the core's
+ * own `Value` refusal.
+ */
+function taggedCell(where, type, value) {
+    switch (type.kind) {
+        case "bool": {
+            if (typeof value !== "boolean") {
+                throw errors.new(`${where}: expected boolean`);
+            }
+            return { kind: "bool", value };
+        }
+        case "u64": {
+            if (typeof value !== "bigint") {
+                throw errors.new(`${where}: expected u64 bigint`);
+            }
+            return { kind: "u64", value };
+        }
+        case "i64": {
+            if (typeof value !== "bigint") {
+                throw errors.new(`${where}: expected i64 bigint`);
+            }
+            return { kind: "i64", value };
+        }
+        case "string": {
+            if (typeof value !== "string") {
+                throw errors.new(`${where}: expected well-formed string`);
+            }
+            if (!value.isWellFormed()) {
+                throw errors.new(`${where}: string cell is not well-formed UTF-8`);
+            }
+            return { kind: "string", value };
+        }
+        case "fixedBytes": {
+            if (!(value instanceof Uint8Array)) {
+                throw errors.new(`${where}: expected ${type.len}-byte Uint8Array`);
+            }
+            return { kind: "fixedBytes", value };
+        }
+        case "interval": {
+            if (typeof value !== "object" || value instanceof Uint8Array) {
+                throw errors.new(`${where}: expected interval value`);
+            }
+            return type.element === "u64"
+                ? { kind: "intervalU64", start: value.start, end: value.end }
+                : { kind: "intervalI64", start: value.start, end: value.end };
+        }
+    }
+}
+/**
+ * Ops to the bridge's spelling: relation names resolve through the
+ * descriptor's vocabulary (the core never sees a name), cells tag by
+ * the layout. A cell past the layout's width has no type to tag by and
+ * refuses `Arity` here; every other judgment is the core's.
+ */
+function opsIn(descriptor, ops) {
+    return ops.map(function opIn(op, opIndex) {
+        const relation = descriptor.relationByName.get(op.relation);
+        if (relation === undefined) {
+            throw errors.new(`op cites unknown relation ${op.relation}`);
+        }
+        const rows = op.rows.map(function rowIn(row, rowIndex) {
+            return row.map(function cellIn(value, ordinal) {
+                const field = relation.fields[ordinal];
+                if (field === undefined) {
+                    refuse({ kind: "Arity", op: opIndex, relation: relation.name, row: rowIndex }, `op ${opIndex} relation ${relation.name} row ${rowIndex} cell ${ordinal} is outside the ${relation.fields.length}-field layout`);
+                }
+                return taggedCell(`relation ${relation.name} field ${field.name}`, field.type, value);
+            });
+        });
+        return { kind: op.op, relation: relation.id, rows };
+    });
+}
+/**
+ * Encodes one batch through the sealed codec. The handle is the
+ * fingerprint authority: encode fills the wire's fingerprint from the
+ * sealed codec, so none rides the bridge (a short `prev` is
+ * `DigestWidth` at this gate). Braid membership, closedness, arity, and
+ * value validity are the core's refusals, crossing with their identity
+ * kinds.
+ */
+function encodeBatch(theory, header, ops) {
+    const descriptor = descriptorOf(theory);
+    const prev = asDigest(header.prev, "prev");
+    const outcome = internalLogEncodeBatch(descriptor.codec, {
+        braid: braidIdOf(header.braid),
+        braidGen: header.braidGen,
+        prev,
+        writer: header.writer,
+        timestamp: header.timestamp
+    }, opsIn(descriptor, ops));
+    if (!outcome.ok) {
+        refuseBridge(outcome.kind, outcome.message);
+    }
+    return outcome.value;
+}
+/** Full parse of a batch object by the one grammar; refusals cross typed, never partial reads. */
+function decodeBatch(theory, bytes) {
+    const descriptor = descriptorOf(theory);
+    const outcome = internalLogDecodeBatch(descriptor.codec, bytes);
+    if (!outcome.ok) {
+        refuseBridge(outcome.kind, outcome.message);
+    }
+    const batch = outcome.value;
+    const ops = batch.ops.map(function opOut(op) {
+        const relation = descriptor.relations[op.relation];
+        if (relation === undefined) {
+            throw errors.new(`decoded op cites relation ${op.relation} outside the descriptor`);
+        }
+        return { op: op.kind, relation: relation.name, rows: op.rows };
+    });
+    return {
+        header: {
+            // Decode already refused any batch whose fingerprint is not
+            // the handle's own, so the descriptor's is the batch's.
+            fingerprint: digest32(descriptor.fingerprintBytes),
+            braid: braidHex(batch.header.braid),
+            braidGen: generation(batch.header.braidGen),
+            prev: digest32(batch.header.prev),
+            writer: batch.header.writer,
+            timestamp: batch.header.timestamp
+        },
+        ops
+    };
+}
+/**
+ * The chain discipline (20 apply, step 1): one identity, three proved
+ * causes — the header's slot identity (braid and generation, both
+ * halves of the key the object was fetched from), its `prev` vs the
+ * chain head, its timestamp vs the head's. Corruption-class; the header
+ * names the misbehaving writer, and the refusal data names the fetched
+ * braid.
+ */
+function verifyChain(header, braid, slot, chain) {
+    if (header.braid !== braid || header.braidGen !== slot) {
+        refuseChain({ cause: "slot", braid, slot, writer: header.writer }, `braid ${braid}: header slot identity ${header.braid}/${header.braidGen} ≠ the fetched key's ${braid}/${slot}`);
+    }
+    if (!bytesEqual(header.prev, chain.prev)) {
+        refuseChain({ cause: "prev", braid, slot, writer: header.writer }, `braid ${braid} slot ${slot}: prev does not cite the predecessor`);
+    }
+    if (header.timestamp < chain.ts) {
+        refuseChain({ cause: "timestamp", braid, slot, writer: header.writer }, `braid ${braid} slot ${slot}: timestamp regresses below the predecessor`);
+    }
+}
+export { decodeBatch, encodeBatch, verifyChain };
+//# sourceMappingURL=codec.js.map

package/dist/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAUH,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AACrF,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAGhD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAEhD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAqCrC,SAAS,SAAS,CAAC,EAAS;IAC3B,OAAO,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAiB,EAAE,EAAU;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;AACvB,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,IAA6C,EAAE,OAAe;IACnF,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;AAC1B,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAAa,EAAE,IAAmB,EAAE,KAAgB;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAA;YAC/C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QAC/B,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAA;YAClD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;QAC9B,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAA;YAClD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;QAC9B,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,+BAA+B,CAAC,CAAA;YAC1D,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC3B,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,wCAAwC,CAAC,CAAA;YACnE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QACjC,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;gBACpC,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,cAAc,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAA;YACnE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAA;QACrC,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;gBAC9D,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,2BAA2B,CAAC,CAAA;YACtD,CAAC;YACD,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE;gBAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAA;QAC/D,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,SAAS,KAAK,CAAC,UAAsB,EAAE,GAAkB;IACxD,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,EAAE,EAAE,OAAO;QACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;QAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,6BAA6B,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,QAAQ;YACpD,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,OAAO;gBAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,CACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,EACtE,MAAM,OAAO,aAAa,QAAQ,CAAC,IAAI,QAAQ,QAAQ,SAAS,OAAO,mBAAmB,QAAQ,CAAC,MAAM,CAAC,MAAM,eAAe,CAC/H,CAAA;gBACF,CAAC;gBACD,OAAO,UAAU,CAAC,YAAY,QAAQ,CAAC,IAAI,UAAU,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACtF,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QACF,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,CAAA;IACpD,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,MAAc,EAAE,MAAoB,EAAE,GAAkB;IAC5E,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,sBAAsB,CACrC,UAAU,CAAC,KAAK,EAChB;QACC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS;KAC3B,EACD,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CACtB,CAAA;IACD,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QACjB,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5C,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAA;AACrB,CAAC;AAED,kGAAkG;AAClG,SAAS,WAAW,CAAC,MAAc,EAAE,KAAiB;IACrD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/D,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QACjB,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,EAAE;QAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;QAClD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,6BAA6B,EAAE,CAAC,QAAQ,yBAAyB,CAAC,CAAA;QACpF,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAA;IAC/D,CAAC,CAAC,CAAA;IACF,OAAO;QACN,MAAM,EAAE;YACP,4DAA4D;YAC5D,wDAAwD;YACxD,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC;YAClD,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;YACnC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC3C,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;YACjC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;YAC3B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;SACjC;QACD,GAAG;KACH,CAAA;AACF,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,MAAmB,EAAE,KAAY,EAAE,IAAgB,EAAE,KAAiB;IAC1F,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxD,WAAW,CACV,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EACrD,SAAS,KAAK,0BAA0B,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,wBAAwB,KAAK,IAAI,IAAI,EAAE,CAC9G,CAAA;IACF,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,WAAW,CACV,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EACrD,SAAS,KAAK,SAAS,IAAI,sCAAsC,CACjE,CAAA;IACF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC;QACjC,WAAW,CACV,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAC1D,SAAS,KAAK,SAAS,IAAI,6CAA6C,CACxE,CAAA;IACF,CAAC;AACF,CAAC;AAGD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,CAAA"}

package/dist/descriptor.d.ts

@@ -0,0 +1,61 @@
+/**
+ * The parsed protocol descriptor: one thin parse of the engine's sealed
+ * truth — relation ids, sealed field order, resolved closed rows,
+ * materialized statements, and the real fingerprint — plus the braid
+ * map and serial-at roster read off the log core's braids seat
+ * (`internalLogBraidsOf`): one derivation of the braid partition,
+ * projected here into the driver's branded shapes. Cached per theory
+ * value.
+ */
+import type { AnySchema, FactValue, LogCodecHandle, SchemaSpec, SealedStatement, ValueTypeSpec } from "@bjornpagen/bumbledb";
+interface FieldInfo {
+    readonly name: string;
+    readonly type: ValueTypeSpec;
+    readonly fresh: boolean;
+    /** Set when the field's newtype names a closed relation's id class. */
+    readonly closedRef: string | undefined;
+}
+interface RelationInfo {
+    readonly id: number;
+    readonly name: string;
+    readonly closed: boolean;
+    readonly handles: readonly string[];
+    /** Sealed order: a closed relation's synthetic u64 `id` at ordinal 0. */
+    readonly fields: readonly FieldInfo[];
+    /** Closed ground axioms in sealed order (id first), resolved values. */
+    readonly rows: ReadonlyArray<readonly FactValue[]>;
+}
+declare const braidBrand: unique symbol;
+type Braid = string & {
+    readonly [braidBrand]: typeof braidBrand;
+};
+declare function braid(raw: string): Braid;
+interface SerialStatement {
+    readonly statement: number;
+    readonly braid: Braid;
+}
+/** The braids seat names serial-at statements by id; the braid tag is a
+ *  projection join through the statement's own relation. */
+declare function serialAtFrom(ids: readonly number[], statements: readonly SealedStatement[], braidOfRelation: ReadonlyMap<number, Braid>): SerialStatement[];
+interface Descriptor {
+    readonly relations: readonly RelationInfo[];
+    readonly relationByName: ReadonlyMap<string, RelationInfo>;
+    readonly statements: readonly SealedStatement[];
+    /** Ordinary relation id → braid id (`c{smallest:08x}`). */
+    readonly braidOfRelation: ReadonlyMap<number, Braid>;
+    /** Braid id → member relation ids, ascending. */
+    readonly braidMembers: ReadonlyMap<Braid, readonly number[]>;
+    readonly serialAtStatements: readonly SerialStatement[];
+    /** The sealed per-theory codec handle — the grammar's one reader,
+     *  minted once and cached with the parse. */
+    readonly codec: LogCodecHandle;
+    readonly fingerprint: string;
+    readonly fingerprintBytes: Uint8Array;
+}
+/** The pure trio's input: the theory value, its lowered spec, or an already-parsed descriptor. */
+type Theory = AnySchema | SchemaSpec | Descriptor;
+declare function descriptorOf(theory: Theory): Descriptor;
+declare function braidHex(relationId: number): Braid;
+export type { Braid, Descriptor, FieldInfo, RelationInfo, SerialStatement, Theory };
+export { braid, braidHex, descriptorOf, serialAtFrom };
+//# sourceMappingURL=descriptor.d.ts.map

package/dist/descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../src/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACX,SAAS,EACT,SAAS,EACT,cAAc,EACd,UAAU,EAEV,eAAe,EACf,aAAa,EACb,MAAM,sBAAsB,CAAA;AAM7B,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAA;CACtC;AAED,UAAU,YAAY;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAA;IACrC,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,SAAS,EAAE,CAAC,CAAA;CAClD;AAED,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAA;AACvC,KAAK,KAAK,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,OAAO,UAAU,CAAA;CAAE,CAAA;AAIlE,iBAAS,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAKjC;AAMD,UAAU,eAAe;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED;4DAC4D;AAC5D,iBAAS,YAAY,CACpB,GAAG,EAAE,SAAS,MAAM,EAAE,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GACzC,eAAe,EAAE,CAoBnB;AAED,UAAU,UAAU;IACnB,QAAQ,CAAC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAC3C,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IAC1D,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAA;IAC/C,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,iDAAiD;IACjD,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;IAC5D,QAAQ,CAAC,kBAAkB,EAAE,SAAS,eAAe,EAAE,CAAA;IACvD;iDAC6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAA;CACrC;AAED,kGAAkG;AAClG,KAAK,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAA;AAYjD,iBAAS,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAahD;AAED,iBAAS,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,CAE3C;AAoGD,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,EAAE,CAAA;AACnF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,CAAA"}

package/dist/descriptor.js

@@ -0,0 +1,160 @@
+/**
+ * The parsed protocol descriptor: one thin parse of the engine's sealed
+ * truth — relation ids, sealed field order, resolved closed rows,
+ * materialized statements, and the real fingerprint — plus the braid
+ * map and serial-at roster read off the log core's braids seat
+ * (`internalLogBraidsOf`): one derivation of the braid partition,
+ * projected here into the driver's branded shapes. Cached per theory
+ * value.
+ */
+import { internalDescriptor, internalLogBraidsOf, internalLogCodec, lower } from "@bjornpagen/bumbledb";
+import * as errors from "@superbuilders/errors";
+import { regex } from "arkregex";
+import { fromHex } from "#bytes.ts";
+const BRAID_ID = regex("^c[0-9a-f]{8}$");
+function braid(raw) {
+    if (!BRAID_ID.test(raw)) {
+        throw errors.new(`not a braid id: ${raw}`);
+    }
+    return raw;
+}
+function refuseShape(why) {
+    throw errors.new(`theory: ${why}`);
+}
+/** The braids seat names serial-at statements by id; the braid tag is a
+ *  projection join through the statement's own relation. */
+function serialAtFrom(ids, statements, braidOfRelation) {
+    const statementById = new Map();
+    for (const statement of statements) {
+        statementById.set(statement.id, statement);
+    }
+    return ids.map(function joinBraid(id) {
+        const statement = statementById.get(id);
+        if (statement === undefined) {
+            refuseShape(`serial-at statement ${id} is not in the sealed statements`);
+        }
+        if (statement.kind === "containment") {
+            refuseShape(`serial-at statement ${id} is a containment`);
+        }
+        const relation = statement.kind === "functionality" ? statement.relation : statement.target.relation;
+        const braid = braidOfRelation.get(relation);
+        if (braid === undefined) {
+            refuseShape(`serial-at statement ${id} relation ${relation} is in no braid`);
+        }
+        return { statement: id, braid };
+    });
+}
+function isDescriptor(theory) {
+    return "braidMembers" in theory;
+}
+function isSpec(theory) {
+    return Array.isArray(theory.relations);
+}
+const cache = new WeakMap();
+function descriptorOf(theory) {
+    if (isDescriptor(theory)) {
+        return theory;
+    }
+    const hit = cache.get(theory);
+    if (hit !== undefined) {
+        return hit;
+    }
+    const spec = isSpec(theory) ? theory : lower(theory);
+    const parsed = spec === theory ? fromSealed(spec) : (cache.get(spec) ?? fromSealed(spec));
+    cache.set(theory, parsed);
+    cache.set(spec, parsed);
+    return parsed;
+}
+function braidHex(relationId) {
+    return braid(`c${relationId.toString(16).padStart(8, "0")}`);
+}
+function fromSealed(spec) {
+    const sealed = internalDescriptor(spec);
+    /** Handle newtype (`{name}.id`, off each closed relation's sealed id slot) → roster name. */
+    const ownerOfIdClass = new Map();
+    for (const relation of sealed.relations) {
+        if (relation.extension === undefined) {
+            continue;
+        }
+        const idSlot = relation.fields.find(function idOf(field) {
+            return field.name === "id";
+        });
+        const handleClass = idSlot?.newtype;
+        if (handleClass === undefined) {
+            refuseShape(`closed relation ${relation.name} has no handle class on its sealed id slot`);
+        }
+        ownerOfIdClass.set(handleClass, relation.name);
+    }
+    const relations = sealed.relations.map(function relationOf(relation) {
+        const fields = relation.fields.map(function fieldOf(field) {
+            return {
+                name: field.name,
+                type: field.valueType,
+                fresh: field.fresh,
+                closedRef: field.newtype === undefined ? undefined : ownerOfIdClass.get(field.newtype)
+            };
+        });
+        const extension = relation.extension ?? [];
+        const named = new Map(relation.fields.map(function indexOf(field) {
+            return [field.name, field];
+        }));
+        const rows = extension.map(function rowOf(row) {
+            const cells = new Map(row.values.map(function cellOf(cell) {
+                return [cell.name, cell.value];
+            }));
+            return relation.fields.map(function cellValue(field) {
+                const hit = cells.get(field.name);
+                if (hit !== undefined) {
+                    return hit;
+                }
+                if (field.name === "id" && named.has("id")) {
+                    return row.id;
+                }
+                return refuseShape(`closed relation ${relation.name}: sealed row ${row.handle} missing field ${field.name}`);
+            });
+        });
+        return {
+            id: relation.id,
+            name: relation.name,
+            closed: relation.extension !== undefined,
+            handles: extension.map(function handleOf(row) {
+                return row.handle;
+            }),
+            fields,
+            rows
+        };
+    });
+    const byName = new Map();
+    for (const relation of relations) {
+        if (byName.has(relation.name)) {
+            refuseShape(`duplicate relation ${relation.name}`);
+        }
+        byName.set(relation.name, relation);
+    }
+    const statements = sealed.statements;
+    const braids = internalLogBraidsOf(sealed);
+    const braidOfRelation = new Map();
+    const braidMembers = new Map();
+    for (const component of braids.components) {
+        const id = braidHex(component.braid);
+        braidMembers.set(id, component.relations);
+        for (const member of component.relations) {
+            braidOfRelation.set(member, id);
+        }
+    }
+    const serialAtStatements = serialAtFrom(braids.serialAt, statements, braidOfRelation);
+    const fingerprint = sealed.fingerprint;
+    return {
+        relations,
+        relationByName: byName,
+        statements,
+        braidOfRelation,
+        braidMembers,
+        serialAtStatements,
+        codec: internalLogCodec(sealed),
+        fingerprint,
+        fingerprintBytes: fromHex(fingerprint)
+    };
+}
+export { braid, braidHex, descriptorOf, serialAtFrom };
+//# sourceMappingURL=descriptor.js.map

package/dist/descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.js","sourceRoot":"","sources":["../src/descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAWH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AACvG,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAwBnC,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAA;AAExC,SAAS,KAAK,CAAC,GAAW;IACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,CAAC,GAAG,CAAC,mBAAmB,GAAG,EAAE,CAAC,CAAA;IAC3C,CAAC;IACD,OAAO,GAAY,CAAA;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC/B,MAAM,MAAM,CAAC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC,CAAA;AACnC,CAAC;AAOD;4DAC4D;AAC5D,SAAS,YAAY,CACpB,GAAsB,EACtB,UAAsC,EACtC,eAA2C;IAE3C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAA;IACxD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACpC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,EAAE;QACnC,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC7B,WAAW,CAAC,uBAAuB,EAAE,kCAAkC,CAAC,CAAA;QACzE,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACtC,WAAW,CAAC,uBAAuB,EAAE,mBAAmB,CAAC,CAAA;QAC1D,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAA;QACpG,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,uBAAuB,EAAE,aAAa,QAAQ,iBAAiB,CAAC,CAAA;QAC7E,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;IAChC,CAAC,CAAC,CAAA;AACH,CAAC;AAqBD,SAAS,YAAY,CAAC,MAAc;IACnC,OAAO,cAAc,IAAI,MAAM,CAAA;AAChC,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAE,MAAqB,CAAC,SAAS,CAAC,CAAA;AACvD,CAAC;AAED,MAAM,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAA;AAE/C,SAAS,YAAY,CAAC,MAAc;IACnC,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAA;IACd,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,GAAG,CAAA;IACX,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACpD,MAAM,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IACzF,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACzB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACvB,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IACnC,OAAO,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;AAC7D,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IACnC,MAAM,MAAM,GAAqB,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAEzD,6FAA6F;IAC7F,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAA;IAChD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACtC,SAAQ;QACT,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK;YACtD,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,CAAA;QAC3B,CAAC,CAAC,CAAA;QACF,MAAM,WAAW,GAAG,MAAM,EAAE,OAAO,CAAA;QACnC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,WAAW,CAAC,mBAAmB,QAAQ,CAAC,IAAI,4CAA4C,CAAC,CAAA;QAC1F,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC/C,CAAC;IAED,MAAM,SAAS,GAAmB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,UAAU,CAAC,QAAQ;QAClF,MAAM,MAAM,GAAgB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,KAAK;YACrE,OAAO;gBACN,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,SAAS;gBACrB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,SAAS,EAAE,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;aACtF,CAAA;QACF,CAAC,CAAC,CAAA;QACF,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,CACpB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,KAAK;YACzC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC3B,CAAC,CAAC,CACF,CAAA;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,GAAG;YAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,CACpB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,IAAI;gBAClC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC/B,CAAC,CAAC,CACF,CAAA;YACD,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,KAAK;gBAClD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,GAAG,CAAA;gBACX,CAAC;gBACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5C,OAAO,GAAG,CAAC,EAAE,CAAA;gBACd,CAAC;gBACD,OAAO,WAAW,CAAC,mBAAmB,QAAQ,CAAC,IAAI,gBAAgB,GAAG,CAAC,MAAM,kBAAkB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAC7G,CAAC,CAAC,CAAA;QACH,CAAC,CAAC,CAAA;QACF,OAAO;YACN,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,MAAM,EAAE,QAAQ,CAAC,SAAS,KAAK,SAAS;YACxC,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,GAAG;gBAC3C,OAAO,GAAG,CAAC,MAAM,CAAA;YAClB,CAAC,CAAC;YACF,MAAM;YACN,IAAI;SACJ,CAAA;IACF,CAAC,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC9C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,sBAAsB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACpC,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAA;IACpC,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAA;IAC1C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAiB,CAAA;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,EAA4B,CAAA;IACxD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACpC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,SAAS,CAAC,CAAA;QACzC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YAC1C,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QAChC,CAAC;IACF,CAAC;IACD,MAAM,kBAAkB,GAAG,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,CAAA;IAErF,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAA;IACtC,OAAO;QACN,SAAS;QACT,cAAc,EAAE,MAAM;QACtB,UAAU;QACV,eAAe;QACf,YAAY;QACZ,kBAAkB;QAClB,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC;QAC/B,WAAW;QACX,gBAAgB,EAAE,OAAO,CAAC,WAAW,CAAC;KACtC,CAAA;AACF,CAAC;AAGD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,CAAA"}

package/dist/errors.d.ts

@@ -0,0 +1,202 @@
+/**
+ * The driver's error identities, on the SDK's `@superbuilders/errors`
+ * idiom: exported sentinel values checked with `errors.is`, structured
+ * causes carried as data properties read back with the `*Of` accessors —
+ * never by message-string matching. There is deliberately no
+ * `ErrAlreadyApplied`: the state it would name is absorbed by idempotent
+ * replay (L10) and never surfaces. ManifestMissing, OverWidth,
+ * RefillNeeded, Exhausted, and SlotRetired are named sums of their own: a
+ * replica without a manifest, a draw past the lease width, a cached id
+ * block too short for the draw, the u64 ceiling, and a below-floor
+ * create. Exhaustion means the id space is spent — a refill is never an
+ * exhaustion. An unproved conditional write is the store verbs' own
+ * `ambiguous` outcome arm, never an error identity.
+ */
+import type { Braid } from "./descriptor.js";
+import type { Generation, StoreKey } from "./keys.js";
+/**
+ * Typed refusal of a protocol object before any apply: batch shape,
+ * version, fingerprint, manifest shape, checkpoint braid-set drift —
+ * one identity, cause data per site.
+ */
+declare const ErrRefused: Error;
+/** `commit` recorded ops in more than one braid; `commitSplit` is the verb. */
+declare const ErrSpanningCommit: Error;
+/** A rejected replay on a store that passed the wholeness check. */
+declare const ErrReplayDiverged: Error;
+/** The chain discipline, one identity with three proved causes. */
+declare const ErrChainMismatch: Error;
+/** Bounded live-tip losses exhausted — an operational signal, not an outcome arm. */
+declare const ErrContention: Error;
+/** A replica (or any read-role handle) found no manifest; only the writer births a store. */
+export declare const ErrManifestMissing: Error;
+/** A single id draw larger than one lease width; the width is the one block size. */
+declare const ErrOverWidth: Error;
+/**
+ * The cached id block is too short for the draw — the writer's signal
+ * to lease a fresh block. A refill is not an exhaustion: the id space
+ * still has room; only the cache is short.
+ */
+declare const ErrRefillNeeded: Error;
+/** The next lease would leave u64 — the id space is spent. */
+declare const ErrExhausted: Error;
+/** A put_create at a slot below the published checkpoint vector. */
+declare const ErrSlotRetired: Error;
+/** The vendor channel: I/O and store infrastructure failures. */
+declare const ErrStore: Error;
+/**
+ * The typed causes behind `ErrRefused`, one arm per identity. Every
+ * `kind` is either a row of the generated identity table
+ * (`crates/bumbledb-log/conformance/v3/identities.json`, spelled by the
+ * core's one speller per family) or one of the three host-side kinds at
+ * the tail, which cross no bridge. The boundary carries
+ * `{ kind, message }` only, so a bridge-minted cause is the bare kind —
+ * the detail rides the message — and a payload field exists only where
+ * the minting seat owns the datum: a held document's version byte
+ * (`version`, byte 0 of every v:3 document) and length (`at`), the
+ * codec seat's own arity coordinates, the manifest audit's
+ * fingerprints, the counter object's key. The raw id of an
+ * `UnknownBraid` rides the message.
+ */
+type RefusalCause = {
+    readonly kind: "Truncated";
+} | {
+    readonly kind: "BadMagic";
+} | {
+    readonly kind: "Version";
+    readonly version?: number;
+} | {
+    readonly kind: "Flags";
+} | {
+    readonly kind: "FingerprintMismatch";
+    readonly carried?: string;
+    readonly expected?: string;
+} | {
+    readonly kind: "UnknownBraid";
+} | {
+    readonly kind: "UnknownOpKind";
+} | {
+    readonly kind: "UnknownRelation";
+} | {
+    readonly kind: "ClosedRelation";
+} | {
+    readonly kind: "OpRelationOutsideBraid";
+} | {
+    readonly kind: "TagMismatch";
+} | {
+    readonly kind: "BoolByte";
+} | {
+    readonly kind: "InvalidUtf8";
+} | {
+    readonly kind: "EmptyInterval";
+} | {
+    readonly kind: "IntervalOverflow";
+} | {
+    readonly kind: "TrailingBytes";
+} | {
+    readonly kind: "Arity";
+    readonly op?: number;
+    readonly relation?: string;
+    readonly row?: number;
+} | {
+    readonly kind: "Value";
+} | {
+    readonly kind: "TooManyOps";
+} | {
+    readonly kind: "TooManyRows";
+} | {
+    readonly kind: "Malformed";
+    readonly at: number;
+} | {
+    readonly kind: "Overflow";
+} | {
+    readonly kind: "BraidSet";
+} | {
+    readonly kind: "Counter";
+    readonly key: StoreKey;
+} | {
+    readonly kind: "DigestWidth";
+} | {
+    readonly kind: "CheckpointDigest";
+    readonly expected: string;
+    readonly computed: string;
+} | {
+    readonly kind: "NoOpSlot";
+    readonly braid: Braid;
+    readonly slot: Generation;
+    readonly writer: bigint;
+};
+type ChainCause = "prev" | "slot" | "timestamp";
+interface ChainMismatchData {
+    readonly cause: ChainCause;
+    readonly braid: Braid;
+    readonly slot: Generation;
+    readonly writer: bigint;
+}
+type ContentionCause = {
+    readonly kind: "hot-key";
+    readonly statement: string;
+    readonly determinants: ReadonlyArray<Readonly<Record<string, unknown>>>;
+} | {
+    readonly kind: "slot-race";
+    readonly tip: Generation;
+};
+interface ContentionData {
+    readonly braid: Braid;
+    readonly cause: ContentionCause;
+}
+interface OverWidthData {
+    readonly requested: bigint;
+}
+interface RefillNeededData {
+    readonly relation: number;
+    readonly field: number;
+    readonly requested: bigint;
+}
+interface ExhaustedData {
+    readonly relation: number;
+    readonly field: number;
+}
+interface SlotRetiredData {
+    readonly braid: Braid;
+    readonly slot: Generation;
+}
+/** The id-lease algebra's refusal sum — the identity table's `counter`
+ *  family, arm for arm: Counter | Exhausted | OverWidth. `Counter`
+ *  carries the counter object's key, the datum this driver's parse gate
+ *  owns (the core's twin carries relation and field). A cache refill is
+ *  no arm: the shared algebra has none. */
+type LeaseRefusal = {
+    readonly kind: "Counter";
+    readonly key: StoreKey;
+} | {
+    readonly kind: "Exhausted";
+    readonly relation: number;
+    readonly field: number;
+} | {
+    readonly kind: "OverWidth";
+    readonly requested: bigint;
+};
+declare function refuse(cause: RefusalCause, detail: string): never;
+declare function refuseChain(data: ChainMismatchData, detail: string): never;
+declare function throwContention(data: ContentionData, detail: string): never;
+declare function refuseManifestMissing(detail: string): never;
+declare function isManifestMissing(error: unknown): boolean;
+declare function refuseOverWidth(data: OverWidthData, detail: string): never;
+declare function throwRefillNeeded(data: RefillNeededData, detail: string): never;
+declare function refuseExhausted(data: ExhaustedData, detail: string): never;
+declare function refuseSlotRetired(data: SlotRetiredData, detail: string): never;
+declare function refusalOf(error: Error): RefusalCause | undefined;
+declare function chainMismatchOf(error: Error): ChainMismatchData | undefined;
+declare function contentionOf(error: Error): ContentionData | undefined;
+declare function overWidthOf(error: Error): OverWidthData | undefined;
+declare function refillNeededOf(error: Error): RefillNeededData | undefined;
+declare function exhaustedOf(error: Error): ExhaustedData | undefined;
+declare function slotRetiredOf(error: Error): SlotRetiredData | undefined;
+/** Every store failure wraps the exported sentinel itself, so
+ *  `errors.is(e, ErrStore)` matches by identity; the vendor error's
+ *  message rides the detail verbatim. */
+declare function wrapStore(inner: Error, detail: string): Error;
+export type { ChainCause, ChainMismatchData, ContentionCause, ContentionData, ExhaustedData, LeaseRefusal, OverWidthData, RefillNeededData, RefusalCause, SlotRetiredData };
+export { chainMismatchOf, contentionOf, ErrChainMismatch, ErrContention, ErrExhausted, ErrOverWidth, ErrRefillNeeded, ErrRefused, ErrReplayDiverged, ErrSlotRetired, ErrSpanningCommit, ErrStore, exhaustedOf, isManifestMissing, overWidthOf, refillNeededOf, refusalOf, refuse, refuseChain, refuseExhausted, refuseManifestMissing, refuseOverWidth, refuseSlotRetired, slotRetiredOf, throwContention, throwRefillNeeded, wrapStore };
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAEpD;;;;GAIG;AACH,QAAA,MAAM,UAAU,OAAqC,CAAA;AAErD,+EAA+E;AAC/E,QAAA,MAAM,iBAAiB,OAEtB,CAAA;AAED,oEAAoE;AACpE,QAAA,MAAM,iBAAiB,OAEtB,CAAA;AAED,mEAAmE;AACnE,QAAA,MAAM,gBAAgB,OAA4F,CAAA;AAElH,qFAAqF;AACrF,QAAA,MAAM,aAAa,OAAyF,CAAA;AAE5G,6FAA6F;AAC7F,eAAO,MAAM,kBAAkB,OAAwE,CAAA;AAEvG,qFAAqF;AACrF,QAAA,MAAM,YAAY,OAAyE,CAAA;AAE3F;;;;GAIG;AACH,QAAA,MAAM,eAAe,OAAqF,CAAA;AAE1G,8DAA8D;AAC9D,QAAA,MAAM,YAAY,OAA8D,CAAA;AAEhF,oEAAoE;AACpE,QAAA,MAAM,cAAc,OAA8D,CAAA;AAElF,iEAAiE;AACjE,QAAA,MAAM,QAAQ,OAA2C,CAAA;AAEzD;;;;;;;;;;;;;GAaG;AACH,KAAK,YAAY,GAMd;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,GACpC;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GACnC;IAAE,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,GACnG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,GAIhC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAI7B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAMpD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC3F;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3G,KAAK,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAA;AAE/C,UAAU,iBAAiB;IAC1B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAED,KAAK,eAAe,GACjB;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACtE,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;CAAE,CAAA;AAE3D,UAAU,cAAc;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAC/B;AAED,UAAU,aAAa;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED,UAAU,gBAAgB;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED,UAAU,aAAa;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB;AAED,UAAU,eAAe;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CACzB;AAED;;;;2CAI2C;AAC3C,KAAK,YAAY,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAA;AAU7D,iBAAS,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAI1D;AAED,iBAAS,WAAW,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAInE;AAED,iBAAS,eAAe,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAIpE;AAED,iBAAS,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAEpD;AAED,iBAAS,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAElD;AAED,iBAAS,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAInE;AAED,iBAAS,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAIxE;AAED,iBAAS,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAInE;AAED,iBAAS,iBAAiB,CAAC,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAIvE;AAED,iBAAS,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY,GAAG,SAAS,CAEzD;AAED,iBAAS,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,iBAAiB,GAAG,SAAS,CAEpE;AAED,iBAAS,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,cAAc,GAAG,SAAS,CAE9D;AAED,iBAAS,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,GAAG,SAAS,CAE5D;AAED,iBAAS,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,gBAAgB,GAAG,SAAS,CAElE;AAED,iBAAS,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,GAAG,SAAS,CAE5D;AAED,iBAAS,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,eAAe,GAAG,SAAS,CAEhE;AAED;;yCAEyC;AACzC,iBAAS,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAEtD;AAED,YAAY,EACX,UAAU,EACV,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,aAAa,EACb,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,CAAA;AACD,OAAO,EACN,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,UAAU,EACV,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,cAAc,EACd,SAAS,EACT,MAAM,EACN,WAAW,EACX,eAAe,EACf,qBAAqB,EACrB,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,CAAA"}