@aardworx/wombat.rendering 0.9.10 → 0.9.12

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (83) hide show
  1. package/dist/runtime/derivedUniforms/codegen.d.ts +8 -0
  2. package/dist/runtime/derivedUniforms/codegen.d.ts.map +1 -0
  3. package/dist/runtime/derivedUniforms/codegen.js +449 -0
  4. package/dist/runtime/derivedUniforms/codegen.js.map +1 -0
  5. package/dist/runtime/derivedUniforms/dispatch.d.ts +14 -93
  6. package/dist/runtime/derivedUniforms/dispatch.d.ts.map +1 -1
  7. package/dist/runtime/derivedUniforms/dispatch.js +123 -299
  8. package/dist/runtime/derivedUniforms/dispatch.js.map +1 -1
  9. package/dist/runtime/derivedUniforms/flatten.d.ts +25 -0
  10. package/dist/runtime/derivedUniforms/flatten.d.ts.map +1 -0
  11. package/dist/runtime/derivedUniforms/flatten.js +71 -0
  12. package/dist/runtime/derivedUniforms/flatten.js.map +1 -0
  13. package/dist/runtime/derivedUniforms/index.d.ts +10 -5
  14. package/dist/runtime/derivedUniforms/index.d.ts.map +1 -1
  15. package/dist/runtime/derivedUniforms/index.js +24 -19
  16. package/dist/runtime/derivedUniforms/index.js.map +1 -1
  17. package/dist/runtime/derivedUniforms/marker.d.ts +32 -0
  18. package/dist/runtime/derivedUniforms/marker.d.ts.map +1 -0
  19. package/dist/runtime/derivedUniforms/marker.js +84 -0
  20. package/dist/runtime/derivedUniforms/marker.js.map +1 -0
  21. package/dist/runtime/derivedUniforms/recipes.d.ts +6 -41
  22. package/dist/runtime/derivedUniforms/recipes.d.ts.map +1 -1
  23. package/dist/runtime/derivedUniforms/recipes.js +53 -129
  24. package/dist/runtime/derivedUniforms/recipes.js.map +1 -1
  25. package/dist/runtime/derivedUniforms/records.d.ts +40 -0
  26. package/dist/runtime/derivedUniforms/records.d.ts.map +1 -0
  27. package/dist/runtime/derivedUniforms/records.js +151 -0
  28. package/dist/runtime/derivedUniforms/records.js.map +1 -0
  29. package/dist/runtime/derivedUniforms/registry.d.ts +33 -0
  30. package/dist/runtime/derivedUniforms/registry.d.ts.map +1 -0
  31. package/dist/runtime/derivedUniforms/registry.js +58 -0
  32. package/dist/runtime/derivedUniforms/registry.js.map +1 -0
  33. package/dist/runtime/derivedUniforms/rule.d.ts +26 -0
  34. package/dist/runtime/derivedUniforms/rule.d.ts.map +1 -0
  35. package/dist/runtime/derivedUniforms/rule.js +35 -0
  36. package/dist/runtime/derivedUniforms/rule.js.map +1 -0
  37. package/dist/runtime/derivedUniforms/sceneIntegration.d.ts +34 -33
  38. package/dist/runtime/derivedUniforms/sceneIntegration.d.ts.map +1 -1
  39. package/dist/runtime/derivedUniforms/sceneIntegration.js +80 -90
  40. package/dist/runtime/derivedUniforms/sceneIntegration.js.map +1 -1
  41. package/dist/runtime/heapAdapter.d.ts.map +1 -1
  42. package/dist/runtime/heapAdapter.js +9 -6
  43. package/dist/runtime/heapAdapter.js.map +1 -1
  44. package/dist/runtime/heapScene.d.ts.map +1 -1
  45. package/dist/runtime/heapScene.js +72 -27
  46. package/dist/runtime/heapScene.js.map +1 -1
  47. package/dist/runtime/hybridScene.js +1 -1
  48. package/dist/runtime/hybridScene.js.map +1 -1
  49. package/dist/runtime/index.d.ts +1 -0
  50. package/dist/runtime/index.d.ts.map +1 -1
  51. package/dist/runtime/index.js +2 -0
  52. package/dist/runtime/index.js.map +1 -1
  53. package/dist/runtime/renderTask.js +1 -1
  54. package/dist/runtime/renderTask.js.map +1 -1
  55. package/dist/runtime/runtime.js +1 -1
  56. package/dist/runtime/runtime.js.map +1 -1
  57. package/package.json +1 -1
  58. package/src/runtime/derivedUniforms/codegen.ts +477 -0
  59. package/src/runtime/derivedUniforms/dispatch.ts +135 -341
  60. package/src/runtime/derivedUniforms/flatten.ts +89 -0
  61. package/src/runtime/derivedUniforms/index.ts +50 -34
  62. package/src/runtime/derivedUniforms/marker.ts +91 -0
  63. package/src/runtime/derivedUniforms/recipes.ts +63 -155
  64. package/src/runtime/derivedUniforms/records.ts +158 -0
  65. package/src/runtime/derivedUniforms/registry.ts +77 -0
  66. package/src/runtime/derivedUniforms/rule.ts +59 -0
  67. package/src/runtime/derivedUniforms/sceneIntegration.ts +115 -149
  68. package/src/runtime/heapAdapter.ts +9 -4
  69. package/src/runtime/heapScene.ts +73 -29
  70. package/src/runtime/hybridScene.ts +1 -1
  71. package/src/runtime/index.ts +8 -0
  72. package/src/runtime/renderTask.ts +1 -1
  73. package/src/runtime/runtime.ts +1 -1
  74. package/dist/runtime/derivedUniforms/slotId.d.ts +0 -15
  75. package/dist/runtime/derivedUniforms/slotId.d.ts.map +0 -1
  76. package/dist/runtime/derivedUniforms/slotId.js +0 -30
  77. package/dist/runtime/derivedUniforms/slotId.js.map +0 -1
  78. package/dist/runtime/derivedUniforms/uberKernel.wgsl.d.ts +0 -13
  79. package/dist/runtime/derivedUniforms/uberKernel.wgsl.d.ts.map +0 -1
  80. package/dist/runtime/derivedUniforms/uberKernel.wgsl.js +0 -218
  81. package/dist/runtime/derivedUniforms/uberKernel.wgsl.js.map +0 -1
  82. package/src/runtime/derivedUniforms/slotId.ts +0 -35
  83. package/src/runtime/derivedUniforms/uberKernel.wgsl.ts +0 -220
