@bjornpagen/bumbledb-log 0.20.2 → 1.0.0

package/dist/bytes.d.ts

@@ -1,26 +0,0 @@
-/**
- * Byte primitives beside the one grammar: the hex spelling every
- * document digest walks (32 bytes, 64 lowercase hex characters), the
- * `Digest32` brand, byte equality, and the u64 arithmetic the vector
- * and lease algebras share. The wire's own cursors live in
- * `crates/bumbledb-log`; nothing here reads or writes protocol bytes.
- */
-declare const U64_MAX = 18446744073709551615n;
-declare const utf8Encoder: import("node:util").TextEncoder;
-/** Fatal UTF-8. ignoreBOM is true: a leading U+FEFF is a character, not a stripped BOM. */
-declare const utf8StrictDecoder: import("node:util").TextDecoder;
-declare const digest32Brand: unique symbol;
-type Digest32 = Uint8Array & {
-    readonly [digest32Brand]: typeof digest32Brand;
-};
-declare function bytesEqual(a: Uint8Array, b: Uint8Array): boolean;
-declare function toHex(bytes: Uint8Array): string;
-declare function fromHex(hex: string): Uint8Array;
-declare function digest32(bytes: Uint8Array): Digest32;
-declare function digest32FromHex(hex: string): Digest32;
-declare function hex32(bytes: Digest32): string;
-declare function saturatingAddU64(a: bigint, b: bigint): bigint;
-declare function checkedAddU64(a: bigint, b: bigint): bigint | undefined;
-export type { Digest32 };
-export { bytesEqual, checkedAddU64, digest32, digest32FromHex, fromHex, hex32, saturatingAddU64, toHex, U64_MAX, utf8Encoder, utf8StrictDecoder };
-//# sourceMappingURL=bytes.d.ts.map

package/dist/bytes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bytes.d.ts","sourceRoot":"","sources":["../src/bytes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,QAAA,MAAM,OAAO,wBAAsB,CAAA;AAEnC,QAAA,MAAM,WAAW,iCAAoB,CAAA;AACrC,2FAA2F;AAC3F,QAAA,MAAM,iBAAiB,iCAA6D,CAAA;AAEpF,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAC1C,KAAK,QAAQ,GAAG,UAAU,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,aAAa,CAAA;CAAE,CAAA;AAE/E,iBAAS,UAAU,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAUzD;AAcD,iBAAS,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAOxC;AAED,iBAAS,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAoBxC;AAED,iBAAS,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAO7C;AAED,iBAAS,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAE9C;AAED,iBAAS,KAAK,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAEtC;AAED,iBAAS,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAGtD;AAED,iBAAS,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAG/D;AAED,YAAY,EAAE,QAAQ,EAAE,CAAA;AACxB,OAAO,EACN,UAAU,EACV,aAAa,EACb,QAAQ,EACR,eAAe,EACf,OAAO,EACP,KAAK,EACL,gBAAgB,EAChB,KAAK,EACL,OAAO,EACP,WAAW,EACX,iBAAiB,EACjB,CAAA"}

package/dist/bytes.js

