@aardworx/wombat.rendering 0.9.11 → 0.9.13

package/dist/runtime/derivedUniforms/index.d.ts

@@ -1,6 +1,11 @@
-export { RecipeId, ALL_RECIPES, DERIVED_UNIFORM_NAMES, recipeIdByName, recipeName, recipeInputs, recipeInputCount, recipeOutput, type ConstituentRef, type RecipeOutput, } from "./recipes.js";
-export { ConstituentSlots, DF32_MAT4_BYTES, type SlotIndex, type PairedSlots, type DerivationRecord, type SubscribeFn, } from "./slots.js";
-export { DerivedUniformsDispatcher, DerivedUniformsPipeline, RecordsBuffer, uploadConstituentsRange, type DerivedUniformsResources, } from "./dispatch.js";
-export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, isDerivedUniformName, type RoTrafoInputs, type RoDerivedRequest, type RoRegistration, } from "./sceneIntegration.js";
-export { DERIVED_UBER_KERNEL_WGSL, } from "./uberKernel.wgsl.js";
+export { type DerivedRule, type IRFragment, ruleFromIR, uniformRef, sameType, hashIR, isDerivedRule, } from "./rule.js";
+export { derivedUniform, DerivedExpr, type DerivedScope, } from "./marker.js";
+export { type RuleInput, flatten, inputsOf, } from "./flatten.js";
+export { DerivedUniformRegistry, type RuleEntry, } from "./registry.js";
+export { RecordsBuffer, SlotTag, makeHandle, handleTag, handlePayload, type RecordOwner, } from "./records.js";
+export { buildUberKernel, type UberKernel, } from "./codegen.js";
+export { DerivedUniformsDispatcher, uploadConstituentsRange, type DerivedUniformsResources, } from "./dispatch.js";
+export { ConstituentSlots, DF32_MAT4_BYTES, type SlotIndex, type PairedSlots, type SubscribeFn, } from "./slots.js";
+export { DerivedUniformsScene, type DerivedUniformsSceneOptions, registerRoDerivations, deregisterRoDerivations, type RoDerivedRequest, type RoRegistration, } from "./sceneIntegration.js";
+export { STANDARD_DERIVED_RULES, STANDARD_TRAFO_LEAVES, isStandardDerivedName, } from "./recipes.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/runtime/derivedUniforms/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/index.ts"],"names":[],"mappings":"AAqBA,OAAO,EACL,QAAQ,EACR,WAAW,EAAE,qBAAqB,EAClC,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,YAAY,EACxE,KAAK,cAAc,EAAE,KAAK,YAAY,GACvC,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,gBAAgB,EAAE,eAAe,EACjC,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,WAAW,GAC1E,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,yBAAyB,EAAE,uBAAuB,EAClD,aAAa,EAAE,uBAAuB,EACtC,KAAK,wBAAwB,GAC9B,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACrB,KAAK,cAAc,GACpB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,wBAAwB,GACzB,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/index.ts"],"names":[],"mappings":"AAqBA,OAAO,EACL,KAAK,WAAW,EAAE,KAAK,UAAU,EACjC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GACxD,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,cAAc,EAAE,WAAW,EAAE,KAAK,YAAY,GAC/C,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,KAAK,SAAS,EACd,OAAO,EAAE,QAAQ,GAClB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,sBAAsB,EAAE,KAAK,SAAS,GACvC,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,aAAa,EAAE,OAAO,EACtB,UAAU,EAAE,SAAS,EAAE,aAAa,EACpC,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,eAAe,EAAE,KAAK,UAAU,GACjC,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,yBAAyB,EAAE,uBAAuB,EAClD,KAAK,wBAAwB,GAC9B,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAAE,eAAe,EACjC,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,GACnD,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,oBAAoB,EAAE,KAAK,2BAA2B,EACtD,qBAAqB,EAAE,uBAAuB,EAC9C,KAAK,gBAAgB,EAAE,KAAK,cAAc,GAC3C,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,sBAAsB,EAAE,qBAAqB,EAAE,qBAAqB,GACrE,MAAM,cAAc,CAAC"}

package/dist/runtime/derivedUniforms/index.js

@@ -1,26 +1,31 @@
-// §7 derived-uniforms module — public surface.
+// §7 derived-uniforms module — public surface (v2: content-keyed rule registry,
+// chain flattening, codegen-emitted uber-kernel, one dispatch).
 //
-// Caller responsibilities (typically heapScene.ts):
+// Caller responsibilities (heapScene.ts):
 //
-//   1. Construct one DerivedUniformsScene per heap scene, one
-//      DerivedUniformsBucket per render bucket. The scene owns the
-//      shared constituents storage buffer + dirty bitmask + pipeline.
+//   1. Construct one DerivedUniformsScene per heap scene (owns the rule registry,
+//      the records buffer, the constituents heap + GPU buffer, the dispatcher).
 //   2. In the parent scene-object's `inputChanged(t, o)` router, call
-//      `scene.routeInputChanged(o)`. Returns true iff o matched.
-//   3. In each RO's add path: `registerRoDerivations(scene, bucket, req)`
-//      allocates constituent slots and pushes records into the bucket's
-//      records buffer. In remove path: `deregisterRoDerivations(...)`.
-//   4. In the per-frame compute prep, inside the parent sceneObj's
-//      `evaluateAlways(token, ...)` scope:
-//        const dirty = scene.constituents.pullDirty(token);
+//      `scene.routeInputChanged(o)` — returns true iff `o` is a tracked trafo aval.
+//   3. Per RO add: `registerRoDerivations(scene, owner, req)` — flattens + registers
+//      each rule, resolves its input leaves to constituent / host slots, pushes one
+//      record per derived uniform. Per RO remove: `deregisterRoDerivations(scene, reg)`.
+//   4. Per frame, inside the scene's `evaluateAlways(token, …)` scope:
+//        const dirty = scene.pullDirty(token);   // re-subscribes on changed trafo avals
 //        scene.uploadDirty(dirty);
-//        for each bucket: bucket.dispatcher.encode(enc);
-//      All steps are O(changed); on clean frames they no-op.
+//        scene.encode(enc);                       // one compute dispatch
+//      All O(changed); clean frames no-op.
 //
