@typeonce/ritmo 0.7.0 → 0.9.0

package/README.md

@@ -14,7 +14,7 @@ pnpm add @typeonce/ritmo
 ```ts
 import { Descriptor, Schema } from "@typeonce/ritmo"
 
-const Position = Descriptor.Component<{ x: number; y: number }>()("Position")
+const Position = Descriptor.Component<{ x: number; y: number }>()("Example/Position")
 const Game = Schema.bind(Schema.fragment({ components: { Position } }))
 ```
 
@@ -23,9 +23,10 @@ Modules are also importable by path, for example `@typeonce/ritmo/Result`.
 Related packages, released together with the same version:
 
 - [`@typeonce/ritmo-math`](https://www.npmjs.com/package/@typeonce/ritmo-math): validated vectors, sizes, and bounding boxes
-- [`@typeonce/ritmo-browser`](https://www.npmjs.com/package/@typeonce/ritmo-browser): fixed-step loop and keyboard actions
+- [`@typeonce/ritmo-browser`](https://www.npmjs.com/package/@typeonce/ritmo-browser): animation-frame ticks for the fixed-step loop, keyboard, pointer, and touch input
 - [`@typeonce/ritmo-render`](https://www.npmjs.com/package/@typeonce/ritmo-render): entity-to-node sync for any renderer
 - [`@typeonce/ritmo-pixi`](https://www.npmjs.com/package/@typeonce/ritmo-pixi): Pixi container adapter for the render-node registry
 - [`@typeonce/ritmo-devtools`](https://www.npmjs.com/package/@typeonce/ritmo-devtools): headless debug sessions and trace reports
+- [`@typeonce/oxlint-plugin-ritmo`](https://www.npmjs.com/package/@typeonce/oxlint-plugin-ritmo): oxlint rules that keep simulation code deterministic and headless
 
 Source: https://github.com/typeonce-dev/ritmo

package/dist/Clock.d.ts

@@ -9,7 +9,8 @@
  * - `Clock.system(Game, { name, resource, hold })` advances it every tick:
  *   `step + 1` and `dt = 1/hz`, or `dt = 0` while a `hold` condition passes.
  * - `Clock.duration(step, 0.5)` is a span in whole steps; `Clock.every(t, d)`
- *   is true on the step each period begins; `Clock.elapsed(t)` is exact.
+ *   is true on the step each period begins after the start (steps `d`,
+ *   `2d`, ...); `Clock.elapsed(t)` is exact.
  *
  * Time is counted in steps, never accumulated in floating point: elapsed
  * seconds are `step / hz`.
@@ -20,7 +21,7 @@
  * const Time = Clock.resource("Game/Time", step)
  * const Game = Schema.bind(Schema.fragment({ resources: { Time } }))
  * const AdvanceTime = Clock.system(Game, { name: "Game/AdvanceTime", resource: Time, hold: [paused] })
- * const runtime = Game.Runtime.make({ services, resources: { Time: Clock.start(step) } })
+ * const runtime = Game.Runtime.make({ services, resources: { Time: Clock.start(step) } }).value
  * ```
  *
  * @module Clock
@@ -170,16 +171,30 @@ export type ValidDuration<Hz extends number, Seconds extends number> = number ex
  * rounded to the nearest whole step (half up), so `Clock.duration(Clock.hz(60), 0.025)`
  * is 2 steps (1.5 rounds up). Shorter than one step is a compile error
  * ("0.001s is shorter than one step (1/60s)"). For seconds read from data,
- * use `durationRaw`.
+ * use `durationRaw`; for a count of steps, `durationOfSteps`.
  */
 export declare const duration: <Hz extends number, const Seconds extends number>(step: Step<Hz>, seconds: ValidDuration<Hz, Seconds>) => Duration<Hz>;
 /** Seconds from data as whole steps of `step`, the same rules as `duration`, as a `Result`. */
 export declare const durationRaw: <Hz extends number>(step: Step<Hz>, seconds: number) => Result.Result<Duration<Hz>, InvalidDuration>;
+type StepsMessage = "Clock.durationOfSteps needs a positive whole number of steps";
+/** `N` when it is a positive whole number (or a computed `number`); otherwise the message. */
+export type ValidSteps<N extends number> = number extends N ? N : `${N}` extends `-${string}` | `${string}.${string}` | `${string}e${string}` | "0" ? StepsMessage : N;
+/**
+ * A whole number of steps of `step` as a duration: `Clock.durationOfSteps(Clock.hz(60), 3)`.
+ * Use it when the length is counted in steps (an animation of 3 frames, a
+ * cooldown stored as steps); use `duration` for literal seconds and
+ * `durationRaw` for seconds from data. A count cannot round, so nothing can
+ * fail for a positive whole number: a literal zero, negative, or fraction is
+ * a compile error, and a computed one throws.
+ */
+export declare const durationOfSteps: <Hz extends number, const N extends number>(step: Step<Hz>, steps: ValidSteps<N>) => Duration<Hz>;
 /** The whole steps a duration spans. */
 export declare const steps: (duration: Duration) => number;
 /**
  * Whether a period of `duration` begins on this tick: the clock advanced
- * (not held) to a step that is a multiple of the period. False while held.
+ * (not held) to a step that is a multiple of the period. False while held,
+ * and on the first step (0), which no advance reached: the first period
+ * begins at step `duration`.
  */
 export declare const every: <Hz extends number>(time: Time<Hz>, duration: Duration<NoInfer<Hz>>) => boolean;
 export {};

package/dist/Clock.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Clock.d.ts","sourceRoot":"","sources":["../src/Clock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,gBAAgB,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AACxF,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAI1C,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAA;AACtC,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAC1C,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAC1C,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;AAEzF,uEAAuE;AACvE,MAAM,WAAW,IAAI,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB;AAED,KAAK,SAAS,GAAG,4DAA4D,CAAA;AAE7E,kGAAkG;AAClG,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,IAClC,MAAM,SAAS,CAAC,GAAG,0BAA0B,GAC3C,IAAI,SAAS,OAAO,CAAC,CAAC,CAAC,GAAG,iCAAiC,GAC3D,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,GAAG,SAAS,GAC7F,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GACzF,CAAC,CAAA;AAEL;;;;GAIG;AACH,eAAO,MAAM,EAAE,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAIjE,CAAA;AAID,oFAAoF;AACpF,MAAM,WAAW,IAAI,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAC9C,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,yEAAyE;IACzE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB;AAED,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,+DAA+D;AAC/D,eAAO,MAAM,KAAK,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAG,IAAI,CAAC,EAAE,CAAsC,CAAA;AAkBvG,wFAAwF;AACxF,MAAM,MAAM,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAC9D,gBAAgB,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAA;CAAE,CAAA;AAE5H;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,QAAQ,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAI1E,CAAA;AAEhD,8FAA8F;AAC9F,eAAO,MAAM,OAAO,SAAU,IAAI,KAAG,MAA6B,CAAA;AAIlE,KAAK,WAAW,CAAC,CAAC,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI;IAC3D,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;KAAE,CAAA;IACrG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB,CAAA;AAED,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACxG,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;AAE5I,KAAK,QAAQ,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AACjH,KAAK,QAAQ,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACjD,SAAS,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAExG,qEAAqE;AACrE,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACjH,QAAQ,CAAC,yBAAyB,CAAC,CAAC,EAAE,SAAS;IAC7C,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;CAC9C,EAAE,IAAI,CAAC,CAAA;AAEV;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,GACjB,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,IAAI,EACJ,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,CAAC,SAAS,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAChE,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,EAAE,QAEzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,WACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CAAE,KAC3E,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAatC,CAAA;AAID,kEAAkE;AAClE,MAAM,WAAW,QAAQ,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAClD,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;CAChB;AAED,qDAAqD;AACrD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAGD,KAAK,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAA;AACtE,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,IAAI;IAC5B,GAAG,EAAE,EAAE,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvF,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACrH,CAAC,CAAC,CAAC,CAAA;AACJ,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC3D,CAAC,SAAS,GAAG,MAAM,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAA;AAC7F,KAAK,QAAQ,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,KAAK,EAAE,KAAK,SAAS,CAAC,GAAG,CAAC,IACjE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,SAAS,MAAM,GAAG,SAAS,MAAM,GAChH,GAAG,SAAS,IAAI,MAAM,GAAG,SAAS,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,SAAS,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,GAC3F,KAAK,CAAA;AACX,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC7G;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,GAC7D,QAAQ,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAChM,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GACjJ,KAAK,CAAA;AACX,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IACtF,KAAK,SAAS,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7C,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,KAAK,GAChF,GAAG,CAAA;AACT,KAAK,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC1H,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GACjE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,GAC3D,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GACrE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,GACvC,KAAK,GACP,KAAK,GACP,GAAG,CAAA;AACT,KAAK,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC9G,4EAA4E;AAC5E,KAAK,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IACzD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACnF,8CAA8C;AAC9C,KAAK,UAAU,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,IAChE,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,EAAE,GAAG,KAAK,GAAG,IAAI,CAAA;AAChI,4FAA4F;AAC5F,KAAK,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IACxE;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,KAAK,CAAC,CAAC,GACjI,CAAC,SAAS,CAAC,GAAG,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7E,IAAI,CAAA;AACV,KAAK,aAAa,CAAC,QAAQ,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IACvE,QAAQ,SAAS,GAAG,KAAK,GAAG,MAAM,IAAI,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,CAAA;AAE/F,gHAAgH;AAChH,KAAK,mBAAmB,CAAC,QAAQ,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IACjE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE5F,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,QAAQ,EAAE,GAAG,GAAG,KAAK,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAA;AAChH,KAAK,kBAAkB,CAAC,QAAQ,SAAS,MAAM,EAAE,QAAQ,SAAS,MAAM,EAAE,KAAK,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,MAAM,GAAG,EAAE,IAC/H,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,SAAS,QAAQ,GAAG,GAAG,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE,GAC3E,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,CAAA;AAEtE,0GAA0G;AAC1G,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IACjE,MAAM,SAAS,OAAO,GAAG,kFAAkF,GACzG,IAAI,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,2EAA2E,GAC3G,MAAM,SAAS,EAAE,GAAG,0DAA0D,GAC9E,GAAG,OAAO,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,uDAAuD,GAC3F,GAAG,OAAO,EAAE,SAAS,GAAG,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5E,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,qDAAqD,GACnG,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,QAAQ,KAAK,MAAM,QAAQ,EAAE,GACzD,mBAAmB,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,OAAO,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5I,GAAG,OAAO,EAAE,SAAS,KAAK,MAAM,QAAQ,EAAE,GACxC,mBAAmB,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,OAAO,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5G,OAAO,CAAA;AAeb;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,GAAI,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,OAAO,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,WAAW,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,KAAG,QAAQ,CAAC,EAAE,CAI1I,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,WAAW,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,WAAW,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,eAAe,CAG3H,CAAA;AAED,wCAAwC;AACxC,eAAO,MAAM,KAAK,aAAc,QAAQ,KAAG,MAAwB,CAAA;AAEnE;;;GAGG;AACH,eAAO,MAAM,KAAK,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,YAAY,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAG,OAC1C,CAAA"}
+{"version":3,"file":"Clock.d.ts","sourceRoot":"","sources":["../src/Clock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,gBAAgB,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AACxF,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAA;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAI1C,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAA;AACtC,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAC1C,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAC1C,KAAK,OAAO,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;AAEzF,uEAAuE;AACvE,MAAM,WAAW,IAAI,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB;AAED,KAAK,SAAS,GAAG,4DAA4D,CAAA;AAE7E,kGAAkG;AAClG,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,IAClC,MAAM,SAAS,CAAC,GAAG,0BAA0B,GAC3C,IAAI,SAAS,OAAO,CAAC,CAAC,CAAC,GAAG,iCAAiC,GAC3D,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,GAAG,SAAS,GAC7F,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GACzF,CAAC,CAAA;AAEL;;;;GAIG;AACH,eAAO,MAAM,EAAE,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,CAIjE,CAAA;AAID,oFAAoF;AACpF,MAAM,WAAW,IAAI,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAC9C,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,yEAAyE;IACzE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB;AAED,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,+DAA+D;AAC/D,eAAO,MAAM,KAAK,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAG,IAAI,CAAC,EAAE,CAAsC,CAAA;AAkBvG,wFAAwF;AACxF,MAAM,MAAM,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAC9D,gBAAgB,CAAC,mBAAmB,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAA;CAAE,CAAA;AAE5H;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,GAAI,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,QAAQ,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAI1E,CAAA;AAEhD,8FAA8F;AAC9F,eAAO,MAAM,OAAO,SAAU,IAAI,KAAG,MAA6B,CAAA;AAIlE,KAAK,WAAW,CAAC,CAAC,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI;IAC3D,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;KAAE,CAAA;IACrG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB,CAAA;AAED,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACxG,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;AAE5I,KAAK,QAAQ,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AACjH,KAAK,QAAQ,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACjD,SAAS,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAExG,qEAAqE;AACrE,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IACjH,QAAQ,CAAC,yBAAyB,CAAC,CAAC,EAAE,SAAS;IAC7C,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;CAC9C,EAAE,IAAI,CAAC,CAAA;AAEV;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,GACjB,CAAC,SAAS,MAAM,CAAC,GAAG,EACpB,IAAI,EACJ,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,CAAC,SAAS,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAChE,KAAK,CAAC,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,EAAE,QAEzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,WACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CAAE,KAC3E,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAatC,CAAA;AAID,kEAAkE;AAClE,MAAM,WAAW,QAAQ,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM;IAClD,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;CAChB;AAED,qDAAqD;AACrD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAGD,KAAK,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAA;AACtE,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,IAAI;IAC5B,GAAG,EAAE,EAAE,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvF,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACrH,CAAC,CAAC,CAAC,CAAA;AACJ,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC3D,CAAC,SAAS,GAAG,MAAM,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAA;AAC7F,KAAK,QAAQ,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,KAAK,EAAE,KAAK,SAAS,CAAC,GAAG,CAAC,IACjE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,SAAS,MAAM,GAAG,SAAS,MAAM,GAChH,GAAG,SAAS,IAAI,MAAM,GAAG,SAAS,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,SAAS,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,GAC3F,KAAK,CAAA;AACX,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC7G;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,GAC7D,QAAQ,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAChM,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GACjJ,KAAK,CAAA;AACX,KAAK,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IACtF,KAAK,SAAS,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7C,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,KAAK,GAChF,GAAG,CAAA;AACT,KAAK,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAC1H,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,EAAE,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,KAAK,CAAC,CAAC,GACjE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,KAAK,CAAC,KAAK,CAAC,GAC3D,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GACrE,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,GACvC,KAAK,GACP,KAAK,GACP,GAAG,CAAA;AACT,KAAK,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,IAAI,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC9G,4EAA4E;AAC5E,KAAK,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IACzD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,sBAAsB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACnF,8CAA8C;AAC9C,KAAK,UAAU,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,IAChE,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,EAAE,GAAG,KAAK,GAAG,IAAI,CAAA;AAChI,4FAA4F;AAC5F,KAAK,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IACxE;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,KAAK,CAAC,CAAC,GACjI,CAAC,SAAS,CAAC,GAAG,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7E,IAAI,CAAA;AACV,KAAK,aAAa,CAAC,QAAQ,SAAS,MAAM,EAAE,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IACvE,QAAQ,SAAS,GAAG,KAAK,GAAG,MAAM,IAAI,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,CAAC,CAAA;AAE/F,gHAAgH;AAChH,KAAK,mBAAmB,CAAC,QAAQ,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IACjE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE5F,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,QAAQ,EAAE,GAAG,GAAG,KAAK,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAA;AAChH,KAAK,kBAAkB,CAAC,QAAQ,SAAS,MAAM,EAAE,QAAQ,SAAS,MAAM,EAAE,KAAK,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,MAAM,GAAG,EAAE,IAC/H,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,SAAS,QAAQ,GAAG,GAAG,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE,GAC3E,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,CAAA;AAEtE,0GAA0G;AAC1G,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IACjE,MAAM,SAAS,OAAO,GAAG,kFAAkF,GACzG,IAAI,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,2EAA2E,GAC3G,MAAM,SAAS,EAAE,GAAG,0DAA0D,GAC9E,GAAG,OAAO,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,uDAAuD,GAC3F,GAAG,OAAO,EAAE,SAAS,GAAG,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5E,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,KAAK,MAAM,EAAE,GAAG,qDAAqD,GACnG,GAAG,OAAO,EAAE,SAAS,GAAG,MAAM,QAAQ,KAAK,MAAM,QAAQ,EAAE,GACzD,mBAAmB,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,OAAO,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5I,GAAG,OAAO,EAAE,SAAS,KAAK,MAAM,QAAQ,EAAE,GACxC,mBAAmB,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,OAAO,GAAG,GAAG,OAAO,iCAAiC,EAAE,IAAI,GAC5G,OAAO,CAAA;AAeb;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,GAAI,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,OAAO,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,WAAW,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,KAAG,QAAQ,CAAC,EAAE,CAI1I,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,WAAW,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,WAAW,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,eAAe,CAG3H,CAAA;AAED,KAAK,YAAY,GAAG,8DAA8D,CAAA;AAElF,8FAA8F;AAC9F,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IACrC,MAAM,SAAS,CAAC,GAAG,CAAC,GAClB,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,GAAG,GAAG,YAAY,GAChG,CAAC,CAAA;AAEL;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,GAAI,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,KAAG,QAAQ,CAAC,EAAE,CAI5H,CAAA;AAED,wCAAwC;AACxC,eAAO,MAAM,KAAK,aAAc,QAAQ,KAAG,MAAwB,CAAA;AAEnE;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,EAAE,SAAS,MAAM,QAAQ,IAAI,CAAC,EAAE,CAAC,YAAY,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAG,OAC1C,CAAA"}

package/dist/Clock.js

@@ -88,7 +88,7 @@ const stepsOf = (hz, seconds) => {
  * rounded to the nearest whole step (half up), so `Clock.duration(Clock.hz(60), 0.025)`
  * is 2 steps (1.5 rounds up). Shorter than one step is a compile error
  * ("0.001s is shorter than one step (1/60s)"). For seconds read from data,
- * use `durationRaw`.
+ * use `durationRaw`; for a count of steps, `durationOfSteps`.
  */
 export const duration = (step, seconds) => {
     const steps = stepsOf(step.hz, seconds);
@@ -101,11 +101,27 @@ export const durationRaw = (step, seconds) => {
     const steps = stepsOf(step.hz, seconds);
     return steps.ok ? Result.success({ kind: "ClockDuration", steps: steps.value, hz: step.hz }) : steps;
 };
+/**
+ * A whole number of steps of `step` as a duration: `Clock.durationOfSteps(Clock.hz(60), 3)`.
+ * Use it when the length is counted in steps (an animation of 3 frames, a
+ * cooldown stored as steps); use `duration` for literal seconds and
+ * `durationRaw` for seconds from data. A count cannot round, so nothing can
+ * fail for a positive whole number: a literal zero, negative, or fraction is
+ * a compile error, and a computed one throws.
+ */
+export const durationOfSteps = (step, steps) => {
+    const count = steps;
+    if (!Number.isSafeInteger(count) || count <= 0)
+        throw new Error(`Clock.durationOfSteps needs a positive whole number of steps, got ${count}`);
+    return { kind: "ClockDuration", steps: count, hz: step.hz };
+};
 /** The whole steps a duration spans. */
 export const steps = (duration) => duration.steps;
 /**
  * Whether a period of `duration` begins on this tick: the clock advanced
- * (not held) to a step that is a multiple of the period. False while held.
+ * (not held) to a step that is a multiple of the period. False while held,
+ * and on the first step (0), which no advance reached: the first period
+ * begins at step `duration`.
  */
 export const every = (time, duration) => time.dt > 0 && time.step % duration.steps === 0;
 //# sourceMappingURL=Clock.js.map

package/dist/Clock.js.map

@@ -1 +1 @@
-{"version":3,"file":"Clock.js","sourceRoot":"","sources":["../src/Clock.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,gBAAgB,MAAM,iBAAiB,CAAA;AAEnD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AA8BrC;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAyB,EAAc,EAAW,EAAE;IACpE,MAAM,KAAK,GAAG,EAAY,CAAA;IAC1B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,KAAK,EAAE,CAAC,CAAA;IAC3I,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAU,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,EAAa,CAAA;AACxE,CAAC,CAAA;AAmBD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,KAAK,GAAG,CAAoB,IAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;AAEvG,MAAM,MAAM,GAAG,CAAoB,IAAc,EAAE,GAAY,EAAwC,EAAE;IACvG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAA;IACnJ,MAAM,KAAK,GAAG,GAAgF,CAAA;IAC9F,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,0BAA0B,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,EAAE,EAAE;SAC7H,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAA;IAC5G,CAAC;IACD,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,qBAAqB,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACnI,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;AACxE,CAAC,CAAA;AAMD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAA+C,IAAU,EAAE,IAAc,EAA2B,EAAE,CAC5H,gBAAgB,CAAC,mBAAmB,CAAC;IACnC,MAAM,EAAE,CAAC,GAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;IAC5C,MAAM,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;CAC5C,CAAC,CAAC,IAAI,CAAuC,CAAA;AAEhD,8FAA8F;AAC9F,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAA;AAuBlE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAOpB,IAA0B,EAC1B,OAA4E,EACrC,EAAE;IACzC,yFAAyF;IACzF,MAAM,GAAG,GAAG,IAAI,CAAC,MAA+K,CAAA;IAChM,MAAM,KAAK,GAAG,IAAI,CAAC,QAAsE,CAAA;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAA;IACpE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC7F,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC1G,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAA0C,CAAA;AACtE,CAAC,CAAA;AAsFD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,OAAe,EAA0C,EAAE;IACtF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,2DAA2D,EAAE,CAAC,CAAA;IACnI,CAAC;IACD,8FAA8F;IAC9F,IAAI,OAAO,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,iCAAiC,EAAE,IAAI,EAAE,CAAC,CAAA;IACzH,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,CAAA;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC,CAAA;IAC7J,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAkD,IAAc,EAAE,OAAmC,EAAgB,EAAE;IAC7I,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,OAAiB,CAAC,CAAA;IACjD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACnD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAkB,CAAA;AACnF,CAAC,CAAA;AAED,+FAA+F;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAoB,IAAc,EAAE,OAAe,EAAgD,EAAE;IAC9H,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACvC,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AACtH,CAAC,CAAA;AAED,wCAAwC;AACxC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAA;AAEnE;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAoB,IAAc,EAAE,QAA+B,EAAW,EAAE,CACnG,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAA"}
+{"version":3,"file":"Clock.js","sourceRoot":"","sources":["../src/Clock.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,gBAAgB,MAAM,iBAAiB,CAAA;AAEnD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AA8BrC;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAyB,EAAc,EAAW,EAAE;IACpE,MAAM,KAAK,GAAG,EAAY,CAAA;IAC1B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,KAAK,EAAE,CAAC,CAAA;IAC3I,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,KAAU,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,EAAa,CAAA;AACxE,CAAC,CAAA;AAmBD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,KAAK,GAAG,CAAoB,IAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;AAEvG,MAAM,MAAM,GAAG,CAAoB,IAAc,EAAE,GAAY,EAAwC,EAAE;IACvG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAA;IACnJ,MAAM,KAAK,GAAG,GAAgF,CAAA;IAC9F,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,0BAA0B,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,EAAE,EAAE;SAC7H,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAA;IAC5G,CAAC;IACD,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,qBAAqB,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACnI,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;AACxE,CAAC,CAAA;AAMD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAA+C,IAAU,EAAE,IAAc,EAA2B,EAAE,CAC5H,gBAAgB,CAAC,mBAAmB,CAAC;IACnC,MAAM,EAAE,CAAC,GAAa,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;IAC5C,MAAM,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;CAC5C,CAAC,CAAC,IAAI,CAAuC,CAAA;AAEhD,8FAA8F;AAC9F,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAA;AAuBlE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAOpB,IAA0B,EAC1B,OAA4E,EACrC,EAAE;IACzC,yFAAyF;IACzF,MAAM,GAAG,GAAG,IAAI,CAAC,MAA+K,CAAA;IAChM,MAAM,KAAK,GAAG,IAAI,CAAC,QAAsE,CAAA;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAA;IACvD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAA;IACpE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC7F,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAA;IAClG,CAAC,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC1G,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAA0C,CAAA;AACtE,CAAC,CAAA;AAsFD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,OAAe,EAA0C,EAAE;IACtF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,2DAA2D,EAAE,CAAC,CAAA;IACnI,CAAC;IACD,8FAA8F;IAC9F,IAAI,OAAO,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,iCAAiC,EAAE,IAAI,EAAE,CAAC,CAAA;IACzH,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,CAAA;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC,CAAA;IAC7J,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAkD,IAAc,EAAE,OAAmC,EAAgB,EAAE;IAC7I,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,OAAiB,CAAC,CAAA;IACjD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACnD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAkB,CAAA;AACnF,CAAC,CAAA;AAED,+FAA+F;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAoB,IAAc,EAAE,OAAe,EAAgD,EAAE;IAC9H,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACvC,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AACtH,CAAC,CAAA;AAUD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAA4C,IAAc,EAAE,KAAoB,EAAgB,EAAE;IAC/H,MAAM,KAAK,GAAG,KAAe,CAAA;IAC7B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qEAAqE,KAAK,EAAE,CAAC,CAAA;IAC7I,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAkB,CAAA;AAC7E,CAAC,CAAA;AAED,wCAAwC;AACxC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAA;AAEnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAoB,IAAc,EAAE,QAA+B,EAAW,EAAE,CACnG,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAA"}

package/dist/Command.d.ts

@@ -65,7 +65,8 @@ import * as Entity from "./Entity.ts";
 import type * as EntityScope from "./EntityScope.ts";
 import type * as Relation from "./Relation.ts";
 import * as Result from "./Result.ts";
-import type { Schema } from "./Schema.ts";
+import type { ReadonlyValue } from "./Query.ts";
+import type { RequirementPair, Schema } from "./Schema.ts";
 /**
  * Type-level helpers for staged entity construction.
  *
@@ -90,7 +91,7 @@ export declare namespace Draft {
 /**
  * A typed descriptor/value pair used by the flat command authoring APIs.
  */
-export type Entry<D extends Descriptor<"component", string, any>> = readonly [D, Descriptor.Value<D>];
+export type Entry<D extends Descriptor<"component", string, any>> = readonly [D, ReadonlyValue<Descriptor.Value<D>>];
 /**
  * Extracts the component-descriptor union from a schema.
  */
@@ -117,10 +118,13 @@ type EntryValue<T> = [
 /**
  * Folds entries into the component proof of the resulting draft.
  */
-export type FoldEntries<Entries extends ReadonlyArray<SpawnEntry<any>>, P extends Entity.ComponentProof = {}> = number extends Entries["length"] ? P & MaybeEntries<EntryValue<Entries[number]>> : Entries extends readonly [
+export type FoldEntries<Entries extends ReadonlyArray<SpawnEntry<any>>, P extends Entity.ComponentProof = {}> = Entries extends readonly [
     infer Head extends SpawnEntry<any>,
-    ...infer Tail extends Array<SpawnEntry<any>>
-] ? FoldEntries<Tail, Draft.InsertEntry<P, EntryValue<Head>>> : P;
+    ...infer Tail extends ReadonlyArray<SpawnEntry<any>>
+] ? FoldEntries<Tail, Draft.InsertEntry<P, EntryValue<Head>>> : Entries extends readonly [
+    ...infer Init extends ReadonlyArray<SpawnEntry<any>>,
+    infer Last extends SpawnEntry<any>
+] ? FoldEntries<Init, Draft.InsertEntry<P, EntryValue<Last>>> : number extends Entries["length"] ? P & MaybeEntries<EntryValue<Entries[number]>> : P;
 /** The proof of entries that may each be present: every component they can hold, optional. */
 type MaybeEntries<Entry> = {
     readonly [E in Entry as E extends readonly [infer D extends Descriptor<"component", string, any>, unknown] ? Descriptor.Name<D> : never]?: E extends readonly [infer D extends Descriptor<"component", string, any>, unknown] ? Descriptor.Value<D> : never;
@@ -136,9 +140,9 @@ export type EntryErrors<Entries extends ReadonlyArray<SpawnEntry<any>>> = {
  * The draft produced from `Entries`, wrapped in a `Result` exactly when at
  * least one entry is a `Result` and can therefore fail.
  */
-export type DraftFor<S extends Schema.Any, Entries extends ReadonlyArray<SpawnEntry<S>>, P extends Entity.ComponentProof, Root> = [Extract<Entries[number], {
+export type DraftFor<S extends Schema.Any, Entries extends ReadonlyArray<SpawnEntry<S>>, P extends Entity.ComponentProof, Root, Relates = never> = [Extract<Entries[number], {
     readonly ok: boolean;
-}>] extends [never] ? Entity.EntityDraft<S, FoldEntries<Entries, P>, Root> : Result.Result<Entity.EntityDraft<S, FoldEntries<Entries, P>, Root>, EntryErrors<Entries>>;
+}>] extends [never] ? Entity.EntityDraft<S, FoldEntries<Entries, P>, Root, Relates> : Result.Result<Entity.EntityDraft<S, FoldEntries<Entries, P>, Root, Relates>, EntryErrors<Entries>>;
 /**
  * A deferred world mutation.
  *
@@ -164,9 +168,10 @@ export type DeferredCommand<S extends Schema.Any> = {
 export interface InternalWorld<S extends Schema.Any> {
     /**
      * Creates the entity for an id reserved by `commands.spawn(...)` with its
-     * staged components.
+     * staged components. Returns `false`, creating nothing, when the
+     * components break a `Schema.requires` requirement.
      */
-    readonly spawnEntity: (id: Entity.EntityId<S, any>, components: ReadonlyArray<Entity.StagedComponent>) => void;
+    readonly spawnEntity: (id: Entity.EntityId<S, any>, components: ReadonlyArray<Entity.StagedComponent>) => boolean;
     /**
      * Removes an entity and its outgoing and incoming relations.
      */
@@ -180,13 +185,21 @@ export interface InternalWorld<S extends Schema.Any> {
      */
     readonly destroyEntityScope: (scope: EntityScope.EntityScope.Any) => void;
     /**
-     * Removes a component from a live entity.
+     * Removes components from a live entity, all or none: nothing is removed
+     * when that would leave a component without one it requires.
      */
-    readonly removeComponent: (id: Entity.EntityId<S, any>, descriptor: Descriptor<"component", string, any>) => void;
+    readonly removeComponents: (id: Entity.EntityId<S, any>, descriptors: ReadonlyArray<Descriptor<"component", string, any>>) => void;
     /**
-     * Inserts or replaces a component on a live entity.
+     * Inserts or replaces components on a live entity, all or none: nothing is
+     * written when an inserted component would miss one it requires.
      */
-    readonly writeComponent: (id: Entity.EntityId<S, any>, descriptor: Descriptor<"component", string, any>, value: unknown) => void;
+    readonly insertComponents: (id: Entity.EntityId<S, any>, entries: ReadonlyArray<Entity.StagedComponent>) => void;
+    /**
+     * Reports a `despawn` or `remove` given a numeric id this run did not
+     * spawn: an id kept from an earlier run, or a raw id that erased types let
+     * through. The command is skipped.
+     */
+    readonly reportStaleTarget: (command: "despawn" | "remove", id: Entity.EntityId<S, any>) => void;
     /**
      * Attempts to attach one relation edge between two live entities.
      */
@@ -203,10 +216,11 @@ export interface InternalWorld<S extends Schema.Any> {
 /**
  * Creates a typed component entry.
  */
-export declare const entry: <D extends Descriptor<"component", string, any>>(descriptor: D, value: Descriptor.Value<D>) => Entry<D>;
+export declare const entry: <D extends Descriptor<"component", string, any>>(descriptor: D, value: ReadonlyValue<Descriptor.Value<D>>) => Entry<D>;
 /**
  * Validates raw input through a constructed descriptor's own validator and
- * returns an entry result for `spawn(...)` / `insert(...)`.
+ * returns an entry result for `Game.Command.spawn(...)` / `extend(...)`.
+ * `commands.insert` takes valid entries only: check the result first.
  *
  * This is the one way to put unvalidated data on an entity: the descriptor
  * owns its validator (`Descriptor.ConstructedComponent(...)`, built with
@@ -234,13 +248,13 @@ export declare const entryRaw: <D extends DescriptorModule.ConstructedDescriptor
  * Use this while building what a spawn will hold. Use `commands.insert` to
  * add or replace components on an entity that already exists.
  */
-export declare const extend: <S extends Schema.Any, P extends Entity.ComponentProof, Root, const Entries extends ReadonlyArray<SpawnEntry<S>>>(draft: Entity.EntityDraft<S, P, Root>, ...entries: Entries) => DraftFor<S, Entries, P, Root>;
+export declare const extend: <S extends Schema.Any, P extends Entity.ComponentProof, Root, const Entries extends ReadonlyArray<SpawnEntry<S>>, Relates = never>(draft: Entity.EntityDraft<S, P, Root, Relates>, ...entries: Entries) => DraftFor<S, Entries, P, Root, Relates>;
 /**
  * Starts a staged entity from component entries.
  *
  * Drafts are plain values: build them anywhere (including small factories),
  * then queue them with `commands.spawn(...)`. Entries may be `[Descriptor,
- * value]` pairs or results from `entryRaw(...)`; see `insert(...)` for how
+ * value]` pairs or results from `entryRaw(...)`; see `extend(...)` for how
  * failures are reported.
  *
  * @example
@@ -258,7 +272,7 @@ export declare const spawn: <S extends Schema.Any, Root = unknown, const Entries
  * Drafts stay pure: this only records intent so the runtime can attempt to
  * attach the relation when the spawn command is applied.
  */
-export declare const relate: <S extends Schema.Any, P extends Entity.ComponentProof, R extends Relation.Relation.Any, Root = unknown>(draft: Entity.EntityDraft<S, P, Root>, relation: R, target: Entity.EntityId<S, Root>) => Entity.EntityDraft<S, P, Root>;
+export declare const relate: <S extends Schema.Any, P extends Entity.ComponentProof, R extends Relation.Relation.Any, Root = unknown, Relates = never>(draft: Entity.EntityDraft<S, P, Root, Relates>, relation: R, target: Entity.EntityId<S, Root>) => Entity.EntityDraft<S, P, Root, Relates | R>;
 /** One permission of `Game.System.commands(...)`: a kind of command, and what it may touch. */
 export interface Permission<out Kind extends PermissionKind, out Value> {
     readonly permission: Kind;
@@ -270,25 +284,25 @@ type ComponentDescriptor = Descriptor<"component", string, any>;
  * Allows `spawn` / `spawnIn` of drafts whose components are all among `components`.
  * Use it for entities the system creates; use `extend` on a draft to build one.
  */
-export declare const spawns: <const Components extends ReadonlyArray<ComponentDescriptor>>(...components: Components) => Permission<"spawns", Components[number]>;
+export declare const spawns: <const Components extends readonly [ComponentDescriptor, ...ReadonlyArray<ComponentDescriptor>]>(...components: Components) => Permission<"spawns", Components[number]>;
 /**
  * Allows `insert(entity, [X, value])` with `X` among `components`: add or
  * replace at the next `applyDeferred()`. To change a value now, on an entity
  * you matched, write through a query (`Game.Query.write`) instead.
  */
-export declare const inserts: <const Components extends ReadonlyArray<ComponentDescriptor>>(...components: Components) => Permission<"inserts", Components[number]>;
+export declare const inserts: <const Components extends readonly [ComponentDescriptor, ...ReadonlyArray<ComponentDescriptor>]>(...components: Components) => Permission<"inserts", Components[number]>;
 /** Allows `remove(entity, X)` with `X` among `components`. */
-export declare const removes: <const Components extends ReadonlyArray<ComponentDescriptor>>(...components: Components) => Permission<"removes", Components[number]>;
+export declare const removes: <const Components extends readonly [ComponentDescriptor, ...ReadonlyArray<ComponentDescriptor>]>(...components: Components) => Permission<"removes", Components[number]>;
 /**
  * Allows `despawn(entity)` where `entity` comes from a query match proving one
  * of `components` (`match.entity`), never a raw id: the system can only
  * despawn what it has proven is, for example, an `Enemy`.
  */
-export declare const despawns: <const Components extends ReadonlyArray<ComponentDescriptor>>(...components: Components) => Permission<"despawns", Components[number]>;
+export declare const despawns: <const Components extends readonly [ComponentDescriptor, ...ReadonlyArray<ComponentDescriptor>]>(...components: Components) => Permission<"despawns", Components[number]>;
 /** Allows `despawnScope(scope)` for this scope. */
 export declare const despawnsScope: <const Scope extends EntityScope.EntityScope.Any>(scope: Scope) => Permission<"despawnsScope", Scope>;
 /** Allows `relate`, `unrelate`, and `reorderChildren` for these relations. */
-export declare const relates: <const Relations extends ReadonlyArray<Relation.Relation.Any>>(...relations: Relations) => Permission<"relates", Relations[number]>;
+export declare const relates: <const Relations extends readonly [Relation.Relation.Any, ...ReadonlyArray<Relation.Relation.Any>]>(...relations: Relations) => Permission<"relates", Relations[number]>;
 type PermissionValue<Permissions, Kind extends PermissionKind> = Permissions extends Permission<Kind, infer Value> ? Value : never;
 /**
  * The commands a system may queue, declared in its spec as
@@ -317,6 +331,10 @@ type Names<D> = D extends {
 } ? Name : never;
 /** Every key of every member of a union of proofs (a draft with a conditional entry is a union). */
 type AllKeys<P> = P extends unknown ? keyof P & string : never;
+/** Relations staged on a draft need `relates`, like `commands.relate`. */
+type DraftRelationsAllowed<Relates, Declared> = [
+    Exclude<Relates, Declared>
+] extends [never] ? unknown : Fix<`${Names<Exclude<Relates, Declared>>} is related by this draft but not declared in this system's commands: add it to Game.System.relates(...)`>;
 type DraftAllowed<P, Spawns> = [
     Exclude<AllKeys<P>, Names<Spawns>>
 ] extends [never] ? unknown : Fix<`${Exclude<AllKeys<P>, Names<Spawns>>} is not declared in this system's commands: add it to Game.System.spawns(...)`>;
@@ -326,22 +344,121 @@ type EntriesAllowed<Entries extends ReadonlyArray<readonly [ComponentDescriptor,
 type RemoveAllowed<D, Removes> = [
     D
 ] extends [Removes] ? unknown : Fix<`${Names<D>} is not declared in this system's commands: add it to Game.System.removes(...)`>;
-type DespawnAllowed<E, Despawns> = E extends {
+/**
+ * Why each possible target of a despawn is not allowed (`never` when it is).
+ * Computed per member, so a target chosen from several queries
+ * (`cond ? a.entity : b.entity`) must pass for every one of them.
+ */
+type DespawnRejections<E, Despawns> = E extends {
     readonly kind: "EntityRef" | "EntityMut";
-    readonly __proves?: (_: never) => infer Proves;
-} ? [Extract<Proves, Despawns>] extends [never] ? Fix<`despawn needs an entity from a query proving ${Names<Despawns>} (declared in despawns)`> : unknown : E extends {
+    readonly __proves?: (_: infer Proves) => void;
+} ? [Extract<Proves, Despawns>] extends [never] ? `despawn needs an entity from a query proving ${Names<Despawns>} (declared in despawns)` : never : E extends {
     readonly [spawnedTypeId]: (_: never) => infer Spawned;
-} ? [Extract<Spawned, Names<Despawns>>] extends [never] ? Fix<`despawn needs an entity spawned with ${Names<Despawns>} (declared in despawns)`> : unknown : Fix<`despawn needs an entity from a query proving ${Names<Despawns>} (declared in despawns), not a raw id: pass match.entity`>;
+} ? [Extract<Spawned, Names<Despawns>>] extends [never] ? `despawn needs an entity spawned with ${Names<Despawns>} (declared in despawns)` : never : `despawn needs an entity from a query proving ${Names<Despawns>} (declared in despawns), not a raw id: pass match.entity`;
+type DespawnAllowed<E, Despawns> = [
+    DespawnRejections<E, Despawns>
+] extends [never] ? unknown : Fix<DespawnRejections<E, Despawns>>;
 declare const spawnedTypeId: unique symbol;
 /**
  * The id `spawn` / `spawnIn` return: an `EntityId` that also records the
  * components its draft holds in every case, so the system that queued it can
  * `despawn` it before the next `applyDeferred()` (no query can match it yet).
+ * It is valid only in the run that spawned it: kept in a closure or a
+ * resource and passed to `despawn` / `remove` in a later run, the command is
+ * skipped and reported (the `stale-target` lint). Keep the entity id or a
+ * handle and resolve it again through a query instead.
  * Stored as a plain `EntityId`, it is a raw id again.
  */
 export type SpawnedId<S extends Schema.Any, Root, Components extends string> = Entity.EntityId<S, Root> & {
     readonly [spawnedTypeId]: (_: never) => Components;
 };
+/** One message per missing requirement: `"Player requires Velocity"`. */
+type MissingMessages<Pairs> = Pairs extends readonly [infer From extends string, infer To extends string] ? `${From} requires ${To}` : never;
+/** The requirements (`[requirer, required]`) of the components in `From` that `Held` lacks. */
+type MissingPairsFrom<S extends Schema.Any, From extends string, Held extends string> = Extract<Schema.Requires<S>, readonly [From, string]> extends infer Pair ? Pair extends readonly [string, infer To extends string] ? To extends Held ? never : Pair : never : never;
+/**
+ * The requirements a draft may break. A draft's proof is a union of
+ * alternatives when an entry is conditional, and has optional keys for
+ * spread entries: in each alternative, every component it may hold needs
+ * every component it requires surely held. Direct requirements are enough:
+ * each required component must be held too, with its own requirements.
+ */
+type DraftViolations<S extends Schema.Any, P> = P extends unknown ? MissingPairsFrom<S, keyof P & string, RequiredKeys<P>> : never;
+type DraftRequirementsMet<S extends Schema.Any, P> = [
+    DraftViolations<S, P>
+] extends [never] ? unknown : Fix<`${MissingMessages<DraftViolations<S, P>>}: add the missing entries to the draft`>;
+/** What one possible target holds: a query match's proof, or a `SpawnedId`'s draft. A raw id proves nothing. */
+type HeldBy<E> = E extends {
+    readonly kind: "EntityRef" | "EntityMut";
+    readonly __proves?: (_: infer Proves) => void;
+} ? Names<Proves> : E extends {
+    readonly [spawnedTypeId]: (_: never) => infer Spawned extends string;
+} ? Spawned : never;
+/** What one possible target's query proves absent: its `without`. */
+type LackedBy<E> = E extends {
+    readonly kind: "EntityRef" | "EntityMut";
+    readonly __lacks?: (_: infer Lacks) => void;
+} ? Names<Lacks> : never;
+/** The names in `All` that some member of `E` does not hold (or lack). */
+type MissingFromHeld<E, All> = E extends unknown ? Exclude<All, HeldBy<E>> : never;
+type MissingFromLacked<E, All> = E extends unknown ? Exclude<All, LackedBy<E>> : never;
+/**
+ * What an insert or remove target is known to hold. For a target chosen
+ * from several queries (`cond ? a.entity : b.entity`), only what every one
+ * of them proves.
+ */
+type TargetHolds<E> = Exclude<HeldBy<E>, MissingFromHeld<E, HeldBy<E>>>;
+/** What a remove target is known to lack: its query's `without` (for several queries, what all of them exclude). */
+type TargetLacks<E> = Exclude<LackedBy<E>, MissingFromLacked<E, LackedBy<E>>>;
+type EntryNames<Entries extends ReadonlyArray<readonly [ComponentDescriptor, unknown]>> = Names<Entries[number][0]>;
+/** The names one entry surely holds: none when it is conditional between descriptors. */
+type SureEntryNames<Entry, All extends string = EntryNamesOf<Entry>> = Exclude<All, Entry extends unknown ? Exclude<All, EntryNamesOf<Entry>> : never>;
+type EntryNamesOf<Entry> = Entry extends readonly [infer D, unknown] ? Names<D> : never;
+/** The names surely inserted: fixed entries, not spread or conditional ones. */
+type SurelyInserted<Entries> = Entries extends readonly [infer Head, ...infer Tail] ? SureEntryNames<Head> | SurelyInserted<Tail> : Entries extends readonly [...infer Init, infer Last] ? SureEntryNames<Last> | SurelyInserted<Init> : never;
+/**
+ * Inserted components (any entry may be one) with requirements neither
+ * surely inserted alongside nor proven held by the target.
+ */
+type InsertViolations<S extends Schema.Any, E, Entries extends ReadonlyArray<readonly [ComponentDescriptor, unknown]>> = MissingPairsFrom<S, EntryNames<Entries>, SurelyInserted<Entries> | TargetHolds<E>>;
+type InsertRequirementsMet<S extends Schema.Any, E, Entries extends ReadonlyArray<readonly [ComponentDescriptor, unknown]>> = [
+    InsertViolations<S, E, Entries>
+] extends [never] ? unknown : Fix<`${MissingMessages<InsertViolations<S, E, Entries>>}: insert it in the same call, or pass match.entity from a query that proves it`>;
+/**
+ * Removing `Removed` is sound when every component that requires one of
+ * them is removed in the same call or proven absent by the target's query
+ * (`without`): otherwise the entity may keep a requirer without its
+ * requirement.
+ */
+type RemoveViolations<S extends Schema.Any, E, Removed extends string> = Extract<Schema.Requires<S>, readonly [string, Removed]> extends infer Pair ? Pair extends readonly [infer From extends string, infer To extends string] ? From extends Removed | TargetLacks<E> ? never : `${To} is required by ${From}: remove ${From} in the same call, or match the entity with a query that has without: [${From}]` : never : never;
+type RemoveRequirementsMet<S extends Schema.Any, E, Removed extends string> = [
+    RemoveViolations<S, E, Removed>
+] extends [never] ? unknown : Fix<RemoveViolations<S, E, Removed>>;
+/** A remove target: `match.entity`, or the id `spawn` returned in this run; never a raw id, not even as one of several. */
+type RemoveTargetRejections<S extends Schema.Any, Root, E> = E extends {
+    readonly kind: "EntityRef" | "EntityMut";
+    readonly id: Entity.EntityId<S, Root>;
+} ? never : E extends SpawnedId<S, Root, string> ? never : "remove needs an entity from a query (pass match.entity) or the id spawn returned in this run, not a raw id";
+type RemoveTargetAllowed<S extends Schema.Any, Root, E> = [
+    RemoveTargetRejections<S, Root, E>
+] extends [never] ? unknown : Fix<RemoveTargetRejections<S, Root, E>>;
+/** The transitive closure of the names `N` require (cycles stop). */
+type RequiredClosure<Pairs extends RequirementPair, N extends string, Seen extends string = never> = [
+    Exclude<N, Seen>
+] extends [never] ? Seen : RequiredClosure<Pairs, Extract<Pairs, readonly [Exclude<N, Seen>, string]>[1], Seen | N>;
+/**
+ * The component descriptors that `Names` require, transitively
+ * (`Schema.requires`): what `Game.System.spawns(...)` also allows.
+ */
+export type RequiredDescriptors<S extends Schema.Any, Names extends string> = 0 extends 1 & Names ? never : string extends Names ? never : [Extract<Schema.Requires<S>, readonly [Names, string]>] extends [never] ? never : Extract<Schema.ComponentDescriptor<S>, {
+    readonly name: Exclude<RequiredClosure<Schema.Requires<S>, Names>, Names>;
+}>;
+type SchemaComponent<S extends Schema.Any> = Extract<Schema.Components<S>[keyof Schema.Components<S>], ComponentDescriptor>;
+/** An entity a system has proven something about: `match.entity`, or the id `spawn` returned. */
+type EntityTarget<S extends Schema.Any, Root> = {
+    readonly kind: "EntityRef" | "EntityMut";
+    readonly id: Entity.EntityId<S, Root>;
+} | SpawnedId<S, Root, string>;
 /** The keys every member of a union of proofs requires (what a draft holds in every case). */
 type RequiredKeys<P> = P extends unknown ? {
     [K in keyof P]-?: {} extends Pick<P, K> ? never : K;
@@ -358,7 +475,8 @@ type HeldNames<P> = Exclude<AllKeys<P>, MissingSomewhere<P, AllKeys<P>>>;
  * `spawn` needs `Game.System.spawns(...)` listing every component of the
  * draft, `insert` needs `inserts`, `remove` needs `removes`, `despawn` needs
  * `despawns` and an entity from a query proving one of them, `despawnScope`
- * needs `despawnsScope`, and relation edits need `relates`.
+ * needs `despawnsScope`, and relation edits need `relates`, including
+ * relations a spawned draft stages with `Game.Command.relate(...)`.
  *
  * Resource and event writes are not commands: they go through the
  * `writeResource(...)` / `writeEvent(...)` access a system declares.
@@ -366,22 +484,35 @@ type HeldNames<P> = Exclude<AllKeys<P>, MissingSomewhere<P, AllKeys<P>>>;
 export interface CommandsApi<S extends Schema.Any, Root = unknown, Spawns = never, Inserts = never, Removes = never, Despawns = never, Scopes = never, Relates = never> {
     /**
      * Queues a staged entity for spawning and returns its stable runtime id.
+     *
+     * The draft must hold every component its components require
+     * (`Schema.requires`); drafts are checked here, so a partial draft built
+     * with `Game.Command.spawn(...)` and completed with `extend(...)` is fine.
+     * A component the draft may hold (a conditional or spread entry) needs
+     * what it requires surely held.
      */
-    readonly spawn: [Spawns] extends [never] ? MethodNotDeclared<"spawn", "spawns"> : <P extends Entity.ComponentProof>(draft: Entity.EntityDraft<S, P, Root> & DraftAllowed<P, Spawns>) => SpawnedId<S, Root, HeldNames<P>>;
+    readonly spawn: [Spawns] extends [never] ? MethodNotDeclared<"spawn", "spawns"> : <P extends Entity.ComponentProof, R = never>(draft: Entity.EntityDraft<S, P, Root, R> & DraftAllowed<P, Spawns> & DraftRequirementsMet<S, P> & DraftRelationsAllowed<R, Relates>) => SpawnedId<S, Root, HeldNames<P>>;
     /**
      * Queues an entity spawn owned by one lifetime scope (removed together
-     * with `despawnScope(...)`).
+     * with `despawnScope(...)`). The draft is checked like `spawn(...)`.
      */
-    readonly spawnIn: [Spawns] extends [never] ? MethodNotDeclared<"spawnIn", "spawns"> : <P extends Entity.ComponentProof>(scope: EntityScope.EntityScope<string, Root>, draft: Entity.EntityDraft<S, P, Root> & DraftAllowed<P, Spawns>) => SpawnedId<S, Root, HeldNames<P>>;
+    readonly spawnIn: [Spawns] extends [never] ? MethodNotDeclared<"spawnIn", "spawns"> : <P extends Entity.ComponentProof, R = never>(scope: EntityScope.EntityScope<string, Root>, draft: Entity.EntityDraft<S, P, Root, R> & DraftAllowed<P, Spawns> & DraftRequirementsMet<S, P> & DraftRelationsAllowed<R, Relates>) => SpawnedId<S, Root, HeldNames<P>>;
     /**
      * Queues component inserts (or replacements) on an existing entity, applied
      * at the next `applyDeferred()`. To change a value now, on an entity you
-     * matched, write through a query (`Game.Query.write`) instead.
+     * matched, write through a query (`Game.Query.write`) instead; components
+     * declared `immutable: true` change only through `insert`.
+     *
+     * Pass `match.entity`: its query proves what the entity holds, which must
+     * cover what the inserted components require (`Schema.requires`) together
+     * with the entries inserted in the same call. The id `spawn` returned in
+     * this run proves its draft. A raw `EntityId` proves nothing, so it only
+     * inserts components without requirements.
      *
      * Entries must already be valid; validate raw input with
      * `Game.Command.entryRaw(...)` first.
      */
-    readonly insert: [Inserts] extends [never] ? MethodNotDeclared<"insert", "inserts"> : <const Entries extends ReadonlyArray<SchemaEntry<S>>>(entity: Entity.EntityId<S, Root>, ...entries: Entries & EntriesAllowed<Entries, Inserts>) => Entity.EntityId<S, Root>;
+    readonly insert: [Inserts] extends [never] ? MethodNotDeclared<"insert", "inserts"> : <const E extends Entity.EntityId<S, Root> | EntityTarget<S, Root>, const Entries extends ReadonlyArray<SchemaEntry<S>>>(entity: E, ...entries: Entries & EntriesAllowed<Entries, Inserts> & InsertRequirementsMet<S, E, Entries>) => Entity.EntityId<S, Root>;
     /**
      * Queues an entity removal. A despawned entity stays visible to queries
      * until the next `applyDeferred()`, and despawns never count as writers for
@@ -391,15 +522,21 @@ export interface CommandsApi<S extends Schema.Any, Root = unknown, Spawns = neve
      * components, or the id `spawn` returned in this run (it holds its draft's
      * components); never a raw id.
      */
-    readonly despawn: [Despawns] extends [never] ? MethodNotDeclared<"despawn", "despawns"> : <const E>(entity: E & DespawnAllowed<E, Despawns>) => void;
+    readonly despawn: [Despawns] extends [never] ? MethodNotDeclared<"despawn", "despawns"> : <const E>(entity: unknown extends DespawnAllowed<E, Despawns> ? E : DespawnAllowed<E, Despawns>) => void;
     /**
      * Queues removal of every entity owned by one lifetime scope.
      */
     readonly despawnScope: [Scopes] extends [never] ? MethodNotDeclared<"despawnScope", "despawnsScope"> : (scope: Scopes) => void;
     /**
-     * Queues a component removal on an existing entity.
+     * Queues the removal of one or more components from an existing entity,
+     * applied together at the next `applyDeferred()`.
+     *
+     * Pass `match.entity` from a query, or the id `spawn` returned in this run;
+     * never a raw id. A component another one requires (`Schema.requires`) can
+     * only go together with that requirer, in the same call, or from an
+     * entity whose query has `without: [Requirer]`.
      */
-    readonly remove: [Removes] extends [never] ? MethodNotDeclared<"remove", "removes"> : <D extends Extract<Schema.Components<S>[keyof Schema.Components<S>], ComponentDescriptor>>(entity: Entity.EntityId<S, Root>, descriptor: D & RemoveAllowed<D, Removes>) => Entity.EntityId<S, Root>;
+    readonly remove: [Removes] extends [never] ? MethodNotDeclared<"remove", "removes"> : <const E, const Ds extends readonly [SchemaComponent<S>, ...Array<SchemaComponent<S>>]>(entity: unknown extends RemoveTargetAllowed<S, Root, E> ? E : RemoveTargetAllowed<S, Root, E>, ...descriptors: Ds & RemoveAllowed<Ds[number], Removes> & RemoveRequirementsMet<S, E, Names<Ds[number]>>) => Entity.EntityId<S, Root>;
     /**
      * Queues one live relation mutation for deferred application.
      */
@@ -415,14 +552,18 @@ export interface CommandsApi<S extends Schema.Any, Root = unknown, Spawns = neve
 }
 /** The command queue the runtime gives each system: every command, unchecked, and `flush`. */
 export interface CommandQueue<S extends Schema.Any, Root = unknown> {
-    readonly spawn: (draft: Entity.EntityDraft<S, any, Root>) => Entity.EntityId<S, Root>;
-    readonly spawnIn: (scope: EntityScope.EntityScope<string, Root>, draft: Entity.EntityDraft<S, any, Root>) => Entity.EntityId<S, Root>;
-    readonly insert: (entity: Entity.EntityId<S, Root>, ...entries: ReadonlyArray<SchemaEntry<S>>) => Entity.EntityId<S, Root>;
+    readonly spawn: (draft: Entity.EntityDraft<S, any, Root, any>) => Entity.EntityId<S, Root>;
+    readonly spawnIn: (scope: EntityScope.EntityScope<string, Root>, draft: Entity.EntityDraft<S, any, Root, any>) => Entity.EntityId<S, Root>;
+    readonly insert: (entity: Entity.EntityId<S, Root> | {
+        readonly id: Entity.EntityId<S, Root>;
+    }, ...entries: ReadonlyArray<SchemaEntry<S>>) => Entity.EntityId<S, Root>;
     readonly despawn: (entity: Entity.EntityId<S, Root> | {
         readonly id: Entity.EntityId<S, Root>;
     }) => void;
     readonly despawnScope: (scope: EntityScope.EntityScope<string, Root>) => void;
-    readonly remove: (entity: Entity.EntityId<S, Root>, descriptor: ComponentDescriptor) => Entity.EntityId<S, Root>;
+    readonly remove: (entity: Entity.EntityId<S, Root> | {
+        readonly id: Entity.EntityId<S, Root>;
+    }, ...descriptors: ReadonlyArray<ComponentDescriptor>) => Entity.EntityId<S, Root>;
     readonly relate: (entity: Entity.EntityId<S, Root>, relation: Relation.Relation.Any, target: Entity.EntityId<S, Root>) => void;
     readonly unrelate: (entity: Entity.EntityId<S, Root>, relation: Relation.Relation.Any) => void;
     readonly reorderChildren: (entity: Entity.EntityId<S, Root>, relation: Relation.Relation.Hierarchy, children: ReadonlyArray<Entity.EntityId<S, Root>>) => void;