@oasys/oecs 0.3.1 → 0.5.0

package/dist/core/ecs/archetype.d.ts

@@ -0,0 +1,486 @@
+import { Brand, AnyTypedArray, ColumnBacking, TypedArrayTag, BitSet } from '../../type_primitives/index.js';
+import { ColumnStore } from '../store/column_store.js';
+import { ComponentID, ComponentDef, ComponentSchema, SchemaOf, DeclaredQueryTerm, TagToTypedArray, ColumnsForSchema, MutableColumnsForSchema, ReadonlyColumn } from './component.js';
+import { EntityID, ReadonlyEntityIdArray } from './entity.js';
+export type ArchetypeID = Brand<number, "archetype_id">;
+export declare const asArchetypeId: (value: number) => ArchetypeID;
+export interface ArchetypeEdge {
+    add: ArchetypeID | null;
+    remove: ArchetypeID | null;
+    /** Pre-computed column mapping for add direction: this → add target. */
+    addMap: Int16Array | null;
+    /** Pre-computed column mapping for remove direction: this → remove target. */
+    removeMap: Int16Array | null;
+}
+/**
+ * Cached resolution of a *multi*-component add out of this archetype: the
+ * target archetype the union lands in, plus the pre-built src→target batch
+ * transition map. Keyed (on the source archetype) by an exact N-tagged pack of
+ * the added component ids — see `Store.addComponents` (#659).
+ *
+ * Where `ArchetypeEdge` is the per-*component* edge the single-add path indexes
+ * by `edges[component_id]`, this is the per-*set* edge the plural-add path looks
+ * up by packed key — folding the mask hash, `archLookup`, and batch-map fetch
+ * the final-mask resolve repeats every call into one `Map.get`. Never
+ * invalidated: the archetype graph is monotonic (archetypes outlive the Store).
+ */
+export interface CompositeAddEdge {
+    target: ArchetypeID;
+    map: Int16Array;
+}
+export interface ArchetypeColumnLayout {
+    componentId: ComponentID;
+    fieldNames: string[];
+    fieldIndex: Record<string, number>;
+    fieldTypes: TypedArrayTag[];
+}
+interface ArchetypeColumnGroup {
+    layout: ArchetypeColumnLayout;
+    columns: ColumnBacking<AnyTypedArray>[];
+}
+/**
+ * Per-column allocator. Returns a `ColumnBacking` for the field at
+ * `fieldIdx` of component `component_id`. The default factory (when none
+ * is supplied to the constructor) allocates a `GrowableTypedArray` on the
+ * heap; `fromColumnStore` supplies a factory that wraps SAB views instead.
+ */
+export type ColumnFactory = (componentId: ComponentID, fieldIdx: number, tag: TypedArrayTag) => ColumnBacking<AnyTypedArray>;
+/**
+ * Hook the host installs on every SAB-backed archetype so the Archetype
+ * can request a SAB grow + refresh from the host BEFORE the insertion
+ * that would otherwise throw `StoreColumnOverflowError`. The host (Store)
+ * is responsible for running `growColumnStore` and `refreshViews`
+ * across every SAB-backed archetype; after the handler returns,
+ * `arch._flatColumns[i].buf.length` is guaranteed to be `>= arch.length +
+ * additional`. Heap-backed archetypes leave this unset — their
+ * `GrowableTypedArray` grows in place. (#171 §6.1.9 Phase 3)
+ */
+export type ArchetypeGrowHandler = (arch: Archetype, additional: number) => void;
+/**
+ * Public, read-only window onto an archetype's rows. This is the ONLY
+ * surface `Query.archetypes`, `Query.forEach`, and `ChangedQuery.forEach`
+ * hand to callers — the concrete `Archetype` (with its structural mutators
+ * `removeEntity`, `moveEntityFrom`, `writeFields`, `setEdge`, and the
+ * mutable `getColumn`) stays internal so query iteration can't bypass the
+ * deferred-flush path that prevents iterator invalidation. This is the same
+ * back door PR #163 closed for `Store`; issue #378 closed it again for
+ * `Query`.
+ *
+ * `id` is the archetype's opaque identity (not a mutator) — exposed so the
+ * public `ECS.batchAddComponent`/`batchRemoveComponent` API can target an
+ * archetype without the caller holding a concrete `Archetype` reference.
+ */
+export interface ArchetypeView<out Defs extends readonly ComponentDef<any>[] = readonly ComponentDef<any>[]> {
+    /** Opaque archetype identity. Pass to `ECS.batch_*_component`. */
+    readonly id: ArchetypeID;
+    /** Number of **enabled** entities — the default-iteration bound (#577). Rows
+     * `0..entityCount-1` are enabled; disabled rows (if any) sit contiguously at
+     * `entityCount..totalCount-1`. `forEach` SoA loops read this, so they skip
+     * disabled rows for free. Use `totalCount` to span disabled rows too. */
+    readonly entityCount: number;
+    /** Total live rows, enabled + disabled (#577). Equal to `entityCount` unless
+     * some rows are disabled. Use for full-state work (serialization, snapshot,
+     * determinism) that must see every entity regardless of enabled state. */
+    readonly totalCount: number;
+    /** Number of disabled rows = `totalCount - entityCount` (#577). */
+    readonly disabledCount: number;
+    /** Raw entity ID buffer (packed `EntityID`s). Valid data at indices
+     * 0..totalCount-1 (enabled rows first, then disabled). */
+    readonly entityIds: ReadonlyEntityIdArray;
+    /** True if this archetype's mask includes the given component. */
+    hasComponent(id: ComponentID): boolean;
+    /** Get a single field's column (read-only). Valid data: indices
+     * 0..entityCount-1. `def` must be a term of the iterating query
+     * (POLISH_AUDIT #6); the bare-`ArchetypeView` default stays permissive. */
+    getColumnRead<D extends ComponentDef<any>, K extends string & keyof SchemaOf<D>>(def: D & DeclaredQueryTerm<Defs, D>, field: K): ReadonlyColumn;
+    /** Tuple fetch of several of one component's columns —
+     * `const [q, r] = arch.getColumnsRead(HexPos, "q", "r")`. One small
+     * array allocation per call; see the class doc on `Archetype`. */
+    getColumnsRead<D extends ComponentDef<any>, const K extends readonly (string & keyof SchemaOf<D>)[]>(def: D & DeclaredQueryTerm<Defs, D>, ...fields: K): {
+        [I in keyof K]: ReadonlyColumn;
+    };
+    /** Get a single field's column **if this archetype has the component**,
+     * else `undefined` — the optional-query fetch-if-present accessor (#575).
+     * The absent branch is expected (resolve the column pointer per archetype
+     * span: present ⇒ column, absent ⇒ `undefined`), not an error. Same
+     * advisory-readonly view and `reads`-access-check as `getColumnRead`. */
+    getOptionalColumnRead<S extends ComponentSchema, K extends string & keyof S>(def: ComponentDef<S>, field: K): ReadonlyColumn | undefined;
+}
+export declare class Archetype implements ArchetypeView {
+    readonly id: ArchetypeID;
+    readonly mask: BitSet;
+    readonly hasColumns: boolean;
+    /**
+     * Whether a member entity occupies a real row here. True for every archetype
+     * except the **empty archetype** (the one with no components), where a
+     * component-less entity is "alive but unplaced" — it points here via
+     * `entityArchetype` but carries `entityRow === UNASSIGNED` and holds no
+     * row, exactly like a freshly `createEntity`'d one. Keeping the empty
+     * archetype rowless gives a component-less entity a single canonical form
+     * regardless of how it got there (created bare vs. lost its last component),
+     * so `stateHash` and zero-require query iteration don't depend on add/remove
+     * history. The row-materialising methods below honour this flag.
+     */
+    readonly materializesRows: boolean;
+    private readonly _entityIds;
+    length: number;
+    /**
+     * Enabled/disabled row partition (#577 — entity enable/disable). Rows
+     * `[0, enabled_count)` are enabled, `[enabled_count, length)` are disabled.
+     * `enabled_count === length` (no disabled rows) is the common case — every
+     * fast path below short-circuits on it, so an archetype that never disables
+     * an entity pays nothing. Disable/enable swap a row across the boundary
+     * (`disableRow`/`enableRow`); appends place enabled rows in front of the
+     * disabled tail (`_placeTail`). `entityCount` (the query/iteration bound)
+     * returns this; `length`/`totalCount` span disabled rows too. Folded into
+     * `stateHash` and published to the SAB descriptor so the WASM sim and
+     * snapshot/restore honour it.
+     */
+    enabledCount: number;
+    /**
+     * Flush-epoch stamp + captured pre-counts for the Store's per-entity flush
+     * 0-crossing detector (#328, #812): `_flushAdds`/`_flushRemoves` stamp each
+     * archetype on first sight per flush (a few field accesses) instead of probing
+     * a `Map<archetype_id, pre_count>` per entity — the same per-entity Map
+     * cost the destroy drain shed in #457. Both `_flushPreLen` and
+     * `_flushPreEnabled` are recorded so the settle pass can detect a 0-crossing
+     * on either the total (`length`) or the enabled partition (`enabledCount`) —
+     * an enabled append into an all-disabled archetype crosses only the latter
+     * (#812). Owned by Store; pure scheduling bookkeeping, never folded into
+     * `stateHash`/snapshot.
+     */
+    _flushSeenEpoch: number;
+    _flushPreLen: number;
+    _flushPreEnabled: number;
+    /**
+     * DEV-only iteration guard: >0 while a dense query iterator (`forEach` /
+     * `eachChunk` / `forEachUntil` / `ChangedQuery.forEach`) is delivering this
+     * archetype to a user callback. The row-removing/reordering primitives
+     * (`removeRow` / `disableRow` / `enableRow`) check it so an immediate
+     * structural mutation from inside the walk — which would swap-remove under
+     * the iterator and silently skip or repeat entities — throws instead.
+     * Production builds never read or write it.
+     */
+    _iterDepth: number;
+    private readonly edges;
+    /**
+     * Cache of pre-computed transition maps for multi-component transitions
+     * (this → target). Single-component edges live on `edges[].addMap`/`removeMap`;
+     * multi-component pairs land here. Entries never need invalidation —
+     * archetypes live for the Store's lifetime.
+     */
+    private readonly batchTransitionMaps;
+    /**
+     * Per-set add-edge cache for `Store.addComponents` (#659), keyed by an
+     * exact pack of the added component ids. Lazily allocated: most archetypes
+     * never originate a plural add, so the Map stays `null` until the first one
+     * is resolved — the single-add `edges[]` path never touches it.
+     */
+    private compositeAddEdges;
+    readonly _flatColumns: ColumnBacking<AnyTypedArray>[];
+    /** Set by `fromColumnStore` to record which SAB archetype this Archetype
+     * draws its column views from. `null` for the default heap-backed path
+     * (no SAB linkage; `refreshViews` would be a no-op there and so
+     * isn't supported). */
+    private _storeArchetypeId;
+    readonly _colOffset: number[];
+    readonly _fieldCount: number[];
+    private readonly _fieldIndex;
+    private readonly _fieldNames;
+    readonly columnGroups: (ArchetypeColumnGroup | undefined)[];
+    readonly _columnIds: number[];
+    readonly _changedTick: number[];
+    private readonly _mutGroupCache;
+    private readonly _readGroupCache;
+    /** Host-installed grow hook. Set by `Store` on every SAB-backed
+     * archetype during construction; `null` on heap-backed archetypes (the
+     * default `GrowableTypedArray` grows in place). Insertion methods call
+     * `_invoke_grow(...)` below before any push that would overflow the
+     * current SAB row capacity. (#171 §6.1.9 Phase 3) */
+    growHandler: ArchetypeGrowHandler | null;
+    constructor(id: ArchetypeID, mask: BitSet, layouts?: ArchetypeColumnLayout[], initialCapacity?: number, columnFactory?: ColumnFactory);
+    /**
+     * Build an Archetype whose columns are TypedArray views into a single
+     * `ColumnStore`-managed `SharedArrayBuffer`. The store must contain an
+     * archetype entry whose id equals `storeArchetypeId` and whose columns
+     * cover every `(component_id, fieldIdx)` pair declared by `layouts`.
+     *
+     * The resulting archetype is fixed-capacity at the SAB row capacity —
+     * any operation that would push past it throws `StoreColumnOverflowError`.
+     * To grow capacity, call `growColumnStore(...)` between ticks and then
+     * `refreshViews(newStore)` on this archetype (#171 §6.1.4 / §8.1).
+     */
+    static fromColumnStore(id: ArchetypeID, mask: BitSet, layouts: ArchetypeColumnLayout[], columnStore: ColumnStore, storeArchetypeId: number): Archetype;
+    /** True iff this archetype was constructed via `fromColumnStore` and its
+     * `_flatColumns` are SAB-backed. Heap-backed archetypes return `false`
+     * and cannot be refreshed (their columns grow in place). */
+    get isBufferBacked(): boolean;
+    /**
+     * Repoint every column at the matching SAB view in `newColumnStore` after
+     * a host-side `growColumnStore` realloc. The archetype keeps its row
+     * count; each column's logical length is preserved. Caller is responsible
+     * for ensuring `newColumnStore` was built by `growColumnStore` over the
+     * SAB this archetype was originally drawn from — the matching
+     * `storeArchetypeId` was recorded in `fromColumnStore` and is reused here.
+     *
+     * Throws `ECSError` if this archetype is not SAB-backed, or if the new
+     * store lacks the recorded archetype id or any column the archetype
+     * expects.
+     */
+    refreshViews(newColumnStore: ColumnStore): void;
+    /** Enabled-row count — the default iteration bound (#577). See `enabled_count`.
+     * Equals `length` whenever no entity is disabled (the common case).
+     *
+     * During an `includeDisabled()` query's `forEach`, the module flag
+     * `_iterAllRows` is set so this returns `length` (enabled + disabled) — the
+     * user's `for i < arch.entityCount` loop then spans disabled rows
+     * transparently, with no change to the loop. Outside such iteration the flag is
+     * false and this is `enabled_count`. */
+    get entityCount(): number;
+    /** Total live rows incl. disabled (#577). */
+    get totalCount(): number;
+    /** Disabled-row count (#577). */
+    get disabledCount(): number;
+    /** Raw entity ID buffer (packed `EntityID`s). Valid data at indices
+     * 0..totalCount-1 (enabled rows first, then disabled). */
+    get entityIds(): ReadonlyEntityIdArray;
+    /**
+     * Swap the two rows `a` and `b` — entity ids and every column. Does NOT touch
+     * `entityRow`; the caller updates the entity→row map for whichever rows it
+     * cares about (it knows the two `entityIds` after the swap). The partition
+     * primitives (`disableRow`/`enableRow`/`removeRow`/`_placeTail`) build on
+     * this. Writes through each column's live backing buffer (`buf`), so it works
+     * for both heap- and SAB-backed columns. No-op when `a === b`. (#577) */
+    swapRows(a: number, b: number): void;
+    /**
+     * Place a freshly-appended ENABLED entity (currently at the tail row `tail`,
+     * already pushed, `length` already incremented) into the enabled region, and
+     * bump `enabled_count`. Returns its final row.
+     *
+     * Common case — no disabled rows (`enabled_count === tail`): the tail row IS
+     * the next enabled slot, so this is just `enabled_count++` and returns `tail`
+     * (byte-for-byte the pre-#577 behaviour, `entityRow` untouched). Rare case —
+     * disabled rows occupy `[enabled_count, tail)`: swap the appended row into the
+     * first disabled slot and push that disabled occupant to the tail, updating
+     * its `entityRow`. Requires `entityRow` in that case (a `DEV` guard fires
+     * if a caller appends into a disabled-bearing archetype without passing it). (#577) */
+    private _placeTail;
+    /**
+     * Bulk analog of `_placeTail` for `count` freshly-appended enabled rows at
+     * `[start, start+count)`. Common case (no disabled rows, `enabled_count ===
+     * start`): `enabled_count += count`, return `start`. The bulk callers
+     * (`spawnMany`, batch ops) fall back to a per-entity append loop when the
+     * target already has disabled rows, so the rare branch is a `DEV` guard
+     * rather than a block-rotation. (#577) */
+    private _placeTailBulk;
+    /**
+     * Disable the entity at `row` (precondition: enabled, `row < enabled_count`).
+     * Swaps it to the end of the enabled region and shrinks the region, so it
+     * lands in the disabled tail with its data intact — no archetype transition,
+     * O(1)+one row swap. Updates `entityRow` for both rows touched. (#577) */
+    disableRow(row: number, entityRow: Int32Array): void;
+    /**
+     * Enable the entity at `row` (precondition: disabled, `row >= enabled_count`).
+     * Swaps it to the front of the disabled region and grows the enabled region.
+     * Updates `entityRow` for both rows touched. (#577) */
+    enableRow(row: number, entityRow: Int32Array): void;
+    /**
+     * Partition-aware swap-remove that owns its `entityRow` updates (#577). The
+     * Store's destroy/move paths call this instead of `removeEntity`; it keeps the
+     * enabled prefix contiguous in every case:
+     *  - disabled row (`row >= enabled_count`): swap-remove within the disabled
+     *    tail (the last row is disabled) — `enabled_count` unchanged.
+     *  - last enabled row: swap-remove with the global last; `enabled_count--`.
+     *  - middle enabled row: move the last enabled row into the hole (so the
+     *    enabled prefix stays packed), then swap-remove that vacated enabled slot
+     *    with the global last; `enabled_count--`.
+     * Updates `entityRow` for every relocated entity (never for the removed one —
+     * the caller frees/repoints it). */
+    removeRow(row: number, entityRow: Int32Array): void;
+    /** @internal — cold partition-aware tail of `removeRow` (#577): the
+     * disabled-bearing archetype case. Split out so the no-disabled fast path
+     * above stays small enough to inline (#649); see the doc on `removeRow`. */
+    private _removeRowPartitioned;
+    get entityList(): Uint32Array;
+    hasComponent(id: ComponentID): boolean;
+    matches(required: BitSet): boolean;
+    /**
+     * Get a single field's column (read-only — use when not mutating). Valid
+     * data: indices 0..entityCount-1. The `ReadonlyColumn` return is an
+     * *advisory* compile-time barrier: it is the live mutable backing buffer,
+     * so the `readonly` index signature blocks writes at the type layer only
+     * (a §10c-policed cast can still write through). For writes use the
+     * mutable `getColumn` (tick-bumping) below.
+     */
+    getColumnRead<S extends ComponentSchema, K extends string & keyof S>(def: ComponentDef<S>, field: K): ReadonlyColumn;
+    /**
+     * Tuple fetch of several of one component's columns —
+     * `const [q, r] = arch.getColumnsRead(HexPos, "q", "r")` collapses the
+     * per-field `getColumnRead` preamble at the top of an iteration callback
+     * to one line. Same advisory-readonly views and `reads` access-check as
+     * `getColumnRead`. Allocates one small array per call — fine once per
+     * archetype per tick; in a per-row loop fetch columns individually.
+     */
+    getColumnsRead<S extends ComponentSchema, const K extends readonly (string & keyof S)[]>(def: ComponentDef<S>, ...fields: K): {
+        [I in keyof K]: ReadonlyColumn;
+    };
+    /**
+     * Get a single field's column **if this archetype has the component**, else
+     * `undefined` — the fetch-if-present accessor for optional query terms (#575,
+     * Bevy `Option<&T>` / flecs `?`). An optional query (`q.optional(T)`) spans
+     * archetypes both with and without `T`; the caller branches once per
+     * archetype span on the return:
+     *
+     *   q.forEach((arch) => {
+     *     const vx = arch.getOptionalColumnRead(Vel, "vx");
+     *     for (let i = 0; i < arch.entityCount; i++) {
+     *       px[i] += vx ? vx[i] : 0;   // absent span ⇒ vx === undefined
+     *     }
+     *   });
+     *
+     * Unlike `getColumnRead`, a component the archetype lacks is the expected
+     * **absent** branch, not a thrown error. The `DEV` checks still run
+     * **first** (before the absent short-circuit), so the requirements don't
+     * depend on whether the current span happens to hold `T`. Two checks fire:
+     * (1) `accessCheck.checkRead` — an optional read needs `reads:[T]` coverage
+     * exactly as a required read does; (2) `accessCheck.checkOptionalFetch` —
+     * the iterating query must have declared `.optional(T)` (#592), the read-side
+     * analog that makes the query term the fetch's authorization rather than inert
+     * decoration. The return is the same advisory-readonly view `getColumnRead`
+     * hands back.
+     */
+    getOptionalColumnRead<S extends ComponentSchema, K extends string & keyof S>(def: ComponentDef<S>, field: K): ReadonlyColumn | undefined;
+    /** Get a single field's column (mutable — the default). Marks the component as changed at the given tick. */
+    getColumn<S extends ComponentSchema, K extends string & keyof S>(def: ComponentDef<S>, field: K, tick: number): TagToTypedArray[S[K]];
+    /** Mutable field-keyed column group; stamps the change tick once. */
+    columnGroupMut<S extends ComponentSchema>(def: ComponentDef<S>, tick: number): MutableColumnsForSchema<S>;
+    /** Read-only field-keyed column group (no tick bump). */
+    columnGroupRead<S extends ComponentSchema>(def: ComponentDef<S>): ColumnsForSchema<S>;
+    writeFields(row: number, componentId: ComponentID, values: Record<string, number>, tick: number): void;
+    /**
+     * Bulk variant of `writeFields` — fills `count` consecutive rows starting
+     * at `dstStart` with the same field values via per-field `TypedArray.fill`.
+     * For N rows of an F-field component, this is F native fill calls instead
+     * of N×F per-row JS writes. The change-tick is bumped once for the range,
+     * not once per row. Used by `Store.batchAddComponent` after a bulk move,
+     * where every freshly-added row shares the same field values.
+     */
+    bulkWriteFields(dstStart: number, count: number, componentId: ComponentID, values: Record<string, number>, tick: number): void;
+    /** Fast positional write: values[i] → field[i] in declaration order. No string lookup. */
+    writeFieldsPositional(row: number, componentId: ComponentID, values: ArrayLike<number>, tick: number): void;
+    readField(row: number, componentId: ComponentID, field: string): number;
+    /** Copy all shared component columns from source archetype at srcRow into dstRow. */
+    copySharedFrom(source: Archetype, srcRow: number, dstRow: number, tick: number): void;
+    /**
+     * Add an entity. Pushes zeroes into all columns and returns the assigned row.
+     * Store is responsible for tracking entityIndex → row.
+     */
+    addEntity(entityId: EntityID, entityRow?: Int32Array): number;
+    /**
+     * Remove entity at row via swap-and-pop. Swaps the last entity into the
+     * vacated row to keep data dense. Returns the entityIndex of the swapped
+     * entity (so Store can update its row), or NO_SWAP if no swap was needed.
+     */
+    removeEntity(row: number): number;
+    /** Tag-optimized add: skip column push entirely (no data to store). */
+    addEntityTag(entityId: EntityID, entityRow?: Int32Array): number;
+    /**
+     * Bulk add `count` entities, zero-initialising all columns. Returns the
+     * starting dstRow for the batch. Caller is responsible for tracking
+     * entityIndex → row for every entity in the batch.
+     *
+     * Collapses the N×C `push(0)` cost of N sequential `addEntity` calls
+     * into C `bulkAppendZeroes(count)` calls — the same pattern
+     * `bulkMoveAllFrom` (`:580`) uses for the move-with-data case (#330).
+     */
+    addEntities(entityIds: Uint32Array, count?: number): number;
+    /** Tag-optimized bulk add: skip the per-column zero-fill entirely. */
+    addEntitiesTag(entityIds: Uint32Array, count?: number): number;
+    /** Grow column capacity to fit `additional` more rows if the next append
+     * would overflow — the exact grow trigger the `addEntityWithValues` /
+     * `addEntitiesWithValues` appends run internally, lifted out so the spawn
+     * path can pre-reserve capacity BEFORE it commits an entity slot. A SAB-cap
+     * grow throws here (with the world untouched) instead of mid-append after the
+     * slot is already live — see `Store.spawn`/`spawnMany` (#775). No-op for a
+     * tag-only archetype (no SAB columns) or when no grow handler is installed. */
+    ensureRowCapacity(additional: number): void;
+    /** Append one entity, writing `flatValues[i]` straight into column `i`
+     * (in `_flatColumns` order) — no zero-fill-then-overwrite. Bumps every
+     * column's change tick once. Returns the assigned row. */
+    addEntityWithValues(entityId: EntityID, flatValues: number[], tick: number, entityRow?: Int32Array): number;
+    /** Bulk append `count` entities, filling column `i` with `flatValues[i]`
+     * in a single `TypedArray.fill` per column (no zero pass). Returns the
+     * starting row. */
+    addEntitiesWithValues(entityIds: Uint32Array, count: number, flatValues: number[], tick: number): number;
+    /** Tag-optimized remove via swap-and-pop: skip column swap/pop entirely. */
+    removeEntityTag(row: number): number;
+    /**
+     * Move an entity from src archetype into this archetype in a single pass.
+     * Combines addEntity + copySharedFrom + removeEntity(src).
+     * Uses a pre-computed transition map for branchless column copy.
+     * Writes dstRow to _moveResult[0], swapped entity index to _moveResult[1].
+     */
+    moveEntityFrom(src: Archetype, srcRow: number, entityId: EntityID, transitionMap: Int16Array, tick: number, entityRow: Int32Array): void;
+    /**
+     * Move an entity from src into this archetype (tag-only: no columns to copy).
+     * Writes dstRow to _moveResult[0]; _moveResult[1] is always NO_SWAP (the
+     * partition-aware src/dst updates are owned internally, #577).
+     */
+    moveEntityFromTag(src: Archetype, srcRow: number, entityId: EntityID, entityRow: Int32Array): void;
+    /**
+     * Bulk-move ALL entities from src into this archetype using TypedArray.set().
+     * Much faster than per-entity moveEntityFrom when the entire source is moving.
+     * After this call, src is empty. Returns the starting dstRow for the batch.
+     */
+    bulkMoveAllFrom(src: Archetype, transitionMap: Int16Array, tick: number): number;
+    /**
+     * Drop every row at once — length → 0, entity-id list and all columns
+     * cleared — without copying into a destination. Used when an archetype's
+     * entire population leaves in one move: `bulkMoveAllFrom` clears the
+     * source this way, and `Store.batchRemoveComponent` calls it directly when
+     * the destination is the rowless empty archetype (batch-removing the last
+     * component), where there is nothing to copy into.
+     */
+    clearRows(): void;
+    /**
+     * Re-derive the host-side row bookkeeping after a snapshot is mounted onto a
+     * live world (#789, `Store.restoreInto`). A snapshot reloads the column bytes
+     * (dense SAB) but NOT the host-side `length` / `enabledCount` / `_entityIds`
+     * back-reference — those are reconstructed here. `refreshViews` must have
+     * already repointed the columns at the restored SAB.
+     *
+     * The caller scans the restored entity-index region to learn which entity
+     * occupies each row and passes them in row order (`rowEntityIds[r]` is the
+     * packed `EntityID` at row `r`; rows `[0, length)` are dense, enabled rows
+     * first then disabled per the #577 partition). `enabledCount` is the restored
+     * partition boundary. This is the inverse of the per-row `addEntity` /
+     * `disableRow` bookkeeping the live run accumulated.
+     */
+    restoreHostRows(rowEntityIds: readonly number[], enabledCount: number): void;
+    getEdge(componentId: ComponentID): ArchetypeEdge | undefined;
+    setEdge(componentId: ComponentID, edge: ArchetypeEdge): void;
+    /**
+     * Get the transition map from this archetype to `target`, building and caching
+     * it on miss. Used by Store.addComponents / removeComponents — the per-edge
+     * cache only covers single-component steps.
+     */
+    getBatchTransitionMap(target: Archetype): Int16Array;
+    /** Look up a cached plural-add transition by its packed key (#659). Returns
+     * `undefined` until the first composite add out of this archetype plants the
+     * lazy Map — the common case for archetypes that only ever see single adds. */
+    getCompositeAddEdge(key: number): CompositeAddEdge | undefined;
+    /** Cache a resolved plural-add transition (target + src→target map) under its
+     * packed key (#659), allocating the backing Map on first use. */
+    cacheCompositeAddEdge(key: number, target: ArchetypeID, map: Int16Array): void;
+}
+/** Reusable result buffer for move_entity_from/move_entity_from_tag. [dstRow, swapped_index] */
+export declare const _moveResult: [number, number];
+export declare function _setIterAllRows(value: boolean): boolean;
+/**
+ * Build a transition map from src archetype to dst archetype.
+ * For each column in dst, stores the index of the corresponding column in src,
+ * or -1 if the column is new (no source).
+ */
+export declare function buildTransitionMap(src: Archetype, dst: Archetype): Int16Array;
+export {};
+//# sourceMappingURL=archetype.d.ts.map