-// Identifying which uniform names are §7-owned: DERIVED_UNIFORM_NAMES.
-export { RecipeId, ALL_RECIPES, DERIVED_UNIFORM_NAMES, recipeIdByName, recipeName, recipeInputs, recipeInputCount, recipeOutput, } from "./recipes.js";
+// The standard trafo recipes (ModelViewProjTrafo etc.) live in ./recipes as
+// `DerivedRule` constants — `STANDARD_DERIVED_RULES` / `isStandardDerivedName`.
+export { ruleFromIR, uniformRef, sameType, hashIR, isDerivedRule, } from "./rule.js";
+export { derivedUniform, DerivedExpr, } from "./marker.js";
+export { flatten, inputsOf, } from "./flatten.js";
+export { DerivedUniformRegistry, } from "./registry.js";
+export { RecordsBuffer, SlotTag, makeHandle, handleTag, handlePayload, } from "./records.js";
+export { buildUberKernel, } from "./codegen.js";
+export { DerivedUniformsDispatcher, uploadConstituentsRange, } from "./dispatch.js";
 export { ConstituentSlots, DF32_MAT4_BYTES, } from "./slots.js";
-export { DerivedUniformsDispatcher, DerivedUniformsPipeline, RecordsBuffer, uploadConstituentsRange, } from "./dispatch.js";
-export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, isDerivedUniformName, } from "./sceneIntegration.js";
-export { DERIVED_UBER_KERNEL_WGSL, } from "./uberKernel.wgsl.js";
+export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, } from "./sceneIntegration.js";
+export { STANDARD_DERIVED_RULES, STANDARD_TRAFO_LEAVES, isStandardDerivedName, } from "./recipes.js";
 //# sourceMappingURL=index.js.map

package/dist/runtime/derivedUniforms/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/index.ts"],"names":[],"mappings":"AAAA,+CAA+C;AAC/C,EAAE;AACF,oDAAoD;AACpD,EAAE;AACF,8DAA8D;AAC9D,mEAAmE;AACnE,sEAAsE;AACtE,sEAAsE;AACtE,iEAAiE;AACjE,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,mEAAmE;AACnE,2CAA2C;AAC3C,4DAA4D;AAC5D,mCAAmC;AACnC,yDAAyD;AACzD,6DAA6D;AAC7D,EAAE;AACF,uEAAuE;AAEvE,OAAO,EACL,QAAQ,EACR,WAAW,EAAE,qBAAqB,EAClC,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,YAAY,GAEzE,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,gBAAgB,EAAE,eAAe,GAElC,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,yBAAyB,EAAE,uBAAuB,EAClD,aAAa,EAAE,uBAAuB,GAEvC,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,GAIrB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,wBAAwB,GACzB,MAAM,sBAAsB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gEAAgE;AAChE,EAAE;AACF,0CAA0C;AAC1C,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,sEAAsE;AACtE,oFAAoF;AACpF,qFAAqF;AACrF,oFAAoF;AACpF,yFAAyF;AACzF,uEAAuE;AACvE,yFAAyF;AACzF,mCAAmC;AACnC,0EAA0E;AAC1E,2CAA2C;AAC3C,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAEhF,OAAO,EAEL,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GACxD,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,cAAc,EAAE,WAAW,GAC5B,MAAM,aAAa,CAAC;AAErB,OAAO,EAEL,OAAO,EAAE,QAAQ,GAClB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,aAAa,EAAE,OAAO,EACtB,UAAU,EAAE,SAAS,EAAE,aAAa,GAErC,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,eAAe,GAChB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,yBAAyB,EAAE,uBAAuB,GAEnD,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAAE,eAAe,GAElC,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EAAE,uBAAuB,GAE/C,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,sBAAsB,EAAE,qBAAqB,EAAE,qBAAqB,GACrE,MAAM,cAAc,CAAC"}

package/dist/runtime/derivedUniforms/marker.d.ts

@@ -0,0 +1,76 @@
+import type { Expr, Type } from "@aardworx/wombat.shader/ir";
+import { type DerivedRule } from "./rule.js";
+/** Leaf type names accepted by `DerivedExpr.as(...)`. */
+export type LeafTypeName = "f32" | "u32" | "i32" | "vec2" | "vec3" | "vec4" | "mat3" | "mat4";
+/** A traced expression in a `derivedUniform` builder. */
+export declare class DerivedExpr {
+    readonly ir: Expr;
+    constructor(ir: Expr);
+    get type(): Type;
+    /** Matrix product `this · other` (also matrix·vector / vector·matrix by operand types). */
+    mul(other: DerivedExpr): DerivedExpr;
+    add(other: DerivedExpr): DerivedExpr;
+    sub(other: DerivedExpr): DerivedExpr;
+    neg(): DerivedExpr;
+    /** Inverse (of a constituent trafo this reads its stored backward half; otherwise unsupported in codegen). */
+    inverse(): DerivedExpr;
+    transpose(): DerivedExpr;
+    /** Upper-left 3×3 (mat → mat3). */
+    upperLeft3x3(): DerivedExpr;
+    /** This mat4 applied to the origin `(0,0,0,1)`, returning the resulting position (xyz). */
+    transformOrigin(): DerivedExpr;
+    /** This mat4 applied to the direction `(x,y,z,0)` (no translation), returning the result (xyz). */
+    transformDir(x: number, y: number, z: number): DerivedExpr;
+    /** vecN swizzle, e.g. `.swizzle("xyz")`. Single component ⇒ scalar. */
+    swizzle(comps: string): DerivedExpr;
+    get x(): DerivedExpr;
+    get y(): DerivedExpr;
+    get z(): DerivedExpr;
+    get w(): DerivedExpr;
+    /**
+     * Re-type a leaf — `u.<Name>` defaults to a mat4 trafo leaf; `.as("vec4")` (etc.) gives the
+     * leaf its real type so you can read *any* uniform: `u.Tint.as("vec4").swizzle("xyz")`.
+     * Only valid directly on a `u.<Name>` leaf.
+     */
+    as(typeName: LeafTypeName): DerivedExpr;
+    /** Escape hatch: an arbitrary builtin call `name(this, ...others)` producing `resultType`. */
+    call(name: string, resultType: Type, ...others: DerivedExpr[]): DerivedExpr;
+    private u1;
+    private bin;
+    sin(): DerivedExpr;
+    cos(): DerivedExpr;
+    tan(): DerivedExpr;
+    abs(): DerivedExpr;
+    floor(): DerivedExpr;
+    ceil(): DerivedExpr;
+    fract(): DerivedExpr;
+    sqrt(): DerivedExpr;
+    exp(): DerivedExpr;
+    log(): DerivedExpr;
+    exp2(): DerivedExpr;
+    log2(): DerivedExpr;
+    sign(): DerivedExpr;
+    normalize(): DerivedExpr;
+    min(o: DerivedExpr): DerivedExpr;
+    max(o: DerivedExpr): DerivedExpr;
+    pow(o: DerivedExpr): DerivedExpr;
+    atan2(o: DerivedExpr): DerivedExpr;
+    step(edge: DerivedExpr): DerivedExpr;
+    clamp(lo: DerivedExpr, hi: DerivedExpr): DerivedExpr;
+    mix(o: DerivedExpr, t: DerivedExpr): DerivedExpr;
+    dot(o: DerivedExpr): DerivedExpr;
+    cross(o: DerivedExpr): DerivedExpr;
+    length(): DerivedExpr;
+    distance(o: DerivedExpr): DerivedExpr;
+    reflect(n: DerivedExpr): DerivedExpr;
+}
+/** The `u` passed to a `derivedUniform` builder. `u.<Name>` is a mat4 trafo leaf. */
+export type DerivedScope = {
+    readonly [name: string]: DerivedExpr;
+};
+/**
+ * Define a derived uniform. `derivedUniform(u => u.ViewTrafo.mul(u.ModelTrafo))` makes a
+ * rule that slots in wherever a uniform value goes — see this module's header.
+ */
+export declare function derivedUniform<T = unknown>(build: (u: DerivedScope) => DerivedExpr): DerivedRule<T>;
+//# sourceMappingURL=marker.d.ts.map

