@adobe/ecs 0.0.0-stage → 0.2.0

package/dist/implementation/world/stop-lists.js

@@ -0,0 +1,305 @@
+import { viewsOf } from '../../interface/registry/layout.js';
+import { logFinalizedWord, logStopsWord } from './move-log.js';
+// Stop lists (threads.md, "Finalizers on other threads"): what a joined thread's finalizers need of the entities a sync
+// point stops, written by the world's thread before it applies, one block per sync point with stops, which the thread
+// reads as it replays that sync and acknowledges by the sync it finalized through.
+//
+// A block's words: its sync, modulo 2^32; the next block's offset, stored once it's written, 0 until then; its groups;
+// its bytes. Then a group per finalizer with stops, in the world's finalizer order: its index on the thread, its stops,
+// its bytes; then as columns, each on 8 bytes, every stop's entity (f64), its archetype and row before apply (u32), the
+// tag of each object it reads (u32), and the value of each linear struct it reads in that component's layout, or for a
+// string, the handle of a copy of its record; then its resources as they were before apply: the handle of a copy of
+// each string resource it reads (u32), then each linear resource it reads in its layout, each on 8 bytes. Copies of
+// records are freed with the block, since the thread may read them sync points later.
+export const blockSyncWord = 0;
+export const blockNextWord = 1;
+export const blockGroupsWord = 2;
+export const blockBytesWord = 3;
+export const blockHeaderBytes = 16;
+export const groupIndexWord = 0;
+export const groupCountWord = 1;
+export const groupBytesWord = 2;
+export const groupHeaderBytes = 16;
+const align = (bytes) => (bytes + 7) & ~7;
+/** Where a group of `count` stops keeps its entities, archetypes and rows, past its header. */
+export const entitiesAt = (group) => group + groupHeaderBytes;
+export const archetypesAt = (group, count) => group + groupHeaderBytes + 8 * count;
+export const rowsAt = (group, count) => group + groupHeaderBytes + 12 * count;
+/** Where a group's tags of its `object`th object read start. */
+export const tagsAt = (group, count, object) => group + groupHeaderBytes + 16 * count + object * align(4 * count);
+/** Where a group's linear values start, after the tags of its `objects` object reads. */
+export const valuesAt = (group, count, objects) => tagsAt(group, count, objects);
+/** Bytes of one linear read's column of `count` values of `stride` bytes. */
+export const columnBytes = (count, stride) => align(count * stride);
+/**
+ * Where each linear resource's copy starts past a group's columns, after the handles of `strings` string resources,
+ * for linear resources of `strides` bytes; then the bytes of them all.
+ */
+export const resourceOffsetsOf = (strings, strides) => {
+    const offsets = [];
+    let at = align(4 * strings);
+    for (const stride of strides) {
+        offsets.push(at);
+        at += align(stride);
+    }
+    offsets.push(at);
+    return offsets;
+};
+/**
+ * Bytes of a group of `count` stops of a finalizer reading `objects` objects, linear values of `strides` bytes and
+ * `resources` bytes of resources.
+ */
+const groupBytes = (count, objects, strides, resources) => {
+    let bytes = valuesAt(0, count, objects);
+    for (const stride of strides)
+        bytes += columnBytes(count, stride);
+    return bytes + resources;
+};
+export const createStopWriter = (memory, log, strings) => ({ memory, log, strings, staged: [], written: [], unwoken: false });
+export const createHolds = () => ({ counts: new Int32Array(0), size: 0 });
+const hold = (holds, index) => {
+    if (index >= holds.counts.length) {
+        const counts = new Int32Array(Math.max(index + 1, 2 * holds.counts.length, 1024));
+        counts.set(holds.counts);
+        holds.counts = counts;
+    }
+    if (holds.counts[index]++ === 0)
+        holds.size++;
+};
+/**
+ * Writes the handles of copies of a string's records at word `at`, for a group's `count` stops at the archetypes and
+ * rows its words there name, keeping each copy in `copied`. Copying may grow the memory, which leaves `u32` over the
+ * block as it was: it's shared.
+ */
+const copyStrings = (strings, copied, u32, at, count, archetypeWords, rowWords, id, archetypes) => {
+    let archetype = -1;
+    let handles;
+    for (let i = 0; i < count; i++) {
+        if (u32[archetypeWords + i] !== archetype) {
+            archetype = u32[archetypeWords + i];
+            handles = archetypes[archetype].storageById[id]?.views.u32;
+        }
+        if (handles === undefined)
+            continue;
+        const copy = strings.copy(handles[u32[rowWords + i]]);
+        copied.push(copy);
+        u32[at + i] = copy;
+    }
+};
+/**
+ * Writes the block of a sync point's staged stops, before it applies: entities, archetypes and rows, tags and linear
+ * values, copied from the rows they're at, a column at a time; despawned entities' indexes held. Links it after the
+ * last block.
+ */
+export const writeStops = (writer, sync, source) => {
+    const { staged, memory } = writer;
+    if (staged.length === 0)
+        return;
+    let bytes = blockHeaderBytes;
+    for (const stops of staged)
+        bytes += groupBytes(stops.entries.length, stops.objects.length, stops.strides, stops.resourceOffsets[stops.linearResources.length]);
+    const offset = memory.allocate(bytes);
+    const buffer = memory.memory.buffer;
+    const u8 = new Uint8Array(buffer);
+    const u32 = new Uint32Array(buffer);
+    const f64 = new Float64Array(buffer);
+    const held = [];
+    const stopped = [];
+    const copied = [];
+    u32[(offset >> 2) + blockSyncWord] = sync >>> 0;
+    u32[(offset >> 2) + blockNextWord] = 0;
+    u32[(offset >> 2) + blockGroupsWord] = staged.length;
+    u32[(offset >> 2) + blockBytesWord] = bytes;
+    let group = offset + blockHeaderBytes;
+    const { entity, from, despawned, archetypes, row: rows, holds } = source;
+    for (const stops of staged) {
+        const { entries, objects, linear, strides, copies, stringResources, linearResources, resourceStrides, resourceOffsets } = stops;
+        const count = entries.length;
+        const size = groupBytes(count, objects.length, strides, resourceOffsets[linearResources.length]);
+        u32[(group >> 2) + groupIndexWord] = stops.index;
+        u32[(group >> 2) + groupCountWord] = count;
+        u32[(group >> 2) + groupBytesWord] = size;
+        const entityWords = entitiesAt(group) >> 3;
+        const archetypeWords = archetypesAt(group, count) >> 2;
+        const rowWords = rowsAt(group, count) >> 2;
+        for (let i = 0; i < count; i++) {
+            const entry = entries[i];
+            const stoppedEntity = entity[entry];
+            const index = stoppedEntity >>> 0;
+            f64[entityWords + i] = stoppedEntity;
+            u32[archetypeWords + i] = from[entry];
+            u32[rowWords + i] = rows[index];
+            if (despawned[entry] === 1) {
+                hold(holds, index);
+                held.push(index);
+            }
+        }
+        for (let k = 0; k < objects.length; k++) {
+            const tagWords = tagsAt(group, count, k) >> 2;
+            const id = objects[k];
+            let archetype = -1;
+            let tags;
+            for (let i = 0; i < count; i++) {
+                if (u32[archetypeWords + i] !== archetype) {
+                    archetype = u32[archetypeWords + i];
+                    tags = archetypes[archetype].storageById[id]?.tags;
+                }
+                u32[tagWords + i] = tags?.[u32[rowWords + i]] ?? 0;
+            }
+        }
+        let column = valuesAt(group, count, objects.length);
+        for (let k = 0; k < linear.length; k++) {
+            const stride = strides[k];
+            const id = linear[k];
+            const words = (stride & 3) === 0 ? stride >> 2 : 0;
+            let archetype = -1;
+            let values;
+            if (copies[k] && writer.strings !== null) {
+                copyStrings(writer.strings, copied, u32, column >> 2, count, archetypeWords, rowWords, id, archetypes);
+                column += columnBytes(count, stride);
+                continue;
+            }
+            for (let i = 0; i < count; i++) {
+                if (u32[archetypeWords + i] !== archetype) {
+                    archetype = u32[archetypeWords + i];
+                    values = archetypes[archetype].storageById[id]?.views;
+                }
+                if (values === undefined)
+                    continue;
+                const row = u32[rowWords + i];
+                if (words > 0) {
+                    const source = values.u32;
+                    const target = (column >> 2) + i * words;
+                    for (let w = 0; w < words; w++)
+                        u32[target + w] = source[row * words + w];
+                }
+                else {
+                    const source = values.u8;
+                    const target = column + i * stride;
+                    for (let b = 0; b < stride; b++)
+                        u8[target + b] = source[row * stride + b];
+                }
+            }
+            column += columnBytes(count, stride);
+        }
+        // As before apply, as its components are: the thread may read them after the resources are written again.
+        if (stringResources.length > 0 || linearResources.length > 0) {
+            const { strings } = writer;
+            const { resourceRow } = source;
+            const storageById = source.resourceArchetype < 0 ? undefined : archetypes[source.resourceArchetype].storageById;
+            for (let k = 0; k < stringResources.length; k++) {
+                const handles = storageById?.[stringResources[k]]?.views.u32;
+                // Without the resource, unreachable while a finalizer activates only once its resources exist: its start.
+                const start = stops.stringStarts[k];
+                const copy = strings === null ? 0 : handles !== undefined ? strings.copy(handles[resourceRow]) : typeof start === "string" ? strings.write(start) : 0;
+                if (copy !== 0)
+                    copied.push(copy);
+                u32[(column >> 2) + k] = copy;
+            }
+            for (let k = 0; k < linearResources.length; k++) {
+                const values = storageById?.[linearResources[k]]?.views;
+                const stride = resourceStrides[k];
+                const target = column + resourceOffsets[k];
+                if (values === undefined) {
+                    // Unreachable while a finalizer activates only once its resources exist: its start.
+                    const layout = stops.resourceLayouts[k];
+                    if (layout.kind === "linear")
+                        layout.write(viewsOf(buffer, target, stride), 0, stops.linearStarts[k]);
+                    continue;
+                }
+                if ((stride & 3) === 0) {
+                    const words = stride >> 2;
+                    for (let w = 0; w < words; w++)
+                        u32[(target >> 2) + w] = values.u32[resourceRow * words + w];
+                }
+                else
+                    for (let b = 0; b < stride; b++)
+                        u8[target + b] = values.u8[resourceRow * stride + b];
+            }
+        }
+        stopped.push([stops.finalizer, count]);
+        group += size;
+        entries.length = 0;
+    }
+    staged.length = 0;
+    const last = writer.written.at(-1);
+    // Stored last, so the thread reads the block only once it's whole.
+    if (last === undefined)
+        Atomics.store(writer.log.header, logStopsWord, offset);
+    else
+        Atomics.store(u32, (last.offset >> 2) + blockNextWord, offset);
+    writer.written.push({ offset, bytes, sync: sync >>> 0, held, stopped, strings: copied, acknowledged: false });
+    writer.unwoken = true;
+};
+/** Lets go of the copies of strings' records a block's stops hold. */
+const letGo = (writer, block) => {
+    const { strings } = writer;
+    if (strings !== null)
+        for (let k = 0; k < block.strings.length; k++)
+            strings.retire(block.strings[k]);
+    block.strings.length = 0;
+};
+/** Returns a held index once no thread finalizes it any more: it's reusable after the sync point. */
+const unhold = (holds, released, held) => {
+    const { counts } = holds;
+    for (const index of held) {
+        if (--counts[index] !== 0)
+            continue;
+        holds.size--;
+        released.push(index);
+    }
+};
+/**
+ * Takes up what the thread acknowledged: blocks through the sync it finalized through return their held indexes, and
+ * all but the newest of them are freed, since the thread reads the next block's offset from that one.
+ */
+export const settleStops = (writer, holds, released) => {
+    const { written, memory } = writer;
+    if (written.length === 0)
+        return;
+    const finalized = Atomics.load(writer.log.header, logFinalizedWord) >>> 0;
+    let newest = -1;
+    for (let k = 0; k < written.length; k++) {
+        const block = written[k];
+        if (((finalized - block.sync) | 0) < 0)
+            break;
+        if (!block.acknowledged) {
+            block.acknowledged = true;
+            unhold(holds, released, block.held);
+            letGo(writer, block);
+        }
+        newest = k;
+    }
+    for (let k = 0; k < newest; k++)
+        memory.free(written[k].offset, written[k].bytes);
+    if (newest > 0)
+        written.splice(0, newest);
+};
+/**
+ * Once the thread is gone: every held index returns, and each finalizer with stops it never acknowledged is a `"thread"`
+ * failure of the next sync point's run.
+ */
+export const endStops = (writer, holds, released, label) => {
+    settleStops(writer, holds, released);
+    const missed = new Map();
+    for (const block of writer.written) {
+        if (block.acknowledged)
+            continue;
+        block.acknowledged = true;
+        unhold(holds, released, block.held);
+        letGo(writer, block);
+        for (const [finalizer, count] of block.stopped)
+            missed.set(finalizer, (missed.get(finalizer) ?? 0) + count);
+    }
+    return [...missed].map(([finalizer, count]) => ({
+        finalizer, kind: "thread",
+        error: new Error(`Thread "${label}" is gone, so ${count === 1 ? "a stop" : `${count} stops`} of finalizer "${finalizer.name}" didn't run there.`),
+    }));
+};
+/** Frees every block once the thread left: one that died may still be reading them. */
+export const freeStops = (writer) => {
+    for (const block of writer.written)
+        writer.memory.free(block.offset, block.bytes);
+    writer.written.length = 0;
+};
+//# sourceMappingURL=stop-lists.js.map