@@ -1,86 +0,0 @@
-/**
- * Byte primitives beside the one grammar: the hex spelling every
- * document digest walks (32 bytes, 64 lowercase hex characters), the
- * `Digest32` brand, byte equality, and the u64 arithmetic the vector
- * and lease algebras share. The wire's own cursors live in
- * `crates/bumbledb-log`; nothing here reads or writes protocol bytes.
- */
-import * as errors from "@superbuilders/errors";
-const U64_MAX = 0xffffffffffffffffn;
-const utf8Encoder = new TextEncoder();
-/** Fatal UTF-8. ignoreBOM is true: a leading U+FEFF is a character, not a stripped BOM. */
-const utf8StrictDecoder = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
-function bytesEqual(a, b) {
-    if (a.length !== b.length) {
-        return false;
-    }
-    for (let i = 0; i < a.length; i++) {
-        if (a[i] !== b[i]) {
-            return false;
-        }
-    }
-    return true;
-}
-const HEX_DIGITS = "0123456789abcdef";
-function hexNibble(byte) {
-    if (byte >= 0x30 && byte <= 0x39) {
-        return byte - 0x30;
-    }
-    if (byte >= 0x61 && byte <= 0x66) {
-        return byte - 0x61 + 10;
-    }
-    return undefined;
-}
-function toHex(bytes) {
-    let out = "";
-    for (const byte of bytes) {
-        out += HEX_DIGITS[byte >>> 4];
-        out += HEX_DIGITS[byte & 0xf];
-    }
-    return out;
-}
-function fromHex(hex) {
-    const raw = utf8Encoder.encode(hex);
-    if (raw.length % 2 !== 0) {
-        throw errors.new(`not lowercase hex: ${hex}`);
-    }
-    const out = new Uint8Array(raw.length / 2);
-    for (let i = 0, j = 0; i < raw.length; i += 2, j++) {
-        const hiByte = raw[i];
-        const loByte = raw[i + 1];
-        if (hiByte === undefined || loByte === undefined) {
-            throw errors.new(`not lowercase hex: ${hex}`);
-        }
-        const hi = hexNibble(hiByte);
-        const lo = hexNibble(loByte);
-        if (hi === undefined || lo === undefined) {
-            throw errors.new(`not lowercase hex: ${hex}`);
-        }
-        out[j] = (hi << 4) | lo;
-    }
-    return out;
-}
-function digest32(bytes) {
-    if (bytes.length !== 32) {
-        throw errors.new(`digest is not 32 bytes: ${bytes.length}`);
-    }
-    const out = new Uint8Array(32);
-    out.set(bytes);
-    return out;
-}
-function digest32FromHex(hex) {
-    return digest32(fromHex(hex));
-}
-function hex32(bytes) {
-    return toHex(bytes);
-}
-function saturatingAddU64(a, b) {
-    const sum = a + b;
-    return sum > U64_MAX ? U64_MAX : sum;
-}
-function checkedAddU64(a, b) {
-    const sum = a + b;
-    return sum > U64_MAX ? undefined : sum;
-}
-export { bytesEqual, checkedAddU64, digest32, digest32FromHex, fromHex, hex32, saturatingAddU64, toHex, U64_MAX, utf8Encoder, utf8StrictDecoder };
-//# sourceMappingURL=bytes.js.map

package/dist/bytes.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"bytes.js","sourceRoot":"","sources":["../src/bytes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAA;AACrC,2FAA2F;AAC3F,MAAM,iBAAiB,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;AAKpF,SAAS,UAAU,CAAC,CAAa,EAAE,CAAa;IAC/C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAA;IACb,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,GAAG,kBAAkB,CAAA;AAErC,SAAS,SAAS,CAAC,IAAY;IAC9B,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QAClC,OAAO,IAAI,GAAG,IAAI,CAAA;IACnB,CAAC;IACD,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QAClC,OAAO,IAAI,GAAG,IAAI,GAAG,EAAE,CAAA;IACxB,CAAC;IACD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED,SAAS,KAAK,CAAC,KAAiB;IAC/B,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,GAAG,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,CAAA;QAC7B,GAAG,IAAI,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,OAAO,CAAC,GAAW;IAC3B,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACnC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,CAAC,GAAG,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACrB,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACzB,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,MAAM,CAAC,GAAG,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;QAC5B,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;QAC5B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,MAAM,CAAC,GAAG,CAAC,sBAAsB,GAAG,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAA;IACxB,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,KAAiB;IAClC,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACzB,MAAM,MAAM,CAAC,GAAG,CAAC,2BAA2B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAA;IAC9B,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACd,OAAO,GAAe,CAAA;AACvB,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IACnC,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,KAAK,CAAC,KAAe;IAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,CAAA;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAS,EAAE,CAAS;IAC7C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;IACjB,OAAO,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAA;AACrC,CAAC;AAED,SAAS,aAAa,CAAC,CAAS,EAAE,CAAS;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;IACjB,OAAO,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA;AACvC,CAAC;AAGD,OAAO,EACN,UAAU,EACV,aAAa,EACb,QAAQ,EACR,eAAe,EACf,OAAO,EACP,KAAK,EACL,gBAAgB,EAChB,KAAK,EACL,OAAO,EACP,WAAW,EACX,iBAAiB,EACjB,CAAA"}