package/dist/runtime/derivedUniforms/marker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/marker.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAA0B,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AASrE,yDAAyD;AACzD,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AA2B9F,yDAAyD;AACzD,qBAAa,WAAW;IACV,QAAQ,CAAC,EAAE,EAAE,IAAI;gBAAR,EAAE,EAAE,IAAI;IAC7B,IAAI,IAAI,IAAI,IAAI,CAAyB;IAEzC,2FAA2F;IAC3F,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW;IAapC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW;IACpC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW;IACpC,GAAG,IAAI,WAAW;IAElB,8GAA8G;IAC9G,OAAO,IAAI,WAAW;IACtB,SAAS,IAAI,WAAW;IACxB,mCAAmC;IACnC,YAAY,IAAI,WAAW;IAC3B,2FAA2F;IAC3F,eAAe,IAAI,WAAW;IAI9B,mGAAmG;IACnG,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,WAAW;IAI1D,uEAAuE;IACvE,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW;IAInC,IAAI,CAAC,IAAI,WAAW,CAA8B;IAClD,IAAI,CAAC,IAAI,WAAW,CAA8B;IAClD,IAAI,CAAC,IAAI,WAAW,CAA8B;IAClD,IAAI,CAAC,IAAI,WAAW,CAA8B;IAElD;;;;OAIG;IACH,EAAE,CAAC,QAAQ,EAAE,YAAY,GAAG,WAAW;IAQvC,8FAA8F;IAC9F,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,WAAW;IAG3E,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,GAAG;IACX,GAAG,IAAI,WAAW;IAClB,GAAG,IAAI,WAAW;IAClB,GAAG,IAAI,WAAW;IAClB,GAAG,IAAI,WAAW;IAClB,KAAK,IAAI,WAAW;IACpB,IAAI,IAAI,WAAW;IACnB,KAAK,IAAI,WAAW;IACpB,IAAI,IAAI,WAAW;IACnB,GAAG,IAAI,WAAW;IAClB,GAAG,IAAI,WAAW;IAClB,IAAI,IAAI,WAAW;IACnB,IAAI,IAAI,WAAW;IACnB,IAAI,IAAI,WAAW;IACnB,SAAS,IAAI,WAAW;IACxB,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAChC,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAChC,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAChC,KAAK,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAClC,IAAI,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW;IACpC,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,GAAG,WAAW;IACpD,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW;IAChD,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAChC,KAAK,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IAClC,MAAM,IAAI,WAAW;IACrB,QAAQ,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;IACrC,OAAO,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW;CACrC;AAED,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAWpE;;;GAGG;AACH,wBAAgB,cAAc,CAAC,CAAC,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,YAAY,KAAK,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAMnG"}

package/dist/runtime/derivedUniforms/marker.js