@@ -1,6 +1,11 @@
1
- export { RecipeId, ALL_RECIPES, DERIVED_UNIFORM_NAMES, recipeIdByName, recipeName, recipeInputs, recipeInputCount, recipeOutput, type ConstituentRef, type RecipeOutput, } from "./recipes.js";
2
- export { ConstituentSlots, DF32_MAT4_BYTES, type SlotIndex, type PairedSlots, type DerivationRecord, type SubscribeFn, } from "./slots.js";
3
- export { DerivedUniformsDispatcher, DerivedUniformsPipeline, RecordsBuffer, uploadConstituentsRange, type DerivedUniformsResources, } from "./dispatch.js";
4
- export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, isDerivedUniformName, type RoTrafoInputs, type RoDerivedRequest, type RoRegistration, } from "./sceneIntegration.js";
5
- export { DERIVED_UBER_KERNEL_WGSL, } from "./uberKernel.wgsl.js";
1
+ export { type DerivedRule, type IRFragment, ruleFromIR, uniformRef, sameType, hashIR, isDerivedRule, } from "./rule.js";
2
+ export { derivedUniform, DerivedExpr, type DerivedScope, } from "./marker.js";
3
+ export { type RuleInput, flatten, inputsOf, } from "./flatten.js";
4
+ export { DerivedUniformRegistry, type RuleEntry, } from "./registry.js";
5
+ export { RecordsBuffer, SlotTag, makeHandle, handleTag, handlePayload, type RecordOwner, } from "./records.js";
6
+ export { buildUberKernel, type UberKernel, } from "./codegen.js";
7
+ export { DerivedUniformsDispatcher, uploadConstituentsRange, type DerivedUniformsResources, } from "./dispatch.js";
8
+ export { ConstituentSlots, DF32_MAT4_BYTES, type SlotIndex, type PairedSlots, type SubscribeFn, } from "./slots.js";
9
+ export { DerivedUniformsScene, type DerivedUniformsSceneOptions, registerRoDerivations, deregisterRoDerivations, type RoDerivedRequest, type RoRegistration, } from "./sceneIntegration.js";
10
+ export { STANDARD_DERIVED_RULES, STANDARD_TRAFO_LEAVES, isStandardDerivedName, } from "./recipes.js";
6
11
  //# sourceMappingURL=index.d.ts.map
@@ -1 +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"}
1
+ {"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"}
@@ -1,26 +1,31 @@
1
- // §7 derived-uniforms module — public surface.
1
+ // §7 derived-uniforms module — public surface (v2: content-keyed rule registry,
2
+ // chain flattening, codegen-emitted uber-kernel, one dispatch).
2
3
  //
3
- // Caller responsibilities (typically heapScene.ts):
4
+ // Caller responsibilities (heapScene.ts):
4
5
  //
5
- // 1. Construct one DerivedUniformsScene per heap scene, one
6
- // DerivedUniformsBucket per render bucket. The scene owns the
7
- // shared constituents storage buffer + dirty bitmask + pipeline.
6
+ // 1. Construct one DerivedUniformsScene per heap scene (owns the rule registry,
7
+ // the records buffer, the constituents heap + GPU buffer, the dispatcher).
8
8
  // 2. In the parent scene-object's `inputChanged(t, o)` router, call
9
- // `scene.routeInputChanged(o)`. Returns true iff o matched.
10
- // 3. In each RO's add path: `registerRoDerivations(scene, bucket, req)`
11
- // allocates constituent slots and pushes records into the bucket's
12
- // records buffer. In remove path: `deregisterRoDerivations(...)`.
13
- // 4. In the per-frame compute prep, inside the parent sceneObj's
14
- // `evaluateAlways(token, ...)` scope:
15
- // const dirty = scene.constituents.pullDirty(token);
9
+ // `scene.routeInputChanged(o)` returns true iff `o` is a tracked trafo aval.
10
+ // 3. Per RO add: `registerRoDerivations(scene, owner, req)` — flattens + registers
11
+ // each rule, resolves its input leaves to constituent / host slots, pushes one
12
+ // record per derived uniform. Per RO remove: `deregisterRoDerivations(scene, reg)`.
13
+ // 4. Per frame, inside the scene's `evaluateAlways(token, …)` scope:
14
+ // const dirty = scene.pullDirty(token); // re-subscribes on changed trafo avals
16
15
  // scene.uploadDirty(dirty);
17
- // for each bucket: bucket.dispatcher.encode(enc);
18
- // All steps are O(changed); on clean frames they no-op.
16
+ // scene.encode(enc); // one compute dispatch
17
+ // All O(changed); clean frames no-op.
19
18
  //
20
- // Identifying which uniform names are §7-owned: DERIVED_UNIFORM_NAMES.
21
- export { RecipeId, ALL_RECIPES, DERIVED_UNIFORM_NAMES, recipeIdByName, recipeName, recipeInputs, recipeInputCount, recipeOutput, } from "./recipes.js";
19
+ // The standard trafo recipes (ModelViewProjTrafo etc.) live in ./recipes as
20
+ // `DerivedRule` constants `STANDARD_DERIVED_RULES` / `isStandardDerivedName`.
21
+ export { ruleFromIR, uniformRef, sameType, hashIR, isDerivedRule, } from "./rule.js";
22
+ export { derivedUniform, DerivedExpr, } from "./marker.js";
23
+ export { flatten, inputsOf, } from "./flatten.js";
24
+ export { DerivedUniformRegistry, } from "./registry.js";
25
+ export { RecordsBuffer, SlotTag, makeHandle, handleTag, handlePayload, } from "./records.js";
26
+ export { buildUberKernel, } from "./codegen.js";
27
+ export { DerivedUniformsDispatcher, uploadConstituentsRange, } from "./dispatch.js";
22
28
  export { ConstituentSlots, DF32_MAT4_BYTES, } from "./slots.js";