package/dist/chain.d.ts

@@ -1,56 +0,0 @@
-/**
- * The chain sidecar in `dir/chain`: a floor cache of chain position,
- * written atomically (temp + rename, fsync). The chain is Settled or
- * Pending — generation is the vector sum, plus one exactly when the
- * value is Pending. The byte grammar has one implementation —
- * `crates/bumbledb-log` behind the napi bridge — so parse and render
- * are marshal walks over the sealed codec handle; the file IO half
- * lives here. The content address is blake3 of the rendered bytes.
- */
-import type { LogCodecHandle } from "@bjornpagen/bumbledb";
-import type { Digest32 } from "./bytes.js";
-import type { Braid } from "./descriptor.js";
-import type { Generation } from "./keys.js";
-/** The sidecar's file name inside a replica directory. */
-declare const CHAIN_FILE = "chain";
-/** One braid's chain coordinate: the applied count, the applied
- *  batch's content address, its timestamp. */
-interface ChainEntry {
-    readonly g: Generation;
-    readonly prev: Digest32;
-    readonly ts: bigint;
-}
-interface Pending {
-    readonly braid: Braid;
-    readonly slot: Generation;
-    readonly bytes: Uint8Array;
-}
-type Chain = {
-    readonly tag: "settled";
-    readonly entries: ReadonlyMap<Braid, ChainEntry>;
-} | {
-    readonly tag: "pending";
-    readonly entries: ReadonlyMap<Braid, ChainEntry>;
-    readonly batch: Pending;
-};
-type SidecarRead = {
-    readonly tag: "absent";
-} | {
-    readonly tag: "fault";
-    readonly io: Error;
-} | {
-    readonly tag: "corrupt";
-    readonly parse: Error;
-} | {
-    readonly tag: "read";
-    readonly chain: Chain;
-};
-declare function chainSum(chain: Chain): bigint;
-declare function chainGeneration(chain: Chain): bigint;
-declare function renderSidecar(codec: LogCodecHandle, chain: Chain): Uint8Array;
-declare function parseSidecar(codec: LogCodecHandle, bytes: Uint8Array): Chain;
-declare function readSidecar(codec: LogCodecHandle, file: string): Promise<SidecarRead>;
-declare function writeSidecar(codec: LogCodecHandle, file: string, chain: Chain): Promise<void>;
-export type { Chain, ChainEntry, Pending };
-export { CHAIN_FILE, chainGeneration, chainSum, parseSidecar, readSidecar, renderSidecar, writeSidecar };
-//# sourceMappingURL=chain.d.ts.map

package/dist/chain.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"chain.d.ts","sourceRoot":"","sources":["../src/chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,KAAK,EAAY,cAAc,EAAkB,MAAM,sBAAsB,CAAA;AAGpF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEzC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAG3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAI1C,0DAA0D;AAC1D,QAAA,MAAM,UAAU,UAAU,CAAA;AAE1B;8CAC8C;AAC9C,UAAU,UAAU;IACnB,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACnB;AAED,UAAU,OAAO;IAChB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAC1B;AAED,KAAK,KAAK,GACP;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAA;AAEzG,KAAK,WAAW,GACb;IAAE,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAA;AAkBlD,iBAAS,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAGtC;AAED,iBAAS,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAG7C;AAuBD,iBAAS,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAgBtE;AAED,iBAAS,YAAY,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,GAAG,KAAK,CAkBrE;AAED,iBAAe,WAAW,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAepF;AAED,iBAAe,YAAY,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAuB5F;AAED,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAA;AAC1C,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,CAAA"}