@@ -0,0 +1,156 @@
+// §7 v2 — `derivedUniform((u) => …)` author-facing marker.
+//
+// A uniform binding is either a *value* (an `aval` / constant) or a *rule*
+// (`derivedUniform((u) => u.ViewTrafo.mul(u.ModelTrafo))`). A rule reads other
+// uniforms — `u.<Name>` is a leaf, and is resolved per RenderObject at registration
+// time (a `Trafo3d` aval ⇒ a df32 constituent slot; anything else ⇒ a host uniform).
+//
+// This builds the rule's IR by tracing: `u.<Name>` is a mat4 leaf (the trafo case —
+// the vast majority of derived uniforms), and the `DerivedExpr` methods compose them
+// (the result type follows from the ops, so `.upperLeft3x3()` yields a mat3 rule, etc.).
+// For non-mat4-leaf rules use `ruleFromIR` with hand-built IR, or — once it lands — the
+// build-time `derivedUniform(...)` vite marker, which reads leaf types from the program.
+import { ruleFromIR, uniformRef } from "./rule.js";
+const Tf32 = { kind: "Float", width: 32 };
+const mat = (n) => ({ kind: "Matrix", element: Tf32, rows: n, cols: n });
+const vec = (n) => ({ kind: "Vector", element: Tf32, dim: n });
+const Tu32 = { kind: "Int", signed: false, width: 32 };
+const Ti32 = { kind: "Int", signed: true, width: 32 };
+const LEAF_TYPES = {
+    f32: Tf32, u32: Tu32, i32: Ti32,
+    vec2: vec(2), vec3: vec(3), vec4: vec(4), mat3: mat(3), mat4: mat(4),
+};
+function transposed(t) {
+    return t.kind === "Matrix" ? { kind: "Matrix", element: t.element, rows: t.cols, cols: t.rows } : t;
+}
+function constVec4(x, y, z, w) {
+    const c = (v) => ({ kind: "Const", type: Tf32, value: { kind: "Float", value: v } });
+    return { kind: "NewVector", components: [c(x), c(y), c(z), c(w)], type: vec(4) };
+}
+function elemOf(t) {
+    return t.kind === "Vector" || t.kind === "Matrix" ? t.element : t;
+}
+/** A `CallIntrinsic` node — `op` is a minimal stub (this IR is only ever printed by the
+ *  derived-uniform codegen, never run through the shader compiler). */
+function intrinsicExpr(name, type, args) {
+    return {
+        kind: "CallIntrinsic",
+        op: { name, returnTypeOf: () => type, pure: true, emit: { glsl: name, wgsl: name } },
+        args,
+        type,
+    };
+}
+/** A traced expression in a `derivedUniform` builder. */
+export class DerivedExpr {
+    ir;
+    constructor(ir) {
+        this.ir = ir;
+    }
+    get type() { return this.ir.type; }
+    /** Matrix product `this · other` (also matrix·vector / vector·matrix by operand types). */
+    mul(other) {
+        const a = this.ir.type, b = other.ir.type;
+        if (a.kind === "Matrix" && b.kind === "Matrix") {
+            return new DerivedExpr({ kind: "MulMatMat", lhs: this.ir, rhs: other.ir, type: { kind: "Matrix", element: a.element, rows: a.rows, cols: b.cols } });
+        }
+        if (a.kind === "Matrix" && b.kind === "Vector") {
+            return new DerivedExpr({ kind: "MulMatVec", lhs: this.ir, rhs: other.ir, type: { kind: "Vector", element: b.element, dim: a.rows } });
+        }
+        if (a.kind === "Vector" && b.kind === "Matrix") {
+            return new DerivedExpr({ kind: "MulVecMat", lhs: this.ir, rhs: other.ir, type: { kind: "Vector", element: a.element, dim: b.cols } });
+        }
+        return new DerivedExpr({ kind: "Mul", lhs: this.ir, rhs: other.ir, type: a.kind === "Float" ? b : a });
+    }
+    add(other) { return new DerivedExpr({ kind: "Add", lhs: this.ir, rhs: other.ir, type: this.ir.type }); }
+    sub(other) { return new DerivedExpr({ kind: "Sub", lhs: this.ir, rhs: other.ir, type: this.ir.type }); }
+    neg() { return new DerivedExpr({ kind: "Neg", value: this.ir, type: this.ir.type }); }
+    /** Inverse (of a constituent trafo this reads its stored backward half; otherwise unsupported in codegen). */
+    inverse() { return new DerivedExpr({ kind: "Inverse", value: this.ir, type: this.ir.type }); }
+    transpose() { return new DerivedExpr({ kind: "Transpose", value: this.ir, type: transposed(this.ir.type) }); }
+    /** Upper-left 3×3 (mat → mat3). */
+    upperLeft3x3() { return new DerivedExpr({ kind: "ConvertMatrix", value: this.ir, type: mat(3) }); }
+    /** This mat4 applied to the origin `(0,0,0,1)`, returning the resulting position (xyz). */
+    transformOrigin() {
+        const v4 = { kind: "MulMatVec", lhs: this.ir, rhs: constVec4(0, 0, 0, 1), type: vec(4) };
+        return new DerivedExpr({ kind: "VecSwizzle", value: v4, comps: ["x", "y", "z"], type: vec(3) });
+    }
+    /** This mat4 applied to the direction `(x,y,z,0)` (no translation), returning the result (xyz). */
+    transformDir(x, y, z) {
+        const v4 = { kind: "MulMatVec", lhs: this.ir, rhs: constVec4(x, y, z, 0), type: vec(4) };
+        return new DerivedExpr({ kind: "VecSwizzle", value: v4, comps: ["x", "y", "z"], type: vec(3) });
+    }
+    /** vecN swizzle, e.g. `.swizzle("xyz")`. Single component ⇒ scalar. */
+    swizzle(comps) {
+        const c = comps.split("");
+        return new DerivedExpr({ kind: "VecSwizzle", value: this.ir, comps: c, type: c.length === 1 ? Tf32 : vec(c.length) });
+    }
+    get x() { return this.swizzle("x"); }
+    get y() { return this.swizzle("y"); }
+    get z() { return this.swizzle("z"); }
+    get w() { return this.swizzle("w"); }
+    /**
+     * Re-type a leaf — `u.<Name>` defaults to a mat4 trafo leaf; `.as("vec4")` (etc.) gives the
+     * leaf its real type so you can read *any* uniform: `u.Tint.as("vec4").swizzle("xyz")`.
+     * Only valid directly on a `u.<Name>` leaf.
+     */
+    as(typeName) {
+        if (this.ir.kind !== "ReadInput" || this.ir.scope !== "Uniform") {
+            throw new Error("DerivedExpr.as(...): only valid on a `u.<Name>` uniform leaf");
+        }
+        return new DerivedExpr({ kind: "ReadInput", scope: "Uniform", name: this.ir.name, type: LEAF_TYPES[typeName] });
+    }
+    // ── Intrinsics — every WGSL builtin (name passed straight through). ──
+    /** Escape hatch: an arbitrary builtin call `name(this, ...others)` producing `resultType`. */
+    call(name, resultType, ...others) {
+        return new DerivedExpr(intrinsicExpr(name, resultType, [this.ir, ...others.map((o) => o.ir)]));
+    }
+    u1(name) { return new DerivedExpr(intrinsicExpr(name, this.ir.type, [this.ir])); }
+    bin(name, o) { return new DerivedExpr(intrinsicExpr(name, this.ir.type, [this.ir, o.ir])); }
+    sin() { return this.u1("sin"); }
+    cos() { return this.u1("cos"); }
+    tan() { return this.u1("tan"); }
+    abs() { return this.u1("abs"); }
+    floor() { return this.u1("floor"); }
+    ceil() { return this.u1("ceil"); }
+    fract() { return this.u1("fract"); }
+    sqrt() { return this.u1("sqrt"); }
+    exp() { return this.u1("exp"); }
+    log() { return this.u1("log"); }
+    exp2() { return this.u1("exp2"); }
+    log2() { return this.u1("log2"); }
+    sign() { return this.u1("sign"); }
+    normalize() { return this.u1("normalize"); }
+    min(o) { return this.bin("min", o); }
+    max(o) { return this.bin("max", o); }
+    pow(o) { return this.bin("pow", o); }
+    atan2(o) { return this.bin("atan2", o); }
+    step(edge) { return new DerivedExpr(intrinsicExpr("step", this.ir.type, [edge.ir, this.ir])); }
+    clamp(lo, hi) { return new DerivedExpr(intrinsicExpr("clamp", this.ir.type, [this.ir, lo.ir, hi.ir])); }
+    mix(o, t) { return new DerivedExpr(intrinsicExpr("mix", this.ir.type, [this.ir, o.ir, t.ir])); }
+    dot(o) { return new DerivedExpr(intrinsicExpr("dot", elemOf(this.ir.type), [this.ir, o.ir])); }
+    cross(o) { return new DerivedExpr(intrinsicExpr("cross", this.ir.type, [this.ir, o.ir])); }
+    length() { return new DerivedExpr(intrinsicExpr("length", elemOf(this.ir.type), [this.ir])); }
+    distance(o) { return new DerivedExpr(intrinsicExpr("distance", elemOf(this.ir.type), [this.ir, o.ir])); }
+    reflect(n) { return new DerivedExpr(intrinsicExpr("reflect", this.ir.type, [this.ir, n.ir])); }
+}
+function makeScope() {
+    return new Proxy({}, {
+        get(_t, key) {
+            if (typeof key !== "string")
+                throw new Error("derivedUniform: leaf names must be strings");
+            return new DerivedExpr(uniformRef(key, mat(4)));
+        },
+    });
+}
+/**
+ * Define a derived uniform. `derivedUniform(u => u.ViewTrafo.mul(u.ModelTrafo))` makes a
+ * rule that slots in wherever a uniform value goes — see this module's header.
+ */
+export function derivedUniform(build) {
+    const result = build(makeScope());
+    if (!(result instanceof DerivedExpr)) {
+        throw new Error("derivedUniform: the builder must return a derived expression, e.g. u.ViewTrafo.mul(u.ModelTrafo)");
+    }
+    return ruleFromIR(result.ir, result.ir.type);
+}
+//# sourceMappingURL=marker.js.map

