@adobe/data 0.9.48 → 0.9.51

package/AGENTS.md

@@ -11,6 +11,8 @@ Source for peer packages and sample apps is included under `references/` (when p
 - **references/data-react** — Support functions for React based projects.
 - **references/data-react-hello** — Very simple react hello world sample.
 - **references/data-react-pixie** — Simple sample for react pixie based 2d games.
+- **references/data-solid** — Support functions for SolidJS based projects. Minimal: only database context/provider. Observable bridging uses Solid's native `from()`.
+- **references/data-solid-dashboard** — Mini dashboard sample with SolidJS. Demonstrates shared database, multiple components each observing only their own slice, and fine-grained reactivity via `from()`.
 
 ## Stack
 

package/README.md

@@ -3,9 +3,9 @@ Adobe Data Oriented Programming Library
 
 ## Documentation
 
-[Main Page](https://git.corp.adobe.com/pages/neuralfiltersplatform/firefly-data/docs/api/)
+[API Reference](https://adobe.github.io/data/)
 
-[ECS Performance Test](https://git.corp.adobe.com/pages/neuralfiltersplatform/firefly-data/docs/perftest.html)
+[ECS Performance Test](https://adobe.github.io/data/perftest.html)
 
 ## Breaking API Changes
 
@@ -76,7 +76,7 @@ An `Observable<T>` is a subscription function that you can pass a callback funct
 
 Your callback function *may* be called back synchronously (before the initial call returns) zero or one times and asynchronously later any number of times.
 
-For more information see the [Observable API documentation](./docs/api/modules/observe.html)
+For more information see the [Observable API documentation](https://adobe.github.io/data/)
 
 ### Observable Types
 
@@ -181,116 +181,33 @@ Contains some standard data type schemas in JSON Schema format for convenience.
 
 ## Entity Component System (ECS)
 
-This ECS database is a high performance, strongly typed typescript implementation inspired by the Sanders Mertens C++ based [Flecs](https://www.flecs.dev/flecs/md_docs_2Docs.html).
+A high-performance, strongly typed ECS database for TypeScript, inspired by [Flecs](https://www.flecs.dev/flecs/md_docs_2Docs.html). All application state is modeled as composable plugins, and all mutations flow through observable, undoable transactions.
 
-This library provides two main interfaces for ECS operations: **Store** and **Database**. They share the same read API but differ significantly in their approach to writing and observability.
-
-### Store Interface
-
-The **Store** is the foundational, low-level interface for direct ECS data operations.
-
-**Key Characteristics:**
-- **Direct Access**: Provides immediate, synchronous read/write access to entities, components, and resources
-- **No Transaction Control**: Changes are applied directly without transaction boundaries  
-- **No Observability**: Changes are not automatically observable or trackable
-- **High Performance**: Minimal overhead for direct operations using Structure of Arrays (SoA) with linear memory layout of numeric types for optimal cache performance
-- **Core ECS Operations**: Includes entity creation, component updates, archetype querying, and resource management
-
-**Usage**: Ideal for scenarios requiring fast, direct ECS manipulation where you don't need change tracking or transactional safety.
+For a complete guide covering plugins, transactions, observability, composition, and transient/ephemeral semantics, see the **[ECS README](./src/ecs/README.md)**.
 
 ```typescript
-// Create a store with components, resources, and archetypes
-const store = createStore(
-  { 
-    position: Vec3.schema, 
-    health: { type: "number" },
-    player: { const: true } 
-  },
-  { 
-    gravity: { default: 9.8 as number } 
-  },
-  {
-    Player: ["position", "health", "player"],
-    Particle: ["position"]
-  }
-);
-
-// Direct operations
-const playerId = store.archetypes.Player.insert({ 
-  position: [0, 0, 0], 
-  health: 100, 
-  player: true 
-});
-store.update(playerId, { position: [1, 1, 1] });
-store.resources.gravity = 10.0;
-```
-
-### Database Interface
-
-The **Database** wraps a Store to provide **transaction-based operations** with **full observability**.
-
-**Key Characteristics:**
-- **Transaction-Based**: All changes must occur within predefined atomic transactions that can be undone.
-- **Full Observability**: Every change is observable through the `observe` API
-- **Predefined Operations**: Uses predefined transaction functions rather than direct mutations
-- **Undo/Redo Support**: Transactions generate undo/redo operations automatically
-- **Change Tracking**: Tracks which entities, components, and archetypes changed
-- **Event Notifications**: Automatically notifies observers of changes
+import { Database } from "@adobe/data/ecs";
 
-**Usage**: Ideal for applications requiring change history, multiplayer synchronization, undo/redo functionality, or reactive UI updates.
-
-**Important Note**: Even when using a Database, transaction functions are written as direct modifications to the underlying Store interface. The Database wraps these operations to provide transactional guarantees and observability.
-
-```typescript
-// Create a database with predefined transactions
-const database = createDatabase(store, {
-  createPlayer(t, args: { position: Vector3, health: number }) {
-    // Transaction function receives Store interface for direct operations
-    return t.archetypes.Player.insert({ 
-      ...args, 
-      player: true 
-    });
+const myPlugin = Database.Plugin.create({
+  resources: {
+    score: { default: 0 as number },
   },
-  movePlayer(t, args: { entity: Entity, position: Vector3 }) {
-    // Direct Store operations within transaction context
-    t.update(args.entity, { position: args.position });
+  transactions: {
+    addPoints: (t, points: number) => {
+      t.resources.score += points;
+    },
   },
-  setGravity(t, gravity: number) {
-    // Direct resource modification within transaction
-    t.resources.gravity = gravity;
-  }
 });
 
-// Execute transactions (these provide observability and undo/redo)
-const playerId = database.transactions.createPlayer({ 
-  position: [10, 20, 0], 
-  health: 100 
-});
-database.transactions.movePlayer({ entity: playerId, position: [15, 25, 5] });
-
-// Observe all changes
-database.observe.transactions((result) => {
-  console.log('Transaction applied:', result);
-  console.log('Changed entities:', result.changedEntities);
-  console.log('Undo operations:', result.undo);
-});
-
-// Observe specific entities
-database.observe.entity(playerId)((entityData) => {
-  if (entityData) {
-    console.log('Player moved to:', entityData.position);
-  }
-});
+const db = Database.create(myPlugin);
+db.observe.resources.score((score) => console.log("Score:", score));
+db.transactions.addPoints(10);
 ```
 
 ### What is an ECS?
 
-Sanders Mertens also covers this thoroughly in his ECS FAQ:
+Sanders Mertens covers this thoroughly in his ECS FAQ:
 
 [https://github.com/SanderMertens/ecs-faq?tab=readme-ov-file#what-is-ecs](https://github.com/SanderMertens/ecs-faq?tab=readme-ov-file#what-is-ecs)
 
-In addition to the Entity, Component and System definitions which are standard, we also use the term Resource. A Resource is just a value which is defined globally on the ECS itself and not attached to any specific Entity. You can think of them as a singleton Component.
-
-## Performance Test
-
-[Performance Test](https://git.corp.adobe.com/pages/neuralfiltersplatform/firefly-data/docs/perftest.html)
+In addition to the standard Entity, Component, and System definitions, we also use the term **Resource** — a global singleton value defined on the ECS itself, not attached to any specific entity.

package/dist/ecs/database/combine-plugins.d.ts

@@ -1,24 +1,24 @@
-import { Simplify } from "../../types/types.js";
+import { Simplify, StringKeyof } from "../../types/types.js";
 import type { Database } from "./database.js";
 type IntersectAll<T extends readonly unknown[]> = Simplify<T extends readonly [infer H, ...infer R] ? H & IntersectAll<R> : unknown>;
 type UnionAll<T extends readonly unknown[]> = Simplify<T extends readonly [infer H, ...infer R] ? H | UnionAll<R> : never>;
-export type CombinePlugins<Plugins extends readonly Database.Plugin[]> = Database.Plugin<Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<infer C, any, any, any, any, any, any, any> ? C : never;
-}>>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, infer R, any, any, any, any, any, any> ? R : never;
-}>>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, infer A, any, any, any, any, any> ? A : never;
-}>>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, any, infer TD, any, any, any, any> ? TD : never;
-}>>, Extract<Simplify<UnionAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, any, any, infer S, any, any, any> ? S : never;
-}>>, string>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, any, any, any, infer AD, any, any> ? AD : never;
-}>>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, any, any, any, any, infer SVF, any> ? SVF : never;
-}>>, Simplify<{} & IntersectAll<{
-    [K in keyof Plugins]: Plugins[K] extends Database.Plugin<any, any, any, any, any, any, any, infer CVF> ? CVF : never;
-}>>>;
+export type CombinePlugins<Plugins extends readonly Database.Plugin[]> = Database.Plugin<{} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['components'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['resources'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['archetypes'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['transactions'];
+}>, Extract<UnionAll<{
+    [K in keyof Plugins]: StringKeyof<Plugins[K]['systems']>;
+}>, string>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['actions'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['services'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['computed'];
+}>>;
 /**
  * Combines multiple plugins into a single plugin.
  * All plugin properties (components, resources, archetypes, computed, transactions, systems, actions, services)
@@ -27,5 +27,21 @@ export type CombinePlugins<Plugins extends readonly Database.Plugin[]> = Databas
  * IMPORTANT: Services are merged in order, preserving the initialization order
  * so that extended plugin services are initialized before current plugin services.
  */
-export declare function combinePlugins<const Plugins extends readonly Database.Plugin[]>(...plugins: Plugins): CombinePlugins<Plugins>;
+export declare function combinePlugins<const Plugins extends readonly Database.Plugin[]>(...plugins: Plugins): Database.Plugin<{} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['components'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['resources'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['archetypes'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['transactions'];
+}>, Extract<UnionAll<{
+    [K in keyof Plugins]: StringKeyof<Plugins[K]['systems']>;
+}>, string>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['actions'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['services'];
+}>, {} & IntersectAll<{
+    [K in keyof Plugins]: Plugins[K]['computed'];
+}>>;
 export {};

package/dist/ecs/database/combine-plugins.js.map

@@ -1 +1 @@
-{"version":3,"file":"combine-plugins.js","sourceRoot":"","sources":["../../../src/ecs/database/combine-plugins.ts"],"names":[],"mappings":"AAAA,uDAAuD;AA6BvD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAE5B,GAAG,OAAgB;IACnB,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,CAAU,CAAC;IAE9H,MAAM,KAAK,GAAG,CAAC,IAAS,EAAE,IAAS,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAEhC,wCAAwC;QACxC,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,KAAK,CACb,4BAA4B,GAAG,IAAI,CAAC,yCAAyC,CAC9E,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC,CAAC;IAEN,MAAM,WAAW,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAE9I,6BAA6B;IAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAElD,OAAO,MAAiC,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"combine-plugins.js","sourceRoot":"","sources":["../../../src/ecs/database/combine-plugins.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAgCvD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAE5B,GAAG,OAAgB;IAUnB,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,CAAU,CAAC;IAE9H,MAAM,KAAK,GAAG,CAAC,IAAS,EAAE,IAAS,EAAE,EAAE,CACrC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAEhC,wCAAwC;QACxC,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,KAAK,CACb,4BAA4B,GAAG,IAAI,CAAC,yCAAyC,CAC9E,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC,CAAC;IAEN,MAAM,WAAW,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAE9I,6BAA6B;IAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAElD,OAAO,MAAiC,CAAC;AAC3C,CAAC"}

package/dist/ecs/database/create-plugin.d.ts

@@ -3,14 +3,18 @@ import type { ComponentSchemas } from "../component-schemas.js";
 import type { ResourceSchemas } from "../resource-schemas.js";
 import type { ArchetypeComponents } from "../store/archetype-components.js";
 import type { TransactionDeclarations, ToTransactionFunctions } from "../store/transaction-functions.js";
-import type { ActionDeclarations, ToActionFunctions } from "../store/action-functions.js";
+import type { ToActionFunctions } from "../store/action-functions.js";
 import type { FromSchemas } from "../../schema/index.js";
-import type { StringKeyof, Simplify, NoInfer } from "../../types/types.js";
-import { CombinePlugins } from "./combine-plugins.js";
+import type { StringKeyof, NoInfer, RemoveIndex } from "../../types/types.js";
 import { Store } from "../store/store.js";
-type RemoveIndex<T> = Simplify<{
-    [K in keyof T as string extends K ? never : number extends K ? never : symbol extends K ? never : K]: T[K];
-}>;
+/**
+ * Direct-intersection return type for createPlugin.
+ *
+ * Uses direct property access (`XP['components']`) instead of conditional
+ * inference (`CombinePlugins<[XP, ...]>`) to avoid expensive 8-way type
+ * expansion that amplifies TS7056 serialization overflow.
+ */
+type CreatePluginResult<XP extends Database.Plugin, CS, RS, A, TD, S extends string, AD, SVF, CVF> = Database.Plugin<XP['components'] & CS, XP['resources'] & RS, XP['archetypes'] & A, XP['transactions'] & TD, S | StringKeyof<XP['systems']>, XP['actions'] & AD, XP['services'] & SVF, XP['computed'] & CVF>;
 /**
  * Creates a Database.Plugin from a plugin descriptor.
  *
@@ -84,8 +88,5 @@ export declare function createPlugin<const XP extends Database.Plugin<{}, {}, {}
             };
         };
     };
-}): CombinePlugins<[
-    XP,
-    Database.Plugin<RemoveIndex<CS>, RemoveIndex<RS>, RemoveIndex<A>, RemoveIndex<TD>, S, AD & ActionDeclarations<FromSchemas<RemoveIndex<CS>>, FromSchemas<RemoveIndex<RS>>, RemoveIndex<A>, ToTransactionFunctions<RemoveIndex<TD>>, S>, RemoveIndex<SVF>, RemoveIndex<CVF>>
-]>;
+}): CreatePluginResult<XP, RemoveIndex<CS>, RemoveIndex<RS>, RemoveIndex<A>, RemoveIndex<TD>, S, AD, RemoveIndex<SVF>, RemoveIndex<CVF>>;
 export {};

package/dist/ecs/database/create-plugin.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-plugin.js","sourceRoot":"","sources":["../../../src/ecs/database/create-plugin.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAUvD,OAAO,EAAkB,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA4BtE,SAAS,qBAAqB,CAAC,OAAgC;IAC3D,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACzI,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC;IAE7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,aAAa,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6CAA6C,GAAG,4BAA4B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5H,CAAC;QACD,uDAAuD;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACzD,IAAI,iBAAiB,GAAG,aAAa,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACX,qCAAqC,GAAG,uBAAuB,OAAO,KAAK;oBAC3E,mBAAmB,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AA2DD,MAAM,UAAU,YAAY,CAWxB,OA+CC;IAWD,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/B,mEAAmE;IACnE,MAAM,MAAM,GAAQ;QAChB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;KACjC,CAAC;IAEF,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAQ,CAAC;IAC1D,CAAC;IACD,OAAO,MAAa,CAAC;AACzB,CAAC"}
+{"version":3,"file":"create-plugin.js","sourceRoot":"","sources":["../../../src/ecs/database/create-plugin.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAUvD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAwCtD,SAAS,qBAAqB,CAAC,OAAgC;IAC3D,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACzI,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC;IAE7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,aAAa,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,aAAa,KAAK,CAAC,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,6CAA6C,GAAG,4BAA4B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5H,CAAC;QACD,uDAAuD;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACzD,IAAI,iBAAiB,GAAG,aAAa,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACX,qCAAqC,GAAG,uBAAuB,OAAO,KAAK;oBAC3E,mBAAmB,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AA2DD,MAAM,UAAU,YAAY,CAWxB,OA+CC;IAED,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/B,mEAAmE;IACnE,MAAM,MAAM,GAAQ;QAChB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;KACjC,CAAC;IAEF,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAQ,CAAC;IAC1D,CAAC;IACD,OAAO,MAAa,CAAC;AACzB,CAAC"}

package/dist/ecs/database/database.d.ts

@@ -5,7 +5,7 @@ import { Entity } from "../entity/entity.js";
 import { EntityReadValues } from "../store/core/index.js";
 import { Observe } from "../../observe/index.js";
 import { TransactionResult } from "./transactional-store/index.js";
-import { StringKeyof } from "../../types/types.js";
+import { StringKeyof, RemoveIndex } from "../../types/types.js";
 import { Components } from "../store/components.js";
 import { ArchetypeComponents } from "../store/archetype-components.js";
 import { RequiredComponents } from "../required-components.js";
@@ -90,9 +90,7 @@ export interface Database<C extends Components = {}, R extends ResourceComponent
             readonly [K in StringKeyof<R>]: Observe<R[K]>;
         };
         readonly transactions: Observe<TransactionResult<C>>;
-        entity<T extends RequiredComponents>(id: Entity, minArchetype?: ReadonlyArchetype<T> | Archetype<T>): Observe<{
-            readonly [K in (StringKeyof<RequiredComponents & T>)]: (RequiredComponents & T)[K];
-        } & EntityReadValues<C> | null>;
+        entity<T extends RequiredComponents>(id: Entity, minArchetype?: ReadonlyArchetype<T> | Archetype<T>): Observe<Readonly<T> & EntityReadValues<C> | null>;
         entity(id: Entity): Observe<EntityReadValues<C> | null>;
         archetype(id: ArchetypeId): Observe<void>;
         select<Include extends StringKeyof<C>, T extends Include>(include: readonly Include[] | ReadonlySet<string>, options?: EntitySelectOptions<C, Pick<C & RequiredComponents, T>>): Observe<readonly Entity[]>;
@@ -107,23 +105,20 @@ export interface Database<C extends Components = {}, R extends ResourceComponent
     };
     toData(): unknown;
     fromData(data: unknown): void;
-    extend<P extends Database.Plugin<any, any, any, any, any, any, any, any>>(plugin: P): Database<C & (P extends Database.Plugin<infer XC, any, any, any, any, any, any, any> ? FromSchemas<XC> : never), R & (P extends Database.Plugin<any, infer XR, any, any, any, any, any, any> ? FromSchemas<XR> : never), A & (P extends Database.Plugin<any, any, infer XA, any, any, any, any, any> ? XA : never), F & (P extends Database.Plugin<any, any, any, infer XTD, any, any, any, any> ? ToTransactionFunctions<XTD> : never), S | (P extends Database.Plugin<any, any, any, any, infer XS, any, any, any> ? XS : never), AF & (P extends Database.Plugin<any, any, any, any, any, infer XAD, any, any> ? ToActionFunctions<XAD> : never), SV & (P extends Database.Plugin<any, any, any, any, any, any, infer XSVF, any> ? FromServiceFactories<XSVF> : never), CV & (P extends Database.Plugin<any, any, any, any, any, any, any, infer XCVF> ? FromComputedFactories<XCVF> : never)>;
+    extend<P extends Database.Plugin>(plugin: P): Database<C & FromSchemas<RemoveIndex<P['components']>>, R & FromSchemas<RemoveIndex<P['resources']>>, A & RemoveIndex<P['archetypes']>, F & ToTransactionFunctions<RemoveIndex<P['transactions']>>, S | StringKeyof<P['systems']>, AF & ToActionFunctions<RemoveIndex<P['actions']>>, SV & FromServiceFactories<RemoveIndex<P['services']>>, CV & FromComputedFactories<RemoveIndex<P['computed']>>>;
 }
 export declare namespace Database {
-    /** Stepwise inference helpers - each infers one Plugin param to reduce compiler depth. */
-    type FromPluginComponents<P> = P extends Database.Plugin<infer CS, any, any, any, any, any, any, any> ? CS : never;
-    type FromPluginResources<P> = P extends Database.Plugin<any, infer RS, any, any, any, any, any, any> ? RS : never;
-    type FromPluginArchetypes<P> = P extends Database.Plugin<any, any, infer A, any, any, any, any, any> ? A : never;
-    type FromPluginTransactions<P> = P extends Database.Plugin<any, any, any, infer TD, any, any, any, any> ? TD : never;
-    type FromPluginSystems<P> = P extends Database.Plugin<any, any, any, any, infer S, any, any, any> ? S : never;
-    type FromPluginActions<P> = P extends Database.Plugin<any, any, any, any, any, infer AD, any, any> ? AD : never;
-    type FromPluginServices<P> = P extends Database.Plugin<any, any, any, any, any, any, infer SVF, any> ? SVF : never;
-    type FromPluginComputed<P> = P extends Database.Plugin<any, any, any, any, any, any, any, infer CVF> ? CVF : never;
-    export type FromPlugin<P extends Database.Plugin> = P extends Database.Plugin ? Database<FromSchemas<FromPluginComponents<P>>, FromSchemas<FromPluginResources<P>>, FromPluginArchetypes<P>, ToTransactionFunctions<FromPluginTransactions<P>>, FromPluginSystems<P>, ToActionFunctions<FromPluginActions<P>>, FromServiceFactories<FromPluginServices<P>>, FromComputedFactories<FromPluginComputed<P>>> : never;
-    export const create: typeof createDatabase;
-    export const is: (value: unknown) => value is Database;
-    export const observeSelectDeep: <C extends Components, Include extends StringKeyof<C>>(db: Database<C, any, any, any, any, any, any, any>, include: readonly Include[] | ReadonlySet<Include | "id">, options?: EntitySelectOptions<C, Pick<C & RequiredComponents, Include>>) => Observe<readonly (RequiredComponents & { readonly [K in Include]: C[K]; })[]>;
-    export type Plugin<CS extends ComponentSchemas = any, RS extends ResourceSchemas = any, A extends ArchetypeComponents<StringKeyof<CS>> = any, TD extends TransactionDeclarations<FromSchemas<CS>, FromSchemas<RS>, any> = any, S extends string = any, AD extends ActionDeclarations<FromSchemas<CS>, FromSchemas<RS>, A, ToTransactionFunctions<TD>, S> = any, SVF extends ServiceFactories = any, CVF extends ComputedFactories = any> = {
+    /**
+     * Converts a Plugin type to its corresponding Database type.
+     * Uses direct property access (P['components']) instead of conditional inference
+     * (P extends Plugin<infer CS, ...> ? CS : never) to avoid expensive 8-way type
+     * expansion that amplifies TS7056 serialization overflow in deep extends chains.
+     */
+    type FromPlugin<P extends Database.Plugin> = Database<FromSchemas<RemoveIndex<P['components']>>, FromSchemas<RemoveIndex<P['resources']>>, RemoveIndex<P['archetypes']>, ToTransactionFunctions<RemoveIndex<P['transactions']>>, StringKeyof<P['systems']>, ToActionFunctions<RemoveIndex<P['actions']>>, FromServiceFactories<RemoveIndex<P['services']>>, FromComputedFactories<RemoveIndex<P['computed']>>>;
+    const create: typeof createDatabase;
+    const is: (value: unknown) => value is Database;
+    const observeSelectDeep: <C extends Components, Include extends StringKeyof<C>>(db: Database<C, any, any, any, any, any, any, any>, include: readonly Include[] | ReadonlySet<Include | "id">, options?: EntitySelectOptions<C, Pick<C & RequiredComponents, Include>>) => Observe<readonly (RequiredComponents & { readonly [K in Include]: C[K]; })[]>;
+    type Plugin<CS extends ComponentSchemas = any, RS extends ResourceSchemas = any, A extends ArchetypeComponents<StringKeyof<CS>> = any, TD extends TransactionDeclarations<FromSchemas<CS>, FromSchemas<RS>, any> = any, S extends string = any, AD extends ActionDeclarations<FromSchemas<CS>, FromSchemas<RS>, A, ToTransactionFunctions<TD>, S> = any, SVF extends ServiceFactories = any, CVF extends ComputedFactories = any> = {
         readonly components: CS;
         readonly resources: RS;
         readonly archetypes: A;
@@ -133,17 +128,16 @@ export declare namespace Database {
         readonly services: SVF;
         readonly computed: CVF;
     };
-    export namespace Plugin {
+    namespace Plugin {
         const create: typeof createPlugin;
         const combine: typeof combinePlugins;
         type ToDatabase<P extends Database.Plugin> = Database.FromPlugin<P>;
-        type ToStore<P extends Database.Plugin> = Store<FromSchemas<P['components']>, FromSchemas<P['resources']>, P['archetypes']>;
+        type ToStore<P extends Database.Plugin> = Store<FromSchemas<RemoveIndex<P['components']>>, FromSchemas<RemoveIndex<P['resources']>>, RemoveIndex<P['archetypes']>>;
         type ToSystemDatabase<P extends Database.Plugin> = Database.FromPlugin<P> & {
             readonly store: Database.Plugin.ToStore<P>;
             services: {
-                -readonly [K in keyof FromServiceFactories<P['services']>]: FromServiceFactories<P['services']>[K];
+                -readonly [K in keyof FromServiceFactories<RemoveIndex<P['services']>>]: FromServiceFactories<RemoveIndex<P['services']>>[K];
             };
         };
     }
-    export {};
 }

package/dist/ecs/database/database.js.map

@@ -1 +1 @@
-{"version":3,"file":"database.js","sourceRoot":"","sources":["../../../src/ecs/database/database.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAevD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,IAAI,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAc1F,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA0GtD,MAAM,KAAW,QAAQ,CAmExB;AAnED,WAAiB,QAAQ;IAwBV,eAAM,GAAG,cAAc,CAAC;IAExB,WAAE,GAAG,CAAC,KAAc,EAAqB,EAAE;QACtD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC;IAC1L,CAAC,CAAA;IAEY,0BAAiB,GAAG,kBAAkB,CAAC;IAsBpD,IAAiB,MAAM,CAatB;IAbD,WAAiB,MAAM;QACR,aAAM,GAAG,YAAY,CAAC;QACtB,cAAO,GAAG,cAAc,CAAC;IAWxC,CAAC,EAbgB,MAAM,GAAN,eAAM,KAAN,eAAM,QAatB;AAEH,CAAC,EAnEgB,QAAQ,KAAR,QAAQ,QAmExB"}
+{"version":3,"file":"database.js","sourceRoot":"","sources":["../../../src/ecs/database/database.ts"],"names":[],"mappings":"AAAA,uDAAuD;AAevD,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,IAAI,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAc1F,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA0GtD,MAAM,KAAW,QAAQ,CA6DxB;AA7DD,WAAiB,QAAQ;IAkBV,eAAM,GAAG,cAAc,CAAC;IAExB,WAAE,GAAG,CAAC,KAAc,EAAqB,EAAE;QACtD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,IAAI,SAAS,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC;IAC1L,CAAC,CAAA;IAEY,0BAAiB,GAAG,kBAAkB,CAAC;IAsBpD,IAAiB,MAAM,CAatB;IAbD,WAAiB,MAAM;QACR,aAAM,GAAG,YAAY,CAAC;QACtB,cAAO,GAAG,cAAc,CAAC;IAWxC,CAAC,EAbgB,MAAM,GAAN,eAAM,KAAN,eAAM,QAatB;AAEH,CAAC,EA7DgB,QAAQ,KAAR,QAAQ,QA6DxB"}