package/dist/chain.js

@@ -1,137 +0,0 @@
-/**
- * The chain sidecar in `dir/chain`: a floor cache of chain position,
- * written atomically (temp + rename, fsync). The chain is Settled or
- * Pending — generation is the vector sum, plus one exactly when the
- * value is Pending. The byte grammar has one implementation —
- * `crates/bumbledb-log` behind the napi bridge — so parse and render
- * are marshal walks over the sealed codec handle; the file IO half
- * lives here. The content address is blake3 of the rendered bytes.
- */
-import * as crypto from "node:crypto";
-import * as fs from "node:fs/promises";
-import * as path from "node:path";
-import { internalLogParseSidecar, internalLogRenderSidecar } from "@bjornpagen/bumbledb";
-import * as errors from "@superbuilders/errors";
-import { digest32, saturatingAddU64, U64_MAX } from "#bytes.ts";
-import { braidHex } from "#descriptor.ts";
-import { refuse } from "#errors.ts";
-import { generation } from "#keys.ts";
-import { Vector } from "#vector.ts";
-/** The sidecar's file name inside a replica directory. */
-const CHAIN_FILE = "chain";
-function codeOf(error) {
-    return error.code;
-}
-function braidIdOf(id) {
-    return Number.parseInt(id.slice(1), 16);
-}
-function vectorOf(entries) {
-    const counts = new Map();
-    for (const [braid, entry] of entries) {
-        counts.set(braid, entry.g);
-    }
-    return Vector.from(counts);
-}
-function chainSum(chain) {
-    const sum = vectorOf(chain.entries).sum();
-    return typeof sum === "bigint" ? sum : U64_MAX;
-}
-function chainGeneration(chain) {
-    const sum = chainSum(chain);
-    return chain.tag === "settled" ? sum : saturatingAddU64(sum, 1n);
-}
-/**
- * Remints a bridge refusal row as the driver's typed refusal. The
- * boundary carries `{ kind, message }` only: the kind is the log
- * core's own identity string, so the cause payload holds the data this
- * side owns — the document's length, its version byte (byte 0 of every
- * v:3 document). The raw braid id of an `UnknownBraid` rides the
- * message.
- */
-function refuseBridged(kind, message, bytes) {
-    switch (kind) {
-        case "Version":
-            return refuse({ kind: "Version", version: bytes[0] ?? 0 }, message);
-        case "Overflow":
-            return refuse({ kind: "Overflow" }, message);
-        case "UnknownBraid":
-            return refuse({ kind: "UnknownBraid" }, message);
-        case "Malformed":
-            return refuse({ kind: "Malformed", at: bytes.length }, message);
-    }
-}
-function renderSidecar(codec, chain) {
-    const entries = [...chain.entries.entries()]
-        .sort(function ascending(a, b) {
-        return braidIdOf(a[0]) - braidIdOf(b[0]);
-    })
-        .map(function entryOf([id, entry]) {
-        return { braid: braidIdOf(id), g: entry.g, prev: entry.prev, ts: entry.ts };
-    });
-    const doc = chain.tag === "settled"
-        ? { entries }
-        : {
-            entries,
-            pending: { braid: braidIdOf(chain.batch.braid), slot: chain.batch.slot, bytes: chain.batch.bytes }
-        };
-    return internalLogRenderSidecar(codec, doc);
-}
-function parseSidecar(codec, bytes) {
-    const parsed = internalLogParseSidecar(codec, bytes);
-    if (!parsed.ok) {
-        refuseBridged(parsed.kind, parsed.message, bytes);
-    }
-    const entries = new Map();
-    for (const entry of parsed.value.entries) {
-        entries.set(braidHex(entry.braid), { g: generation(entry.g), prev: digest32(entry.prev), ts: entry.ts });
-    }
-    const pending = parsed.value.pending;
-    if (pending === undefined) {
-        return { tag: "settled", entries };
-    }
-    return {
-        tag: "pending",
-        entries,
-        batch: { braid: braidHex(pending.braid), slot: generation(pending.slot), bytes: pending.bytes }
-    };
-}
-async function readSidecar(codec, file) {
-    const read = await errors.try(fs.readFile(file));
-    if (read.error) {
-        if (codeOf(read.error) === "ENOENT") {
-            return { tag: "absent" };
-        }
-        return { tag: "fault", io: read.error };
-    }
-    const parsed = errors.trySync(function parse() {
-        return parseSidecar(codec, read.data);
-    });
-    if (parsed.error) {
-        return { tag: "corrupt", parse: parsed.error };
-    }
-    return { tag: "read", chain: parsed.data };
-}
-async function writeSidecar(codec, file, chain) {
-    const dir = path.dirname(file);
-    await fs.mkdir(dir, { recursive: true });
-    const temp = path.join(dir, `.chain-${process.pid}-${crypto.randomBytes(4).toString("hex")}`);
-    const handle = await fs.open(temp, "wx");
-    const written = await errors.try((async function writeAll() {
-        await handle.writeFile(renderSidecar(codec, chain));
-        await handle.sync();
-    })());
-    await handle.close();
-    if (written.error) {
-        await fs.rm(temp, { force: true });
-        throw errors.wrap(written.error, `write sidecar ${file}`);
-    }
-    await fs.rename(temp, file);
-    const dirHandle = await fs.open(dir, "r");
-    const synced = await errors.try(dirHandle.sync());
-    await dirHandle.close();
-    if (synced.error) {
-        throw errors.wrap(synced.error, `fsync sidecar directory ${dir}`);
-    }
-}
-export { CHAIN_FILE, chainGeneration, chainSum, parseSidecar, readSidecar, renderSidecar, writeSidecar };
-//# sourceMappingURL=chain.js.map

