@bradensbay/globals-core 0.2.0

package/dist/src/arena.js

@@ -0,0 +1,224 @@
+import { ArenaCorruptError } from "./errors.js";
+import { ALIGNMENT, BLOCK_CLASS_MASK, BLOCK_HEADER_BYTES, BLOCK_MAGIC, BLOCK_MAGIC_SHIFT, Block, CONFIG_WORDS, Header, LAYOUT_VERSION, MAGIC, WORD, computeGeometry, } from "./layout.js";
+import { hashWords } from "./checksum.js";
+/**
+ * A typed view over one shared buffer, plus the bounds checks that make every dereference
+ * provably in range.
+ *
+ * Both the owner and every reader hold one of these. It carries no writer state, so it is
+ * safe to construct in a process that must never mutate the arena.
+ */
+export class SharedArena {
+    buffer;
+    geometry;
+    #i32;
+    #f64;
+    #u16;
+    #u8;
+    #byteLength;
+    constructor(buffer, geometry) {
+        this.buffer = buffer;
+        this.geometry = geometry;
+        this.#i32 = new Int32Array(buffer);
+        this.#f64 = new Float64Array(buffer);
+        this.#u16 = new Uint16Array(buffer);
+        this.#u8 = new Uint8Array(buffer);
+        this.#byteLength = buffer.byteLength;
+    }
+    /**
+     * Attach to a buffer an owner has already formatted. Validates the magic, the layout
+     * version, and the configuration checksum, so a reader never starts decoding a buffer it
+     * does not understand.
+     */
+    static attach(buffer) {
+        if (buffer.byteLength < 128) {
+            throw new ArenaCorruptError("buffer is too small to contain a header", {
+                actual: buffer.byteLength,
+            });
+        }
+        const words = new Int32Array(buffer);
+        const magic = Atomics.load(words, Header.Magic);
+        if (magic !== MAGIC) {
+            throw new ArenaCorruptError("buffer does not carry the arena magic", {
+                expected: MAGIC,
+                actual: magic,
+            });
+        }
+        const version = Atomics.load(words, Header.LayoutVersion);
+        if (version !== LAYOUT_VERSION) {
+            throw new ArenaCorruptError(`layout version ${version} cannot be read by a build expecting ${LAYOUT_VERSION}`, { expected: LAYOUT_VERSION, actual: version });
+        }
+        const geometry = computeGeometry(Atomics.load(words, Header.MaxReaders), Atomics.load(words, Header.RetainedCapacity));
+        const arena = new SharedArena(buffer, geometry);
+        arena.verifyConfigChecksum();
+        return arena;
+    }
+    /** Format a fresh buffer. Only the owner calls this. */
+    static format(buffer, options) {
+        const geometry = computeGeometry(options.maxReaders, options.retainedCapacity);
+        if (buffer.byteLength <= geometry.arenaOffset) {
+            throw new ArenaCorruptError(`a buffer of ${buffer.byteLength} bytes cannot hold a header, a table for ` +
+                `${options.maxReaders} readers, and a ring of ${options.retainedCapacity} versions`);
+        }
+        const words = new Int32Array(buffer);
+        words.fill(0);
+        words[Header.Magic] = MAGIC;
+        words[Header.LayoutVersion] = LAYOUT_VERSION;
+        words[Header.CapacityBytes] = buffer.byteLength;
+        words[Header.MaxReaders] = options.maxReaders;
+        words[Header.ReaderTableOffset] = geometry.readerTableOffset;
+        words[Header.RetainedRingOffset] = geometry.retainedRingOffset;
+        words[Header.RetainedCapacity] = options.retainedCapacity;
+        words[Header.ArenaOffset] = geometry.arenaOffset;
+        words[Header.BumpPointer] = geometry.arenaOffset;
+        words[Header.Flags] = options.flags;
+        words[Header.OwnerGeneration] = 1;
+        const arena = new SharedArena(buffer, geometry);
+        arena.writeConfigChecksum();
+        return arena;
+    }
+    /**
+     * The cached views.
+     *
+     * These do not probe the buffer for growth. Probing here was measurably the most
+     * expensive thing on the read path: reading `byteLength` from a growable
+     * SharedArrayBuffer is not an inlined field load, and a single bounds checked decode
+     * touches these accessors half a dozen times.
+     *
+     * Growth is picked up by `refresh()` instead, which callers invoke at the one point
+     * where a longer view can matter: acquiring a version newer than the one they last saw.
+     * Anything a reader decodes through a pinned version was allocated before that version
+     * was published, so it is inside the view the reader had when it acquired.
+     */
+    get words() {
+        return this.#i32;
+    }
+    get floats() {
+        return this.#f64;
+    }
+    get units() {
+        return this.#u16;
+    }
+    get bytes() {
+        return this.#u8;
+    }
+    get byteLength() {
+        return this.#byteLength;
+    }
+    #refreshIfGrown() {
+        if (this.buffer.byteLength === this.#byteLength)
+            return;
+        this.#byteLength = this.buffer.byteLength;
+        this.#i32 = new Int32Array(this.buffer);
+        this.#f64 = new Float64Array(this.buffer);
+        this.#u16 = new Uint16Array(this.buffer);
+        this.#u8 = new Uint8Array(this.buffer);
+    }
+    /**
+     * Header accessors read the cached view directly rather than going through the growth
+     * check in `words`.
+     *
+     * That is safe because the header sits at offset zero and its size is fixed, so it is
+     * inside every view this arena has ever had, including one made before a grow(). It is
+     * also worth doing: a read touches the header eight times, and routing each of those
+     * through a SharedArrayBuffer byteLength getter on a growable buffer cost more than the
+     * rest of the read path put together.
+     */
+    loadHeader(field) {
+        return Atomics.load(this.#i32, field);
+    }
+    storeHeader(field, value) {
+        Atomics.store(this.#i32, field, value);
+    }
+    addHeader(field, delta) {
+        return Atomics.add(this.#i32, field, delta);
+    }
+    /**
+     * Pick up a growth that another process performed. Callers that are about to read arena
+     * payload, rather than only the header, call this once rather than paying for the check
+     * on every access.
+     */
+    refresh() {
+        this.#refreshIfGrown();
+    }
+    /** Bumped when a new owner adopts the buffer. A reader uses it to fail closed. */
+    get ownerGeneration() {
+        return Atomics.load(this.#i32, Header.OwnerGeneration);
+    }
+    writeConfigChecksum() {
+        const words = this.words;
+        words[Header.ConfigChecksum] = this.#configChecksum(words);
+    }
+    verifyConfigChecksum() {
+        const words = this.words;
+        const expected = this.#configChecksum(words);
+        const actual = words[Header.ConfigChecksum];
+        if (expected !== actual) {
+            throw new ArenaCorruptError("arena configuration checksum does not match", {
+                expected,
+                actual,
+            });
+        }
+    }
+    #configChecksum(words) {
+        const scratch = new Int32Array(CONFIG_WORDS.length);
+        CONFIG_WORDS.forEach((field, index) => {
+            scratch[index] = words[field];
+        });
+        const hash = hashWords(scratch, 0, scratch.length);
+        return hash === 0 ? 1 : hash;
+    }
+    /**
+     * Prove that `byteCount` bytes at `offset` lie inside the arena region and are aligned.
+     * Called before every dereference. A failure means the arena was written by something
+     * that is not a correct writer.
+     */
+    checkRange(offset, byteCount, what) {
+        if (!Number.isInteger(offset) || offset < this.geometry.arenaOffset) {
+            throw new ArenaCorruptError(`${what}: offset ${offset} is before the arena region`, {
+                offset,
+            });
+        }
+        if (offset % ALIGNMENT !== 0) {
+            throw new ArenaCorruptError(`${what}: offset ${offset} is not eight byte aligned`, {
+                offset,
+            });
+        }
+        if (byteCount < 0 || offset + byteCount > this.byteLength) {
+            throw new ArenaCorruptError(`${what}: ${byteCount} bytes at ${offset} run past the end of the buffer`, { offset, actual: this.byteLength });
+        }
+    }
+    /**
+     * Validate the two word header preceding every allocation and return its payload size.
+     * This is the check that turns a wild offset into a typed error rather than a plausible
+     * looking value.
+     */
+    checkBlock(offset, what) {
+        if (!Number.isInteger(offset) || offset - BLOCK_HEADER_BYTES < this.geometry.arenaOffset) {
+            throw new ArenaCorruptError(`${what}: no room for a block header at ${offset}`, { offset });
+        }
+        if (offset % ALIGNMENT !== 0) {
+            throw new ArenaCorruptError(`${what}: offset ${offset} is not eight byte aligned`, {
+                offset,
+            });
+        }
+        const words = this.words;
+        const base = offset / WORD;
+        const headerWord = words[base + Block.Header];
+        if (headerWord >>> BLOCK_MAGIC_SHIFT !== BLOCK_MAGIC) {
+            throw new ArenaCorruptError(`${what}: no block header at ${offset}`, {
+                offset,
+                expected: BLOCK_MAGIC,
+                actual: headerWord >>> BLOCK_MAGIC_SHIFT,
+            });
+        }
+        const byteSize = words[base + Block.ByteSize];
+        this.checkRange(offset, byteSize, what);
+        return byteSize;
+    }
+    blockSizeClass(offset) {
+        const headerWord = this.words[offset / WORD + Block.Header];
+        return headerWord & BLOCK_CLASS_MASK;
+    }
+}
+//# sourceMappingURL=arena.js.map

package/dist/src/arena.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arena.js","sourceRoot":"","sources":["../../src/arena.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,WAAW,EACX,iBAAiB,EACjB,KAAK,EACL,YAAY,EACZ,MAAM,EACN,cAAc,EACd,KAAK,EACL,IAAI,EACJ,eAAe,GAEhB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE1C;;;;;;GAMG;AACH,MAAM,OAAO,WAAW;IACb,MAAM,CAAoB;IAC1B,QAAQ,CAAgB;IAEjC,IAAI,CAAa;IACjB,IAAI,CAAe;IACnB,IAAI,CAAc;IAClB,GAAG,CAAa;IAChB,WAAW,CAAS;IAEpB,YAAoB,MAAyB,EAAE,QAAuB;QACpE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC;IACvC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,MAAyB;QACrC,IAAI,MAAM,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;YAC5B,MAAM,IAAI,iBAAiB,CAAC,yCAAyC,EAAE;gBACrE,MAAM,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpB,MAAM,IAAI,iBAAiB,CAAC,uCAAuC,EAAE;gBACnE,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,KAAK;aACd,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC1D,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;YAC/B,MAAM,IAAI,iBAAiB,CACzB,kBAAkB,OAAO,wCAAwC,cAAc,EAAE,EACjF,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,CAC9C,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,eAAe,CAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,EACtC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAC7C,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wDAAwD;IACxD,MAAM,CAAC,MAAM,CACX,MAAyB,EACzB,OAAwE;QAExE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC/E,IAAI,MAAM,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YAC9C,MAAM,IAAI,iBAAiB,CACzB,eAAe,MAAM,CAAC,UAAU,2CAA2C;gBACzE,GAAG,OAAO,CAAC,UAAU,2BAA2B,OAAO,CAAC,gBAAgB,WAAW,CACtF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAC5B,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,cAAc,CAAC;QAC7C,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;QAChD,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;QAC9C,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC;QAC7D,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,QAAQ,CAAC,kBAAkB,CAAC;QAC/D,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC;QAC1D,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC;QACjD,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC;QACjD,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAElC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAED,eAAe;QACb,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,WAAW;YAAE,OAAO;QACxD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;QAC1C,IAAI,CAAC,IAAI,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;;;;OASG;IACH,UAAU,CAAC,KAAa;QACtB,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,WAAW,CAAC,KAAa,EAAE,KAAa;QACtC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,CAAC,KAAa,EAAE,KAAa;QACpC,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED;;;;OAIG;IACH,OAAO;QACL,IAAI,CAAC,eAAe,EAAE,CAAC;IACzB,CAAC;IAED,kFAAkF;IAClF,IAAI,eAAe;QACjB,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;IACzD,CAAC;IAED,mBAAmB;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC;IAED,oBAAoB;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,cAAc,CAAW,CAAC;QACtD,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,iBAAiB,CAAC,6CAA6C,EAAE;gBACzE,QAAQ;gBACR,MAAM;aACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,eAAe,CAAC,KAAiB;QAC/B,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpD,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACpC,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAW,CAAC;QAC1C,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACnD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/B,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,MAAc,EAAE,SAAiB,EAAE,IAAY;QACxD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACpE,MAAM,IAAI,iBAAiB,CAAC,GAAG,IAAI,YAAY,MAAM,6BAA6B,EAAE;gBAClF,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,GAAG,SAAS,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,GAAG,IAAI,YAAY,MAAM,4BAA4B,EAAE;gBACjF,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QACD,IAAI,SAAS,GAAG,CAAC,IAAI,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1D,MAAM,IAAI,iBAAiB,CACzB,GAAG,IAAI,KAAK,SAAS,aAAa,MAAM,iCAAiC,EACzE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CACpC,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,MAAc,EAAE,IAAY;QACrC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACzF,MAAM,IAAI,iBAAiB,CAAC,GAAG,IAAI,mCAAmC,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,MAAM,GAAG,SAAS,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,GAAG,IAAI,YAAY,MAAM,4BAA4B,EAAE;gBACjF,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,GAAG,IAAI,CAAC;QAC3B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAW,CAAC;QACxD,IAAI,UAAU,KAAK,iBAAiB,KAAK,WAAW,EAAE,CAAC;YACrD,MAAM,IAAI,iBAAiB,CAAC,GAAG,IAAI,wBAAwB,MAAM,EAAE,EAAE;gBACnE,MAAM;gBACN,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,UAAU,KAAK,iBAAiB;aACzC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAW,CAAC;QACxD,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,cAAc,CAAC,MAAc;QAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC,MAAM,CAAW,CAAC;QACtE,OAAO,UAAU,GAAG,gBAAgB,CAAC;IACvC,CAAC;CACF"}

package/dist/src/checksum.d.ts

@@ -0,0 +1,5 @@
+export declare function mixWord(hash: number, word: number): number;
+export declare function hashWords(words: Int32Array, start: number, count: number): number;
+export declare function hashString(text: string): number;
+export declare const HASH_SEED = 2166136261;
+//# sourceMappingURL=checksum.d.ts.map

package/dist/src/checksum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../src/checksum.ts"],"names":[],"mappings":"AAWA,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAM1D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ/C;AAED,eAAO,MAAM,SAAS,aAAe,CAAC"}

package/dist/src/checksum.js

@@ -0,0 +1,35 @@
+/**
+ * FNV-1a over 32 bit words.
+ *
+ * Chosen because it is a few instructions per word, needs no table, and is computed once
+ * per commit rather than once per read. It detects accidental corruption and buggy writers.
+ * It is not a message authentication code, and the trust model says so plainly: a window
+ * that can write the arena can also write a matching checksum.
+ */
+const OFFSET_BASIS = 0x811c9dc5;
+const PRIME = 0x01000193;
+export function mixWord(hash, word) {
+    let next = Math.imul(hash ^ (word & 0xff), PRIME);
+    next = Math.imul(next ^ ((word >>> 8) & 0xff), PRIME);
+    next = Math.imul(next ^ ((word >>> 16) & 0xff), PRIME);
+    next = Math.imul(next ^ ((word >>> 24) & 0xff), PRIME);
+    return next | 0;
+}
+export function hashWords(words, start, count) {
+    let hash = OFFSET_BASIS;
+    for (let i = 0; i < count; i += 1) {
+        hash = mixWord(hash, words[start + i]);
+    }
+    return hash | 0;
+}
+export function hashString(text) {
+    let hash = OFFSET_BASIS;
+    for (let i = 0; i < text.length; i += 1) {
+        const unit = text.charCodeAt(i);
+        hash = Math.imul(hash ^ (unit & 0xff), PRIME);
+        hash = Math.imul(hash ^ (unit >>> 8), PRIME);
+    }
+    return hash | 0;
+}
+export const HASH_SEED = OFFSET_BASIS;
+//# sourceMappingURL=checksum.js.map

package/dist/src/checksum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.js","sourceRoot":"","sources":["../../src/checksum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,UAAU,CAAC;AAChC,MAAM,KAAK,GAAG,UAAU,CAAC;AAEzB,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,IAAY;IAChD,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,OAAO,IAAI,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAiB,EAAE,KAAa,EAAE,KAAa;IACvE,IAAI,IAAI,GAAG,YAAY,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAW,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,IAAI,GAAG,YAAY,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,YAAY,CAAC"}

package/dist/src/draft.d.ts

@@ -0,0 +1,48 @@
+import type { SharedArena } from "./arena.js";
+import { type EncodeContext, type Slot } from "./values.js";
+/**
+ * A draft, in the style of immer.
+ *
+ * You mutate it and nothing published moves. On finalisation only the paths you touched are
+ * rebuilt: a HAMT assoc copies at most seven nodes, a vector assoc copies one path, and every
+ * subtree you did not touch keeps its existing arena offset. That is what makes retaining
+ * several versions affordable, and it is the phase 2 exit criterion.
+ *
+ * What a draft deliberately does not do is alias. Assigning a value you read out of the store
+ * into a second position encodes a copy rather than sharing nodes, because sharing would need
+ * reference counting to reclaim correctly and every write would pay for a case almost no
+ * application has.
+ */
+declare const DELETED: unique symbol;
+declare const STATE: unique symbol;
+type Modification = unknown;
+interface DraftState {
+    readonly base: Slot;
+    readonly modifications: Map<string | number, Modification>;
+    readonly children: Map<string | number, DraftNode>;
+    dirty: boolean;
+    /** For arrays, the length after modification, when it changed. */
+    length: number | undefined;
+}
+export interface DraftNode {
+    readonly state: DraftState;
+    readonly proxy: unknown;
+}
+export interface DraftContext extends EncodeContext {
+    readonly arena: SharedArena;
+}
+export declare function createDraft(context: DraftContext, base: Slot): DraftNode;
+export declare function draftStateOf(value: unknown): DraftState | undefined;
+/**
+ * Turn a draft back into a slot.
+ *
+ * A clean draft returns its base slot unchanged, which is how untouched subtrees keep their
+ * arena nodes. A dirty one applies its modifications through assoc, so only the copied path
+ * is new and every replaced node lands on the retire list.
+ */
+export declare function finalizeState(context: DraftContext, state: DraftState): Slot;
+export declare function emptyObjectSlot(context: DraftContext): Slot;
+export declare function emptyArraySlot(context: DraftContext): Slot;
+export { STATE as DRAFT_STATE, DELETED as DRAFT_DELETED };
+export type { DraftState };
+//# sourceMappingURL=draft.d.ts.map

package/dist/src/draft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../../src/draft.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAoB9C,OAAO,EAKL,KAAK,aAAa,EAClB,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAErB;;;;;;;;;;;;GAYG;AAEH,QAAA,MAAM,OAAO,eAA4B,CAAC;AAC1C,QAAA,MAAM,KAAK,eAA+B,CAAC;AAE3C,KAAK,YAAY,GAAG,OAAO,CAAC;AAE5B,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,GAAG,MAAM,EAAE,YAAY,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,GAAG,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,KAAK,EAAE,OAAO,CAAC;IACf,kEAAkE;IAClE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,YAAa,SAAQ,aAAa;IACjD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAMD,wBAAgB,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAWxE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAInE;AAwRD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,CAK5E;AAoHD,wBAAgB,eAAe,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAE3D;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAE1D;AAED,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,OAAO,IAAI,aAAa,EAAE,CAAC;AAC1D,YAAY,EAAE,UAAU,EAAE,CAAC"}