package/dist/runtime/derivedUniforms/marker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/marker.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,EAAE;AACF,2EAA2E;AAC3E,+EAA+E;AAC/E,oFAAoF;AACpF,qFAAqF;AACrF,EAAE;AACF,oFAAoF;AACpF,qFAAqF;AACrF,yFAAyF;AACzF,wFAAwF;AACxF,yFAAyF;AAGzF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAoB,MAAM,WAAW,CAAC;AAErE,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAChD,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,CAAY,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAEhF,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC7D,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAI5D,MAAM,UAAU,GAA+B;IAC7C,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI;IAC/B,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;CACrE,CAAC;AAEF,SAAS,UAAU,CAAC,CAAO;IACzB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACtG,CAAC;AACD,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS,EAAE,CAAS;IAC3D,MAAM,CAAC,GAAG,CAAC,CAAS,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACnG,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACnF,CAAC;AACD,SAAS,MAAM,CAAC,CAAO;IACrB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AACD;uEACuE;AACvE,SAAS,aAAa,CAAC,IAAY,EAAE,IAAU,EAAE,IAAqB;IACpE,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACpF,IAAI;QACJ,IAAI;KACL,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,MAAM,OAAO,WAAW;IACD;IAArB,YAAqB,EAAQ;QAAR,OAAE,GAAF,EAAE,CAAM;IAAG,CAAC;IACjC,IAAI,IAAI,KAAW,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAEzC,2FAA2F;IAC3F,GAAG,CAAC,KAAkB;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/C,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvJ,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/C,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/C,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxI,CAAC;QACD,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,GAAG,CAAC,KAAkB,IAAiB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClI,GAAG,CAAC,KAAkB,IAAiB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClI,GAAG,KAAkB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnG,8GAA8G;IAC9G,OAAO,KAAkB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3G,SAAS,KAAkB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3H,mCAAmC;IACnC,YAAY,KAAkB,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChH,2FAA2F;IAC3F,eAAe;QACb,MAAM,EAAE,GAAS,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,mGAAmG;IACnG,YAAY,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;QAC1C,MAAM,EAAE,GAAS,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,uEAAuE;IACvE,OAAO,CAAC,KAAa;QACnB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAA8B,CAAC;QACvD,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAmB,CAAC,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,IAAI,CAAC,KAAkB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,KAAkB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,KAAkB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,KAAkB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAElD;;;;OAIG;IACH,EAAE,CAAC,QAAsB;QACvB,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;IAED,wEAAwE;IACxE,8FAA8F;IAC9F,IAAI,CAAC,IAAY,EAAE,UAAgB,EAAE,GAAG,MAAqB;QAC3D,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,CAAC;IACO,EAAE,CAAC,IAAY,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvG,GAAG,CAAC,IAAY,EAAE,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtI,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,KAAK,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,KAAK,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,GAAG,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/C,SAAS,KAAkB,OAAO,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACzD,GAAG,CAAC,CAAc,IAAiB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,GAAG,CAAC,CAAc,IAAiB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,GAAG,CAAC,CAAc,IAAiB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,KAAK,CAAC,CAAc,IAAiB,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,IAAiB,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,KAAK,CAAC,EAAe,EAAE,EAAe,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/I,GAAG,CAAC,CAAc,EAAE,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvI,GAAG,CAAC,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,KAAK,CAAC,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrH,MAAM,KAAkB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,CAAC,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnI,OAAO,CAAC,CAAc,IAAiB,OAAO,IAAI,WAAW,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1H;AAKD,SAAS,SAAS;IAChB,OAAO,IAAI,KAAK,CAAC,EAAkB,EAAE;QACnC,GAAG,CAAC,EAAE,EAAE,GAAG;YACT,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAC3F,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAc,KAAuC;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,kGAAkG,CAAC,CAAC;IACtH,CAAC;IACD,OAAO,UAAU,CAAI,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC"}