package/dist/chain.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"chain.js","sourceRoot":"","sources":["../src/chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACtC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AACxF,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE/D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAEnC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAEnC,0DAA0D;AAC1D,MAAM,UAAU,GAAG,OAAO,CAAA;AA0B1B,SAAS,MAAM,CAAC,KAAY;IAC3B,OAAQ,KAA+B,CAAC,IAAI,CAAA;AAC7C,CAAC;AAED,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,OAAmD;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAA;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC3B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAA;IACzC,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAA;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,KAAY;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC3B,OAAO,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;AACjE,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,aAAa,CAAC,IAAoB,EAAE,OAAe,EAAE,KAAiB;IAC9E,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,SAAS;YACb,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;QACpE,KAAK,UAAU;YACd,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAA;QAC7C,KAAK,cAAc;YAClB,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,OAAO,CAAC,CAAA;QACjD,KAAK,WAAW;YACf,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,CAAA;IACjE,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,KAAqB,EAAE,KAAY;IACzD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;SAC1C,IAAI,CAAC,SAAS,SAAS,CAAC,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,CAAC,CAAC;SACD,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC;QAChC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAA;IAC5E,CAAC,CAAC,CAAA;IACH,MAAM,GAAG,GACR,KAAK,CAAC,GAAG,KAAK,SAAS;QACtB,CAAC,CAAC,EAAE,OAAO,EAAE;QACb,CAAC,CAAC;YACA,OAAO;YACP,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;SAClG,CAAA;IACJ,OAAO,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAC5C,CAAC;AAED,SAAS,YAAY,CAAC,KAAqB,EAAE,KAAiB;IAC7D,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACpD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAChB,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IACzG,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAA;IACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;IACnC,CAAC;IACD,OAAO;QACN,GAAG,EAAE,SAAS;QACd,OAAO;QACP,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;KAC/F,CAAA;AACF,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,KAAqB,EAAE,IAAY;IAC7D,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;IAChD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;QACzB,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;IACxC,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK;QAC3C,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;IACtC,CAAC,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAA;IAC/C,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAA;AAC3C,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAqB,EAAE,IAAY,EAAE,KAAY;IAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7F,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,GAAG,CAC/B,CAAC,KAAK,UAAU,QAAQ;QACvB,MAAM,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QACnD,MAAM,MAAM,CAAC,IAAI,EAAE,CAAA;IACpB,CAAC,CAAC,EAAE,CACJ,CAAA;IACD,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACpB,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QAClC,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC,CAAA;IAC1D,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAC3B,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAA;IACjD,MAAM,SAAS,CAAC,KAAK,EAAE,CAAA;IACvB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,2BAA2B,GAAG,EAAE,CAAC,CAAA;IAClE,CAAC;AACF,CAAC;AAGD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,CAAA"}

