@bjornpagen/bumbledb-log 0.20.1 → 0.20.2

package/dist/braids.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Braid derivation as data (10/20): connected components of the
+ * statement graph over ordinary relations, the braid id the smallest
+ * RelationId in the component rendered `c{id:08x}`. The one derivation
+ * lives in `crates/bumbledb-log` and reaches the descriptor parse
+ * through the engine bridge (`internalLogBraidsOf`); this façade names
+ * that derivation in the driver's vocabulary.
+ */
+import type { Braid, SerialStatement, Theory } from "./descriptor.js";
+import { braid } from "./descriptor.js";
+/** The schema's own shard map: ordinary relation name → braid id. */
+declare function braidsOf(theory: Theory): ReadonlyMap<string, Braid>;
+/**
+ * The degenerate-serial roster (15): key or capacity statements whose
+ * determinant projection is empty name one global group, so their braid
+ * serializes at that statement. The statement ids are the log core's
+ * own roster, read off the descriptor's derivation.
+ */
+declare function serialAtStatementsOf(theory: Theory): readonly SerialStatement[];
+/**
+ * Parses a wire u32 into a braid id: valid only when the relation it
+ * names is the smallest in its own component. An unknown, closed, or
+ * non-head id is not a braid — the caller refuses, it is not ignored.
+ */
+declare function parse(theory: Theory, raw: number): Braid | undefined;
+export type { Braid };
+export { braid, braidsOf, parse, serialAtStatementsOf };
+//# sourceMappingURL=braids.d.ts.map

package/dist/braids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"braids.d.ts","sourceRoot":"","sources":["../src/braids.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACpE,OAAO,EAAE,KAAK,EAA0B,MAAM,gBAAgB,CAAA;AAI9D,qEAAqE;AACrE,iBAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAU5D;AAED;;;;;GAKG;AACH,iBAAS,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,eAAe,EAAE,CAExE;AAED;;;;GAIG;AACH,iBAAS,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAM7D;AAED,YAAY,EAAE,KAAK,EAAE,CAAA;AACrB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAA"}

package/{src/braids.ts → dist/braids.js}

@@ -6,47 +6,40 @@
  * through the engine bridge (`internalLogBraidsOf`); this façade names
  * that derivation in the driver's vocabulary.
  */
-
-import type { Braid, SerialStatement, Theory } from "#descriptor.ts"
-import { braid, braidHex, descriptorOf } from "#descriptor.ts"
-
-const U32_MAX = 0xffffffff
-
+import { braid, braidHex, descriptorOf } from "#descriptor.ts";
+const U32_MAX = 0xffffffff;
 /** The schema's own shard map: ordinary relation name → braid id. */
-function braidsOf(theory: Theory): ReadonlyMap<string, Braid> {
-	const descriptor = descriptorOf(theory)
-	const out = new Map<string, Braid>()
-	for (const relation of descriptor.relations) {
-		const braid = descriptor.braidOfRelation.get(relation.id)
-		if (braid !== undefined) {
-			out.set(relation.name, braid)
-		}
-	}
-	return out
+function braidsOf(theory) {
+    const descriptor = descriptorOf(theory);
+    const out = new Map();
+    for (const relation of descriptor.relations) {
+        const braid = descriptor.braidOfRelation.get(relation.id);
+        if (braid !== undefined) {
+            out.set(relation.name, braid);
+        }
+    }
+    return out;
 }
-
 /**
  * The degenerate-serial roster (15): key or capacity statements whose
  * determinant projection is empty name one global group, so their braid
  * serializes at that statement. The statement ids are the log core's
  * own roster, read off the descriptor's derivation.
  */
-function serialAtStatementsOf(theory: Theory): readonly SerialStatement[] {
-	return descriptorOf(theory).serialAtStatements
+function serialAtStatementsOf(theory) {
+    return descriptorOf(theory).serialAtStatements;
 }
-
 /**
  * Parses a wire u32 into a braid id: valid only when the relation it
  * names is the smallest in its own component. An unknown, closed, or
  * non-head id is not a braid — the caller refuses, it is not ignored.
  */
-function parse(theory: Theory, raw: number): Braid | undefined {
-	if (!Number.isInteger(raw) || raw < 0 || raw > U32_MAX) {
-		return undefined
-	}
-	const name = braidHex(raw)
-	return descriptorOf(theory).braidMembers.has(name) ? name : undefined
+function parse(theory, raw) {
+    if (!Number.isInteger(raw) || raw < 0 || raw > U32_MAX) {
+        return undefined;
+    }
+    const name = braidHex(raw);
+    return descriptorOf(theory).braidMembers.has(name) ? name : undefined;
 }
-
-export type { Braid }
-export { braid, braidsOf, parse, serialAtStatementsOf }
+export { braid, braidsOf, parse, serialAtStatementsOf };
+//# sourceMappingURL=braids.js.map

package/dist/braids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"braids.js","sourceRoot":"","sources":["../src/braids.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAE9D,MAAM,OAAO,GAAG,UAAU,CAAA;AAE1B,qEAAqE;AACrE,SAAS,QAAQ,CAAC,MAAc;IAC/B,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiB,CAAA;IACpC,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACzD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAC9B,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,MAAc;IAC3C,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,kBAAkB,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAS,KAAK,CAAC,MAAc,EAAE,GAAW;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,OAAO,EAAE,CAAC;QACxD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;IAC1B,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACtE,CAAC;AAGD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAA"}

package/dist/bytes.d.ts

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

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

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

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

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

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

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

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

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

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