package/dist/implementation/world/stop-lists.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-lists.js","sourceRoot":"","sources":["../../../src/implementation/world/stop-lists.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAe,MAAM,oCAAoC,CAAC;AAG1E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAgB,MAAM,eAAe,CAAC;AAE7E,wHAAwH;AACxH,sHAAsH;AACtH,mFAAmF;AACnF,EAAE;AACF,uHAAuH;AACvH,wHAAwH;AACxH,wHAAwH;AACxH,uHAAuH;AACvH,oHAAoH;AACpH,oHAAoH;AACpH,sFAAsF;AAEtF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAC/B,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAC/B,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC;AACjC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AACnC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAEnC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1D,+FAA+F;AAC/F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,GAAG,gBAAgB,CAAC;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,KAAK,GAAG,gBAAgB,GAAG,CAAC,GAAG,KAAK,CAAC;AAC3G,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAa,EAAU,EAAE,CAAC,KAAK,GAAG,gBAAgB,GAAG,EAAE,GAAG,KAAK,CAAC;AACtG,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,MAAc,EAAU,EAAE,CAAC,KAAK,GAAG,gBAAgB,GAAG,EAAE,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AAClJ,yFAAyF;AACzF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,OAAe,EAAU,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACjH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AAE5F;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAE,OAA0B,EAAY,EAAE;IACvF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;IAC5B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,OAAe,EAAE,OAA0B,EAAE,SAAiB,EAAU,EAAE;IACzG,IAAI,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,IAAI,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClE,OAAO,KAAK,GAAG,SAAS,CAAC;AAC7B,CAAC,CAAC;AAwDF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,GAAY,EAAE,OAA2B,EAAc,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AAQ/K,MAAM,CAAC,MAAM,WAAW,GAAG,GAAU,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AAEjF,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,KAAa,EAAQ,EAAE;IAC/C,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;IAC1B,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAClD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,GAAG,CAAC,OAAoB,EAAE,MAAgB,EAAE,GAAgB,EAAE,EAAU,EAAE,KAAa,EAAE,cAAsB,EAAE,QAAgB,EAAE,EAAU,EAAE,UAAoC,EAAQ,EAAE;IAC1M,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,OAAgC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACxC,SAAS,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;YACpC,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC;QAC/D,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IACvB,CAAC;AACL,CAAC,CAAC;AAoBF;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAkB,EAAE,IAAY,EAAE,MAAkB,EAAQ,EAAE;IACrF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,IAAI,KAAK,GAAG,gBAAgB,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAChK,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IAChD,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACvC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACrD,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,GAAG,KAAK,CAAC;IAC5C,IAAI,KAAK,GAAG,MAAM,GAAG,gBAAgB,CAAC;IACtC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;QAChI,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;QACjG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACjD,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,GAAG,KAAK,CAAC;QAC3C,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,cAAc,CAAC,GAAG,IAAI,CAAC;QAC1C,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACpC,MAAM,KAAK,GAAG,aAAa,KAAK,CAAC,CAAC;YAClC,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC;YACrC,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACnB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,IAA6B,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,SAAS,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;oBACpC,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;gBACvD,CAAC;gBACD,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC;QACL,CAAC;QACD,IAAI,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;YACnB,IAAI,MAAmC,CAAC;YACxC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBACvC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;gBACvG,MAAM,IAAI,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrC,SAAS;YACb,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7B,IAAI,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,SAAS,GAAG,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;oBACpC,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC;gBAC1D,CAAC;gBACD,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACnC,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;gBAC9B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;oBACZ,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC;oBAC1B,MAAM,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;wBAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC9E,CAAC;qBACI,CAAC;oBACF,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;oBACzB,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;oBACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;wBAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACL,CAAC;YACD,MAAM,IAAI,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QACD,0GAA0G;QAC1G,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;YAC3B,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;YAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,WAAW,CAAC;YAChH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC;gBAC7D,0GAA0G;gBAC1G,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtJ,IAAI,IAAI,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YAClC,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;gBACxD,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;gBAClC,MAAM,MAAM,GAAG,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACvB,oFAAoF;oBACpF,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;oBACxC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;wBAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtG,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,CAAC;oBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;wBAAE,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;gBACjG,CAAC;;oBACI,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;wBAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC;YAC/F,CAAC;QACL,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,KAAK,IAAI,IAAI,CAAC;QACd,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,mEAAmE;IACnE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;;QAC1E,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,aAAa,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9G,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;AAC1B,CAAC,CAAC;AAEF,sEAAsE;AACtE,MAAM,KAAK,GAAG,CAAC,MAAkB,EAAE,KAAc,EAAQ,EAAE;IACvD,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,KAAK,IAAI;QAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,qGAAqG;AACrG,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,QAAkB,EAAE,IAAuB,EAAQ,EAAE;IAC/E,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,SAAS;QACpC,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;AACL,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAkB,EAAE,KAAY,EAAE,QAAkB,EAAQ,EAAE;IACtF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IACnC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,MAAM;QAC9C,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;YACtB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;YAC1B,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,GAAG,CAAC,CAAC;IACf,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClF,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAkB,EAAE,KAAY,EAAE,QAAkB,EAAE,KAAa,EAAuF,EAAE;IACjL,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,YAAY;YAAE,SAAS;QACjC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;QAC1B,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,SAAS,EAAE,IAAI,EAAE,QAAQ;QACzB,KAAK,EAAE,IAAI,KAAK,CAAC,WAAW,KAAK,iBAAiB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ,kBAAkB,SAAS,CAAC,IAAI,qBAAqB,CAAC;KACpJ,CAAC,CAAC,CAAC;AACR,CAAC,CAAC;AAEF,uFAAuF;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAkB,EAAQ,EAAE;IAClD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClF,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9B,CAAC,CAAC"}