package/dist/codec.d.ts

@@ -1,71 +0,0 @@
-/**
- * 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 type { FactValue } from "@bjornpagen/bumbledb";
-import type { Digest32 } from "./bytes.js";
-import type { ChainEntry } from "./chain.js";
-import type { Braid, Theory } from "./descriptor.js";
-import type { Generation } from "./keys.js";
-interface Op {
-    readonly op: "insert" | "delete";
-    readonly relation: string;
-    readonly rows: ReadonlyArray<readonly FactValue[]>;
-}
-interface BatchHeader {
-    readonly fingerprint: Digest32;
-    readonly braid: Braid;
-    readonly braidGen: Generation;
-    readonly prev: Digest32;
-    readonly writer: bigint;
-    readonly timestamp: bigint;
-}
-/**
- * Encode input. The handle is the fingerprint authority, so no
- * fingerprint field exists here — encode fills the wire's from the
- * sealed codec. `prev` is raw bytes so a short digest reaches the named
- * `DigestWidth` refuse at this gate instead of dying at `Digest32`
- * construction. Decode still produces a branded `BatchHeader`.
- */
-interface EncodeHeader {
-    readonly braid: Braid;
-    readonly braidGen: Generation;
-    readonly prev: Uint8Array;
-    readonly writer: bigint;
-    readonly timestamp: bigint;
-}
-interface DecodedBatch {
-    readonly header: BatchHeader;
-    readonly ops: readonly Op[];
-}
-/**
- * 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.
- */
-declare function encodeBatch(theory: Theory, header: EncodeHeader, ops: readonly Op[]): Uint8Array;
-/** Full parse of a batch object by the one grammar; refusals cross typed, never partial reads. */
-declare function decodeBatch(theory: Theory, bytes: Uint8Array): DecodedBatch;
-/**
- * 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.
- */
-declare function verifyChain(header: BatchHeader, braid: Braid, slot: Generation, chain: ChainEntry): void;
-export type { BatchHeader, ChainEntry, DecodedBatch, EncodeHeader, Op };
-export { decodeBatch, encodeBatch, verifyChain };
-//# sourceMappingURL=codec.d.ts.map

package/dist/codec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACX,SAAS,EAMT,MAAM,sBAAsB,CAAA;AAG7B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,KAAK,EAAE,KAAK,EAAc,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAG/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAG1C,UAAU,EAAE;IACX,QAAQ,CAAC,EAAE,EAAE,QAAQ,GAAG,QAAQ,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,SAAS,EAAE,CAAC,CAAA;CAClD;AAED,UAAU,WAAW;IACpB,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED;;;;;;GAMG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED,UAAU,YAAY;IACrB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAA;CAC3B;AAkGD;;;;;;;GAOG;AACH,iBAAS,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,UAAU,CAkBzF;AAED,kGAAkG;AAClG,iBAAS,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,YAAY,CA2BpE;AAED;;;;;;;GAOG;AACH,iBAAS,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,CAmBjG;AAED,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE,EAAE,CAAA;AACvE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,CAAA"}

package/dist/codec.js

@@ -1,179 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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"}