@typeonce/ritmo-math 0.12.0 → 0.13.0

package/dist/Vector2.js

@@ -11,13 +11,20 @@ import * as internal from "./internal/vector2.js";
  */
 export const result = internal.result;
 /**
- * Validates untrusted input of any shape, for example a value read from a
- * save file. Descriptors built from this module use it when restoring
- * snapshots.
+ * The codec of `Vector2` (a Standard Schema, see `Descriptor.Codec`): give it to
+ * `Descriptor.ConstructedComponent(...)` so raw input and saves are validated.
+ * Its saved form is the raw shape, so it needs no `encode`. To put a `Vector2`
+ * inside your own object schema, use {@link is} with your library's guard
+ * schema (`Schema.declare`, `z.custom`).
+ *
+ * @example
+ * ```ts
+ * const Position = Descriptor.ConstructedComponent(Vector2.codec)("Game/Position")
+ * ```
  *
  * @category Construction
  */
-export const decode = internal.decode;
+export const codec = internal.codec;
 /**
  * Validates one raw vector and returns `null` on failure.
  *
@@ -25,7 +32,8 @@ export const decode = internal.decode;
  */
 export const option = internal.option;
 /**
- * Checks whether one raw vector already satisfies the vector invariants.
+ * Whether any value is a valid `Vector2`: a guard, also for building a
+ * `Vector2` field in your own schema (`Schema.declare(Vector2.is)`).
  *
  * @category Construction
  */

package/dist/Vector2.js.map