23
- export { DerivedUniformsDispatcher, DerivedUniformsPipeline, RecordsBuffer, uploadConstituentsRange, } from "./dispatch.js";
24
- export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, isDerivedUniformName, } from "./sceneIntegration.js";
25
- export { DERIVED_UBER_KERNEL_WGSL, } from "./uberKernel.wgsl.js";
29
+ export { DerivedUniformsScene, registerRoDerivations, deregisterRoDerivations, } from "./sceneIntegration.js";
30
+ export { STANDARD_DERIVED_RULES, STANDARD_TRAFO_LEAVES, isStandardDerivedName, } from "./recipes.js";
26
31
  //# sourceMappingURL=index.js.map
@@ -1 +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"}
1
+ {"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"}
@@ -0,0 +1,32 @@
1
+ import type { Expr, Type } from "@aardworx/wombat.shader/ir";
2
+ import { type DerivedRule } from "./rule.js";
3
+ /** A traced expression in a `derivedUniform` builder. */
4
+ export declare class DerivedExpr {
5
+ readonly ir: Expr;
6
+ constructor(ir: Expr);
7
+ get type(): Type;
8
+ /** Matrix product `this · other` (also matrix·vector / vector·matrix by operand types). */
9
+ mul(other: DerivedExpr): DerivedExpr;
10
+ add(other: DerivedExpr): DerivedExpr;
11
+ sub(other: DerivedExpr): DerivedExpr;
12
+ neg(): DerivedExpr;
13
+ /** Inverse (of a constituent trafo this reads its stored backward half; otherwise unsupported in codegen). */
14
+ inverse(): DerivedExpr;
15
+ transpose(): DerivedExpr;
16
+ /** Upper-left 3×3 (mat → mat3). */
17
+ upperLeft3x3(): DerivedExpr;
18
+ /** This mat4 applied to the origin `(0,0,0,1)`, returning the resulting position (xyz). */
19
+ transformOrigin(): DerivedExpr;
20
+ /** vecN swizzle, e.g. `.swizzle("xyz")`. */
21
+ swizzle(comps: string): DerivedExpr;
22
+ }
23
+ /** The `u` passed to a `derivedUniform` builder. `u.<Name>` is a mat4 trafo leaf. */
24
+ export type DerivedScope = {
25
+ readonly [name: string]: DerivedExpr;
26
+ };
27
+ /**
28
+ * Define a derived uniform. `derivedUniform(u => u.ViewTrafo.mul(u.ModelTrafo))` makes a
29
+ * rule that slots in wherever a uniform value goes — see this module's header.
30
+ */
31
+ export declare function derivedUniform<T = unknown>(build: (u: DerivedScope) => DerivedExpr): DerivedRule<T>;
32
+ //# sourceMappingURL=marker.d.ts.map
@@ -0,0 +1 @@
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;AAcrE,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,4CAA4C;IAC5C,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW;CAIpC;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"}
@@ -0,0 +1,84 @@
1
+ // §7 v2 — `derivedUniform((u) => …)` author-facing marker.
2
+ //
3
+ // A uniform binding is either a *value* (an `aval` / constant) or a *rule*
4
+ // (`derivedUniform((u) => u.ViewTrafo.mul(u.ModelTrafo))`). A rule reads other
5
+ // uniforms — `u.<Name>` is a leaf, and is resolved per RenderObject at registration
6
+ // time (a `Trafo3d` aval ⇒ a df32 constituent slot; anything else ⇒ a host uniform).
7
+ //
8
+ // This builds the rule's IR by tracing: `u.<Name>` is a mat4 leaf (the trafo case —
9
+ // the vast majority of derived uniforms), and the `DerivedExpr` methods compose them
10
+ // (the result type follows from the ops, so `.upperLeft3x3()` yields a mat3 rule, etc.).
11
+ // For non-mat4-leaf rules use `ruleFromIR` with hand-built IR, or — once it lands — the
12
+ // build-time `derivedUniform(...)` vite marker, which reads leaf types from the program.
13
+ import { ruleFromIR, uniformRef } from "./rule.js";
14
+ const Tf32 = { kind: "Float", width: 32 };
15
+ const mat = (n) => ({ kind: "Matrix", element: Tf32, rows: n, cols: n });
16
+ const vec = (n) => ({ kind: "Vector", element: Tf32, dim: n });
17
+ function transposed(t) {
18
+ return t.kind === "Matrix" ? { kind: "Matrix", element: t.element, rows: t.cols, cols: t.rows } : t;
19
+ }
20
+ function constVec4(x, y, z, w) {
21
+ const c = (v) => ({ kind: "Const", type: Tf32, value: { kind: "Float", value: v } });
22
+ return { kind: "NewVector", components: [c(x), c(y), c(z), c(w)], type: vec(4) };
23
+ }
24
+ /** A traced expression in a `derivedUniform` builder. */
25
+ export class DerivedExpr {
26
+ ir;
27
+ constructor(ir) {
28
+ this.ir = ir;
29
+ }
30
+ get type() { return this.ir.type; }
31
+ /** Matrix product `this · other` (also matrix·vector / vector·matrix by operand types). */
32
+ mul(other) {
33
+ const a = this.ir.type, b = other.ir.type;
34
+ if (a.kind === "Matrix" && b.kind === "Matrix") {
35
+ return new DerivedExpr({ kind: "MulMatMat", lhs: this.ir, rhs: other.ir, type: { kind: "Matrix", element: a.element, rows: a.rows, cols: b.cols } });
36
+ }
37
+ if (a.kind === "Matrix" && b.kind === "Vector") {
38
+ return new DerivedExpr({ kind: "MulMatVec", lhs: this.ir, rhs: other.ir, type: { kind: "Vector", element: b.element, dim: a.rows } });
39
+ }
40
+ if (a.kind === "Vector" && b.kind === "Matrix") {
41
+ return new DerivedExpr({ kind: "MulVecMat", lhs: this.ir, rhs: other.ir, type: { kind: "Vector", element: a.element, dim: b.cols } });
42
+ }
43
+ return new DerivedExpr({ kind: "Mul", lhs: this.ir, rhs: other.ir, type: a.kind === "Float" ? b : a });
44
+ }
45
+ add(other) { return new DerivedExpr({ kind: "Add", lhs: this.ir, rhs: other.ir, type: this.ir.type }); }
46
+ sub(other) { return new DerivedExpr({ kind: "Sub", lhs: this.ir, rhs: other.ir, type: this.ir.type }); }
47
+ neg() { return new DerivedExpr({ kind: "Neg", value: this.ir, type: this.ir.type }); }
48
+ /** Inverse (of a constituent trafo this reads its stored backward half; otherwise unsupported in codegen). */
49
+ inverse() { return new DerivedExpr({ kind: "Inverse", value: this.ir, type: this.ir.type }); }
50
+ transpose() { return new DerivedExpr({ kind: "Transpose", value: this.ir, type: transposed(this.ir.type) }); }
51
+ /** Upper-left 3×3 (mat → mat3). */
52
+ upperLeft3x3() { return new DerivedExpr({ kind: "ConvertMatrix", value: this.ir, type: mat(3) }); }
53
+ /** This mat4 applied to the origin `(0,0,0,1)`, returning the resulting position (xyz). */
54
+ transformOrigin() {
55
+ const v4 = { kind: "MulMatVec", lhs: this.ir, rhs: constVec4(0, 0, 0, 1), type: vec(4) };
56
+ return new DerivedExpr({ kind: "VecSwizzle", value: v4, comps: ["x", "y", "z"], type: vec(3) });
57
+ }
58
+ /** vecN swizzle, e.g. `.swizzle("xyz")`. */
59
+ swizzle(comps) {
60
+ const c = comps.split("");
61
+ return new DerivedExpr({ kind: "VecSwizzle", value: this.ir, comps: c, type: c.length === 1 ? Tf32 : vec(c.length) });
62
+ }
63
+ }
64
+ function makeScope() {
65
+ return new Proxy({}, {
66
+ get(_t, key) {
67
+ if (typeof key !== "string")
68
+ throw new Error("derivedUniform: leaf names must be strings");
69
+ return new DerivedExpr(uniformRef(key, mat(4)));
70
+ },
71
+ });
72
+ }
73
+ /**
74
+ * Define a derived uniform. `derivedUniform(u => u.ViewTrafo.mul(u.ModelTrafo))` makes a
75
+ * rule that slots in wherever a uniform value goes — see this module's header.
76
+ */
77
+ export function derivedUniform(build) {
78
+ const result = build(makeScope());
79
+ if (!(result instanceof DerivedExpr)) {
80
+ throw new Error("derivedUniform: the builder must return a derived expression, e.g. u.ViewTrafo.mul(u.ModelTrafo)");
81
+ }
82
+ return ruleFromIR(result.ir, result.ir.type);
83
+ }
84
+ //# sourceMappingURL=marker.js.map
@@ -0,0 +1 @@
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,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;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,4CAA4C;IAC5C,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;CACF;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"}
@@ -1,42 +1,7 @@
1
- /** Recipe IDs. Numeric values are stable — the kernel switches on them. */
2
- export declare const enum RecipeId {
3
- /** Model.fwd f32 mat4. */
4
- ModelTrafo = 0,
5
- /** Model.bwd f32 mat4. */
6
- ModelTrafoInv = 1,
7
- /** (Model.bwd)ᵀ upper-3×3 → f32 mat3. */
8
- NormalMatrix = 2,
9
- /** View.fwd · Model.fwd → f32 mat4. */
10
- ModelViewTrafo = 3,
11
- /** Model.bwd · View.bwd → f32 mat4. */
12
- ModelViewTrafoInv = 4,
13
- /** Proj.fwd · View.fwd · Model.fwd → f32 mat4. */
14
- ModelViewProjTrafo = 5,
15
- /** Model.bwd · View.bwd · Proj.bwd → f32 mat4. */
16
- ModelViewProjTrafoInv = 6,
17
- /** View.fwd → f32 mat4. */
18
- ViewTrafo = 7,
19
- /** View.bwd → f32 mat4. */
20
- ViewTrafoInv = 8,
21
- /** Proj.fwd · View.fwd → f32 mat4. */
22
- ViewProjTrafo = 9,
23
- /** View.bwd · Proj.bwd → f32 mat4. */
24
- ViewProjTrafoInv = 10,
25
- /** Proj.fwd → f32 mat4. */
26
- ProjTrafo = 11,
27
- /** Proj.bwd → f32 mat4. */
28
- ProjTrafoInv = 12
29
- }
30
- export declare function recipeInputCount(id: RecipeId): 1 | 2 | 3;
31
- /** Output shape — drives drawHeader byte allocation. */
32
- export type RecipeOutput = "mat4" | "mat3";
33
- export declare function recipeOutput(id: RecipeId): RecipeOutput;
34
- /** Which side (forward/backward) of which Trafo3d each input slot draws from. */
35
- export type ConstituentRef = "Model.fwd" | "Model.bwd" | "View.fwd" | "View.bwd" | "Proj.fwd" | "Proj.bwd";
36
- export declare function recipeInputs(id: RecipeId): readonly ConstituentRef[];
37
- /** All recipe IDs in switch order. */
38
- export declare const ALL_RECIPES: readonly RecipeId[];
39
- export declare const DERIVED_UNIFORM_NAMES: ReadonlySet<string>;
40
- export declare function recipeIdByName(name: string): RecipeId | undefined;
41
- export declare function recipeName(id: RecipeId): string;
1
+ import { type DerivedRule } from "./rule.js";
2
+ /** Standard derived rules, keyed by the drawHeader uniform name each produces. */
3
+ export declare const STANDARD_DERIVED_RULES: ReadonlyMap<string, DerivedRule>;
4
+ /** Leaf name → the RO uniform (`spec.inputs[…]`) that supplies its `aval<Trafo3d>`. */
5
+ export declare const STANDARD_TRAFO_LEAVES: ReadonlyMap<string, string>;
6
+ export declare function isStandardDerivedName(name: string): boolean;
42
7
  //# sourceMappingURL=recipes.d.ts.map
