@typeonce/ritmo 0.6.0 → 0.8.0

package/dist/HostClock.js

@@ -0,0 +1,46 @@
+/**
+ * The host's wall clock, as an injected contract.
+ *
+ * Core and the generic devtools modules never read a platform clock
+ * (`performance`, `Date`) themselves: whatever measures host time (debug
+ * trace durations, session timings, replay windows) takes a `HostClock`.
+ * Platform packages provide implementations (`BrowserHostClock.make(window)`
+ * in the browser package); `standard` works in every JavaScript engine, and
+ * `test()` is a manual clock for deterministic tests.
+ *
+ * Host time is for measuring the host (how long a tick took), never for game
+ * logic: simulation time is a resource the schedule advances.
+ *
+ * @example
+ * ```ts
+ * const runtime = Game.Runtime.make({ services, debug: { hostClock: HostClock.standard } })
+ * ```
+ *
+ * @module HostClock
+ * @docGroup runtime
+ */
+import * as Result from "./Result.js";
+/**
+ * `Date.now`, which every JavaScript engine provides. Its readings can jump
+ * (the system clock is adjusted, or the device sleeps), so a duration
+ * computed from two readings can be negative: consumers clamp durations to
+ * 0. Prefer a monotonic platform clock when there is one
+ * (`BrowserHostClock.make(window)`).
+ */
+export const standard = { now: () => Date.now() };
+/** A test clock at 0. Every reading is the same until `adjust` moves it. */
+export const test = () => {
+    let current = 0;
+    return {
+        now: () => current,
+        adjust: (ms) => {
+            if (!Number.isFinite(ms) || ms < 0 || !Number.isFinite(current + ms))
+                return Result.failure({ _tag: "InvalidAdjustment", ms });
+            current += ms;
+            return Result.success(undefined);
+        }
+    };
+};
+/** A duration between two readings, clamped to 0 when the clock went backwards. */
+export const elapsed = (from, to) => Math.max(0, to - from);
+//# sourceMappingURL=HostClock.js.map

package/dist/HostClock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"HostClock.js","sourceRoot":"","sources":["../src/HostClock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAOrC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAc,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAA;AAc5D,4EAA4E;AAC5E,MAAM,CAAC,MAAM,IAAI,GAAG,GAAkB,EAAE;IACtC,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,OAAO;QACL,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE;YACb,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,GAAG,EAAE,CAAC;gBAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAA;YAC9H,OAAO,IAAI,EAAE,CAAA;YACb,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QAClC,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAU,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAA"}

package/dist/Inspector.d.ts

@@ -6,6 +6,12 @@
  * They run on demand through `runtime.inspect(...)` and return a value without
  * advancing schedule visibility.
  *
+ * An inspector is the one typed read-only view of the world: tests, saves, UI,
+ * `Game.Condition.check(...)` projections, and devtools invariants
+ * (`Invariant.fromInspector(...)`) are all built from it. `runtime.inspect`
+ * rejects at compile time an inspector that reads a resource, service, or
+ * machine the runtime was not given.
+ *
  * @module Inspector
  * @docGroup runtime
  */