package/dist/runtime/derivedUniforms/recipes.d.ts

@@ -1,42 +1,7 @@
-/** Recipe IDs. Numeric values are stable — the kernel switches on them. */
-export declare const enum RecipeId {
-    /** Model.fwd → f32 mat4. */
-    ModelTrafo = 0,
-    /** Model.bwd → f32 mat4. */
-    ModelTrafoInv = 1,
-    /** (Model.bwd)ᵀ upper-3×3 → f32 mat3. */
-    NormalMatrix = 2,
-    /** View.fwd · Model.fwd → f32 mat4. */
-    ModelViewTrafo = 3,
-    /** Model.bwd · View.bwd → f32 mat4. */
-    ModelViewTrafoInv = 4,
-    /** Proj.fwd · View.fwd · Model.fwd → f32 mat4. */
-    ModelViewProjTrafo = 5,
-    /** Model.bwd · View.bwd · Proj.bwd → f32 mat4. */
-    ModelViewProjTrafoInv = 6,
-    /** View.fwd → f32 mat4. */
-    ViewTrafo = 7,
-    /** View.bwd → f32 mat4. */
-    ViewTrafoInv = 8,
-    /** Proj.fwd · View.fwd → f32 mat4. */
-    ViewProjTrafo = 9,
-    /** View.bwd · Proj.bwd → f32 mat4. */
-    ViewProjTrafoInv = 10,
-    /** Proj.fwd → f32 mat4. */
-    ProjTrafo = 11,
-    /** Proj.bwd → f32 mat4. */
-    ProjTrafoInv = 12
-}
-export declare function recipeInputCount(id: RecipeId): 1 | 2 | 3;
-/** Output shape — drives drawHeader byte allocation. */
-export type RecipeOutput = "mat4" | "mat3";
-export declare function recipeOutput(id: RecipeId): RecipeOutput;
-/** Which side (forward/backward) of which Trafo3d each input slot draws from. */
-export type ConstituentRef = "Model.fwd" | "Model.bwd" | "View.fwd" | "View.bwd" | "Proj.fwd" | "Proj.bwd";
-export declare function recipeInputs(id: RecipeId): readonly ConstituentRef[];
-/** All recipe IDs in switch order. */
-export declare const ALL_RECIPES: readonly RecipeId[];
-export declare const DERIVED_UNIFORM_NAMES: ReadonlySet<string>;
-export declare function recipeIdByName(name: string): RecipeId | undefined;
-export declare function recipeName(id: RecipeId): string;
+import { type DerivedRule } from "./rule.js";
+/** Standard derived rules, keyed by the drawHeader uniform name each produces. */
+export declare const STANDARD_DERIVED_RULES: ReadonlyMap<string, DerivedRule>;
+/** Leaf name → the RO uniform (`spec.inputs[…]`) that supplies its `aval<Trafo3d>`. */
+export declare const STANDARD_TRAFO_LEAVES: ReadonlyMap<string, string>;
+export declare function isStandardDerivedName(name: string): boolean;
 //# sourceMappingURL=recipes.d.ts.map

package/dist/runtime/derivedUniforms/recipes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"recipes.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/recipes.ts"],"names":[],"mappings":"AAcA,2EAA2E;AAC3E,0BAAkB,QAAQ;IACxB,4BAA4B;IAC5B,UAAU,IAAe;IACzB,4BAA4B;IAC5B,aAAa,IAAY;IACzB,yCAAyC;IACzC,YAAY,IAAa;IAEzB,uCAAuC;IACvC,cAAc,IAAW;IACzB,uCAAuC;IACvC,iBAAiB,IAAQ;IACzB,kDAAkD;IAClD,kBAAkB,IAAO;IACzB,kDAAkD;IAClD,qBAAqB,IAAI;IAEzB,2BAA2B;IAC3B,SAAS,IAAgB;IACzB,2BAA2B;IAC3B,YAAY,IAAa;IACzB,sCAAsC;IACtC,aAAa,IAAY;IACzB,sCAAsC;IACtC,gBAAgB,KAAU;IAC1B,2BAA2B;IAC3B,SAAS,KAAiB;IAC1B,2BAA2B;IAC3B,YAAY,KAAc;CAC3B;AAmBD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAExD;AAED,wDAAwD;AACxD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;AAkB3C,wBAAgB,YAAY,CAAC,EAAE,EAAE,QAAQ,GAAG,YAAY,CAEvD;AAED,iFAAiF;AACjF,MAAM,MAAM,cAAc,GACtB,WAAW,GAAG,WAAW,GACzB,UAAU,GAAI,UAAU,GACxB,UAAU,GAAI,UAAU,CAAC;AAoB7B,wBAAgB,YAAY,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,cAAc,EAAE,CAEpE;AAmBD,sCAAsC;AACtC,eAAO,MAAM,WAAW,EAAE,SAAS,QAAQ,EAO1C,CAAC;AAMF,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CACZ,CAAC;AAE3C,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAEjE;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,MAAM,CAE/C"}
+{"version":3,"file":"recipes.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/recipes.ts"],"names":[],"mappings":"AAgBA,OAAO,EAA0B,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AAmBrE,kFAAkF;AAClF,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAmBlE,CAAC;AAEH,uFAAuF;AACvF,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAI5D,CAAC;AAEH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE3D"}

package/dist/runtime/derivedUniforms/recipes.js

@@ -1,134 +1,58 @@
-// §7 derived-uniform recipe table — leaf-only flavour.
+// §7 v2 — the standard trafo recipes, as DerivedRule constants.
 //