@@ -1 +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"}
1
+ {"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"}
@@ -1,134 +1,58 @@
1
- // §7 derived-uniform recipe table leaf-only flavour.
1
+ // §7 v2 the standard trafo recipes, as DerivedRule constants.
2
2
  //
3
- // Every recipe is a self-contained leaf: reads constituents directly,
4
- // computes inline (one or two df32 muls + collapse), writes the final
5
- // f32 mat4/mat3 to the main heap drawHeader. No intermediates, no
6
- // layering, no dependents graph.
3
+ // These replace the hardcoded RecipeId table. Each rule reads BASE-trafo leaves
4
+ // (`Model` / `View` / `Proj` the raw `aval<Trafo3d>`s the RO binds as
5
+ // `ModelTrafo` / `ViewTrafo` / `ProjTrafo` uniforms) and produces the derived
6
+ // uniform the shader reads (`ModelViewProjTrafo`, `NormalMatrix`, …). A leaf
7
+ // wrapped in `Inverse(...)` selects that trafo's stored backward half (free).
7
8
  //
8
- // Two consumers of the same df32 product (e.g. ModelViewTrafo and
9
- // ModelViewProjTrafo for the same RO) recompute Model·View twice
10
- // trivial vs the encode-time savings of one flat dispatch.
9
+ // `Inverse`-of-a-product (e.g. `ModelViewProjTrafoInv`) is written as the product
10
+ // of the inverted factors in reverse order — `(P·V·M)⁻¹ = M⁻¹·V⁻¹·P⁻¹` so it
11
+ // stays a constituent matmul chain the codegen recognizes.
11
12
  //