package/dist/implementation/world/strings.d.ts

@@ -0,0 +1,48 @@
+import { type Memory } from './memory.js';
+/** A thread's records: reading them, and on the world's thread, writing and freeing them. */
+export type StringStore = {
+    /** Whether this thread writes records: only the world's does. */
+    readonly writes: boolean;
+    /** Whether the world keeps records of its strings, while a joined thread may read them. */
+    active: boolean;
+    /** The text of the record `handle` names, decoded once per record and kept while its generation is the same. */
+    readonly read: (handle: number) => string;
+    /** A new record holding `text`, by its handle. */
+    readonly write: (text: string) => number;
+    /** A new record of the same text, 0 for 0, for a copy a reader on another thread holds past its row's sync points. */
+    readonly copy: (handle: number) => number;
+    /** Lets a record go, 0 for none: it's freed at the end of the second sync point from now, when no reader holds it. */
+    readonly retire: (handle: number) => void;
+    /** At the end of each sync point: frees the records let go before the last one. */
+    readonly settle: () => void;
+};
+/** A joined thread's store over `memory`: it reads records, and writes none. */
+export declare const createStringReader: (memory: WebAssembly.Memory) => StringStore;
+/** The world's store over its arena, which only the world's thread writes. */
+export declare const createStrings: (memory: Memory) => StringStore;
+/** What holds strings: a string's column of handles, its values on the world's thread, and its records. */
+type Column = {
+    readonly views: {
+        readonly u32: Uint32Array;
+    };
+    readonly values: unknown[];
+    readonly strings: StringStore | null;
+};
+/** A string column's value at `row`: as the world's thread holds it, or out of its record on another, `null` for 0. */
+export declare const readString: (column: Column, row: number) => unknown;
+/** Replaces a string column's value at `row`, and while records are kept, its record, letting the old one go. */
+export declare const writeString: (column: Column, row: number, value: unknown) => void;
+/** Archetypes as records are kept for them: their string storages, each row's value and handle. */
+type Held = {
+    readonly count: number;
+    readonly storages: readonly (Column & {
+        readonly layout: {
+            readonly kind: string;
+        };
+    })[];
+};
+/** Starts keeping records, once a thread may read them: one for each value the world holds now. */
+export declare const keepRecords: (strings: StringStore, archetypes: readonly Held[]) => void;
+/** Stops keeping records, once no thread reads them: every one is let go. */
+export declare const dropRecords: (strings: StringStore, archetypes: readonly Held[]) => void;
+export {};