-// Every recipe is a self-contained leaf: reads constituents directly,
-// computes inline (one or two df32 muls + collapse), writes the final
-// f32 mat4/mat3 to the main heap drawHeader. No intermediates, no
-// layering, no dependents graph.
+// These replace the hardcoded RecipeId table. Each rule reads BASE-trafo leaves
+// (`Model` / `View` / `Proj` — the raw `aval<Trafo3d>`s the RO binds as
+// `ModelTrafo` / `ViewTrafo` / `ProjTrafo` uniforms) and produces the derived
+// uniform the shader reads (`ModelViewProjTrafo`, `NormalMatrix`, …). A leaf
+// wrapped in `Inverse(...)` selects that trafo's stored backward half (free).
 //
-// Two consumers of the same df32 product (e.g. ModelViewTrafo and
-// ModelViewProjTrafo for the same RO) recompute Model·View twice —
-// trivial vs the encode-time savings of one flat dispatch.
+// `Inverse`-of-a-product (e.g. `ModelViewProjTrafoInv`) is written as the product
+// of the inverted factors in reverse order — `(P·V·M)⁻¹ = M⁻¹·V⁻¹·P⁻¹` — so it
+// stays a constituent matmul chain the codegen recognizes.
 //
-// All df32 math runs through the verified primitives in
-// uberKernel.wgsl.ts; the final consumer-facing values are f32.
-/** Recipe IDs. Numeric values are stable — the kernel switches on them. */
-export var RecipeId;
-(function (RecipeId) {
-    /** Model.fwd → f32 mat4. */
-    RecipeId[RecipeId["ModelTrafo"] = 0] = "ModelTrafo";
-    /** Model.bwd → f32 mat4. */
-    RecipeId[RecipeId["ModelTrafoInv"] = 1] = "ModelTrafoInv";
-    /** (Model.bwd)ᵀ upper-3×3 → f32 mat3. */
-    RecipeId[RecipeId["NormalMatrix"] = 2] = "NormalMatrix";
-    /** View.fwd · Model.fwd → f32 mat4. */
-    RecipeId[RecipeId["ModelViewTrafo"] = 3] = "ModelViewTrafo";
-    /** Model.bwd · View.bwd → f32 mat4. */
-    RecipeId[RecipeId["ModelViewTrafoInv"] = 4] = "ModelViewTrafoInv";
-    /** Proj.fwd · View.fwd · Model.fwd → f32 mat4. */
-    RecipeId[RecipeId["ModelViewProjTrafo"] = 5] = "ModelViewProjTrafo";
-    /** Model.bwd · View.bwd · Proj.bwd → f32 mat4. */
-    RecipeId[RecipeId["ModelViewProjTrafoInv"] = 6] = "ModelViewProjTrafoInv";
-    /** View.fwd → f32 mat4. */
-    RecipeId[RecipeId["ViewTrafo"] = 7] = "ViewTrafo";
-    /** View.bwd → f32 mat4. */
-    RecipeId[RecipeId["ViewTrafoInv"] = 8] = "ViewTrafoInv";
-    /** Proj.fwd · View.fwd → f32 mat4. */
-    RecipeId[RecipeId["ViewProjTrafo"] = 9] = "ViewProjTrafo";
-    /** View.bwd · Proj.bwd → f32 mat4. */
-    RecipeId[RecipeId["ViewProjTrafoInv"] = 10] = "ViewProjTrafoInv";
-    /** Proj.fwd → f32 mat4. */
-    RecipeId[RecipeId["ProjTrafo"] = 11] = "ProjTrafo";
-    /** Proj.bwd → f32 mat4. */
-    RecipeId[RecipeId["ProjTrafoInv"] = 12] = "ProjTrafoInv";
-})(RecipeId || (RecipeId = {}));
-/** Number of constituent inputs each recipe consumes (1, 2, or 3). */
-const INPUT_COUNT = {
-    [RecipeId.ModelTrafo]: 1,
-    [RecipeId.ModelTrafoInv]: 1,
-    [RecipeId.NormalMatrix]: 1,
-    [RecipeId.ModelViewTrafo]: 2,
-    [RecipeId.ModelViewTrafoInv]: 2,
-    [RecipeId.ModelViewProjTrafo]: 3,
-    [RecipeId.ModelViewProjTrafoInv]: 3,
-    [RecipeId.ViewTrafo]: 1,
-    [RecipeId.ViewTrafoInv]: 1,
-    [RecipeId.ViewProjTrafo]: 2,
-    [RecipeId.ViewProjTrafoInv]: 2,
-    [RecipeId.ProjTrafo]: 1,
-    [RecipeId.ProjTrafoInv]: 1,
-};
-export function recipeInputCount(id) {
-    return INPUT_COUNT[id];
-}
-const OUTPUT = {
-    [RecipeId.ModelTrafo]: "mat4",
-    [RecipeId.ModelTrafoInv]: "mat4",
-    [RecipeId.NormalMatrix]: "mat3",
-    [RecipeId.ModelViewTrafo]: "mat4",
-    [RecipeId.ModelViewTrafoInv]: "mat4",
-    [RecipeId.ModelViewProjTrafo]: "mat4",
-    [RecipeId.ModelViewProjTrafoInv]: "mat4",
-    [RecipeId.ViewTrafo]: "mat4",
-    [RecipeId.ViewTrafoInv]: "mat4",
-    [RecipeId.ViewProjTrafo]: "mat4",
-    [RecipeId.ViewProjTrafoInv]: "mat4",
-    [RecipeId.ProjTrafo]: "mat4",
-    [RecipeId.ProjTrafoInv]: "mat4",
-};
-export function recipeOutput(id) {
-    return OUTPUT[id];
-}
-const INPUTS = {
-    [RecipeId.ModelTrafo]: ["Model.fwd"],
-    [RecipeId.ModelTrafoInv]: ["Model.bwd"],
-    [RecipeId.NormalMatrix]: ["Model.bwd"],
-    // df_mul args are ordered (outer, inner) so the math product
-    // matches Aardvark's `View.mul(Model).forward = View.fwd · Model.fwd`.
-    [RecipeId.ModelViewTrafo]: ["View.fwd", "Model.fwd"],
-    [RecipeId.ModelViewTrafoInv]: ["Model.bwd", "View.bwd"],
-    [RecipeId.ModelViewProjTrafo]: ["Proj.fwd", "View.fwd", "Model.fwd"],
-    [RecipeId.ModelViewProjTrafoInv]: ["Model.bwd", "View.bwd", "Proj.bwd"],
-    [RecipeId.ViewTrafo]: ["View.fwd"],
-    [RecipeId.ViewTrafoInv]: ["View.bwd"],
-    [RecipeId.ViewProjTrafo]: ["Proj.fwd", "View.fwd"],
-    [RecipeId.ViewProjTrafoInv]: ["View.bwd", "Proj.bwd"],
-    [RecipeId.ProjTrafo]: ["Proj.fwd"],
-    [RecipeId.ProjTrafoInv]: ["Proj.bwd"],
-};
-export function recipeInputs(id) {
-    return INPUTS[id];
-}
-/** Public uniform name (one per recipe). */
-const NAME = {
-    [RecipeId.ModelTrafo]: "ModelTrafo",
-    [RecipeId.ModelTrafoInv]: "ModelTrafoInv",
-    [RecipeId.NormalMatrix]: "NormalMatrix",
-    [RecipeId.ModelViewTrafo]: "ModelViewTrafo",
-    [RecipeId.ModelViewTrafoInv]: "ModelViewTrafoInv",
-    [RecipeId.ModelViewProjTrafo]: "ModelViewProjTrafo",
-    [RecipeId.ModelViewProjTrafoInv]: "ModelViewProjTrafoInv",
-    [RecipeId.ViewTrafo]: "ViewTrafo",
-    [RecipeId.ViewTrafoInv]: "ViewTrafoInv",
-    [RecipeId.ViewProjTrafo]: "ViewProjTrafo",
-    [RecipeId.ViewProjTrafoInv]: "ViewProjTrafoInv",
-    [RecipeId.ProjTrafo]: "ProjTrafo",
-    [RecipeId.ProjTrafoInv]: "ProjTrafoInv",
-};
-/** All recipe IDs in switch order. */
-export const ALL_RECIPES = [
-    RecipeId.ModelTrafo, RecipeId.ModelTrafoInv, RecipeId.NormalMatrix,
-    RecipeId.ModelViewTrafo, RecipeId.ModelViewTrafoInv,
-    RecipeId.ModelViewProjTrafo, RecipeId.ModelViewProjTrafoInv,
-    RecipeId.ViewTrafo, RecipeId.ViewTrafoInv,
-    RecipeId.ViewProjTrafo, RecipeId.ViewProjTrafoInv,
-    RecipeId.ProjTrafo, RecipeId.ProjTrafoInv,
-];
-const BY_NAME = new Map(ALL_RECIPES.map(id => [NAME[id], id]));
-export const DERIVED_UNIFORM_NAMES = new Set(ALL_RECIPES.map(id => NAME[id]));
-export function recipeIdByName(name) {
-    return BY_NAME.get(name);
-}
-export function recipeName(id) {
-    return NAME[id];
+// `NormalMatrix` is `(Model⁻¹)ᵀ` truncated to its upper-3×3 — declared as a mat3
+// output; the codegen's normal-matrix arm does the transpose + truncation.
+import { ruleFromIR, uniformRef } from "./rule.js";
+const Tf32 = { kind: "Float", width: 32 };
+const Tmat4 = { kind: "Matrix", element: Tf32, rows: 4, cols: 4 };
+const Tmat3 = { kind: "Matrix", element: Tf32, rows: 3, cols: 3 };
+const mat4 = (name) => uniformRef(name, Tmat4);
+const inv = (v) => ({ kind: "Inverse", value: v, type: Tmat4 });
+const mul = (lhs, rhs) => ({ kind: "MulMatMat", lhs, rhs, type: Tmat4 });
+/** Left-fold `A·B·C·…` (multiplication order). */
+const chain = (...fs) => fs.reduce((acc, f) => mul(acc, f));
+/** mat4 → mat3 truncation (upper-left 3×3). */
+const upper3 = (v) => ({ kind: "ConvertMatrix", value: v, type: Tmat3 });
+const transpose = (v) => ({ kind: "Transpose", value: v, type: Tmat4 });
+const Model = mat4("Model");
+const View = mat4("View");
+const Proj = mat4("Proj");
+/** Standard derived rules, keyed by the drawHeader uniform name each produces. */
+export const STANDARD_DERIVED_RULES = new Map([
+    // Trafo passthroughs (collapse the df32 fwd/bwd half to an f32 mat4).
+    ["ModelTrafo", ruleFromIR(Model)],
+    ["ModelTrafoInv", ruleFromIR(inv(Model))],
+    ["ViewTrafo", ruleFromIR(View)],
+    ["ViewTrafoInv", ruleFromIR(inv(View))],
+    ["ProjTrafo", ruleFromIR(Proj)],
+    ["ProjTrafoInv", ruleFromIR(inv(Proj))],
+    // Composites. `mul(a,b)` ⇒ matrix product `a · b`.
+    ["ModelViewTrafo", ruleFromIR(chain(View, Model))],
+    ["ModelViewTrafoInv", ruleFromIR(chain(inv(Model), inv(View)))],
+    ["ModelViewProjTrafo", ruleFromIR(chain(Proj, View, Model))],
+    ["ModelViewProjTrafoInv", ruleFromIR(chain(inv(Model), inv(View), inv(Proj)))],
+    ["ViewProjTrafo", ruleFromIR(chain(Proj, View))],
+    ["ViewProjTrafoInv", ruleFromIR(chain(inv(View), inv(Proj)))],
+    // NormalMatrix = (Model⁻¹)ᵀ, upper-3×3.
+    ["NormalMatrix", ruleFromIR(upper3(transpose(inv(Model))), Tmat3)],
+]);
+/** Leaf name → the RO uniform (`spec.inputs[…]`) that supplies its `aval<Trafo3d>`. */
+export const STANDARD_TRAFO_LEAVES = new Map([
+    ["Model", "ModelTrafo"],
+    ["View", "ViewTrafo"],
+    ["Proj", "ProjTrafo"],
+]);
+export function isStandardDerivedName(name) {
+    return STANDARD_DERIVED_RULES.has(name);
 }
 //# sourceMappingURL=recipes.js.map