12
- // All df32 math runs through the verified primitives in
13
- // uberKernel.wgsl.ts; the final consumer-facing values are f32.
14
- /** Recipe IDs. Numeric values are stable — the kernel switches on them. */
15
- export var RecipeId;
16
- (function (RecipeId) {
17
- /** Model.fwd f32 mat4. */
18
- RecipeId[RecipeId["ModelTrafo"] = 0] = "ModelTrafo";
19
- /** Model.bwd f32 mat4. */
20
- RecipeId[RecipeId["ModelTrafoInv"] = 1] = "ModelTrafoInv";
21
- /** (Model.bwd)ᵀ upper-3×3 f32 mat3. */
22
- RecipeId[RecipeId["NormalMatrix"] = 2] = "NormalMatrix";
23
- /** View.fwd · Model.fwd f32 mat4. */
24
- RecipeId[RecipeId["ModelViewTrafo"] = 3] = "ModelViewTrafo";
25
- /** Model.bwd · View.bwd f32 mat4. */
26
- RecipeId[RecipeId["ModelViewTrafoInv"] = 4] = "ModelViewTrafoInv";
27
- /** Proj.fwd · View.fwd · Model.fwd → f32 mat4. */
28
- RecipeId[RecipeId["ModelViewProjTrafo"] = 5] = "ModelViewProjTrafo";
29
- /** Model.bwd · View.bwd · Proj.bwd f32 mat4. */
30
- RecipeId[RecipeId["ModelViewProjTrafoInv"] = 6] = "ModelViewProjTrafoInv";
31
- /** View.fwd f32 mat4. */
32
- RecipeId[RecipeId["ViewTrafo"] = 7] = "ViewTrafo";
33
- /** View.bwd → f32 mat4. */
34
- RecipeId[RecipeId["ViewTrafoInv"] = 8] = "ViewTrafoInv";
35
- /** Proj.fwd · View.fwd → f32 mat4. */
36
- RecipeId[RecipeId["ViewProjTrafo"] = 9] = "ViewProjTrafo";
37
- /** View.bwd · Proj.bwd → f32 mat4. */
38
- RecipeId[RecipeId["ViewProjTrafoInv"] = 10] = "ViewProjTrafoInv";
39
- /** Proj.fwd → f32 mat4. */
40
- RecipeId[RecipeId["ProjTrafo"] = 11] = "ProjTrafo";
41
- /** Proj.bwd f32 mat4. */
42
- RecipeId[RecipeId["ProjTrafoInv"] = 12] = "ProjTrafoInv";
43
- })(RecipeId || (RecipeId = {}));
44
- /** Number of constituent inputs each recipe consumes (1, 2, or 3). */
45
- const INPUT_COUNT = {
46
- [RecipeId.ModelTrafo]: 1,
47
- [RecipeId.ModelTrafoInv]: 1,
48
- [RecipeId.NormalMatrix]: 1,
49
- [RecipeId.ModelViewTrafo]: 2,
50
- [RecipeId.ModelViewTrafoInv]: 2,
51
- [RecipeId.ModelViewProjTrafo]: 3,
52
- [RecipeId.ModelViewProjTrafoInv]: 3,
53
- [RecipeId.ViewTrafo]: 1,
54
- [RecipeId.ViewTrafoInv]: 1,
55
- [RecipeId.ViewProjTrafo]: 2,
56
- [RecipeId.ViewProjTrafoInv]: 2,
57
- [RecipeId.ProjTrafo]: 1,
58
- [RecipeId.ProjTrafoInv]: 1,
59
- };
60
- export function recipeInputCount(id) {
61
- return INPUT_COUNT[id];
62
- }
63
- const OUTPUT = {
64
- [RecipeId.ModelTrafo]: "mat4",
65
- [RecipeId.ModelTrafoInv]: "mat4",
66
- [RecipeId.NormalMatrix]: "mat3",
67
- [RecipeId.ModelViewTrafo]: "mat4",
68
- [RecipeId.ModelViewTrafoInv]: "mat4",
69
- [RecipeId.ModelViewProjTrafo]: "mat4",
70
- [RecipeId.ModelViewProjTrafoInv]: "mat4",
71
- [RecipeId.ViewTrafo]: "mat4",
72
- [RecipeId.ViewTrafoInv]: "mat4",
73
- [RecipeId.ViewProjTrafo]: "mat4",
74
- [RecipeId.ViewProjTrafoInv]: "mat4",
75
- [RecipeId.ProjTrafo]: "mat4",
76
- [RecipeId.ProjTrafoInv]: "mat4",
77
- };
78
- export function recipeOutput(id) {
79
- return OUTPUT[id];
80
- }
81
- const INPUTS = {
82
- [RecipeId.ModelTrafo]: ["Model.fwd"],
83
- [RecipeId.ModelTrafoInv]: ["Model.bwd"],
84
- [RecipeId.NormalMatrix]: ["Model.bwd"],
85
- // df_mul args are ordered (outer, inner) so the math product
86
- // matches Aardvark's `View.mul(Model).forward = View.fwd · Model.fwd`.
87
- [RecipeId.ModelViewTrafo]: ["View.fwd", "Model.fwd"],
88
- [RecipeId.ModelViewTrafoInv]: ["Model.bwd", "View.bwd"],
89
- [RecipeId.ModelViewProjTrafo]: ["Proj.fwd", "View.fwd", "Model.fwd"],
90
- [RecipeId.ModelViewProjTrafoInv]: ["Model.bwd", "View.bwd", "Proj.bwd"],
91
- [RecipeId.ViewTrafo]: ["View.fwd"],
92
- [RecipeId.ViewTrafoInv]: ["View.bwd"],
93
- [RecipeId.ViewProjTrafo]: ["Proj.fwd", "View.fwd"],
94
- [RecipeId.ViewProjTrafoInv]: ["View.bwd", "Proj.bwd"],
95
- [RecipeId.ProjTrafo]: ["Proj.fwd"],
96
- [RecipeId.ProjTrafoInv]: ["Proj.bwd"],
97
- };
98
- export function recipeInputs(id) {
99
- return INPUTS[id];
100
- }
101
- /** Public uniform name (one per recipe). */
102
- const NAME = {
103
- [RecipeId.ModelTrafo]: "ModelTrafo",
104
- [RecipeId.ModelTrafoInv]: "ModelTrafoInv",
105
- [RecipeId.NormalMatrix]: "NormalMatrix",
106
- [RecipeId.ModelViewTrafo]: "ModelViewTrafo",
107
- [RecipeId.ModelViewTrafoInv]: "ModelViewTrafoInv",
108
- [RecipeId.ModelViewProjTrafo]: "ModelViewProjTrafo",
109
- [RecipeId.ModelViewProjTrafoInv]: "ModelViewProjTrafoInv",
110
- [RecipeId.ViewTrafo]: "ViewTrafo",
111
- [RecipeId.ViewTrafoInv]: "ViewTrafoInv",
112
- [RecipeId.ViewProjTrafo]: "ViewProjTrafo",
113
- [RecipeId.ViewProjTrafoInv]: "ViewProjTrafoInv",
114
- [RecipeId.ProjTrafo]: "ProjTrafo",
115
- [RecipeId.ProjTrafoInv]: "ProjTrafoInv",
116
- };
117
- /** All recipe IDs in switch order. */
118
- export const ALL_RECIPES = [
119
- RecipeId.ModelTrafo, RecipeId.ModelTrafoInv, RecipeId.NormalMatrix,
120
- RecipeId.ModelViewTrafo, RecipeId.ModelViewTrafoInv,
121
- RecipeId.ModelViewProjTrafo, RecipeId.ModelViewProjTrafoInv,
122
- RecipeId.ViewTrafo, RecipeId.ViewTrafoInv,
123
- RecipeId.ViewProjTrafo, RecipeId.ViewProjTrafoInv,
124
- RecipeId.ProjTrafo, RecipeId.ProjTrafoInv,
125
- ];
126
- const BY_NAME = new Map(ALL_RECIPES.map(id => [NAME[id], id]));
127
- export const DERIVED_UNIFORM_NAMES = new Set(ALL_RECIPES.map(id => NAME[id]));
128
- export function recipeIdByName(name) {
129
- return BY_NAME.get(name);
130
- }
131
- export function recipeName(id) {
132
- return NAME[id];
13
+ // `NormalMatrix` is `(Model⁻¹)ᵀ` truncated to its upper-3×3 declared as a mat3
14
+ // output; the codegen's normal-matrix arm does the transpose + truncation.
15
+ import { ruleFromIR, uniformRef } from "./rule.js";
16
+ const Tf32 = { kind: "Float", width: 32 };
17
+ const Tmat4 = { kind: "Matrix", element: Tf32, rows: 4, cols: 4 };
18
+ const Tmat3 = { kind: "Matrix", element: Tf32, rows: 3, cols: 3 };
19
+ const mat4 = (name) => uniformRef(name, Tmat4);
20
+ const inv = (v) => ({ kind: "Inverse", value: v, type: Tmat4 });
21
+ const mul = (lhs, rhs) => ({ kind: "MulMatMat", lhs, rhs, type: Tmat4 });
22
+ /** Left-fold `A·B·C·…` (multiplication order). */
23
+ const chain = (...fs) => fs.reduce((acc, f) => mul(acc, f));
24
+ /** mat4 mat3 truncation (upper-left 3×3). */
25
+ const upper3 = (v) => ({ kind: "ConvertMatrix", value: v, type: Tmat3 });
26
+ const transpose = (v) => ({ kind: "Transpose", value: v, type: Tmat4 });
27
+ const Model = mat4("Model");
28
+ const View = mat4("View");
29
+ const Proj = mat4("Proj");
30
+ /** Standard derived rules, keyed by the drawHeader uniform name each produces. */
31
+ export const STANDARD_DERIVED_RULES = new Map([
32
+ // Trafo passthroughs (collapse the df32 fwd/bwd half to an f32 mat4).
33
+ ["ModelTrafo", ruleFromIR(Model)],
34
+ ["ModelTrafoInv", ruleFromIR(inv(Model))],
35
+ ["ViewTrafo", ruleFromIR(View)],
36
+ ["ViewTrafoInv", ruleFromIR(inv(View))],
37
+ ["ProjTrafo", ruleFromIR(Proj)],
38
+ ["ProjTrafoInv", ruleFromIR(inv(Proj))],
39
+ // Composites. `mul(a,b)` matrix product `a · b`.
40
+ ["ModelViewTrafo", ruleFromIR(chain(View, Model))],
41
+ ["ModelViewTrafoInv", ruleFromIR(chain(inv(Model), inv(View)))],
42
+ ["ModelViewProjTrafo", ruleFromIR(chain(Proj, View, Model))],
43
+ ["ModelViewProjTrafoInv", ruleFromIR(chain(inv(Model), inv(View), inv(Proj)))],
44
+ ["ViewProjTrafo", ruleFromIR(chain(Proj, View))],
45
+ ["ViewProjTrafoInv", ruleFromIR(chain(inv(View), inv(Proj)))],
46
+ // NormalMatrix = (Model⁻¹)ᵀ, upper-3×3.
47
+ ["NormalMatrix", ruleFromIR(upper3(transpose(inv(Model))), Tmat3)],
48
+ ]);
49
+ /** Leaf name → the RO uniform (`spec.inputs[]`) that supplies its `aval<Trafo3d>`. */
50
+ export const STANDARD_TRAFO_LEAVES = new Map([
51
+ ["Model", "ModelTrafo"],
52
+ ["View", "ViewTrafo"],
53
+ ["Proj", "ProjTrafo"],
54
+ ]);
55
+ export function isStandardDerivedName(name) {
56
+ return STANDARD_DERIVED_RULES.has(name);
133
57
  }
134
58
  //# sourceMappingURL=recipes.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"recipes.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/recipes.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,kEAAkE;AAClE,iCAAiC;AACjC,EAAE;AACF,kEAAkE;AAClE,mEAAmE;AACnE,2DAA2D;AAC3D,EAAE;AACF,wDAAwD;AACxD,gEAAgE;AAEhE,2EAA2E;AAC3E,MAAM,CAAN,IAAkB,QA6BjB;AA7BD,WAAkB,QAAQ;IACxB,4BAA4B;IAC5B,mDAAyB,CAAA;IACzB,4BAA4B;IAC5B,yDAAyB,CAAA;IACzB,yCAAyC;IACzC,uDAAyB,CAAA;IAEzB,uCAAuC;IACvC,2DAAyB,CAAA;IACzB,uCAAuC;IACvC,iEAAyB,CAAA;IACzB,kDAAkD;IAClD,mEAAyB,CAAA;IACzB,kDAAkD;IAClD,yEAAyB,CAAA;IAEzB,2BAA2B;IAC3B,iDAAyB,CAAA;IACzB,2BAA2B;IAC3B,uDAAyB,CAAA;IACzB,sCAAsC;IACtC,yDAAyB,CAAA;IACzB,sCAAsC;IACtC,gEAA0B,CAAA;IAC1B,2BAA2B;IAC3B,kDAA0B,CAAA;IAC1B,2BAA2B;IAC3B,wDAA0B,CAAA;AAC5B,CAAC,EA7BiB,QAAQ,KAAR,QAAQ,QA6BzB;AAED,sEAAsE;AACtE,MAAM,WAAW,GAAgC;IAC/C,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAa,CAAC;IACnC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,CAAC;IACnC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC;IACnC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAS,CAAC;IACnC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAM,CAAC;IACnC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAK,CAAC;IACnC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;IACnC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,CAAC;IACnC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC;IACnC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,CAAC;IACnC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAO,CAAC;IACnC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,CAAC;IACnC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC;CACpC,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,EAAY;IAC3C,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC;AAKD,MAAM,MAAM,GAAmC;IAC7C,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAa,MAAM;IACxC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,MAAM;IACxC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,MAAM;IACxC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAS,MAAM;IACxC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAM,MAAM;IACxC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAK,MAAM;IACxC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM;IACxC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,MAAM;IACxC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,MAAM;IACxC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,MAAM;IACxC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAO,MAAM;IACxC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,MAAM;IACxC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,MAAM;CACzC,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,EAAY;IACvC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC;AACpB,CAAC;AAQD,MAAM,MAAM,GAAgD;IAC1D,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAa,CAAC,WAAW,CAAC;IAC/C,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,CAAC,WAAW,CAAC;IAC/C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC,WAAW,CAAC;IAC/C,6DAA6D;IAC7D,uEAAuE;IACvE,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAS,CAAC,UAAU,EAAG,WAAW,CAAC;IAC5D,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAM,CAAC,WAAW,EAAE,UAAU,CAAC;IAC3D,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAK,CAAC,UAAU,EAAG,UAAU,EAAE,WAAW,CAAC;IACxE,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC;IACvE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,CAAC,UAAU,CAAC;IAC9C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC,UAAU,CAAC;IAC9C,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,CAAC,UAAU,EAAG,UAAU,CAAC;IAC3D,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAO,CAAC,UAAU,EAAG,UAAU,CAAC;IAC3D,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,CAAC,UAAU,CAAC;IAC9C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,CAAC,UAAU,CAAC;CAC/C,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,EAAY;IACvC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC;AACpB,CAAC;AAED,4CAA4C;AAC5C,MAAM,IAAI,GAA6B;IACrC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAa,YAAY;IAC9C,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,eAAe;IACjD,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,cAAc;IAChD,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAS,gBAAgB;IAClD,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAM,mBAAmB;IACrD,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAK,oBAAoB;IACtD,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,uBAAuB;IACzD,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,WAAW;IAC7C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,cAAc;IAChD,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAU,eAAe;IACjD,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAO,kBAAkB;IACpD,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAc,WAAW;IAC7C,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAW,cAAc;CACjD,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,WAAW,GAAwB;IAC9C,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,YAAY;IAClE,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,iBAAiB;IACnD,QAAQ,CAAC,kBAAkB,EAAE,QAAQ,CAAC,qBAAqB;IAC3D,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,YAAY;IACzC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,gBAAgB;IACjD,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,YAAY;CAC1C,CAAC;AAEF,MAAM,OAAO,GAAkC,IAAI,GAAG,CACpD,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAU,CAAC,CAC/C,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAChC,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE3C,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY;IACrC,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC"}
1
+ {"version":3,"file":"recipes.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/recipes.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,EAAE;AACF,gFAAgF;AAChF,wEAAwE;AACxE,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,2DAA2D;AAC3D,EAAE;AACF,iFAAiF;AACjF,2EAA2E;AAG3E,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,KAAK,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxE,MAAM,KAAK,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAExE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7D,MAAM,GAAG,GAAG,CAAC,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5E,MAAM,GAAG,GAAG,CAAC,GAAS,EAAE,GAAS,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3F,kDAAkD;AAClD,MAAM,KAAK,GAAG,CAAC,GAAG,EAAU,EAAQ,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1E,+CAA+C;AAC/C,MAAM,MAAM,GAAG,CAAC,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AACrF,MAAM,SAAS,GAAG,CAAC,CAAO,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpF,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;AAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAE1B,kFAAkF;AAClF,MAAM,CAAC,MAAM,sBAAsB,GAAqC,IAAI,GAAG,CAAsB;IACnG,sEAAsE;IACtE,CAAC,YAAY,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,eAAe,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACzC,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,CAAC,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAEvC,mDAAmD;IACnD,CAAC,gBAAgB,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClD,CAAC,mBAAmB,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,oBAAoB,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5D,CAAC,uBAAuB,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,eAAe,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC,kBAAkB,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE7D,wCAAwC;IACxC,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;CACnE,CAAC,CAAC;AAEH,uFAAuF;AACvF,MAAM,CAAC,MAAM,qBAAqB,GAAgC,IAAI,GAAG,CAAC;IACxE,CAAC,OAAO,EAAE,YAAY,CAAC;IACvB,CAAC,MAAM,EAAE,WAAW,CAAC;IACrB,CAAC,MAAM,EAAE,WAAW,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC"}
@@ -0,0 +1,40 @@
1
+ /** Tagged-handle source bindings (top 3 bits of an in_slot / out_slot word). */
2
+ export declare const enum SlotTag {
3
+ /** Constituent slot — a Trafo3d half in df32 storage. Payload = slot index. */
4
+ Constituent = 0,
5
+ /** A host uniform on the same RO — payload = its data byte offset in the main heap. Also used for the output.
6
+ * There is no separate "global" tag: whether a uniform is global is a per-RO fact (the sg can override it
7
+ * anywhere), so anything that isn't a constituent trafo resolves to this; a uniform that's the same on every
8
+ * RO is the same aval ⇒ the UniformPool interns it to one heap slot anyway. */
9
+ HostHeap = 1
10
+ }
11
+ export declare function makeHandle(tag: SlotTag, payload: number): number;
12
+ export declare function handleTag(h: number): SlotTag;
13
+ export declare function handlePayload(h: number): number;
14
+ /** Owner key — typically the RenderObject (or any stable object). */
15
+ export type RecordOwner = object;
16
+ export declare class RecordsBuffer {
17
+ private buf;
18
+ private owners;
19
+ private readonly byOwner;
20
+ private strideU32;
21
+ private count;
22
+ /** Bumps whenever the byte layout changes shape (stride growth) so the dispatcher recompiles. */
23
+ layoutVersion: number;
24
+ /** Bumps on every mutation (add / remove / stride growth) so the dispatcher knows to re-upload. */
25
+ generation: number;
26
+ constructor(initialCapacityRecords?: number);
27
+ get recordCount(): number;
28
+ get strideWords(): number;
29
+ get strideBytes(): number;
30
+ /** The packed record data, exactly `recordCount * strideWords` long. Upload this. */
31
+ get data(): Uint32Array;
32
+ /** Append a record. Returns its index. `inSlots` length may exceed the current stride (triggers growth). */
33
+ add(owner: RecordOwner, ruleId: number, outSlot: number, inSlots: readonly number[]): number;
34
+ /** Remove every record owned by `owner` (swap-remove against the tail). */
35
+ removeAllForOwner(owner: RecordOwner): void;
36
+ private removeAt;
37
+ private ensureCapacity;
38
+ private growStride;
39
+ }
40
+ //# sourceMappingURL=records.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/records.ts"],"names":[],"mappings":"AAcA,gFAAgF;AAChF,0BAAkB,OAAO;IACvB,+EAA+E;IAC/E,WAAW,IAAI;IACf;;;oFAGgF;IAChF,QAAQ,IAAI;CAEb;AAKD,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAKhE;AACD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAE5C;AACD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,qEAAqE;AACrE,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAIjC,qBAAa,aAAa;IACxB,OAAO,CAAC,GAAG,CAAc;IACzB,OAAO,CAAC,MAAM,CAAmC;IACjD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAuC;IAC/D,OAAO,CAAC,SAAS,CAAkB;IACnC,OAAO,CAAC,KAAK,CAAK;IAClB,iGAAiG;IACjG,aAAa,SAAK;IAClB,mGAAmG;IACnG,UAAU,SAAK;gBAEH,sBAAsB,SAAM;IAIxC,IAAI,WAAW,IAAI,MAAM,CAExB;IACD,IAAI,WAAW,IAAI,MAAM,CAExB;IACD,IAAI,WAAW,IAAI,MAAM,CAExB;IACD,qFAAqF;IACrF,IAAI,IAAI,IAAI,WAAW,CAEtB;IAED,4GAA4G;IAC5G,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAqB5F,2EAA2E;IAC3E,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI;IAc3C,OAAO,CAAC,QAAQ;IAoBhB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,UAAU;CAcnB"}