@@ -48,7 +54,7 @@ export type InspectorContext<Spec extends System.AnySystemSpec> = Pick<System.Sy
 export interface InspectorDefinition<Spec extends System.AnySystemSpec = System.AnySystemSpec, out Value = unknown, out Root = unknown, out Name extends string = string, out Needs extends Requirement.Requirement = Requirement.Requirement> {
     readonly kind: "inspector";
     readonly name: Name;
-    readonly system: System.SystemDefinition<Spec, void, never, Root, Name, Needs>;
+    readonly system: System.SystemDefinition<Spec, never, Root, Name, Needs>;
     readonly requirements: ReadonlyArray<Needs>;
     readonly read: (context: InspectorContext<Spec>) => Value;
     readonly __schemaRoot?: Root | undefined;

package/dist/Inspector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Inspector.d.ts","sourceRoot":"","sources":["../src/Inspector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,KAAK,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAEpC,KAAK,gBAAgB,CAAC,CAAC,SAAS,QAAQ,IACtC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAA;AAE3E,KAAK,aAAa,CAAC,CAAC,SAAS,QAAQ,IACnC;IAAC,gBAAgB,CAAC,CAAC,CAAC;CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEnD,KAAK,eAAe,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI;IAC/D,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACzD,CAAA;AAED,0DAA0D;AAC1D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC7F,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IACpF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IACjF,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IACjG,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC3F,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,CAAA;IACzD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;CAC9F;AAED,gEAAgE;AAChE,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,oBAAoB,IAClE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GACjE,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,CAAA;CACV,CAAA;AAEH,4DAA4D;AAC5D,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,CAAC,aAAa,IAAI,IAAI,CACpE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EACxB,SAAS,GACT,WAAW,GACX,QAAQ,GACR,UAAU,GACV,kBAAkB,GAClB,SAAS,GACT,WAAW,GACX,kBAAkB,GAClB,UAAU,CACb,CAAA;AAED,gEAAgE;AAChE,MAAM,WAAW,mBAAmB,CAClC,IAAI,SAAS,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,EACxD,GAAG,CAAC,KAAK,GAAG,OAAO,EACnB,GAAG,CAAC,IAAI,GAAG,OAAO,EAClB,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,EAChC,GAAG,CAAC,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAEnE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IAC9E,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,KAAK,CAAA;IACzD,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACzC;AAED,+CAA+C;AAC/C,yBAAiB,SAAS,CAAC;IACzB,KAAY,GAAG,GAAG,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IAC9D,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,mBAAmB,CAAC,GAAG,EAAE,MAAM,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;IACjH,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;CAClH;AAED,iFAAiF;AACjF,eAAO,MAAM,IAAI,GACf,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,MAAM,SAAS,oBAAoB,EACzC,KAAK,EACL,IAAI,GAAG,OAAO,QAER,IAAI,QACJ;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,QACrD,CAAC,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAC7E,mBAAmB,CACpB,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAClC,KAAK,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAsBjC,CAAA"}
+{"version":3,"file":"Inspector.d.ts","sourceRoot":"","sources":["../src/Inspector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,KAAK,WAAW,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,KAAK,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAEpC,KAAK,gBAAgB,CAAC,CAAC,SAAS,QAAQ,IACtC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAA;AAE3E,KAAK,aAAa,CAAC,CAAC,SAAS,QAAQ,IACnC;IAAC,gBAAgB,CAAC,CAAC,CAAC;CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEnD,KAAK,eAAe,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI;IAC/D,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACzD,CAAA;AAED,0DAA0D;AAC1D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC7F,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IACpF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC1F,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IACjF,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IACjG,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;IAC3F,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,CAAA;IACzD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;CAC9F;AAED,gEAAgE;AAChE,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,oBAAoB,IAClE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GACjE,eAAe,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,CAAA;CACV,CAAA;AAEH,4DAA4D;AAC5D,MAAM,MAAM,gBAAgB,CAAC,IAAI,SAAS,MAAM,CAAC,aAAa,IAAI,IAAI,CACpE,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EACxB,SAAS,GACT,WAAW,GACX,QAAQ,GACR,UAAU,GACV,kBAAkB,GAClB,SAAS,GACT,WAAW,GACX,kBAAkB,GAClB,UAAU,CACb,CAAA;AAED,gEAAgE;AAChE,MAAM,WAAW,mBAAmB,CAClC,IAAI,SAAS,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,EACxD,GAAG,CAAC,KAAK,GAAG,OAAO,EACnB,GAAG,CAAC,IAAI,GAAG,OAAO,EAClB,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,EAChC,GAAG,CAAC,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAEnE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACxE,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,KAAK,KAAK,CAAA;IACzD,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACzC;AAED,+CAA+C;AAC/C,yBAAiB,SAAS,CAAC;IACzB,KAAY,GAAG,GAAG,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IAC9D,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,mBAAmB,CAAC,GAAG,EAAE,MAAM,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;IACjH,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAA;CAClH;AAED,iFAAiF;AACjF,eAAO,MAAM,IAAI,GACf,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,MAAM,SAAS,oBAAoB,EACzC,KAAK,EACL,IAAI,GAAG,OAAO,QAER,IAAI,QACJ;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,QACrD,CAAC,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,KAC7E,mBAAmB,CACpB,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAClC,KAAK,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAqBjC,CAAA"}

package/dist/Inspector.js.map

@@ -1 +1 @@
-{"version":3,"file":"Inspector.js","sourceRoot":"","sources":["../src/Inspector.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAyErC,iFAAiF;AACjF,MAAM,CAAC,MAAM,IAAI,GAAG,CAOlB,IAAU,EACV,IAA2D,EAC3D,IAA8E,EAO9E,EAAE;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAC1B,IAAI,EACJ,IAAa,EACb,GAAG,EAAE,CAAC,SAAS,CAQhB,CAAA;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI;QACJ,MAAM;QACN,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,IAAI;KACL,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"Inspector.js","sourceRoot":"","sources":["../src/Inspector.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAyErC,iFAAiF;AACjF,MAAM,CAAC,MAAM,IAAI,GAAG,CAOlB,IAAU,EACV,IAA2D,EAC3D,IAA8E,EAO9E,EAAE;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAC1B,IAAI,EACJ,IAAa,EACb,GAAG,EAAE,CAAC,SAAS,CAOhB,CAAA;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,IAAI;QACJ,MAAM;QACN,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,IAAI;KACL,CAAA;AACH,CAAC,CAAA"}

package/dist/Machine.d.ts

@@ -9,6 +9,10 @@
  * run around that boundary. Menus, rounds, encounter phases, pause flows, and
  * restart/reset pipelines are the canonical cases.
  *
+ * A machine holds one value for the whole game. A state that each entity has
+ * on its own (an enemy's attack windup, a door's open/closed) is not a
+ * machine: use a `Descriptor.EntityState(...)` component instead.
+ *
  * @example
  * ```ts
  * // Model a gameplay phase whose transition timing matters.
@@ -33,8 +37,9 @@
  * @groupDescription Functions
  * Public constructors for machines, conditions, and explicit transition bundles.
  */
-import type { Schedule } from "./Schedule.ts";
+import type { AnyScheduleOrder, Schedule } from "./Schedule.ts";
 import * as Requirement from "./Requirement.ts";
+import type * as Result from "./Result.ts";
 import type { Schema } from "./Schema.ts";
 import type { SystemFailure } from "./System.ts";
 /**
@@ -47,54 +52,62 @@ export type StateValue = string | number;
 /**
  * One schema-bound finite state machine definition.
  */
-export interface StateMachineDefinition<out Name extends string = string, out Values extends readonly [StateValue, ...StateValue[]] = readonly [StateValue, ...StateValue[]], out Root = unknown> {
+export interface StateMachineDefinition<out Name extends string = string, out Values extends readonly [StateValue, ...StateValue[]] = readonly [StateValue, ...StateValue[]], out Root = unknown, out Parent = unknown> {
     readonly kind: "stateMachine";
     readonly name: Name;
     readonly key: symbol;
     readonly values: Values;
+    /** For a sub-state: the machine and the state it exists in. */
+    readonly within?: SubStateParent | undefined;
     readonly __schemaRoot?: Root | undefined;
+    /** The machine a sub-state exists within; `unknown` for a top-level machine. */
+    readonly __parent?: (_: never) => Parent;
+}
+/** Where a sub-state exists: while `machine` is in `state`. */
+export interface SubStateParent {
+    readonly machine: StateMachine.Any;
+    readonly state: StateValue;
 }
 /**
- * The runtime-visible transition payload for one machine.
+ * Whether `M` is a sub-state (declared with `within`): it has no value while
+ * its parent machine is in another state.
  */
-export interface TransitionSnapshot<M extends StateMachineDefinition = StateMachineDefinition> {
-    readonly from: StateMachine.Value<M>;
-    readonly to: StateMachine.Value<M>;
-}
+export type IsSubState<M> = M extends {
+    readonly __parent?: (_: never) => infer Parent;
+} ? unknown extends Parent ? false : true : false;
 /**
- * A typed read-only view over the current committed state.
+ * The committed value of `M`. A sub-state has none (`undefined`) while its
+ * parent machine is not in the state it exists in; a top-level machine
+ * always has one.
  */
-export interface MachineView<M extends StateMachineDefinition = StateMachineDefinition> {
-    get(): StateMachine.Value<M>;
-    is(value: StateMachine.Value<M>): boolean;
-}
+export type CurrentValue<M extends StateMachine.Any> = IsSubState<M> extends true ? StateMachine.Value<M> | undefined : StateMachine.Value<M>;
 /**
- * A typed queued-write view over the next state.
+ * Why queuing a sub-state's next value failed: its parent machine is not in
+ * the state the sub-state exists in, so there is nothing to change.
  */
-export interface NextMachineView<M extends StateMachineDefinition = StateMachineDefinition> {
-    getPending(): StateMachine.Value<M> | undefined;
-    set(value: StateMachine.Value<M>): void;
-    setIfChanged(value: StateMachine.Value<M>): void;
-    reset(): void;
+export interface SubStateInactive {
+    readonly _tag: "SubStateInactive";
+    /** The sub-state's name. */
+    readonly machine: string;
+    /** The parent machine's name. */
+    readonly parent: string;
+    /** The parent state the sub-state exists in. */
+    readonly requires: StateValue;
 }
 /**
- * A typed read-only view over the last applied transition.
- *
- * This view is only meaningful inside transition schedules and is therefore
- * only exposed to systems that explicitly declare transition access.
+ * What `nextMachines.x.set(...)` returns: nothing for a top-level machine,
+ * and for a sub-state a `Result` that fails with `SubStateInactive` when its
+ * parent is in another state.
  */
-export interface TransitionView<M extends StateMachineDefinition = StateMachineDefinition> {
-    get(): TransitionSnapshot<M>;
-}
+export type SetResult<M extends StateMachine.Any> = IsSubState<M> extends true ? Result.Result<void, SubStateInactive> : void;
 /**
- * A typed read-only stream of committed machine transition events.
- *
- * These snapshots are published by `applyStateTransitions(...)` when a
- * transition commits. Like events, each reader sees the transitions published
- * since its own previous run.
+ * The runtime-visible transition payload for one machine. For a sub-state,
+ * `from` is `undefined` when it starts existing (its parent entered its
+ * state) and `to` is `undefined` when it stops.
  */
-export interface TransitionEventView<M extends StateMachineDefinition = StateMachineDefinition> {
-    all(): ReadonlyArray<TransitionSnapshot<M>>;
+export interface TransitionSnapshot<M extends StateMachineDefinition = StateMachineDefinition> {
+    readonly from: CurrentValue<M>;
+    readonly to: CurrentValue<M>;
 }
 /**
  * Read access to the current committed state in a system spec.
@@ -188,12 +201,14 @@ export interface CheckProjection {
 /**
  * A machine-bound transition schedule created through the schema-bound API.
  */
-export interface TransitionScheduleDefinition<S extends Schema.Any = Schema.Any, M extends StateMachineDefinition = StateMachineDefinition, Needs extends Requirement.Requirement = Requirement.Requirement, Root = unknown, Failure extends SystemFailure = never> {
+export interface TransitionScheduleDefinition<S extends Schema.Any = Schema.Any, M extends StateMachineDefinition = StateMachineDefinition, Needs extends Requirement.Requirement = Requirement.Requirement, Root = unknown, Failure extends SystemFailure = never, Order extends AnyScheduleOrder = AnyScheduleOrder> {
     readonly steps: ReadonlyArray<Schedule.Step>;
     readonly systems: ReadonlyArray<unknown>;
     readonly schema: S;
     readonly requirements: ReadonlyArray<Needs>;
     readonly __failure?: (_: never) => Failure;
+    /** The plan's order, for `Game.System.thisTick` checks of the tick that applies it. */
+    readonly __order?: (_: never) => Order;
     readonly __schemaRoot?: Root | undefined;
     readonly transition: {
         readonly machine: M;
@@ -207,12 +222,22 @@ export interface TransitionScheduleDefinition<S extends Schema.Any = Schema.Any,
  * Type-level and value-level helpers for finite-state machines.
  */
 export declare namespace StateMachine {
-    type Any = StateMachineDefinition<string, readonly [StateValue, ...StateValue[]], unknown>;
+    type Any = StateMachineDefinition<string, readonly [StateValue, ...StateValue[]], unknown, unknown>;
     type Value<M extends Any> = M["values"][number];
     type Root<M extends Any> = M extends StateMachineDefinition<string, readonly [StateValue, ...StateValue[]], infer R> ? R : never;
     type AnyCondition<Root = unknown> = Condition<Root>;
     type AnyTransitionSchedule<S extends Schema.Any = Schema.Any, Root = unknown> = TransitionScheduleDefinition<S, Any, Requirement.Requirement, Root, SystemFailure>;
 }
+/**
+ * `unknown` when `M` was defined by the game rooted at `Root`; otherwise a
+ * type naming the fix, so passing another game's machine fails with that
+ * message.
+ */
+export type SameGame<M, Root> = M extends StateMachineDefinition<infer Name, readonly [StateValue, ...StateValue[]], infer MachineRoot> ? [Root] extends [MachineRoot] ? [MachineRoot] extends [Root] ? unknown : ForeignMachine<`${Name} is a state machine of another game: use a machine defined with this game's Game.StateMachine(...)`> : ForeignMachine<`${Name} is a state machine of another game: use a machine defined with this game's Game.StateMachine(...)`> : unknown;
+/** The message type `SameGame` resolves to: a type error prints `Message`. */
+type ForeignMachine<Message extends string> = {
+    readonly __foreignMachine__: Message;
+};
 /** Extracts the machine token from one declared machine access slot. */
 type MachineFromAccess<Access> = Access extends {
     readonly machine: infer M extends StateMachine.Any;
@@ -233,7 +258,7 @@ export type MachineNeedsFromRecord<R extends Record<string, unknown>> = MachineF
 /** Extracts the machine-token union carried by a condition list. */
 export type MachineNeedsFromConditions<C extends ReadonlyArray<Condition>> = MachineNeedsFromCondition<C[number]>;
 /**
- * Creates a schema-bound finite-state machine definition.
+ * Creates a schema-bound finite-state machine definition: one game-wide mode.
  *
  * This is the intended default for gameplay phases and other discrete modes
  * where the transition boundary itself matters.
@@ -244,8 +269,14 @@ export type MachineNeedsFromConditions<C extends ReadonlyArray<Condition>> = Mac
  * - explicit `applyStateTransitions(...)`
  * - `inState(...)` gating
  * - transition events or enter/exit schedules
+ *
+ * Use `Descriptor.EntityState(...)` instead when every entity carries its own
+ * state (per-entity, written immediately, no enter/exit schedules).
+ *
+ * Pass `within` for a sub-state: a machine that exists only while another
+ * machine is in one state (`Game.StateMachine(name, values, { within })`).
  */
-export declare const StateMachine: <const Name extends string, const Values extends readonly [StateValue, ...StateValue[]], Root = unknown>(name: Name, values: Values) => StateMachineDefinition<Name, Values, Root>;
+export declare const StateMachine: <const Name extends string, const Values extends readonly [StateValue, ...StateValue[]], Root = unknown>(name: Name, values: Values, within?: SubStateParent) => StateMachineDefinition<Name, Values, Root>;
 /**
  * Declares that a system wants to read the current committed state.
  *

package/dist/Machine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Machine.d.ts","sourceRoot":"","sources":["../src/Machine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAA;AAExC;;GAEG;AACH,MAAM,WAAW,sBAAsB,CACrC,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,EAChC,GAAG,CAAC,MAAM,SAAS,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,GAAG,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAClG,GAAG,CAAC,IAAI,GAAG,OAAO;IAElB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC3F,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACpF,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAA;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACxF,UAAU,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IAC/C,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;IACvC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAA;IAChD,KAAK,IAAI,IAAI,CAAA;CACd;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACvF,GAAG,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAA;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC5F,GAAG,IAAI,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAA;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACpF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACzF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACvF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC5F,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,IAAI,GAAG,OAAO,IAChC,gBAAgB,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GAC9F,qBAAqB,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GACnG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACtD,YAAY,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACrE,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACpE,cAAc,CAAC,IAAI,CAAC,CAAA;AAExB,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACzF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC9F,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,YAAY,CAC3B,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED,MAAM,WAAW,YAAY,CAC3B,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,EAC7D,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,EAC7D,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,cAAc,CAC7B,IAAI,GAAG,OAAO,EACd,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACzC;AAED,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B,CAC3C,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,EAC/D,IAAI,GAAG,OAAO,EACd,OAAO,SAAS,aAAa,GAAG,KAAK;IAErC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,YAAY,CAAA;QAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACrC,QAAQ,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;KACpC,CAAA;CACF;AAED;;GAEG;AACH,yBAAiB,YAAY,CAAC;IAC5B,KAAY,GAAG,GAAG,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IACjG,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;IACtD,KAAY,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACvI,KAAY,YAAY,CAAC,IAAI,GAAG,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IAC1D,KAAY,qBAAqB,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,IACjF,4BAA4B,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,aAAa,CAAC,CAAA;CACrF;AAED,wEAAwE;AACxE,KAAK,iBAAiB,CAAC,MAAM,IAC3B,MAAM,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,YAAY,CAAC,GAAG,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAEnF;;;GAGG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAC1B,CAAC,SAAS;IAAE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,WAAW,GAAG,SAAS,CAAA;CAAE,GACzF,WAAW,CAAC,CAAC,CAAC,GACd,KAAK,CAAA;AAEX,kEAAkE;AAClE,MAAM,MAAM,4BAA4B,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,IACzE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE3B,uEAAuE;AACvE,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAA;AAEvF,yEAAyE;AACzE,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAClE,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAE/B,oEAAoE;AACpE,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,IACvE,yBAAyB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAEtC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAC3D,IAAI,GAAG,OAAO,QAER,IAAI,UACF,MAAM,KACb,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAKI,CAAA;AAEhD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,WAAW,CAAC,CAAC,CAEzE,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,gBAAgB,CAAC,CAAC,CAE/E,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,cAAc,CAAC,CAAC,CAElF,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,mBAAmB,CAAC,CAAC,CAEhG,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WACvC,CAAC,SACH,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,KAC3B,gBAAgB,CAAC,CAAC,CAKnB,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAC5C,CAAC,KACT,qBAAqB,CAAC,CAAC,CAIxB,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,SAAS,aAAa,CAAC,KAAG,YAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAIvF,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAG,YAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAIxH,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,EAAE,GAAI,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAG,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAItH,CAAA"}
+{"version":3,"file":"Machine.d.ts","sourceRoot":"","sources":["../src/Machine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC/D,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,CAAA;AAExC;;GAEG;AACH,MAAM,WAAW,sBAAsB,CACrC,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,EAChC,GAAG,CAAC,MAAM,SAAS,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,GAAG,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAClG,GAAG,CAAC,IAAI,GAAG,OAAO,EAClB,GAAG,CAAC,MAAM,GAAG,OAAO;IAEpB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,GAAG,SAAS,CAAA;IAC5C,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;IACxC,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,MAAM,CAAA;CACzC;AAED,+DAA+D;AAC/D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAA;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAC3B;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IACtB,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,MAAM,MAAM,CAAA;CAAE,GAAG,OAAO,SAAS,MAAM,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;AAE9G;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,IACjD,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAExF;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;IACjC,4BAA4B;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAC9B;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,IAC9C,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,GAAG,IAAI,CAAA;AAE3E;;;;GAIG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC3F,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;IAC9B,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACpF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACzF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACvF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC5F,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CACpB;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,IAAI,GAAG,OAAO,IAChC,gBAAgB,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GAC9F,qBAAqB,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,GACnG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACtD,YAAY,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACrE,WAAW,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,WAAW,CAAC,GACpE,cAAc,CAAC,IAAI,CAAC,CAAA;AAExB,MAAM,WAAW,gBAAgB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IACzF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB;IAC9F,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,YAAY,CAC3B,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED,MAAM,WAAW,YAAY,CAC3B,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,EAC7D,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,EAC7D,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;CAC9C;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,cAAc,CAC7B,IAAI,GAAG,OAAO,EACd,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW;IAE/D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAA;IAClE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,KAAK,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;CACzC;AAED,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B,CAC3C,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EACjC,CAAC,SAAS,sBAAsB,GAAG,sBAAsB,EACzD,KAAK,SAAS,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,EAC/D,IAAI,GAAG,OAAO,EACd,OAAO,SAAS,aAAa,GAAG,KAAK,EACrC,KAAK,SAAS,gBAAgB,GAAG,gBAAgB;IAEjD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;IAC1C,uFAAuF;IACvF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,KAAK,CAAA;IACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QACnB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,YAAY,CAAA;QAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACrC,QAAQ,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;KACpC,CAAA;CACF;AAED;;GAEG;AACH,yBAAiB,YAAY,CAAC;IAC5B,KAAY,GAAG,GAAG,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC1G,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;IACtD,KAAY,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACvI,KAAY,YAAY,CAAC,IAAI,GAAG,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,CAAA;IAC1D,KAAY,qBAAqB,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,IACjF,4BAA4B,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,aAAa,CAAC,CAAA;CACrF;AAED;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,IAC1B,CAAC,SAAS,sBAAsB,CAAC,MAAM,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE,MAAM,WAAW,CAAC,GACnG,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAC1B,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,GAC1B,OAAO,GACP,cAAc,CAAC,GAAG,IAAI,oGAAoG,CAAC,GAC7H,cAAc,CAAC,GAAG,IAAI,oGAAoG,CAAC,GAC7H,OAAO,CAAA;AAEb,8EAA8E;AAC9E,KAAK,cAAc,CAAC,OAAO,SAAS,MAAM,IAAI;IAAE,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAA;CAAE,CAAA;AAEtF,wEAAwE;AACxE,KAAK,iBAAiB,CAAC,MAAM,IAC3B,MAAM,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,YAAY,CAAC,GAAG,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAEnF;;;GAGG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAC1B,CAAC,SAAS;IAAE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,WAAW,GAAG,SAAS,CAAA;CAAE,GACzF,WAAW,CAAC,CAAC,CAAC,GACd,KAAK,CAAA;AAEX,kEAAkE;AAClE,MAAM,MAAM,4BAA4B,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,IACzE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAE3B,uEAAuE;AACvE,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAA;AAEvF,yEAAyE;AACzE,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAClE,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAE/B,oEAAoE;AACpE,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,IACvE,yBAAyB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AAEtC;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,EAC3D,IAAI,GAAG,OAAO,QAER,IAAI,UACF,MAAM,WACL,cAAc,KACtB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAMI,CAAA;AAEhD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,WAAW,CAAC,CAAC,CAEzE,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,gBAAgB,CAAC,CAAC,CAE/E,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,cAAc,CAAC,CAAC,CAElF,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAAW,CAAC,KAAG,mBAAmB,CAAC,CAAC,CAEhG,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WACvC,CAAC,SACH,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,KAC3B,gBAAgB,CAAC,CAAC,CAKnB,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,YAAY,CAAC,GAAG,WAC5C,CAAC,KACT,qBAAqB,CAAC,CAAC,CAIxB,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,SAAS,aAAa,CAAC,KAAG,YAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAIvF,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAG,YAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAIxH,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,EAAE,GAAI,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAG,WAAW,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAItH,CAAA"}

package/dist/Machine.js

@@ -1,6 +1,6 @@
 import * as Requirement from "./Requirement.js";
 /**
- * Creates a schema-bound finite-state machine definition.
+ * Creates a schema-bound finite-state machine definition: one game-wide mode.
  *
  * This is the intended default for gameplay phases and other discrete modes
  * where the transition boundary itself matters.
@@ -11,12 +11,19 @@ import * as Requirement from "./Requirement.js";
  * - explicit `applyStateTransitions(...)`
  * - `inState(...)` gating
  * - transition events or enter/exit schedules
+ *
+ * Use `Descriptor.EntityState(...)` instead when every entity carries its own
+ * state (per-entity, written immediately, no enter/exit schedules).
+ *
+ * Pass `within` for a sub-state: a machine that exists only while another
+ * machine is in one state (`Game.StateMachine(name, values, { within })`).
  */
-export const StateMachine = (name, values) => ({
+export const StateMachine = (name, values, within) => ({
     kind: "stateMachine",
     name,
     key: Symbol.for(`ritmo/stateMachine/${name}`),
-    values
+    values,
+    ...(within === undefined ? {} : { within })
 });
 /**
  * Declares that a system wants to read the current committed state.

package/dist/Machine.js.map

@@ -1 +1 @@
-{"version":3,"file":"Machine.js","sourceRoot":"","sources":["../src/Machine.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAkQ/C;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAK1B,IAAU,EACV,MAAc,EAC8B,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,cAAc;IACpB,IAAI;IACJ,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,sBAAsB,IAAI,EAAE,CAAC;IAC7C,MAAM;CACP,CAA+C,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAA6B,OAAU,EAAkB,EAAE,CAAC,CAAC;IAC/E,OAAO;CACR,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAA6B,OAAU,EAAuB,EAAE,CAAC,CAAC;IACrF,OAAO;CACR,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAA6B,OAAU,EAAqB,EAAE,CAAC,CAAC;IACxF,OAAO;CACR,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAA6B,OAAU,EAA0B,EAAE,CAAC,CAAC;IACtG,OAAO;CACR,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAU,EACV,KAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,SAAS;IACf,OAAO;IACP,KAAK;IACL,YAAY,EAAE,CAAC,OAAO,CAAC;CACxB,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAU,EACgB,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,cAAc;IACpB,OAAO;IACP,YAAY,EAAE,CAAC,OAAO,CAAC;CACxB,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAsB,SAAY,EAAsC,EAAE,CAAC,CAAC;IAC7F,IAAI,EAAE,KAAK;IACX,SAAS;IACT,YAAY,EAAE,SAAS,CAAC,YAAY;CACrC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAA2C,GAAG,UAAa,EAA8C,EAAE,CAAC,CAAC;IAC9H,IAAI,EAAE,KAAK;IACX,UAAU;IACV,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;CAC7F,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAA2C,GAAG,UAAa,EAA6C,EAAE,CAAC,CAAC;IAC5H,IAAI,EAAE,IAAI;IACV,UAAU;IACV,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;CAC7F,CAAC,CAAA"}
+{"version":3,"file":"Machine.js","sourceRoot":"","sources":["../src/Machine.ts"],"names":[],"mappings":"AAwCA,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAkS/C;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAK1B,IAAU,EACV,MAAc,EACd,MAAuB,EACqB,EAAE,CAAC,CAAC;IAChD,IAAI,EAAE,cAAc;IACpB,IAAI;IACJ,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,sBAAsB,IAAI,EAAE,CAAC;IAC7C,MAAM;IACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5C,CAA+C,CAAA;AAEhD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAA6B,OAAU,EAAkB,EAAE,CAAC,CAAC;IAC/E,OAAO;CACR,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAA6B,OAAU,EAAuB,EAAE,CAAC,CAAC;IACrF,OAAO;CACR,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAA6B,OAAU,EAAqB,EAAE,CAAC,CAAC;IACxF,OAAO;CACR,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAA6B,OAAU,EAA0B,EAAE,CAAC,CAAC;IACtG,OAAO;CACR,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAU,EACV,KAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,SAAS;IACf,OAAO;IACP,KAAK;IACL,YAAY,EAAE,CAAC,OAAO,CAAC;CACxB,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAU,EACgB,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,cAAc;IACpB,OAAO;IACP,YAAY,EAAE,CAAC,OAAO,CAAC;CACxB,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAsB,SAAY,EAAsC,EAAE,CAAC,CAAC;IAC7F,IAAI,EAAE,KAAK;IACX,SAAS;IACT,YAAY,EAAE,SAAS,CAAC,YAAY;CACrC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAA2C,GAAG,UAAa,EAA8C,EAAE,CAAC,CAAC;IAC9H,IAAI,EAAE,KAAK;IACX,UAAU;IACV,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;CAC7F,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAA2C,GAAG,UAAa,EAA6C,EAAE,CAAC,CAAC;IAC5H,IAAI,EAAE,IAAI;IACV,UAAU;IACV,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;CAC7F,CAAC,CAAA"}

package/dist/Query.d.ts

@@ -69,7 +69,8 @@
  * Query authoring helpers for selecting components and declaring explicit filters.
  */
 import type { DecodeError } from "./Decode.ts";
-import type { Descriptor, StateValue } from "./Descriptor.ts";
+import * as DescriptorModule from "./Descriptor.ts";
+import type { Descriptor, EntityStateValue } from "./Descriptor.ts";
 import type { EntityId, EntityMut, EntityRef } from "./Entity.ts";
 import type * as Result from "./Result.ts";
 import type * as Relation from "./Relation.ts";
@@ -163,7 +164,17 @@ export interface ChangedFilter<D extends ComponentDescriptor> {
     readonly kind: "changed";
     readonly descriptor: D;
 }
-export type Filter<D extends ComponentDescriptor> = AddedFilter<D> | ChangedFilter<D>;
+/** An `added` or `changed` filter: the filters `anyOf` combines. */
+export type LifecycleFilter<D extends ComponentDescriptor> = AddedFilter<D> | ChangedFilter<D>;
+/**
+ * A filter that matches entities passing at least one of its `added` /
+ * `changed` filters since the reading system's previous run.
+ */
+export interface AnyOfFilter<D extends ComponentDescriptor> {
+    readonly kind: "anyOf";
+    readonly filters: ReadonlyArray<LifecycleFilter<D>>;
+}
+export type Filter<D extends ComponentDescriptor> = LifecycleFilter<D> | AnyOfFilter<D>;
 /**
  * Declares read-only access to a component in a query selection.
  *
@@ -180,8 +191,21 @@ export declare const read: <D extends ComponentDescriptor>(descriptor: D) => Rea
  * place. A write slot both requires component presence and exposes the slot as
  * a `WriteCell`, so mutation capability stays visible in the query spec rather
  * than appearing ad hoc in the loop body.
+ *
+ * Components declared `immutable: true` cannot be written: replace them with
+ * `commands.insert(...)` instead.
+ */
+export declare const write: <D extends ComponentDescriptor>(descriptor: D & Writable<D>) => WriteAccess<D>;
+type NameOf<D> = D extends {
+    readonly name: infer Name extends string;
+} ? Name : never;
+/**
+ * `unknown` for a component a query may write; for one declared
+ * `immutable: true`, an argument error naming the fix.
  */
-export declare const write: <D extends ComponentDescriptor>(descriptor: D) => WriteAccess<D>;
+export type Writable<D> = D extends DescriptorModule.Immutable ? {
+    readonly __immutable__: `${NameOf<D>} is immutable: replace it with commands.insert(entity, Game.Command.entry(${NameOf<D>}, ...))`;
+} : unknown;
 /**
  * Declares maybe-present read-only access to a component in a query
  * specification.
@@ -243,6 +267,24 @@ export declare const added: <D extends ComponentDescriptor>(descriptor: D) => Ad
  * ```
  */
 export declare const changed: <D extends ComponentDescriptor>(descriptor: D) => ChangedFilter<D>;
+/**
+ * Declares a filter that matches entities passing at least one of `filters`
+ * (`added` / `changed`) since the reading system's previous run. Each entity
+ * is matched once, however many of its filters pass.
+ *
+ * Filters listed side by side in `filters: [...]` must all pass; use `anyOf`
+ * when any one of them is enough, for example to redraw when either the
+ * position or the sprite changed.
+ *
+ * @example
+ * ```ts
+ * const RedrawQuery = Game.Query({
+ *   selection: { position: Game.Query.read(Position), sprite: Game.Query.read(Sprite) },
+ *   filters: [Game.Query.anyOf(Game.Query.changed(Position), Game.Query.changed(Sprite))]
+ * })
+ * ```
+ */
+export declare const anyOf: <const Filters extends readonly [LifecycleFilter<ComponentDescriptor>, LifecycleFilter<ComponentDescriptor>, ...ReadonlyArray<LifecycleFilter<ComponentDescriptor>>]>(...filters: Filters) => AnyOfFilter<Filters[number]["descriptor"]>;
 /**
  * A fully explicit query specification.
  *
@@ -313,6 +355,10 @@ export declare namespace Query {
      * only be resolved with queries that actually prove the intended role.
      */
     export type ProvesComponent<T extends Any, D extends ComponentDescriptor> = [Extract<RequiredSelectionDescriptors<T> | T["with"][number], D>] extends [never] ? false : true;
+    /** The component descriptors a query proves its matches have: required selection slots and `with`. */
+    export type Proven<T extends Any> = RequiredSelectionDescriptors<T> | T["with"][number];
+    /** The component descriptors a query proves its matches lack: its `without`. */
+    export type Excluded<T extends Any> = T["without"][number];
     /**
      * The readable proof produced by a query.
      */
@@ -390,24 +436,20 @@ export interface ReadCell<T> {
  * A mutable cell returned from query or resource access.
  *
  * This gives a narrow mutation surface instead of exposing raw storage objects.
+ * Values written here are already valid. Data that still needs validation
+ * goes through its descriptor's own validator: declare the descriptor with
+ * `Descriptor.ConstructedComponent` / `ConstructedResource` and write with
+ * `setRaw` / `updateRaw` on its {@link ConstructedWriteCell}.
  */
 export interface WriteCell<T> extends ReadCell<T> {
     /**
      * Replaces the current value.
      */
     set(value: T): void;
-    /**
-     * Replaces the current value from an explicit result.
-     */
-    setResult<E>(result: Result.Result<T, E>): Result.Result<void, E>;
     /**
      * Updates the current value based on the previous one.
      */
     update(f: (current: ReadonlyValue<T>) => T): void;
-    /**
-     * Updates the current value from an explicit result-producing callback.
-     */
-    updateResult<E>(f: (current: ReadonlyValue<T>) => Result.Result<T, E>): Result.Result<void, E>;
 }
 /**
  * Writable cell for data backed by a constructed descriptor.
@@ -440,45 +482,45 @@ export interface ConstructedWriteCell<T, Raw, Error> extends WriteCell<T> {
     updateRaw(f: (current: ReadonlyValue<T>) => Raw): Result.Result<void, Error>;
 }
 /**
- * A `transition(from, to)` found the state component in another state, so
+ * A `transition(from, to)` found the entity state in another state, so
  * nothing was written.
  */
-export interface StateMismatchError<T> {
-    readonly _tag: "StateMismatch";
-    /** Name of the state component. */
-    readonly state: string;
+export interface EntityStateMismatchError<T> {
+    readonly _tag: "EntityStateMismatch";
+    /** Name of the `Descriptor.EntityState` component. */
+    readonly component: string;
     /** The `from` state the transition expected. */
     readonly expected: T;
     /** The state the component was actually in. */
     readonly actual: T;
 }
 /**
- * Writable cell for a state component (`Descriptor.State`).
+ * Writable cell for an entity state component (`Descriptor.EntityState`).
  *
  * `transition(from, to)` is a compare-and-set: it writes `to` only while the
- * current state is `from`, and otherwise returns `StateMismatch` without
+ * current state is `from`, and otherwise returns `EntityStateMismatch` without
  * writing. With a transition graph, `to` must be one of the moves the graph
  * allows from `from`; without one, any pair of states is accepted.
  */
-export interface StateWriteCell<T, Transitions> extends ConstructedWriteCell<T, T, DecodeError> {
+export interface EntityStateWriteCell<T, Transitions> extends ConstructedWriteCell<T, T, DecodeError> {
     /**
      * Moves from `from` to `to` if the component is still in `from`.
      *
      * @example
      * ```ts
-     * const moved = data.phase.transition("windup", "active")
+     * const moved = data.attack.transition("windup", "active")
      * if (!moved.ok) {
      *   // moved.error.actual is the state some earlier write left
      * }
      * ```
      */
-    transition<const From extends T & keyof Transitions>(from: From, to: StateTarget<T, Transitions, From>): Result.Result<void, StateMismatchError<T>>;
+    transition<const From extends T & keyof Transitions>(from: From, to: EntityStateTarget<T, Transitions, From>): Result.Result<void, EntityStateMismatchError<T>>;
 }
-type StateTarget<T, Transitions, From extends keyof Transitions> = Transitions[From] extends ReadonlyArray<infer To> ? To & T : never;
+type EntityStateTarget<T, Transitions, From extends keyof Transitions> = Transitions[From] extends ReadonlyArray<infer To> ? To & T : never;
 /**
  * Write-cell surface produced for one queried component descriptor.
  */
-export type WriteCellForDescriptor<D extends ComponentDescriptor> = D extends import("./Descriptor.ts").StateDescriptor<string, infer States extends readonly [StateValue, ...Array<StateValue>], any> ? StateWriteCell<States[number], D["transitions"] extends undefined ? {
+export type WriteCellForDescriptor<D extends ComponentDescriptor> = D extends import("./Descriptor.ts").EntityStateDescriptor<string, infer States extends readonly [EntityStateValue, ...Array<EntityStateValue>], any> ? EntityStateWriteCell<States[number], D["transitions"] extends undefined ? {
     readonly [K in States[number]]: States;
 } : D["transitions"]> : D extends import("./Descriptor.ts").ConstructedDescriptor<"component", string, infer Value, infer Raw, infer Error> ? ConstructedWriteCell<Value, Raw, Error> : WriteCell<Descriptor.Value<D>>;
 /**
@@ -506,10 +548,10 @@ export type OptionalReadCell<T> = PresentOptionalReadCell<T> | AbsentOptionalRea
  * Otherwise it remains read-only.
  */
 export type QueryMatch<S extends Schema.Any, Q extends Query.Any> = keyof Query.WriteProof<Q> extends never ? {
-    readonly entity: EntityRef<S, Query.ReadProof<Q>, Query.Root<Q>>;
+    readonly entity: EntityRef<S, Query.ReadProof<Q>, Query.Root<Q>, Query.Proven<Q>, Query.Excluded<Q>>;
     readonly data: Query.Cells<Q>;
 } : {
-    readonly entity: EntityMut<S, Query.ReadProof<Q>, Query.WriteProof<Q>, Query.Root<Q>>;
+    readonly entity: EntityMut<S, Query.ReadProof<Q>, Query.WriteProof<Q>, Query.Root<Q>, Query.Proven<Q>, Query.Excluded<Q>>;
     readonly data: Query.Cells<Q>;
 };
 /**
@@ -552,6 +594,12 @@ export declare const multipleEntitiesError: (count: number) => Query.MultipleEnt
  * })
  * ```
  */
+/**
+ * `T` itself, but not a place inference reads from: a list a query omits
+ * stays `[]` even when the call sits where a wider query type is expected
+ * (`queries: { ... }` in a spec). Unlike `NoInfer`, it prints as `T`.
+ */
+export type Uninferred<T, Bound> = [T] extends [infer U extends Bound] ? U : never;
 export declare const Query: <const Selection extends Record<string, SelectionAccess<any, Root>>, const With extends ReadonlyArray<ComponentDescriptor> = [], const Without extends ReadonlyArray<ComponentDescriptor> = [], const Filters extends ReadonlyArray<Filter<ComponentDescriptor>> = [], const WithRelations extends ReadonlyArray<Relation.Relation.Any> = [], const WithoutRelations extends ReadonlyArray<Relation.Relation.Any> = [], const WithRelated extends ReadonlyArray<Relation.Relation.Any> = [], const WithoutRelated extends ReadonlyArray<Relation.Relation.Any> = [], Root = unknown>(spec: {
     readonly selection: Selection;
     readonly with?: With;
@@ -561,6 +609,6 @@ export declare const Query: <const Selection extends Record<string, SelectionAcc
     readonly withoutRelations?: WithoutRelations;
     readonly withRelated?: WithRelated;
     readonly withoutRelated?: WithoutRelated;
-}) => QuerySpec<Selection, With, Without, Filters, WithRelations, WithoutRelations, WithRelated, WithoutRelated, Root>;
+}) => QuerySpec<Selection, Uninferred<With, ReadonlyArray<ComponentDescriptor>>, Uninferred<Without, ReadonlyArray<ComponentDescriptor>>, Uninferred<Filters, ReadonlyArray<Filter<ComponentDescriptor>>>, Uninferred<WithRelations, ReadonlyArray<Relation.Relation.Any>>, Uninferred<WithoutRelations, ReadonlyArray<Relation.Relation.Any>>, Uninferred<WithRelated, ReadonlyArray<Relation.Relation.Any>>, Uninferred<WithoutRelated, ReadonlyArray<Relation.Relation.Any>>, Root>;
 export {};
 //# sourceMappingURL=Query.d.ts.map