package/dist/implementation/world/strings.js

@@ -0,0 +1,214 @@
+// © 2026 Adobe. MIT License. See /LICENSE for details.
+import { coveringBuffer } from './memory.js';
+/** Code units decoded by one call of `String.fromCharCode`, which takes them as arguments. */
+const decodeChunk = 4096;
+const decode = (units, start, length) => {
+    if (length <= 8) {
+        let text = "";
+        for (let i = 0; i < length; i++)
+            text += String.fromCharCode(units[start + i]);
+        return text;
+    }
+    let text = "";
+    for (let at = 0; at < length; at += decodeChunk) {
+        const chunk = Reflect.apply(String.fromCharCode, null, units.subarray(start + at, start + Math.min(length, at + decodeChunk)));
+        text += chunk;
+    }
+    return text;
+};
+/** A record's bytes for `length` code units: its two words, then its units, rounded up to 8. */
+const recordBytes = (length) => (8 + 2 * length + 7) & ~7;
+/** Records at most this many bytes are carved from slabs, by power-of-two size from 16; larger ones are the arena's blocks. */
+const slabbed = 512;
+const slabBytes = 65536;
+/** Slab size classes, 16 to 512 bytes. */
+const classes = 6;
+/** A slabbed record's size class: its bytes rounded up to a power of two, from 16. */
+const classOf = (bytes) => Math.max(0, 28 - Math.clz32(bytes - 1));
+/** Views of the whole buffer, or the same ones while they cover `bytes`; `buffer` gives one covering them. */
+const cover = (views, buffer, bytes) => {
+    if (views.units.byteLength >= bytes)
+        return;
+    const latest = buffer(bytes);
+    views.words = new Uint32Array(latest);
+    views.units = new Uint16Array(latest);
+};
+const readOf = (views, buffer) => (handle) => {
+    const word = handle << 1;
+    cover(views, buffer, handle * 8 + 8);
+    const { words } = views;
+    const generation = words[word + 1];
+    const cached = views.cache.get(handle);
+    if (cached !== undefined && cached.generation === generation)
+        return cached.text;
+    const length = words[word];
+    cover(views, buffer, handle * 8 + 8 + 2 * length);
+    const text = decode(views.units, (handle << 2) + 4, length);
+    if (cached === undefined)
+        views.cache.set(handle, { generation, text });
+    else {
+        cached.generation = generation;
+        cached.text = text;
+    }
+    return text;
+};
+const unwritten = () => {
+    throw new Error("A string is written on the world's thread only.");
+};
+/** A joined thread's store over `memory`: it reads records, and writes none. */
+export const createStringReader = (memory) => {
+    const views = { words: new Uint32Array(0), units: new Uint16Array(0), cache: new Map() };
+    return {
+        writes: false,
+        active: true,
+        read: readOf(views, bytes => coveringBuffer(memory, bytes)),
+        write: unwritten,
+        copy: unwritten,
+        retire: unwritten,
+        settle: () => { },
+    };
+};
+/** The world's store over its arena, which only the world's thread writes. */
+export const createStrings = (memory) => {
+    const views = { words: new Uint32Array(0), units: new Uint16Array(0), cache: new Map() };
+    // The world's thread grows the memory itself, so its buffer covers every record.
+    const buffer = () => memory.memory.buffer;
+    const read = readOf(views, buffer);
+    /** By slab size class: freed handles, and the rest of the slab being carved. */
+    const free = Array.from({ length: classes }, () => []);
+    const next = new Array(classes).fill(0);
+    const end = new Array(classes).fill(0);
+    let generation = 0;
+    let pending = [];
+    let previous = [];
+    const allocate = (bytes) => {
+        if (bytes > slabbed)
+            return memory.allocate(bytes) >> 3;
+        const size = classOf(bytes);
+        const reused = free[size].pop();
+        if (reused !== undefined)
+            return reused;
+        if (next[size] === end[size]) {
+            const slab = memory.allocate(slabBytes);
+            next[size] = slab;
+            end[size] = slab + slabBytes;
+        }
+        // Carved by its class's size, so any record of the class fits the slot once it's freed.
+        const offset = next[size];
+        next[size] += 16 << size;
+        return offset >> 3;
+    };
+    /** A record of `length` units, its words written and its units left to the caller. */
+    const record = (length) => {
+        const bytes = recordBytes(length);
+        const handle = allocate(bytes);
+        cover(views, buffer, handle * 8 + bytes);
+        generation = (generation + 1) >>> 0;
+        views.words[handle << 1] = length;
+        views.words[(handle << 1) + 1] = generation;
+        return handle;
+    };
+    const release = (handle) => {
+        const bytes = recordBytes(views.words[handle << 1]);
+        if (bytes > slabbed)
+            memory.free(handle << 3, bytes);
+        else
+            free[classOf(bytes)].push(handle);
+    };
+    return {
+        writes: true,
+        active: false,
+        read,
+        write: text => {
+            const { length } = text;
+            const handle = record(length);
+            const { units } = views;
+            const start = (handle << 2) + 4;
+            for (let i = 0; i < length; i++)
+                units[start + i] = text.charCodeAt(i);
+            return handle;
+        },
+        copy: source => {
+            if (source === 0)
+                return 0;
+            const length = views.words[source << 1];
+            const handle = record(length);
+            const start = (source << 2) + 4;
+            views.units.copyWithin((handle << 2) + 4, start, start + length);
+            return handle;
+        },
+        retire: handle => {
+            if (handle !== 0)
+                pending.push(handle);
+        },
+        settle: () => {
+            if (previous.length === 0 && pending.length === 0)
+                return;
+            for (let k = 0; k < previous.length; k++)
+                release(previous[k]);
+            previous.length = 0;
+            const freed = previous;
+            previous = pending;
+            pending = freed;
+        },
+    };
+};
+/** A string column's value at `row`: as the world's thread holds it, or out of its record on another, `null` for 0. */
+export const readString = (column, row) => {
+    const value = column.values[row];
+    if (value !== undefined)
+        return value;
+    const { strings } = column;
+    if (strings === null)
+        throw new Error("A string column has no records to read.");
+    const handle = column.views.u32[row];
+    return handle === 0 ? null : strings.read(handle);
+};
+/** Replaces a string column's value at `row`, and while records are kept, its record, letting the old one go. */
+export const writeString = (column, row, value) => {
+    const { strings } = column;
+    if (strings === null || !strings.writes)
+        throw new Error("A string is written on the world's thread only.");
+    column.values[row] = value;
+    if (!strings.active)
+        return;
+    const handles = column.views.u32;
+    const old = handles[row];
+    handles[row] = value === null ? 0 : strings.write(typeof value === "string" ? value : String(value));
+    strings.retire(old);
+};
+/** Starts keeping records, once a thread may read them: one for each value the world holds now. */
+export const keepRecords = (strings, archetypes) => {
+    if (strings.active)
+        return;
+    strings.active = true;
+    for (const archetype of archetypes) {
+        for (const storage of archetype.storages) {
+            if (storage.layout.kind !== "string")
+                continue;
+            const handles = storage.views.u32;
+            for (let row = 0; row < archetype.count; row++) {
+                const value = storage.values[row];
+                handles[row] = value === null || value === undefined ? 0 : strings.write(typeof value === "string" ? value : String(value));
+            }
+        }
+    }
+};
+/** Stops keeping records, once no thread reads them: every one is let go. */
+export const dropRecords = (strings, archetypes) => {
+    if (!strings.active)
+        return;
+    strings.active = false;
+    for (const archetype of archetypes) {
+        for (const storage of archetype.storages) {
+            if (storage.layout.kind !== "string")
+                continue;
+            const handles = storage.views.u32;
+            for (let row = 0; row < archetype.count; row++) {
+                strings.retire(handles[row]);
+                handles[row] = 0;
+            }
+        }
+    }
+};
+//# sourceMappingURL=strings.js.map