package/dist/core/ecs/archetype.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"archetype.d.ts","sourceRoot":"","sources":["../../../src/core/ecs/archetype.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;KAmBK;AAEL,OAAO,EACN,KAAK,EAIL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EACX,WAAW,EACX,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,uBAAuB,EACvB,cAAc,EAEd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAkB,KAAK,QAAQ,EAAE,KAAK,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAGrF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAIpD,MAAM,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAExD,eAAO,MAAM,aAAa,UAAW,MAAM,gBAKzC,CAAC;AAEH,MAAM,WAAW,aAAa;IAC7B,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3B,wEAAwE;IACxE,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,8EAA8E;IAC9E,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;CAC7B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE,WAAW,CAAC;IACpB,GAAG,EAAE,UAAU,CAAC;CAChB;AAED,MAAM,WAAW,qBAAqB;IACrC,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,aAAa,EAAE,CAAC;CAC5B;AAED,UAAU,oBAAoB;IAC7B,MAAM,EAAE,qBAAqB,CAAC;IAC9B,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;CACxC;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CAC3B,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,aAAa,KACd,aAAa,CAAC,aAAa,CAAC,CAAC;AAElC;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,KAAK,IAAI,CAAC;AAEjF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa,CAC7B,GAAG,CAAC,IAAI,SAAS,SAAS,YAAY,CAAC,GAAG,CAAC,EAAE,GAAG,SAAS,YAAY,CAAC,GAAG,CAAC,EAAE;IAE5E,kEAAkE;IAClE,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB;;;6EAGyE;IACzE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;8EAE0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;8DAC0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,kEAAkE;IAClE,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,OAAO,CAAC;IACvC;;+EAE2E;IAC3E,aAAa,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,EAC9E,GAAG,EAAE,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EACnC,KAAK,EAAE,CAAC,GACN,cAAc,CAAC;IAClB;;sEAEkE;IAClE,cAAc,CACb,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,EAC3B,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAEvD,GAAG,EAAE,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,EACnC,GAAG,MAAM,EAAE,CAAC,GACV;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc;KAAE,CAAC;IACtC;;;;6EAIyE;IACzE,qBAAqB,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,EAC1E,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,KAAK,EAAE,CAAC,GACN,cAAc,GAAG,SAAS,CAAC;CAC9B;AAED,qBAAa,SAAU,YAAW,aAAa;IAC9C,SAAgB,EAAE,EAAE,WAAW,CAAC;IAChC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAgB,UAAU,EAAE,OAAO,CAAC;IACpC;;;;;;;;;;OAUG;IACH,SAAgB,gBAAgB,EAAE,OAAO,CAAC;IAE1C,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsB;IAC1C,MAAM,EAAE,MAAM,CAAK;IAC1B;;;;;;;;;;;OAWG;IACI,YAAY,EAAE,MAAM,CAAK;IAChC;;;;;;;;;;;OAWG;IACI,eAAe,EAAE,MAAM,CAAM;IAC7B,YAAY,EAAE,MAAM,CAAK;IACzB,gBAAgB,EAAE,MAAM,CAAK;IACpC;;;;;;;;OAQG;IACI,UAAU,EAAE,MAAM,CAAK;IAC9B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAuB;IAC7C;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAA2C;IAC/E;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB,CAA8C;IAOvE,SAAgB,YAAY,EAAE,aAAa,CAAC,aAAa,CAAC,EAAE,CAAM;IAClE;;;2BAGuB;IACvB,OAAO,CAAC,iBAAiB,CAAuB;IAEhD,SAAgB,UAAU,EAAE,MAAM,EAAE,CAAM;IAE1C,SAAgB,WAAW,EAAE,MAAM,EAAE,CAAM;IAE3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgC;IAE5D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAkB;IAG9C,SAAgB,YAAY,EAAE,CAAC,oBAAoB,GAAG,SAAS,CAAC,EAAE,CAAM;IAExE,SAAgB,UAAU,EAAE,MAAM,EAAE,CAAM;IAE1C,SAAgB,YAAY,EAAE,MAAM,EAAE,CAAM;IAK5C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAqD;IACpF,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAqD;IAErF;;;;yDAIqD;IAC9C,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAQ;gBAGtD,EAAE,EAAE,WAAW,EACf,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,qBAAqB,EAAE,EACjC,eAAe,GAAE,MAAgC,EACjD,aAAa,CAAC,EAAE,aAAa;IA8C9B;;;;;;;;;;OAUG;WACW,eAAe,CAC5B,EAAE,EAAE,WAAW,EACf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,qBAAqB,EAAE,EAChC,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,MAAM,GACtB,SAAS;IAuBZ;;gEAE4D;IAC5D,IAAW,cAAc,IAAI,OAAO,CAEnC;IAED;;;;;;;;;;;OAWG;IACI,YAAY,CAAC,cAAc,EAAE,WAAW,GAAG,IAAI;IA6CtD;;;;;;;4CAOwC;IACxC,IAAW,WAAW,IAAI,MAAM,CAE/B;IAED,6CAA6C;IAC7C,IAAW,UAAU,IAAI,MAAM,CAE9B;IAED,iCAAiC;IACjC,IAAW,aAAa,IAAI,MAAM,CAEjC;IAED;8DAC0D;IAC1D,IAAW,SAAS,IAAI,qBAAqB,CAI5C;IAED;;;;;;6EAMyE;IAClE,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI;IAe3C;;;;;;;;;;;2FAWuF;IACvF,OAAO,CAAC,UAAU;IAgBlB;;;;;;8CAM0C;IAC1C,OAAO,CAAC,cAAc;IAMtB;;;;8EAI0E;IACnE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,GAAG,IAAI;IAY3D;;;2DAGuD;IAChD,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,GAAG,IAAI;IAY1D;;;;;;;;;;;wCAWoC;IAC7B,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,GAAG,IAAI;IAgC1D;;gFAE4E;IAC5E,OAAO,CAAC,qBAAqB;IAgD7B,IAAW,UAAU,IAAI,WAAW,CAEnC;IAEM,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,OAAO;IAItC,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO;IAIzC;;;;;;;OAOG;IACI,aAAa,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,EACzE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,KAAK,EAAE,CAAC,GACN,cAAc;IAuBjB;;;;;;;OAOG;IACI,cAAc,CAAC,CAAC,SAAS,eAAe,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,EAC7F,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,GAAG,MAAM,EAAE,CAAC,GACV;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc;KAAE;IAMrC;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACI,qBAAqB,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,EACjF,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,KAAK,EAAE,CAAC,GACN,cAAc,GAAG,SAAS;IAsB7B,6GAA6G;IACtG,SAAS,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,EACrE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,KAAK,EAAE,CAAC,EACR,IAAI,EAAE,MAAM,GACV,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAqCxB,qEAAqE;IAC9D,cAAc,CAAC,CAAC,SAAS,eAAe,EAC9C,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,EACpB,IAAI,EAAE,MAAM,GACV,uBAAuB,CAAC,CAAC,CAAC;IAwB7B,yDAAyD;IAClD,eAAe,CAAC,CAAC,SAAS,eAAe,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC;IAwBrF,WAAW,CACjB,GAAG,EAAE,MAAM,EACX,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,IAAI,EAAE,MAAM,GACV,IAAI;IAeP;;;;;;;OAOG;IACI,eAAe,CACrB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,IAAI,EAAE,MAAM,GACV,IAAI;IAeP,0FAA0F;IACnF,qBAAqB,CAC3B,GAAG,EAAE,MAAM,EACX,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,EACzB,IAAI,EAAE,MAAM,GACV,IAAI;IAWA,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAyB9E,qFAAqF;IAC9E,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAmB5F;;;OAGG;IACI,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,UAAU,GAAG,MAAM;IAepE;;;;OAIG;IACI,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IA2BxC,uEAAuE;IAChE,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,UAAU,GAAG,MAAM;IAQvE;;;;;;;;OAQG;IACI,WAAW,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,GAAE,MAAyB,GAAG,MAAM;IAiBpF,sEAAsE;IAC/D,cAAc,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,GAAE,MAAyB,GAAG,MAAM;IAkBvF;;;;;;mFAM+E;IACxE,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAWlD;;8DAE0D;IACnD,mBAAmB,CACzB,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,MAAM,EAAE,EACpB,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,UAAU,GACpB,MAAM;IAeT;;uBAEmB;IACZ,qBAAqB,CAC3B,SAAS,EAAE,WAAW,EACtB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAAE,EACpB,IAAI,EAAE,MAAM,GACV,MAAM;IAgBT,4EAA4E;IACrE,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM;IAgB3C;;;;;OAKG;IACI,cAAc,CACpB,GAAG,EAAE,SAAS,EACd,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,aAAa,EAAE,UAAU,EACzB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,UAAU,GACnB,IAAI;IA2DP;;;;OAIG;IACI,iBAAiB,CACvB,GAAG,EAAE,SAAS,EACd,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,UAAU,GACnB,IAAI;IAuBP;;;;OAIG;IACI,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAsDvF;;;;;;;OAOG;IACI,SAAS,IAAI,IAAI;IAQxB;;;;;;;;;;;;;OAaG;IACI,eAAe,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI;IAsB5E,OAAO,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS;IAI5D,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI;IAInE;;;;OAIG;IACI,qBAAqB,CAAC,MAAM,EAAE,SAAS,GAAG,UAAU;IAQ3D;;mFAE+E;IACxE,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIrE;qEACiE;IAC1D,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI;CAGrF;AAED,gGAAgG;AAChG,eAAO,MAAM,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,CAAgB,CAAC;AAY1D,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAIvD;AAiDD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,UAAU,CA6B7E"}