@@ -1 +1 @@
-{"version":3,"file":"Vector2.js","sourceRoot":"","sources":["../src/Vector2.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAA;AAuDjD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAgD,QAAQ,CAAC,MAAM,CAAA;AAClF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAkE,QAAQ,CAAC,MAAM,CAAA;AACpG;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAiC,QAAQ,CAAC,MAAM,CAAA;AACnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,EAAE,GAAuC,QAAQ,CAAC,EAAE,CAAA;AACjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAA6B,QAAQ,CAAC,KAAK,CAAA;AAC7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAkF,QAAQ,CAAC,UAAU,CAAA;AAC5H;;;;GAIG;AACH,MAAM,CAAC,MAAM,CAAC,GAAuC,QAAQ,CAAC,CAAC,CAAA;AAC/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,CAAC,GAAuC,QAAQ,CAAC,CAAC,CAAA;AAC/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAkB,QAAQ,CAAC,IAAI,CAAA;AAChD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,GAAG,GAA+C,QAAQ,CAAC,GAAG,CAAA;AAC3E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA+C,QAAQ,CAAC,QAAQ,CAAA;AACrF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,KAAK,GAAwD,QAAQ,CAAC,KAAK,CAAA;AACxF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4C,QAAQ,CAAC,aAAa,CAAA;AAC5F;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAA4C,QAAQ,CAAC,MAAM,CAAA;AAC9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgE,QAAQ,CAAC,SAAS,CAAA;AACxG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAiC,QAAQ,CAAC,eAAe,CAAA"}
+{"version":3,"file":"Vector2.js","sourceRoot":"","sources":["../src/Vector2.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAA;AA6CjD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAgD,QAAQ,CAAC,MAAM,CAAA;AAClF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAiC,QAAQ,CAAC,KAAK,CAAA;AACjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAiC,QAAQ,CAAC,MAAM,CAAA;AACnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAAqC,QAAQ,CAAC,EAAE,CAAA;AAC/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAA6B,QAAQ,CAAC,KAAK,CAAA;AAC7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAkF,QAAQ,CAAC,UAAU,CAAA;AAC5H;;;;GAIG;AACH,MAAM,CAAC,MAAM,CAAC,GAAuC,QAAQ,CAAC,CAAC,CAAA;AAC/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,CAAC,GAAuC,QAAQ,CAAC,CAAC,CAAA;AAC/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAkB,QAAQ,CAAC,IAAI,CAAA;AAChD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,GAAG,GAA+C,QAAQ,CAAC,GAAG,CAAA;AAC3E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAA+C,QAAQ,CAAC,QAAQ,CAAA;AACrF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,KAAK,GAAwD,QAAQ,CAAC,KAAK,CAAA;AACxF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4C,QAAQ,CAAC,aAAa,CAAA;AAC5F;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAA4C,QAAQ,CAAC,MAAM,CAAA;AAC9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgE,QAAQ,CAAC,SAAS,CAAA;AACxG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAiC,QAAQ,CAAC,eAAe,CAAA"}

package/dist/index.d.ts

@@ -2,9 +2,9 @@
  * Math for game code.
  *
  * Validated values (`Scalar`, `Vector2`, `Size2`, `Aabb`) expose
- * Result-returning constructors, so they plug into
- * `Descriptor.ConstructedComponent(...)` / `ConstructedResource(...)` and are
- * validated once at the boundary. `InputAxis` normalizes directional input.
+ * Result-returning constructors, a guard (`is`), and one `codec` each, so
+ * they plug into `Descriptor.ConstructedComponent(Vector2.codec)` /
+ * `ConstructedResource(Random.codec)` and are validated once at the boundary. `InputAxis` normalizes directional input.
  *
  * Hot-path helpers work on plain numbers every frame: `Vec2` arithmetic,
  * `Box2` edges, `Collide2` swept circle collision, a `SpatialGrid` broad

package/dist/index.js

@@ -2,9 +2,9 @@
  * Math for game code.
  *
  * Validated values (`Scalar`, `Vector2`, `Size2`, `Aabb`) expose
- * Result-returning constructors, so they plug into
- * `Descriptor.ConstructedComponent(...)` / `ConstructedResource(...)` and are
- * validated once at the boundary. `InputAxis` normalizes directional input.
+ * Result-returning constructors, a guard (`is`), and one `codec` each, so
+ * they plug into `Descriptor.ConstructedComponent(Vector2.codec)` /
+ * `ConstructedResource(Random.codec)` and are validated once at the boundary. `InputAxis` normalizes directional input.
  *
  * Hot-path helpers work on plain numbers every frame: `Vec2` arithmetic,
  * `Box2` edges, `Collide2` swept circle collision, a `SpatialGrid` broad

package/dist/internal/aabb.d.ts

@@ -5,7 +5,7 @@ import type * as Aabb from "../Aabb.ts";
 import type * as Scalar from "../Scalar.ts";
 export declare const result: (raw: Aabb.Raw) => Result.Result<Aabb.Aabb, Aabb.Error>;
 export declare const option: (raw: Aabb.Raw) => Aabb.Aabb | null;
-export declare const is: (raw: Aabb.Raw) => raw is Aabb.Raw & Aabb.Aabb;
+export declare const is: (raw: unknown) => raw is Aabb.Aabb;
 export declare const position: (aabb: Aabb.Aabb) => Vector2.Vector2;
 export declare const size: (aabb: Aabb.Aabb) => Size2.Size2;
 export declare const left: (aabb: Aabb.Aabb) => Scalar.Finite;
@@ -16,5 +16,12 @@ export declare const intersects: (first: Aabb.Aabb, second: Aabb.Aabb) => boolea
 export declare const overlapsHorizontally: (first: Aabb.Aabb, second: Aabb.Aabb) => boolean;
 export declare const overlapsVertically: (first: Aabb.Aabb, second: Aabb.Aabb) => boolean;
 export declare const translate: (aabb: Aabb.Aabb, delta: Vector2.Vector2) => Aabb.Aabb;
-export declare const decode: (raw: unknown) => Result.Result<Aabb.Aabb, Aabb.Error | Aabb.DecodeError>;
+/** Untrusted input without the raw shape. */
+type Malformed = {
+    readonly tag: "Aabb/Malformed";
+    readonly input: unknown;
+};
+export declare const decode: (raw: unknown) => Result.Result<Aabb.Aabb, Aabb.Error | Malformed>;
+export declare const codec: import("@typeonce/ritmo/Descriptor").StandardSchema<Aabb.Raw, Aabb.Aabb>;
+export {};
 //# sourceMappingURL=aabb.d.ts.map

package/dist/internal/aabb.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aabb.d.ts","sourceRoot":"","sources":["../../src/internal/aabb.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,KAAK,IAAI,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,cAAc,CAAA;AAO3C,eAAO,MAAM,MAAM,QAAS,IAAI,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAoBzE,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,IAAI,CAAC,GAAG,KAAG,IAAI,CAAC,IAAI,GAAG,IAGlD,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,IAAI,CAAC,GAAG,KAAG,GAAG,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAsB,CAAA;AAEhF,eAAO,MAAM,QAAQ,SAAU,IAAI,CAAC,IAAI,KAAG,OAAO,CAAC,OAAwB,CAAA;AAC3E,eAAO,MAAM,IAAI,SAAU,IAAI,CAAC,IAAI,KAAG,KAAK,CAAC,KAAkB,CAAA;AAE/D,eAAO,MAAM,IAAI,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACc,CAAA;AAE5D,eAAO,MAAM,KAAK,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACa,CAAA;AAE5D,eAAO,MAAM,GAAG,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACgB,CAAA;AAE7D,eAAO,MAAM,MAAM,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACa,CAAA;AAE7D,eAAO,MAAM,UAAU,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OAE4B,CAAA;AAE7F,eAAO,MAAM,oBAAoB,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OACf,CAAA;AAE5D,eAAO,MAAM,kBAAkB,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OACb,CAAA;AAE5D,eAAO,MAAM,SAAS,SAAU,IAAI,CAAC,IAAI,SAAS,OAAO,CAAC,OAAO,KAAG,IAAI,CAAC,IACrB,CAAA;AAEpD,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,WAAW,CAM3F,CAAA"}
+{"version":3,"file":"aabb.d.ts","sourceRoot":"","sources":["../../src/internal/aabb.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,KAAK,IAAI,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,cAAc,CAAA;AAO3C,eAAO,MAAM,MAAM,QAAS,IAAI,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAoBzE,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,IAAI,CAAC,GAAG,KAAG,IAAI,CAAC,IAAI,GAAG,IAGlD,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,OAAO,KAAG,GAAG,IAAI,IAAI,CAAC,IAAsB,CAAA;AAEpE,eAAO,MAAM,QAAQ,SAAU,IAAI,CAAC,IAAI,KAAG,OAAO,CAAC,OAAwB,CAAA;AAC3E,eAAO,MAAM,IAAI,SAAU,IAAI,CAAC,IAAI,KAAG,KAAK,CAAC,KAAkB,CAAA;AAE/D,eAAO,MAAM,IAAI,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACc,CAAA;AAE5D,eAAO,MAAM,KAAK,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACa,CAAA;AAE5D,eAAO,MAAM,GAAG,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACgB,CAAA;AAE7D,eAAO,MAAM,MAAM,SAAU,IAAI,CAAC,IAAI,KAAG,MAAM,CAAC,MACa,CAAA;AAE7D,eAAO,MAAM,UAAU,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OAE4B,CAAA;AAE7F,eAAO,MAAM,oBAAoB,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OACf,CAAA;AAE5D,eAAO,MAAM,kBAAkB,UAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,KAAG,OACb,CAAA;AAE5D,eAAO,MAAM,SAAS,SAAU,IAAI,CAAC,IAAI,SAAS,OAAO,CAAC,OAAO,KAAG,IAAI,CAAC,IACrB,CAAA;AAEpD,6CAA6C;AAC7C,KAAK,SAAS,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAA;AAE5E,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,SAAS,CAMpF,CAAA;AAED,eAAO,MAAM,KAAK,0EAAmH,CAAA"}

package/dist/internal/aabb.js

@@ -1,3 +1,4 @@
+import { codecOf } from "./codec.js";
 import * as Result from "@typeonce/ritmo/Result";
 import * as Size2 from "../Size2.js";
 import * as Vector2 from "../Vector2.js";
@@ -27,7 +28,7 @@ export const option = (raw) => {
     const next = result(raw);
     return next.ok ? next.value : null;
 };
-export const is = (raw) => result(raw).ok;
+export const is = (raw) => decode(raw).ok;
 export const position = (aabb) => aabb.position;
 export const size = (aabb) => aabb.size;
 export const left = (aabb) => (aabb.position.x - aabb.size.width * 0.5);
@@ -47,4 +48,5 @@ export const decode = (raw) => {
         ? result({ position, size })
         : Result.failure({ tag: "Aabb/Malformed", input: raw });
 };
+export const codec = codecOf(decode, "a box { x, y, width, height } of finite numbers with a non-negative size");
 //# sourceMappingURL=aabb.js.map

package/dist/internal/aabb.js.map

@@ -1 +1 @@
-{"version":3,"file":"aabb.js","sourceRoot":"","sources":["../../src/internal/aabb.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AAGxC,OAAO,EAAE,UAAU,IAAI,YAAY,EAAE,MAAM,YAAY,CAAA;AACvD,OAAO,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,cAAc,CAAA;AAE3D,MAAM,IAAI,GAAG,CAAC,QAAyB,EAAE,IAAiB,EAAa,EAAE,CACvE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAa,EAAwC,EAAE;IAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC7C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,sBAAsB;YAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,KAAK,EAAE,GAAG;SACX,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACnC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,kBAAkB;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,GAAG;SACX,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAa,EAAoB,EAAE;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAa,EAA+B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAEhF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAmB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAA;AAC3E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAe,EAAe,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;AAE/D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAe,EAAiB,EAAE,CACrD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAkB,CAAA;AAE5D,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAe,EAAiB,EAAE,CACtD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAkB,CAAA;AAE5D,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAe,EAAiB,EAAE,CACpD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAkB,CAAA;AAE7D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAe,EAAiB,EAAE,CACvD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAkB,CAAA;AAE7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACzE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK;IACzF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAA;AAE7F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACnF,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;AAE5D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACjF,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,KAAsB,EAAa,EAAE,CAC9E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;AAEpD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAA2D,EAAE;IAC9F,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;IACzG,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,GAA8B,CAAA;IACzD,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AAC3D,CAAC,CAAA"}
+{"version":3,"file":"aabb.js","sourceRoot":"","sources":["../../src/internal/aabb.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AACpC,OAAO,KAAK,OAAO,MAAM,eAAe,CAAA;AAGxC,OAAO,EAAE,UAAU,IAAI,YAAY,EAAE,MAAM,YAAY,CAAA;AACvD,OAAO,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,cAAc,CAAA;AAE3D,MAAM,IAAI,GAAG,CAAC,QAAyB,EAAE,IAAiB,EAAa,EAAE,CACvE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAa,EAAwC,EAAE;IAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC7C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,sBAAsB;YAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,KAAK,EAAE,GAAG;SACX,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACnC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,kBAAkB;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,GAAG;SACX,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAa,EAAoB,EAAE;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAY,EAAoB,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAEpE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAmB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAA;AAC3E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAe,EAAe,EAAE,CAAC,IAAI,CAAC,IAAI,CAAA;AAE/D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAe,EAAiB,EAAE,CACrD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAkB,CAAA;AAE5D,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAe,EAAiB,EAAE,CACtD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAkB,CAAA;AAE5D,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAe,EAAiB,EAAE,CACpD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAkB,CAAA;AAE7D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAe,EAAiB,EAAE,CACvD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAkB,CAAA;AAE7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACzE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK;IACzF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAA;AAE7F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACnF,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;AAE5D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAgB,EAAE,MAAiB,EAAW,EAAE,CACjF,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,KAAsB,EAAa,EAAE,CAC9E,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;AAKpD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAAoD,EAAE;IACvF,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;IACzG,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,GAA8B,CAAA;IACzD,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AAC3D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAAsB,MAAM,EAAE,0EAA0E,CAAC,CAAA"}

package/dist/internal/codec.d.ts

@@ -0,0 +1,9 @@
+import type { StandardSchema } from "@typeonce/ritmo/Descriptor";
+import type * as Result from "@typeonce/ritmo/Result";
+/**
+ * The codec of one math type, from its decode: a Standard Schema whose saved
+ * form is the raw shape. The value is already plain data, so it needs no
+ * `encode`.
+ */
+export declare const codecOf: <Raw, Value>(decode: (raw: unknown) => Result.Result<Value, unknown>, expected: string) => StandardSchema<Raw, Value>;
+//# sourceMappingURL=codec.d.ts.map

package/dist/internal/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/internal/codec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAErD;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,EAAE,KAAK,UACxB,CAAC,GAAG,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,YAC7C,MAAM,KACf,cAAc,CAAC,GAAG,EAAE,KAAK,CAS1B,CAAA"}

package/dist/internal/codec.js

@@ -0,0 +1,16 @@
+/**
+ * The codec of one math type, from its decode: a Standard Schema whose saved
+ * form is the raw shape. The value is already plain data, so it needs no
+ * `encode`.
+ */
+export const codecOf = (decode, expected) => ({
+    "~standard": {
+        version: 1,
+        vendor: "ritmo-math",
+        validate: (raw) => {
+            const value = decode(raw);
+            return value.ok ? { value: value.value } : { issues: [{ message: `Expected ${expected}` }] };
+        }
+    }
+});
+//# sourceMappingURL=codec.js.map

package/dist/internal/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../src/internal/codec.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,MAAuD,EACvD,QAAgB,EACY,EAAE,CAAC,CAAC;IAChC,WAAW,EAAE;QACX,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;YACzB,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAA;QAC9F,CAAC;KACF;CACF,CAAC,CAAA"}

package/dist/internal/scalar.d.ts

@@ -1,9 +1,8 @@
-import * as Brand from "@typeonce/ritmo/Brand";
 import * as Result from "@typeonce/ritmo/Result";
 import type * as Scalar from "../Scalar.ts";
-export declare const Finite: Brand.Constructor<Scalar.Finite, number, Scalar.Error>;
-export declare const NonNegative: Brand.Constructor<Scalar.NonNegative, number, Scalar.Error>;
-export declare const Positive: Brand.Constructor<Scalar.Positive, number, Scalar.Error>;
+export declare const Finite: Scalar.Constructor<Scalar.Finite>;
+export declare const NonNegative: Scalar.Constructor<Scalar.NonNegative>;
+export declare const Positive: Scalar.Constructor<Scalar.Positive>;
 export declare const clamp: (value: number, min: number, max: number) => Scalar.Finite;
 export declare const lerp: (start: number, end: number, amount: number) => Scalar.Finite;
 export declare const approach: (current: Scalar.Finite, target: Scalar.Finite, maxDelta: Scalar.NonNegative) => Scalar.Finite;

package/dist/internal/scalar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scalar.d.ts","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,MAAM,cAAc,CAAA;AAuC3C,eAAO,MAAM,MAAM,wDAAc,CAAA;AACjC,eAAO,MAAM,WAAW,6DAAmB,CAAA;AAC3C,eAAO,MAAM,QAAQ,0DAAgB,CAAA;AAErC,eAAO,MAAM,KAAK,UAAW,MAAM,OAAO,MAAM,OAAO,MAAM,KAAG,MAAM,CAAC,MACjB,CAAA;AAEtD,eAAO,MAAM,IAAI,UAAW,MAAM,OAAO,MAAM,UAAU,MAAM,KAAG,MAAM,CAAC,MACtB,CAAA;AAEnD,eAAO,MAAM,QAAQ,YACV,MAAM,CAAC,MAAM,UACd,MAAM,CAAC,MAAM,YACX,MAAM,CAAC,WAAW,KAC3B,MAAM,CAAC,MAMT,CAAA;AAED,eAAO,MAAM,WAAW,UACf,MAAM,OACR,MAAM,SACJ,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAUxD,CAAA;AAED,eAAO,MAAM,KAAK,UACT,MAAM,cACD,MAAM,YACR,MAAM,eACH,MAAM,aACR,MAAM,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAOxD,CAAA"}
+{"version":3,"file":"scalar.d.ts","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,KAAK,MAAM,MAAM,cAAc,CAAA;AAiB3C,eAAO,MAAM,MAAM,mCAQlB,CAAA;AAED,eAAO,MAAM,WAAW,wCAYQ,CAAA;AAEhC,eAAO,MAAM,QAAQ,qCAYQ,CAAA;AAE7B,eAAO,MAAM,KAAK,UAAW,MAAM,OAAO,MAAM,OAAO,MAAM,KAAG,MAAM,CAAC,MACjB,CAAA;AAEtD,eAAO,MAAM,IAAI,UAAW,MAAM,OAAO,MAAM,UAAU,MAAM,KAAG,MAAM,CAAC,MACtB,CAAA;AAEnD,eAAO,MAAM,QAAQ,YACV,MAAM,CAAC,MAAM,UACd,MAAM,CAAC,MAAM,YACX,MAAM,CAAC,WAAW,KAC3B,MAAM,CAAC,MAMT,CAAA;AAED,eAAO,MAAM,WAAW,UACf,MAAM,OACR,MAAM,SACJ,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAUxD,CAAA;AAED,eAAO,MAAM,KAAK,UACT,MAAM,cACD,MAAM,YACR,MAAM,eACH,MAAM,aACR,MAAM,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,kBAAkB,CAOxD,CAAA"}

package/dist/internal/scalar.js

@@ -1,13 +1,23 @@
-import * as Brand from "@typeonce/ritmo/Brand";
 import * as Result from "@typeonce/ritmo/Result";
-const finiteBrand = Brand.refine((value) => Number.isFinite(value)
+import { codecOf } from "./codec.js";
+// A branded number's constructors, guard, and codec, from its check.
+const refine = (validate, expected) => ({
+    result: validate,
+    option: (raw) => {
+        const result = validate(raw);
+        return result.ok ? result.value : null;
+    },
+    is: (raw) => typeof raw === "number" && validate(raw).ok,
+    codec: codecOf((raw) => typeof raw === "number" ? validate(raw) : Result.failure(raw), expected)
+});
+export const Finite = refine((value) => Number.isFinite(value)
     ? Result.success(value)
     : Result.failure({
         tag: "Scalar/NotFinite",
         value
-    }));
-const nonNegativeBrand = Brand.refine((value) => {
-    const finite = finiteBrand.result(value);
+    }), "a finite number");
+export const NonNegative = refine((value) => {
+    const finite = Finite.result(value);
     if (!finite.ok) {
         return finite;
     }
@@ -17,9 +27,9 @@ const nonNegativeBrand = Brand.refine((value) => {
             tag: "Scalar/Negative",
             value
         });
-});
-const positiveBrand = Brand.refine((value) => {
-    const finite = finiteBrand.result(value);
+}, "a finite number, 0 or more");
+export const Positive = refine((value) => {
+    const finite = Finite.result(value);
     if (!finite.ok) {
         return finite;
     }
@@ -29,10 +39,7 @@ const positiveBrand = Brand.refine((value) => {
             tag: "Scalar/NonPositive",
             value
         });
-});
-export const Finite = finiteBrand;
-export const NonNegative = nonNegativeBrand;
-export const Positive = positiveBrand;
+}, "a finite number above 0");
 export const clamp = (value, min, max) => Math.min(Math.max(value, min), max);
 export const lerp = (start, end, amount) => (start + (end - start) * amount);
 export const approach = (current, target, maxDelta) => {

package/dist/internal/scalar.js.map

@@ -1 +1 @@
-{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAGhD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAsC,CAAC,KAAK,EAAE,EAAE,CAC9E,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;IACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAsB,CAAC;IACxC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACb,GAAG,EAAE,kBAAkB;QACvB,KAAK;KACN,CAAC,CACP,CAAA;AAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAA2C,CAAC,KAAK,EAAE,EAAE;IACxF,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,KAAK,IAAI,CAAC;QACf,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAA2B,CAAC;QAC7C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACb,GAAG,EAAE,iBAAiB;YACtB,KAAK;SACN,CAAC,CAAA;AACR,CAAC,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAwC,CAAC,KAAK,EAAE,EAAE;IAClF,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,KAAK,GAAG,CAAC;QACd,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAwB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACb,GAAG,EAAE,oBAAoB;YACzB,KAAK;SACN,CAAC,CAAA;AACR,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAA;AACjC,MAAM,CAAC,MAAM,WAAW,GAAG,gBAAgB,CAAA;AAC3C,MAAM,CAAC,MAAM,QAAQ,GAAG,aAAa,CAAA;AAErC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW,EAAiB,EAAE,CAC9E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAkB,CAAA;AAEtD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,MAAc,EAAiB,EAAE,CAChF,CAAC,KAAK,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,MAAM,CAAkB,CAAA;AAEnD,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,OAAsB,EACtB,MAAqB,EACrB,QAA4B,EACb,EAAE;IACjB,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,MAAM,CAAkB,CAAA;IAC9D,CAAC;IAED,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,MAAM,CAAkB,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAa,EACb,GAAW,EACX,KAAa,EAC4C,EAAE;IAC3D,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,kBAAkB;YACvB,KAAK;YACL,GAAG;SACJ,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,CAAkB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,KAAa,EACb,UAAkB,EAClB,QAAgB,EAChB,WAAmB,EACnB,SAAiB,EACwC,EAAE;IAC3D,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IACvD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACnE,CAAC,CAAA"}
+{"version":3,"file":"scalar.js","sourceRoot":"","sources":["../../src/internal/scalar.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAEhD,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEpC,qEAAqE;AACrE,MAAM,MAAM,GAAG,CACb,QAA6D,EAC7D,QAAgB,EACW,EAAE,CAAC,CAAC;IAC/B,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC5B,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACxC,CAAC;IACD,EAAE,EAAE,CAAC,GAAG,EAAgB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE;IACtE,KAAK,EAAE,OAAO,CAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;CAChH,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAgB,CAAC,KAAK,EAAE,EAAE,CACpD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;IACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAsB,CAAC;IACxC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACb,GAAG,EAAE,kBAAkB;QACvB,KAAK;KACN,CAAC,EACN,iBAAiB,CAClB,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAqB,CAAC,KAAK,EAAE,EAAE;IAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,KAAK,IAAI,CAAC;QACf,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAA2B,CAAC;QAC7C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACb,GAAG,EAAE,iBAAiB;YACtB,KAAK;SACN,CAAC,CAAA;AACR,CAAC,EAAE,4BAA4B,CAAC,CAAA;AAEhC,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAkB,CAAC,KAAK,EAAE,EAAE;IACxD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,KAAK,GAAG,CAAC;QACd,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAwB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;YACb,GAAG,EAAE,oBAAoB;YACzB,KAAK;SACN,CAAC,CAAA;AACR,CAAC,EAAE,yBAAyB,CAAC,CAAA;AAE7B,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW,EAAiB,EAAE,CAC9E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAkB,CAAA;AAEtD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,MAAc,EAAiB,EAAE,CAChF,CAAC,KAAK,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,MAAM,CAAkB,CAAA;AAEnD,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,OAAsB,EACtB,MAAqB,EACrB,QAA4B,EACb,EAAE;IACjB,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,MAAM,CAAkB,CAAA;IAC9D,CAAC;IAED,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,EAAE,MAAM,CAAkB,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAa,EACb,GAAW,EACX,KAAa,EAC4C,EAAE;IAC3D,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,kBAAkB;YACvB,KAAK;YACL,GAAG;SACJ,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,CAAkB,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,KAAa,EACb,UAAkB,EAClB,QAAgB,EAChB,WAAmB,EACnB,SAAiB,EACwC,EAAE;IAC3D,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IACvD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAA;IACf,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACnE,CAAC,CAAA"}

package/dist/internal/size2.d.ts

@@ -3,7 +3,7 @@ import * as Scalar from "../Scalar.ts";
 import type * as Size2 from "../Size2.ts";
 export declare const result: (raw: Size2.Raw) => Result.Result<Size2.Size2, Size2.Error>;
 export declare const option: (raw: Size2.Raw) => Size2.Size2 | null;
-export declare const is: (raw: Size2.Raw) => raw is Size2.Raw & Size2.Size2;
+export declare const is: (raw: unknown) => raw is Size2.Size2;
 export declare const toRaw: (size: Size2.Size2) => Size2.Raw;
 export declare const width: (size: Size2.Size2) => Scalar.NonNegative;
 export declare const height: (size: Size2.Size2) => Scalar.NonNegative;
@@ -11,5 +11,12 @@ export declare const height: (size: Size2.Size2) => Scalar.NonNegative;
  * Shape check for untrusted input; values are validated by `result`.
  */
 export declare const isRawShape: (raw: unknown) => raw is Size2.Raw;
-export declare const decode: (raw: unknown) => Result.Result<Size2.Size2, Size2.Error | Size2.DecodeError>;
+/** Untrusted input without the raw shape. */
+type Malformed = {
+    readonly tag: "Size2/Malformed";
+    readonly input: unknown;
+};
+export declare const decode: (raw: unknown) => Result.Result<Size2.Size2, Size2.Error | Malformed>;
+export declare const codec: import("@typeonce/ritmo/Descriptor").StandardSchema<Size2.Raw, Size2.Size2>;
+export {};
 //# sourceMappingURL=size2.d.ts.map

package/dist/internal/size2.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"size2.d.ts","sourceRoot":"","sources":["../../src/internal/size2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,KAAK,MAAM,aAAa,CAAA;AAKzC,eAAO,MAAM,MAAM,QAAS,KAAK,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAgB7E,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,KAAK,CAAC,GAAG,KAAG,KAAK,CAAC,KAAK,GAAG,IAGrD,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,KAAK,CAAC,GAAG,KAAG,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,KAAuB,CAAA;AAEpF,eAAO,MAAM,KAAK,SAAU,KAAK,CAAC,KAAK,KAAG,KAAK,CAAC,GAG9C,CAAA;AAEF,eAAO,MAAM,KAAK,SAAU,KAAK,CAAC,KAAK,KAAG,MAAM,CAAC,WAAyB,CAAA;AAC1E,eAAO,MAAM,MAAM,SAAU,KAAK,CAAC,KAAK,KAAG,MAAM,CAAC,WAA0B,CAAA;AAE5E;;GAEG;AACH,eAAO,MAAM,UAAU,QAAS,OAAO,KAAG,GAAG,IAAI,KAAK,CAAC,GACqH,CAAA;AAE5K,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,WAAW,CACR,CAAA"}
+{"version":3,"file":"size2.d.ts","sourceRoot":"","sources":["../../src/internal/size2.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,KAAK,MAAM,aAAa,CAAA;AAKzC,eAAO,MAAM,MAAM,QAAS,KAAK,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAgB7E,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,KAAK,CAAC,GAAG,KAAG,KAAK,CAAC,KAAK,GAAG,IAGrD,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,OAAO,KAAG,GAAG,IAAI,KAAK,CAAC,KAAuB,CAAA;AAEtE,eAAO,MAAM,KAAK,SAAU,KAAK,CAAC,KAAK,KAAG,KAAK,CAAC,GAG9C,CAAA;AAEF,eAAO,MAAM,KAAK,SAAU,KAAK,CAAC,KAAK,KAAG,MAAM,CAAC,WAAyB,CAAA;AAC1E,eAAO,MAAM,MAAM,SAAU,KAAK,CAAC,KAAK,KAAG,MAAM,CAAC,WAA0B,CAAA;AAE5E;;GAEG;AACH,eAAO,MAAM,UAAU,QAAS,OAAO,KAAG,GAAG,IAAI,KAAK,CAAC,GACqH,CAAA;AAE5K,6CAA6C;AAC7C,KAAK,SAAS,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAA;AAE7E,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,SAAS,CACA,CAAA;AAExF,eAAO,MAAM,KAAK,6EAAqG,CAAA"}

package/dist/internal/size2.js

@@ -1,3 +1,4 @@
+import { codecOf } from "./codec.js";
 import * as Result from "@typeonce/ritmo/Result";
 import * as Scalar from "../Scalar.js";
 const make = (width, height) => ({ width, height });
@@ -21,7 +22,7 @@ export const option = (raw) => {
     const next = result(raw);
     return next.ok ? next.value : null;
 };
-export const is = (raw) => result(raw).ok;
+export const is = (raw) => decode(raw).ok;
 export const toRaw = (size) => ({
     width: size.width,
     height: size.height
@@ -33,4 +34,5 @@ export const height = (size) => size.height;
  */
 export const isRawShape = (raw) => typeof raw === "object" && raw !== null && typeof raw["width"] === "number" && typeof raw["height"] === "number";
 export const decode = (raw) => isRawShape(raw) ? result(raw) : Result.failure({ tag: "Size2/Malformed", input: raw });
+export const codec = codecOf(decode, "a size { width, height } of non-negative finite numbers");
 //# sourceMappingURL=size2.js.map

package/dist/internal/size2.js.map

@@ -1 +1 @@
-{"version":3,"file":"size2.js","sourceRoot":"","sources":["../../src/internal/size2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAGtC,MAAM,IAAI,GAAG,CAAC,KAAyB,EAAE,MAA0B,EAAe,EAAE,CAClF,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAgB,CAAA;AAEpC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAc,EAA2C,EAAE;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,eAAe;YACpB,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;YACpC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;YACvC,KAAK,EAAE;gBACL,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB;SACF,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACxD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAc,EAAsB,EAAE;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAc,EAAkC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAEpF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAa,EAAE,CAAC,CAAC;IACtD,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,MAAM,EAAE,IAAI,CAAC,MAAM;CACpB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAsB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAA;AAC1E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAsB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAA;AAE5E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAY,EAAoB,EAAE,CAC3D,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA+B,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,GAA+B,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAA;AAE5K,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAA+D,EAAE,CAClG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA"}
+{"version":3,"file":"size2.js","sourceRoot":"","sources":["../../src/internal/size2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAGtC,MAAM,IAAI,GAAG,CAAC,KAAyB,EAAE,MAA0B,EAAe,EAAE,CAClF,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAgB,CAAA;AAEpC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAc,EAA2C,EAAE;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACpD,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,eAAe;YACpB,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;YACpC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;YACvC,KAAK,EAAE;gBACL,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB;SACF,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;AACxD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAc,EAAsB,EAAE;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAY,EAAsB,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAEtE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAa,EAAE,CAAC,CAAC;IACtD,KAAK,EAAE,IAAI,CAAC,KAAK;IACjB,MAAM,EAAE,IAAI,CAAC,MAAM;CACpB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAsB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAA;AAC1E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAsB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAA;AAE5E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAY,EAAoB,EAAE,CAC3D,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA+B,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,GAA+B,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAA;AAK5K,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAAuD,EAAE,CAC1F,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAAyB,MAAM,EAAE,yDAAyD,CAAC,CAAA"}

package/dist/internal/vector2.d.ts

@@ -3,7 +3,7 @@ import * as Scalar from "../Scalar.ts";
 import type * as Vector2 from "../Vector2.ts";
 export declare const result: (raw: Vector2.Raw) => Result.Result<Vector2.Vector2, Vector2.Error>;
 export declare const option: (raw: Vector2.Raw) => Vector2.Vector2 | null;
-export declare const is: (raw: Vector2.Raw) => raw is Vector2.Raw & Vector2.Vector2;
+export declare const is: (raw: unknown) => raw is Vector2.Vector2;
 export declare const toRaw: (vector: Vector2.Vector2) => Vector2.Raw;
 export declare const components: (vector: Vector2.Vector2) => {
     x: Scalar.Finite;
@@ -28,5 +28,12 @@ export declare const normalizeXYOrZero: (x: number, y: number) => {
  * Shape check for untrusted input; values are validated by `result`.
  */
 export declare const isRawShape: (raw: unknown) => raw is Vector2.Raw;
-export declare const decode: (raw: unknown) => Result.Result<Vector2.Vector2, Vector2.Error | Vector2.DecodeError>;
+/** Untrusted input without the raw shape. */
+type Malformed = {
+    readonly tag: "Vector2/Malformed";
+    readonly input: unknown;
+};
+export declare const decode: (raw: unknown) => Result.Result<Vector2.Vector2, Vector2.Error | Malformed>;
+export declare const codec: import("@typeonce/ritmo/Descriptor").StandardSchema<Vector2.Raw, Vector2.Vector2>;
+export {};
 //# sourceMappingURL=vector2.d.ts.map

package/dist/internal/vector2.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vector2.d.ts","sourceRoot":"","sources":["../../src/internal/vector2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,OAAO,MAAM,eAAe,CAAA;AAK7C,eAAO,MAAM,MAAM,QAAS,OAAO,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAgBrF,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,OAAO,CAAC,GAAG,KAAG,OAAO,CAAC,OAAO,GAAG,IAG3D,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,OAAO,CAAC,GAAG,KAAG,GAAG,IAAI,OAAO,CAAC,GAAG,GAAG,OAAO,CAAC,OAAyB,CAAA;AAE5F,eAAO,MAAM,KAAK,WAAY,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,GAGtD,CAAA;AAEF,eAAO,MAAM,UAAU,WAAY,OAAO,CAAC,OAAO;IAChD,CAAC;IACD,CAAC;CACD,CAAA;AAEF,eAAO,MAAM,CAAC,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,MAAkB,CAAA;AACrE,eAAO,MAAM,CAAC,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,MAAkB,CAAA;AAErE,eAAO,MAAM,IAAI,QAAO,OAAO,CAAC,OAAuD,CAAA;AAEvF,eAAO,MAAM,GAAG,SAAU,OAAO,CAAC,OAAO,SAAS,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OACI,CAAA;AAEhF,eAAO,MAAM,QAAQ,SAAU,OAAO,CAAC,OAAO,SAAS,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OACD,CAAA;AAEhF,eAAO,MAAM,KAAK,WAAY,OAAO,CAAC,OAAO,UAAU,MAAM,CAAC,MAAM,KAAG,OAAO,CAAC,OACG,CAAA;AAElF,eAAO,MAAM,aAAa,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,WACI,CAAA;AAEnE,eAAO,MAAM,MAAM,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,WACA,CAAA;AAExD,eAAO,MAAM,SAAS,WACZ,OAAO,CAAC,OAAO,KACtB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,CAevD,CAAA;AAED,eAAO,MAAM,eAAe,WAAY,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OAGjE,CAAA;AAED,eAAO,MAAM,iBAAiB,MAAO,MAAM,KAAK,MAAM,KAAG;IACvD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;IAClB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;IAClB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAgBxB,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,QAAS,OAAO,KAAG,GAAG,IAAI,OAAO,CAAC,GAC0G,CAAA;AAEnK,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,WAAW,CACd,CAAA"}
+{"version":3,"file":"vector2.d.ts","sourceRoot":"","sources":["../../src/internal/vector2.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,OAAO,MAAM,eAAe,CAAA;AAK7C,eAAO,MAAM,MAAM,QAAS,OAAO,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAgBrF,CAAA;AAED,eAAO,MAAM,MAAM,QAAS,OAAO,CAAC,GAAG,KAAG,OAAO,CAAC,OAAO,GAAG,IAG3D,CAAA;AAED,eAAO,MAAM,EAAE,QAAS,OAAO,KAAG,GAAG,IAAI,OAAO,CAAC,OAAyB,CAAA;AAE1E,eAAO,MAAM,KAAK,WAAY,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,GAGtD,CAAA;AAEF,eAAO,MAAM,UAAU,WAAY,OAAO,CAAC,OAAO;IAChD,CAAC;IACD,CAAC;CACD,CAAA;AAEF,eAAO,MAAM,CAAC,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,MAAkB,CAAA;AACrE,eAAO,MAAM,CAAC,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,MAAkB,CAAA;AAErE,eAAO,MAAM,IAAI,QAAO,OAAO,CAAC,OAAuD,CAAA;AAEvF,eAAO,MAAM,GAAG,SAAU,OAAO,CAAC,OAAO,SAAS,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OACI,CAAA;AAEhF,eAAO,MAAM,QAAQ,SAAU,OAAO,CAAC,OAAO,SAAS,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OACD,CAAA;AAEhF,eAAO,MAAM,KAAK,WAAY,OAAO,CAAC,OAAO,UAAU,MAAM,CAAC,MAAM,KAAG,OAAO,CAAC,OACG,CAAA;AAElF,eAAO,MAAM,aAAa,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,WACI,CAAA;AAEnE,eAAO,MAAM,MAAM,WAAY,OAAO,CAAC,OAAO,KAAG,MAAM,CAAC,WACA,CAAA;AAExD,eAAO,MAAM,SAAS,WACZ,OAAO,CAAC,OAAO,KACtB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,CAevD,CAAA;AAED,eAAO,MAAM,eAAe,WAAY,OAAO,CAAC,OAAO,KAAG,OAAO,CAAC,OAGjE,CAAA;AAED,eAAO,MAAM,iBAAiB,MAAO,MAAM,KAAK,MAAM,KAAG;IACvD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;IAClB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;IAClB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAgBxB,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,QAAS,OAAO,KAAG,GAAG,IAAI,OAAO,CAAC,GAC0G,CAAA;AAEnK,6CAA6C;AAC7C,KAAK,SAAS,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAA;AAE/E,eAAO,MAAM,MAAM,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,GAAG,SAAS,CACJ,CAAA;AAE1F,eAAO,MAAM,KAAK,mFAAuF,CAAA"}

package/dist/internal/vector2.js

@@ -1,3 +1,4 @@
+import { codecOf } from "./codec.js";
 import * as Result from "@typeonce/ritmo/Result";
 import * as Scalar from "../Scalar.js";
 import * as Ops from "../Ops.js";
@@ -22,7 +23,7 @@ export const option = (raw) => {
     const next = result(raw);
     return next.ok ? next.value : null;
 };
-export const is = (raw) => result(raw).ok;
+export const is = (raw) => decode(raw).ok;
 export const toRaw = (vector) => ({
     x: vector.x,
     y: vector.y
@@ -73,4 +74,5 @@ export const normalizeXYOrZero = (x, y) => {
  */
 export const isRawShape = (raw) => typeof raw === "object" && raw !== null && typeof raw["x"] === "number" && typeof raw["y"] === "number";
 export const decode = (raw) => isRawShape(raw) ? result(raw) : Result.failure({ tag: "Vector2/Malformed", input: raw });
+export const codec = codecOf(decode, "a vector { x, y } of finite numbers");
 //# sourceMappingURL=vector2.js.map

package/dist/internal/vector2.js.map

@@ -1 +1 @@
-{"version":3,"file":"vector2.js","sourceRoot":"","sources":["../../src/internal/vector2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,OAAO,KAAK,GAAG,MAAM,WAAW,CAAA;AAEhC,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAoB,CAAA;AAEnG,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAiD,EAAE;IACxF,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACrC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACrC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,iBAAiB;YACtB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;YACxB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;YACxB,KAAK,EAAE;gBACL,CAAC,EAAE,GAAG,CAAC,CAAC;gBACR,CAAC,EAAE,GAAG,CAAC,CAAC;aACT;SACF,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAgB,EAA0B,EAAE;IACjE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAgB,EAAwC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAE5F,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAuB,EAAe,EAAE,CAAC,CAAC;IAC9D,CAAC,EAAE,MAAM,CAAC,CAAC;IACX,CAAC,EAAE,MAAM,CAAC,CAAC;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAuB,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC,EAAE,MAAM,CAAC,CAAC;IACX,CAAC,EAAE,MAAM,CAAC,CAAC;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAuB,EAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAuB,EAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAErE,MAAM,CAAC,MAAM,IAAI,GAAG,GAAoB,EAAE,CAAC,IAAI,CAAC,CAAkB,EAAE,CAAkB,CAAC,CAAA;AAEvF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAqB,EAAE,KAAsB,EAAmB,EAAE,CACpF,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAA;AAEhF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAqB,EAAE,KAAsB,EAAmB,EAAE,CACzF,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAA;AAEhF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAuB,EAAE,MAAqB,EAAmB,EAAE,CACvF,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAkB,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAuB,EAAsB,EAAE,CAC3E,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAuB,CAAA;AAEnE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAuB,EAAsB,EAAE,CACpE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAuB,CAAA;AAExD,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAuB,EACiC,EAAE;IAC1D,MAAM,gBAAgB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9C,IAAI,gBAAgB,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,oBAAoB;SAC1B,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAuB,CAAA;IACnE,OAAO,MAAM,CAAC,OAAO,CACnB,IAAI,CACF,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAkB,EACvC,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAkB,CACxC,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAuB,EAAmB,EAAE;IAC1E,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IACpC,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AAClD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAS,EAAE,CAAS,EAIpD,EAAE;IACF,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QACxB,OAAO;YACL,CAAC,EAAE,CAAC;YACJ,CAAC,EAAE,CAAC;YACJ,MAAM,EAAE,CAAC;SACV,CAAA;IACH,CAAC;IAED,OAAO;QACL,CAAC,EAAE,CAAC,GAAG,SAAS;QAChB,CAAC,EAAE,CAAC,GAAG,SAAS;QAChB,MAAM,EAAE,SAAS;KAClB,CAAA;AACH,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAY,EAAsB,EAAE,CAC7D,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA+B,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,OAAQ,GAA+B,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAA;AAEnK,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAAuE,EAAE,CAC1G,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA"}
+{"version":3,"file":"vector2.js","sourceRoot":"","sources":["../../src/internal/vector2.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,KAAK,MAAM,MAAM,wBAAwB,CAAA;AAChD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,OAAO,KAAK,GAAG,MAAM,WAAW,CAAA;AAEhC,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAmB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAoB,CAAA;AAEnG,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAiD,EAAE;IACxF,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACrC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACrC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,iBAAiB;YACtB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;YACxB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;YACxB,KAAK,EAAE;gBACL,CAAC,EAAE,GAAG,CAAC,CAAC;gBACR,CAAC,EAAE,GAAG,CAAC,CAAC;aACT;SACF,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAgB,EAA0B,EAAE;IACjE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACpC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAY,EAA0B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;AAE1E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAuB,EAAe,EAAE,CAAC,CAAC;IAC9D,CAAC,EAAE,MAAM,CAAC,CAAC;IACX,CAAC,EAAE,MAAM,CAAC,CAAC;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAuB,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC,EAAE,MAAM,CAAC,CAAC;IACX,CAAC,EAAE,MAAM,CAAC,CAAC;CACZ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAuB,EAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAuB,EAAiB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAErE,MAAM,CAAC,MAAM,IAAI,GAAG,GAAoB,EAAE,CAAC,IAAI,CAAC,CAAkB,EAAE,CAAkB,CAAC,CAAA;AAEvF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAqB,EAAE,KAAsB,EAAmB,EAAE,CACpF,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAA;AAEhF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAqB,EAAE,KAAsB,EAAmB,EAAE,CACzF,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAA;AAEhF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAuB,EAAE,MAAqB,EAAmB,EAAE,CACvF,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAkB,CAAC,CAAA;AAElF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAuB,EAAsB,EAAE,CAC3E,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAuB,CAAA;AAEnE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAuB,EAAsB,EAAE,CACpE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAuB,CAAA;AAExD,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAuB,EACiC,EAAE;IAC1D,MAAM,gBAAgB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;IAC9C,IAAI,gBAAgB,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,GAAG,EAAE,oBAAoB;SAC1B,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAuB,CAAA;IACnE,OAAO,MAAM,CAAC,OAAO,CACnB,IAAI,CACF,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAkB,EACvC,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAkB,CACxC,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAuB,EAAmB,EAAE;IAC1E,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IACpC,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AAClD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAS,EAAE,CAAS,EAIpD,EAAE;IACF,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjC,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QACxB,OAAO;YACL,CAAC,EAAE,CAAC;YACJ,CAAC,EAAE,CAAC;YACJ,MAAM,EAAE,CAAC;SACV,CAAA;IACH,CAAC;IAED,OAAO;QACL,CAAC,EAAE,CAAC,GAAG,SAAS;QAChB,CAAC,EAAE,CAAC,GAAG,SAAS;QAChB,MAAM,EAAE,SAAS;KAClB,CAAA;AACH,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAY,EAAsB,EAAE,CAC7D,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA+B,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,OAAQ,GAA+B,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAA;AAKnK,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAY,EAA6D,EAAE,CAChG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AAE1F,MAAM,CAAC,MAAM,KAAK,GAAG,OAAO,CAA+B,MAAM,EAAE,qCAAqC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/ritmo-math",
-  "version": "0.12.0",
+  "version": "0.13.0",
   "description": "Validated math values and hot-path game helpers (collision, spatial grid, flow field, random) for Ritmo games",
   "author": "Sandro Maglione",
   "license": "MIT",
@@ -47,7 +47,7 @@
     "provenance": true
   },
   "dependencies": {
-    "@typeonce/ritmo": "^0.12.0"
+    "@typeonce/ritmo": "^0.13.0"
   },
   "engines": {
     "node": ">=20"

package/src/Aabb.ts

@@ -35,6 +35,7 @@
  * Immutable geometry helpers for translation and overlap checks.
  */
 import type * as Brand from "@typeonce/ritmo/Brand"
+import type { StandardSchema } from "@typeonce/ritmo/Descriptor"
 import * as internal from "./internal/aabb.ts"
 import type * as Result from "@typeonce/ritmo/Result"
 import type * as Scalar from "./Scalar.ts"
@@ -70,16 +71,6 @@ export type Error =
   | { readonly tag: "Aabb/InvalidPosition"; readonly error: Vector2.Error; readonly input: Raw }
   | { readonly tag: "Aabb/InvalidSize"; readonly error: Size2.Error; readonly input: Raw }
 
-/**
- * Failure produced by `decode` when the input does not have the raw shape.
- *
- * @category AABB Types
- */
-export type DecodeError = {
-  readonly tag: "Aabb/Malformed"
-  readonly input: unknown
-}
-
 /**
  * Validates one raw AABB and returns an explicit result.
  *
@@ -95,13 +86,20 @@ export type DecodeError = {
  */
 export const result: (raw: Raw) => Result.Result<Aabb, Error> = internal.result
 /**
- * Validates untrusted input of any shape, for example a value read from a
- * save file. Descriptors built from this module use it when restoring
- * snapshots.
+ * The codec of `Aabb` (a Standard Schema, see `Descriptor.Codec`): give it to
+ * `Descriptor.ConstructedComponent(...)` so raw input and saves are validated.
+ * Its saved form is the raw shape, so it needs no `encode`. To put a `Aabb`
+ * inside your own object schema, use {@link is} with your library's guard
+ * schema (`Schema.declare`, `z.custom`).
+ *
+ * @example
+ * ```ts
+ * const Position = Descriptor.ConstructedComponent(Aabb.codec)("Game/Position")
+ * ```
  *
  * @category Construction
  */
-export const decode: (raw: unknown) => Result.Result<Aabb, Error | DecodeError> = internal.decode
+export const codec: StandardSchema<Raw, Aabb> = internal.codec
 /**
  * Validates one raw AABB and returns `null` on failure.
  *
@@ -109,11 +107,12 @@ export const decode: (raw: unknown) => Result.Result<Aabb, Error | DecodeError>
  */
 export const option: (raw: Raw) => Aabb | null = internal.option
 /**
- * Checks whether one raw value already satisfies the AABB invariants.
+ * Whether any value is a valid `Aabb`: a guard, also for building a
+ * `Aabb` field in your own schema (`Schema.declare(Aabb.is)`).
  *
  * @category Construction
  */
-export const is: (raw: Raw) => raw is Raw & Aabb = internal.is
+export const is: (raw: unknown) => raw is Aabb = internal.is
 /**
  * Reads the center position of one AABB.
  *

package/src/Random.ts

@@ -3,7 +3,7 @@
  * integer.
  *
  * Keep the state in a resource, so a run replays exactly and saves with the
- * world: declare it with this module as its validator, start it with
+ * world: declare it with `Random.codec` as its schema, start it with
  * `seed`, and draw in systems through `draw` over its write cell, which writes
  * every draw back (rolled back with a failed system). Two generators made
  * from the same state draw the same sequence on every platform. `make` is for
@@ -11,7 +11,7 @@
  *
  * @example
  * ```ts
- * const Rng = Descriptor.ConstructedResource(Random)("Game/Rng")
+ * const Rng = Descriptor.ConstructedResource(Random.codec)("Game/Rng")
  * const runtime = Game.Runtime.make({ services, resources: { Rng: Random.seed(0x5eed) } })
  *
  * Game.System("Game/Spawn", { resources: { rng: Game.System.writeResource(Rng) } }, ({ resources }) => {
@@ -35,7 +35,9 @@
  */
 import type * as Brand from "@typeonce/ritmo/Brand"
 import type { WriteCell } from "@typeonce/ritmo/Query"
+import type { StandardSchema } from "@typeonce/ritmo/Descriptor"
 import * as Result from "@typeonce/ritmo/Result"
+import { codecOf } from "./internal/codec.ts"
 
 /**
  * A generator. Every draw advances `state`.
@@ -143,7 +145,7 @@ export const make = (state: number): Random => new Mulberry32(state)
 
 /**
  * A generator's state as a resource holds it: an unsigned 32-bit integer.
- * Only `seed`, `result`, and `decode` make one, so `draw` takes the cell of a
+ * Only `seed`, `result`, and `codec` make one, so `draw` takes the cell of a
  * random resource and nothing else.
  *
  * @category Resource
@@ -160,7 +162,7 @@ const isState = (value: unknown): value is State =>
   typeof value === "number" && Number.isInteger(value) && value >= 0 && value <= 0xffffffff
 
 /**
- * Validates a state, for `Descriptor.ConstructedResource(Random)` and saves.
+ * Validates a state, for game code that builds one from a number.
  *
  * @category Resource
  */
@@ -168,12 +170,24 @@ export const result = (raw: number): Result.Result<State, InvalidState> =>
   isState(raw) ? Result.success(raw) : Result.failure({ _tag: "InvalidRandomState", value: raw })
 
 /**
- * Validates a state read from untrusted data (a save).
+ * Whether any value is a generator state: a guard, also for building a
+ * state field in your own schema (`Schema.declare(Random.is)`).
  *
  * @category Resource
  */
-export const decode = (raw: unknown): Result.Result<State, InvalidState> =>
-  isState(raw) ? Result.success(raw) : Result.failure({ _tag: "InvalidRandomState", value: raw })
+export const is = (raw: unknown): raw is State => isState(raw)
+
+/**
+ * The codec of a random resource's state (a Standard Schema, see
+ * `Descriptor.Codec`): `Descriptor.ConstructedResource(Random.codec)`. Its
+ * saved form is the number itself, so it needs no `encode`.
+ *
+ * @category Resource
+ */
+export const codec: StandardSchema<number, State> = codecOf<number, State>(
+  (raw) => isState(raw) ? Result.success(raw) : Result.failure({ _tag: "InvalidRandomState", value: raw }),
+  "a generator state: an unsigned 32-bit integer"
+)
 
 /**
  * The starting state for a seed, reduced to an unsigned 32-bit integer like