package/dist/implementation/world/strings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strings.js","sourceRoot":"","sources":["../../../src/implementation/world/strings.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,cAAc,EAAe,MAAM,aAAa,CAAC;AA8B1D,8FAA8F;AAC9F,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB,MAAM,MAAM,GAAG,CAAC,KAAkB,EAAE,KAAa,EAAE,MAAc,EAAU,EAAE;IACzE,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACd,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,EAAE,IAAI,WAAW,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAW,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACvI,IAAI,IAAI,KAAK,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,gGAAgG;AAChG,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAE1E,+HAA+H;AAC/H,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,MAAM,SAAS,GAAG,KAAK,CAAC;AACxB,0CAA0C;AAC1C,MAAM,OAAO,GAAG,CAAC,CAAC;AAElB,sFAAsF;AACtF,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AAKnF,8GAA8G;AAC9G,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,MAA0C,EAAE,KAAa,EAAQ,EAAE;IAC5F,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK;QAAE,OAAO;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,KAAK,CAAC,KAAK,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,KAAK,CAAC,KAAK,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,MAA0C,EAAE,EAAE,CAAC,CAAC,MAAc,EAAU,EAAE;IACpG,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,CAAC;IACzB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;SACnE,CAAC;QACF,MAAM,CAAC,UAAU,GAAG,UAAU,CAAC;QAC/B,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,GAAU,EAAE;IAC1B,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAA0B,EAAe,EAAE;IAC1E,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAChG,OAAO;QACH,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3D,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,GAAG,EAAE,GAAE,CAAC;KACnB,CAAC;AACN,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAe,EAAE;IACzD,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAChG,iFAAiF;IACjF,MAAM,MAAM,GAAG,GAAoB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnC,gFAAgF;IAChF,MAAM,IAAI,GAAe,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,KAAK,CAAS,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAa,EAAE,CAAC;IAE5B,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAU,EAAE;QACvC,IAAI,KAAK,GAAG,OAAO;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YAClB,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC;QACjC,CAAC;QACD,wFAAwF;QACxF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;QACzB,OAAO,MAAM,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC;IAEF,sFAAsF;IACtF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE;QACtC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACzC,UAAU,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC;QAClC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC;QAC5C,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,MAAc,EAAQ,EAAE;QACrC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,KAAK,GAAG,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;;YAChD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC;IAEF,OAAO;QACH,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,KAAK;QACb,IAAI;QACJ,KAAK,EAAE,IAAI,CAAC,EAAE;YACV,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;YACxB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;YACxB,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;gBAAE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,IAAI,EAAE,MAAM,CAAC,EAAE;YACX,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC;YACjE,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,MAAM,EAAE,MAAM,CAAC,EAAE;YACb,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,EAAE,GAAG,EAAE;YACT,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,QAAQ,CAAC;YACvB,QAAQ,GAAG,OAAO,CAAC;YACnB,OAAO,GAAG,KAAK,CAAC;QACpB,CAAC;KACJ,CAAC;AACN,CAAC,CAAC;AAKF,uHAAuH;AACvH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,GAAW,EAAW,EAAE;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,iHAAiH;AACjH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,GAAW,EAAE,KAAc,EAAQ,EAAE;IAC7E,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC5G,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO;IAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;IACjC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACrG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC,CAAC;AAKF,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAoB,EAAE,UAA2B,EAAQ,EAAE;IACnF,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO;IAC3B,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;YAClC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;gBAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAChI,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAoB,EAAE,UAA2B,EAAQ,EAAE;IACnF,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO;IAC5B,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;YAClC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;gBAC7C,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC,CAAC"}