package/dist/core/ecs/archetype_graph.d.cts

@@ -0,0 +1,96 @@
+import { BitSet } from '../../type_primitives/index.cjs';
+import { Archetype, ArchetypeColumnLayout, ArchetypeID } from './archetype.cjs';
+import { ComponentID } from './component.cjs';
+import { ComponentMeta } from './store.cjs';
+import { ArchetypeSpec } from '../store/index.cjs';
+/** What the graph needs from `Store` — closure-injected. `extendStore` and
+ * `materialize` bind the storage lifecycle (SAB extend + column-store views
+ * + grow handler) on the Store side; `fanIntoQueries` binds query-registry
+ * state. All are creation-path only — never called on an edge-cache hit. */
+export interface ArchetypeGraphHost {
+    /** Component field metadata, indexed by ComponentID — for building a new
+     * archetype's column layouts. */
+    readonly componentMetas: () => readonly ComponentMeta[];
+    /** Row capacity for a new archetype's column region. */
+    readonly initialCapacity: () => number;
+    /** Extend the SAB with the new archetypes' column regions (one call for
+     * the whole batch — the bulk path's O(N²)→O(N) win, #213). */
+    readonly extendStore: (specs: ArchetypeSpec[]) => void;
+    /** Materialise the `Archetype` over the live column store and attach the
+     * store's grow handler. */
+    readonly materialize: (id: ArchetypeID, ownedMask: BitSet, layouts: ArchetypeColumnLayout[]) => Archetype;
+    /** Push a newly-installed archetype into every registered query whose
+     * masks it satisfies. */
+    readonly fanIntoQueries: (archetype: Archetype) => void;
+}
+export declare class ArchetypeGraph {
+    /** All archetypes, indexed by `ArchetypeID` (ids are minted monotonically
+     * and never removed). Store's flush loops hoist this array to a local. */
+    readonly archetypes: Archetype[];
+    /** Inverted index: ComponentID → ascending list of ArchetypeIDs that contain
+     * that component. Indexed POSITIONALLY by component id (a small, dense id
+     * space, 0..STORE_DESCRIPTOR_COMPONENT_LIMIT-1), so a lookup is an array
+     * index, not a Map hash. Used by `getMatchingArchetypes` to start the
+     * superset scan from the smallest bucket. Each bucket is a plain push-only
+     * array — NOT a Set — and deliberately does NOT dedup: a (component,
+     * archetype) pair can be inserted here at most once (see the "no duplicate
+     * pair" invariant on `install` + ADR-0015), so there is nothing for a Set
+     * to collapse. Archetypes are never removed from a Store, so buckets only
+     * grow, in ascending archetype-id order — which is canonical order,
+     * exploited by `_forEachChangedArchetype` to skip a sort. */
+    readonly componentIndex: ArchetypeID[][];
+    private readonly archetypeMap;
+    private nextArchetypeId;
+    private readonly host;
+    constructor(host: ArchetypeGraphHost);
+    get(id: ArchetypeID): Archetype;
+    /**
+     * Find or create an archetype for the given component mask.
+     * Also updates the componentIndex and pushes into matching registered queries.
+     *
+     * Hot single-mask path. The bulk batched variant — used by Phase C
+     * pre-warming at `ecs.startup()` — is `createManyFromMasks`;
+     * see #213 / `ECS.startup()` for how it gets called and why.
+     */
+    getOrCreateFromMask(mask: BitSet): ArchetypeID;
+    /**
+     * Bulk variant of `getOrCreateFromMask` — Phase C of issue #213.
+     *
+     * Given a set of masks, creates Archetypes for the ones not already
+     * planted, in a SINGLE `extendColumnStore` call (instead of one per
+     * archetype). Single-mask creation is O(N) in archetypes-so-far because
+     * the extend has to copy every existing archetype's live rows forward;
+     * N such calls compound to O(N²). Batching collapses the per-archetype
+     * setup-and-copy down to one pass — the per-startup cost the design doc
+     * §5.2 calls out as "O(N²) → O(N)" for in-tree systems whose archetype
+     * set is known at registration time via `spawns` + `transitions`.
+     *
+     * Masks already in the map are skipped. Returns the resolved
+     * `ArchetypeID` per input mask in input order — callers that don't need
+     * the ids can ignore the return value.
+     */
+    createManyFromMasks(masks: readonly BitSet[]): ArchetypeID[];
+    /** Hash-bucketed mask → ArchetypeID lookup; null when the mask isn't planted. */
+    private lookup;
+    /** Walk the mask's set bits and resolve each non-tag component to its
+     * layout. Used by both single and bulk archetype-create paths. */
+    private buildLayouts;
+    /** Materialise the `Archetype` for `id` (via the host, which binds the
+     * live column store + grow handler), register in the archetype map +
+     * component index, and fan into any matching registered queries.
+     *
+     * Clones `mask` before storing — callers may pass scratch BitSets that
+     * they intend to reuse (e.g. `addComponents` / `removeComponents`'s
+     * `_scratchTargetMask`). The Archetype and the archetypeMap bucket
+     * both keep references long-term, so the clone is required for
+     * correctness — and is the previously-implicit guarantee made by the
+     * mask-allocating callers (`copyWithSet`, `copyWithClear`, etc.). */
+    private install;
+    /** Resolve "add component_id to archetype_id" → target ArchetypeID. Caches the edge. */
+    resolveAdd(archetypeId: ArchetypeID, componentId: ComponentID): ArchetypeID;
+    /** Resolve "remove component_id from archetype_id" → target ArchetypeID. Caches the edge. */
+    resolveRemove(archetypeId: ArchetypeID, componentId: ComponentID): ArchetypeID;
+    /** Cache a bidirectional add/remove edge between two archetypes. */
+    private cacheEdge;
+}
+//# sourceMappingURL=archetype_graph.d.ts.map