@arcforge/cognet 2.0.167 → 2.0.168

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@arcforge/cognet",
-  "version": "2.0.167",
+  "version": "2.0.168",
   "description": "The cognet authoring surface for Axon — an agent's brain, compiled, versioned and swappable.",
   "type": "module",
   "private": false,
@@ -17,8 +17,8 @@
     "deploy": "echo \"This package is published ONLY by apps/tui/scripts/release.ts, which pins workspace:* deps to concrete versions first. Publishing it directly ships an unresolvable dependency.\" && exit 1"
   },
   "dependencies": {
-    "@arcforge/err": "2.0.167",
-    "@arcforge/types": "2.0.167",
+    "@arcforge/err": "2.0.168",
+    "@arcforge/types": "2.0.168",
     "hookable": "^5.5.3"
   },
   "devDependencies": {

package/src/clock.ts

@@ -48,7 +48,10 @@ export function Clock(opts: ClockOpts) {
         get tick() {
             return tick
         },
-        get phase() {
+        // Annotated: without it the inferred return collapses to `null` (the
+        // initializer's type), so a consumer comparing it to a phase name gets
+        // a "no overlap" error for a comparison that is exactly the point.
+        get phase(): string | null {
             return phase
         },
         stamp,

package/src/ecs/component.ts

@@ -1,5 +1,5 @@
 import type { StateT } from "./state"
-import type { ComponentRegistry, ComponentType, EntityId } from "./types"
+import type { ComponentRegistry, ComponentType, EntityId, ComponentData } from "./types"
 import type { EcsEmit } from "./ecs"
 
 type ComponentOpts = {
@@ -41,11 +41,11 @@ export function Component(opts: ComponentOpts) {
         }: {
             entity: EntityId
             type: K
-            data: ComponentRegistry[K]
+            data: ComponentData<K>
         }) {
             let store = state.components.get(type)
             if (!store) {
-                store = new Map<EntityId, ComponentRegistry[K]>()
+                store = new Map<EntityId, ComponentData<K>>()
                 state.components.set(type, store)
             }
 
@@ -79,7 +79,7 @@ export function Component(opts: ComponentOpts) {
         }: {
             entity: EntityId
             type: K
-        }): ComponentRegistry[K] | undefined {
+        }): ComponentData<K> | undefined {
             return state.components.get(type)?.get(entity)
         },
 

package/src/ecs/entity.ts

@@ -1,6 +1,6 @@
 import type { ComponentT } from "./component"
 import type { StateT } from "./state"
-import type { ComponentRegistry, ComponentType, EntityId } from "./types"
+import type { ComponentRegistry, ComponentType, EntityId, ComponentData } from "./types"
 import type { EcsEmit } from "./ecs"
 
 type EntityOpts = {
@@ -23,8 +23,8 @@ export function Entity(opts: EntityOpts) {
         }: {
             entity: EntityId
             components?:
-                | { type: K; data: ComponentRegistry[K] }
-                | { type: K; data: ComponentRegistry[K] }[]
+                | { type: K; data: ComponentData<K> }
+                | { type: K; data: ComponentData<K> }[]
         }) {
             state.entities.add(entity)
             void emit("cognet:entity:add", { ...state.stamp(), entity })

package/src/ecs/types.ts

@@ -15,7 +15,22 @@ export interface ComponentRegistry {
 }
 
 export type EntityId = string
-export type ComponentType = keyof ComponentRegistry
+/**
+ * A component's type name.
+ *
+ * Falls back to `string` when nothing has augmented the registry, for the same
+ * reason `AxonPromptName` does: `keyof` an empty interface is `never`, which
+ * makes every parameter typed by it accept NO argument. The whole component
+ * API — add, get, has, remove — was uncallable for any consumer that had not
+ * augmented `ComponentRegistry` first, including every test in this package.
+ *
+ * A kernel that DOES augment gets the narrow union and its typo-checking back;
+ * one that has not gets a usable API instead of an unusable one.
+ */
+export type ComponentType = keyof ComponentRegistry extends never ? string : keyof ComponentRegistry
+
+/** The data one component type carries — `unknown` when the registry is unaugmented. */
+export type ComponentData<K extends ComponentType> = K extends keyof ComponentRegistry ? ComponentRegistry[K] : unknown
 export type ComponentStore<T = any> = Map<EntityId, T>
 
 /** Fired synchronously after every component write of a watched type. */