package/dist/implementation/world/structure.d.ts

@@ -0,0 +1,39 @@
+import type { Archetype } from './archetype.js';
+import type { Holders } from './holders.js';
+import { type RuleFacts, type Strata } from '../../interface/registry/strata.js';
+/**
+ * A world's structural derivation: its rules and `within` declarations as strata, the closure each archetype maps to,
+ * and its references, with the holders of each target. Empty until rules, `within` or references are used, and every
+ * sync-point step it adds is gated on that.
+ */
+export type Structure = {
+    rules: readonly RuleFacts[];
+    strata: Strata;
+    /** By component id: the host of a component declared within one, or -1. */
+    readonly hosts: number[];
+    /** By host id: the components declared within it. */
+    readonly dependents: number[][];
+    /** By component id: 0, or the kind of reference it holds (`owner`, then `weak`). */
+    readonly references: number[];
+    /** Components holding references. */
+    readonly referenceIds: number[];
+    /** By reference component id: the holders of each target. */
+    readonly holders: (Holders | undefined)[];
+    /** By archetype id: the archetype id of its closure, or -1 until computed. */
+    closures: number[];
+    /** By `from + 1` and `to` archetype ids: the derived components an entity gains moving between them. */
+    readonly gains: Map<number, readonly number[]>;
+    /** Whether the next sync point re-derives every entity, after rules were registered. */
+    rederive: boolean;
+};
+export declare const owner = 1;
+export declare const weak = 2;
+export declare const createStructure: () => Structure;
+/** Whether the closure can differ from the archetype: some rule or `within` declaration exists. */
+export declare const derives: (structure: Structure) => boolean;
+/** Recomputes the strata, throwing for a cycle; on success the cached closures are dropped. */
+export declare const restratify: (structure: Structure, rules: readonly RuleFacts[], hosts: readonly number[], nameOf: (id: number) => string) => void;
+/** The archetype an entity with `archetype`'s components ends up in once derived. Computed once per archetype, at sync points. */
+export declare const closureOf: (structure: Structure, derived: readonly boolean[], archetype: Archetype, archetypeOf: (components: readonly number[], shared: readonly (number | undefined)[]) => Archetype, archetypes: readonly Archetype[]) => Archetype;
+/** The derived components an entity gains moving from `from` (null when spawned) to `to`. */
+export declare const gainsOf: (structure: Structure, derived: readonly boolean[], from: Archetype | null, to: Archetype) => readonly number[];