@aardworx/wombat.rendering 0.19.9 → 0.19.11

package/dist/runtime/derivedUniforms/cpuEval.js

@@ -0,0 +1,293 @@
+// CPU interpreter for derived-uniform rule IR (a wombat.shader `Expr`).
+//
+// Evaluates a `derivedUniform(u => …)` rule in DOUBLE precision (M44d / V3d /
+// …) — no df32 dual-float trick, no GPU constituent slots. The heap path
+// compiles rules into a §7 GPU compute pass (f32, df32 for the inverse trick);
+// here we just interpret the IR with f64 host math (`M44d.inverse()` is exact
+// enough that the backward-storage trick is unnecessary), and `writeField`
+// narrows the result to f32 at pack time.
+//
+// Used by the legacy per-RO uniform path so derived uniforms work on ROs that
+// aren't heap-eligible (a storage buffer, 2+ textures, …). The evaluator is a
+// standalone `Expr → value` function so other CPU rule paths can reuse it.
+import { V2d, V3d, V4d, M22d, M33d, M44d } from "@aardworx/wombat.base";
+// ── runtime classification ───────────────────────────────────────────────
+function isVec(v) {
+    return v instanceof V2d || v instanceof V3d || v instanceof V4d;
+}
+function isMat(v) {
+    return v instanceof M22d || v instanceof M33d || v instanceof M44d;
+}
+function data(v) { return v._data; }
+function num(v) {
+    if (typeof v === "number")
+        return v;
+    if (typeof v === "boolean")
+        return v ? 1 : 0;
+    throw new Error("derived eval: expected scalar, got " + describe(v));
+}
+function describe(v) {
+    if (isVec(v))
+        return "vec" + data(v).length;
+    if (isMat(v))
+        return "mat";
+    return typeof v;
+}
+function vecOf(d) {
+    switch (d.length) {
+        case 2: return new V2d(d[0], d[1]);
+        case 3: return new V3d(d[0], d[1], d[2]);
+        case 4: return new V4d(d[0], d[1], d[2], d[3]);
+        default: throw new Error("derived eval: bad vector arity " + d.length);
+    }
+}
+// ── leaf coercion (by the IR leaf type) ──────────────────────────────────
+function toM44(raw) {
+    if (raw instanceof M44d)
+        return raw;
+    const o = raw;
+    if (o && o.forward !== undefined)
+        return toM44(o.forward); // Trafo3d → forward
+    if (o && o._data !== undefined && o._data.length >= 16)
+        return M44d.fromArray(o._data); // M44f
+    throw new Error("derived eval: leaf is not a mat4: " + describe(raw));
+}
+function upperLeft3(m) {
+    const d = data(m); // row-major r*4+c
+    return M33d.fromArray([d[0], d[1], d[2], d[4], d[5], d[6], d[8], d[9], d[10]]);
+}
+function toM33(raw) {
+    if (raw instanceof M33d)
+        return raw;
+    const o = raw;
+    if (raw instanceof M44d)
+        return upperLeft3(raw);
+    if (o && o.forward !== undefined)
+        return upperLeft3(toM44(o.forward));
+    if (o && o._data !== undefined && o._data.length === 9)
+        return M33d.fromArray(o._data);
+    if (o && o._data !== undefined && o._data.length >= 16)
+        return upperLeft3(toM44(raw));
+    throw new Error("derived eval: leaf is not a mat3: " + describe(raw));
+}
+function toM22(raw) {
+    if (raw instanceof M22d)
+        return raw;
+    const o = raw;
+    if (o && o._data !== undefined && o._data.length === 4)
+        return M22d.fromArray(o._data);
+    throw new Error("derived eval: leaf is not a mat2: " + describe(raw));
+}
+function toVec(raw, n) {
+    if (isVec(raw))
+        return raw;
+    const o = raw;
+    if (o && o._data !== undefined) {
+        const d = o._data;
+        return vecOf(n === 2 ? [d[0], d[1]] : n === 3 ? [d[0], d[1], d[2]] : [d[0], d[1], d[2], d[3]]);
+    }
+    throw new Error("derived eval: leaf is not a vec" + n + ": " + describe(raw));
+}
+function coerce(raw, t) {
+    switch (t.kind) {
+        case "Matrix": return t.rows === 4 ? toM44(raw) : t.rows === 3 ? toM33(raw) : toM22(raw);
+        case "Vector": return toVec(raw, t.dim);
+        case "Float": return Number(raw);
+        case "Int": return Math.trunc(Number(raw));
+        case "Bool": return Boolean(raw);
+        default: throw new Error("derived eval: unsupported leaf type " + t.kind);
+    }
+}
+// ── arithmetic over scalar / vector / matrix ─────────────────────────────
+function negate(x) {
+    if (typeof x === "number")
+        return -x;
+    if (isVec(x) || isMat(x))
+        return remap(x, (a) => -a);
+    throw new Error("derived eval: cannot negate " + describe(x));
+}
+/** Map a vector/matrix's components through `f`, returning the same shape. */
+function remap(v, f) {
+    const d = data(v);
+    const out = new Array(d.length);
+    for (let i = 0; i < d.length; i++)
+        out[i] = f(d[i]);
+    return isMat(v) ? matOf(out) : vecOf(out);
+}
+function matOf(d) {
+    switch (d.length) {
+        case 4: return M22d.fromArray(d);
+        case 9: return M33d.fromArray(d);
+        case 16: return M44d.fromArray(d);
+        default: throw new Error("derived eval: bad matrix arity " + d.length);
+    }
+}
+/** Element-wise binary op, broadcasting a scalar against a vector/matrix. */
+function elementwise(a, b, f) {
+    if (typeof a === "number" && typeof b === "number")
+        return f(a, b);
+    if (isVec(a) || isMat(a)) {
+        const da = data(a);
+        const out = new Array(da.length);
+        if (typeof b === "number") {
+            for (let i = 0; i < da.length; i++)
+                out[i] = f(da[i], b);
+        }
+        else {
+            const db = data(b);
+            for (let i = 0; i < da.length; i++)
+                out[i] = f(da[i], db[i]);
+        }
+        return isMat(a) ? matOf(out) : vecOf(out);
+    }
+    if (typeof a === "number" && (isVec(b) || isMat(b))) {
+        const db = data(b);
+        const out = new Array(db.length);
+        for (let i = 0; i < db.length; i++)
+            out[i] = f(a, db[i]);
+        return isMat(b) ? matOf(out) : vecOf(out);
+    }
+    throw new Error(`derived eval: cannot combine ${describe(a)} and ${describe(b)}`);
+}
+/** `Mul` node — scalar·scalar, scalar·(vec|mat) broadcast, or component-wise
+ *  vec·vec (mat·mat / mat·vec / vec·mat have their own node kinds). */
+function mulNode(a, b) {
+    if (typeof a === "number" && isMat(b))
+        return b.mul(a);
+    if (typeof b === "number" && isMat(a))
+        return a.mul(b);
+    return elementwise(a, b, (x, y) => x * y);
+}
+function vlen(v) {
+    if (typeof v === "number")
+        return Math.abs(v);
+    const d = data(v);
+    let s = 0;
+    for (let i = 0; i < d.length; i++)
+        s += d[i] * d[i];
+    return Math.sqrt(s);
+}
+function dot(a, b) {
+    const da = data(a), db = data(b);
+    let s = 0;
+    for (let i = 0; i < da.length; i++)
+        s += da[i] * db[i];
+    return s;
+}
+function normalize(v) {
+    const len = vlen(v);
+    return len === 0 ? v : remap(v, (x) => x / len);
+}
+function swizzle(v, comps) {
+    const d = data(v);
+    const idx = (c) => ({ x: 0, y: 1, z: 2, w: 3 }[c] ?? 0);
+    if (comps.length === 1)
+        return d[idx(comps[0])];
+    return vecOf(comps.map((c) => d[idx(c)]));
+}
+function convertMatrix(v, t) {
+    if (t.kind === "Matrix" && t.rows === 3 && v instanceof M44d)
+        return upperLeft3(v);
+    if (isMat(v))
+        return v; // identity-ish convert
+    throw new Error("derived eval: ConvertMatrix on " + describe(v));
+}
+// ── intrinsics (vec-componentwise where natural) ─────────────────────────
+const UNARY = {
+    sin: Math.sin, cos: Math.cos, tan: Math.tan, abs: Math.abs, floor: Math.floor,
+    ceil: Math.ceil, sqrt: Math.sqrt, exp: Math.exp, log: Math.log,
+    exp2: (x) => 2 ** x, log2: Math.log2, sign: Math.sign, fract: (x) => x - Math.floor(x),
+};
+const BINARY = {
+    min: Math.min, max: Math.max, pow: (x, y) => x ** y, atan2: Math.atan2,
+};
+function intrinsic(name, a) {
+    if (UNARY[name])
+        return typeof a[0] === "number" ? UNARY[name](a[0]) : remap(a[0], UNARY[name]);
+    if (BINARY[name])
+        return elementwise(a[0], a[1], BINARY[name]);
+    switch (name) {
+        case "normalize": return normalize(a[0]);
+        case "length": return vlen(a[0]);
+        case "dot": return dot(a[0], a[1]);
+        case "cross": return a[0].cross(a[1]);
+        case "distance": return vlen(elementwise(a[0], a[1], (x, y) => x - y));
+        case "step": return elementwise(a[1], a[0], (x, edge) => (x < edge ? 0 : 1));
+        case "clamp": return elementwise(elementwise(a[0], a[1], Math.max), a[2], Math.min);
+        case "mix": { // a + (b - a) * t
+            const diff = elementwise(a[1], a[0], (y, x) => y - x);
+            const scaled = elementwise(diff, a[2], (d, t) => d * t);
+            return elementwise(a[0], scaled, (x, s) => x + s);
+        }
+        case "reflect": {
+            const d = dot(a[0], a[1]);
+            return elementwise(a[0], elementwise(a[1], 2 * d, (n, k) => n * k), (i, s) => i - s);
+        }
+        default: throw new Error("derived eval: unsupported intrinsic '" + name + "'");
+    }
+}
+export function interpretExpr(ir, readLeaf, opts = {}) {
+    const ev = (e) => {
+        switch (e.kind) {
+            case "Const": {
+                const v = e.value;
+                if (v.kind === "Bool")
+                    return v.value;
+                if (v.kind === "Int" || v.kind === "Float")
+                    return v.value;
+                throw new Error("derived eval: null const");
+            }
+            case "ReadInput": {
+                // Scope-agnostic: the readLeaf decides what a name resolves to
+                // (uniforms for derived uniforms; uniforms + `declared` for modes).
+                const raw = readLeaf(e.name);
+                if (raw === undefined)
+                    throw new Error("derived eval: missing leaf '" + e.name + "'");
+                return coerce(raw, e.type);
+            }
+            case "Var": {
+                const v = opts.locals?.get(e.var.name);
+                if (v === undefined)
+                    throw new Error("derived eval: unbound local '" + e.var.name + "'");
+                return v;
+            }
+            case "Call": {
+                if (opts.callFn === undefined)
+                    throw new Error("derived eval: Call '" + e.fn.signature.name + "' but no callFn provided");
+                return opts.callFn(e.fn.signature.name, e.args.map(ev));
+            }
+            case "Neg": return negate(ev(e.value));
+            case "Not": return !ev(e.value);
+            case "Add": return elementwise(ev(e.lhs), ev(e.rhs), (x, y) => x + y);
+            case "Sub": return elementwise(ev(e.lhs), ev(e.rhs), (x, y) => x - y);
+            case "Div": return elementwise(ev(e.lhs), ev(e.rhs), (x, y) => x / y);
+            case "Mod": return elementwise(ev(e.lhs), ev(e.rhs), (x, y) => x % y);
+            case "Mul": return mulNode(ev(e.lhs), ev(e.rhs));
+            case "MulMatMat": return ev(e.lhs).mul(ev(e.rhs));
+            case "MulMatVec": return ev(e.lhs).mul(ev(e.rhs));
+            case "MulVecMat": return ev(e.rhs).transpose().mul(ev(e.lhs));
+            case "Transpose": return ev(e.value).transpose();
+            case "Inverse": return ev(e.value).inverse();
+            case "Determinant": return ev(e.value).determinant();
+            case "Dot": return dot(ev(e.lhs), ev(e.rhs));
+            case "Cross": return ev(e.lhs).cross(ev(e.rhs));
+            case "Length": return vlen(ev(e.value));
+            case "ConvertMatrix": return convertMatrix(ev(e.value), e.type);
+            case "VecSwizzle": return swizzle(ev(e.value), e.comps);
+            case "NewVector": return vecOf(e.components.map((c) => num(ev(c))));
+            case "And": return ev(e.lhs) && ev(e.rhs);
+            case "Or": return ev(e.lhs) || ev(e.rhs);
+            case "Eq": return num(ev(e.lhs)) === num(ev(e.rhs));
+            case "Neq": return num(ev(e.lhs)) !== num(ev(e.rhs));
+            case "Lt": return num(ev(e.lhs)) < num(ev(e.rhs));
+            case "Le": return num(ev(e.lhs)) <= num(ev(e.rhs));
+            case "Gt": return num(ev(e.lhs)) > num(ev(e.rhs));
+            case "Ge": return num(ev(e.lhs)) >= num(ev(e.rhs));
+            case "Conditional": return ev(e.cond) ? ev(e.ifTrue) : ev(e.ifFalse);
+            case "CallIntrinsic": return intrinsic(e.op.name, e.args.map(ev));
+            default: throw new Error("derived eval: unsupported IR node '" + e.kind + "'");
+        }
+    };
+    return ev(ir);
+}
+//# sourceMappingURL=cpuEval.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cpuEval.js","sourceRoot":"","sources":["../../../src/runtime/derivedUniforms/cpuEval.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,EAAE;AACF,8EAA8E;AAC9E,yEAAyE;AACzE,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,0CAA0C;AAC1C,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAG3E,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AASxE,4EAA4E;AAC5E,SAAS,KAAK,CAAC,CAAU;IACvB,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,GAAG,CAAC;AAClE,CAAC;AACD,SAAS,KAAK,CAAC,CAAU;IACvB,OAAO,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC;AACrE,CAAC;AACD,SAAS,IAAI,CAAC,CAAY,IAAkB,OAAQ,CAAwC,CAAC,KAAK,CAAC,CAAC,CAAC;AACrG,SAAS,GAAG,CAAC,CAAY;IACvB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AACD,SAAS,QAAQ,CAAC,CAAU;IAC1B,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,GAAG,IAAI,CAAC,CAAc,CAAC,CAAC,MAAM,CAAC;IACzD,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3B,OAAO,OAAO,CAAC,CAAC;AAClB,CAAC;AACD,SAAS,KAAK,CAAC,CAAoB;IACjC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACrC,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC5C,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACnD,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,KAAK,CAAC,GAAY;IACzB,IAAI,GAAG,YAAY,IAAI;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,CAAC,GAAG,GAAuD,CAAC;IAClE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAU,oBAAoB;IACxF,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO;IAC/F,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AACD,SAAS,UAAU,CAAC,CAAO;IACzB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;IACrC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AACD,SAAS,KAAK,CAAC,GAAY;IACzB,IAAI,GAAG,YAAY,IAAI;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,CAAC,GAAG,GAAuD,CAAC;IAClE,IAAI,GAAG,YAAY,IAAI;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AACD,SAAS,KAAK,CAAC,GAAY;IACzB,IAAI,GAAG,YAAY,IAAI;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,CAAC,GAAG,GAAoC,CAAC;IAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AACD,SAAS,KAAK,CAAC,GAAY,EAAE,CAAY;IACvC,IAAI,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3B,MAAM,CAAC,GAAG,GAAoC,CAAC;IAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,GAAG,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,MAAM,CAAC,GAAY,EAAE,CAAO;IACnC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzF,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxC,KAAK,OAAO,CAAC,CAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,KAAK,CAAC,CAAI,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAG,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC;QACnC,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,sCAAsC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,MAAM,CAAC,CAAY;IAC1B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AACD,8EAA8E;AAC9E,SAAS,KAAK,CAAC,CAAuC,EAAE,CAAwB;IAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC5C,CAAC;AACD,SAAS,KAAK,CAAC,CAAoB;IACjC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,CAAC,CAAC,CAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,CAAC,CAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AACD,6EAA6E;AAC7E,SAAS,WAAW,CAAC,CAAY,EAAE,CAAY,EAAE,CAAmC;IAClF,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,IAAI,KAAK,CAAS,EAAE,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;QAAC,CAAC;aACpF,CAAC;YAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAc,CAAC,CAAC;YAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC;QAAC,CAAC;QACzG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAS,EAAE,CAAC,MAAM,CAAC,CAAC;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,gCAAgC,QAAQ,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC;AACD;uEACuE;AACvE,SAAS,OAAO,CAAC,CAAY,EAAE,CAAY;IACzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAQ,CAAU,CAAC,GAAG,CAAC,CAAC,CAAc,CAAC;IAC9E,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAQ,CAAU,CAAC,GAAG,CAAC,CAAC,CAAc,CAAC;IAC9E,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5C,CAAC;AACD,SAAS,IAAI,CAAC,CAAY;IACxB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACpF,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AACD,SAAS,GAAG,CAAC,CAAY,EAAE,CAAY;IACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC;AACD,SAAS,SAAS,CAAC,CAAY;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC9E,CAAC;AACD,SAAS,OAAO,CAAC,CAAY,EAAE,KAAwB;IACrD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAE,CAAC;IAClD,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;AAC7C,CAAC;AACD,SAAS,aAAa,CAAC,CAAY,EAAE,CAAO;IAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,uBAAuB;IAC/C,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,4EAA4E;AAC5E,MAAM,KAAK,GAA0C;IACnD,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK;IAC7E,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG;IAC9D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;CACvF,CAAC;AACF,MAAM,MAAM,GAAqD;IAC/D,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK;CACvE,CAAC;AACF,SAAS,SAAS,CAAC,IAAY,EAAE,CAAc;IAC7C,IAAI,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAQ,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC;IACzG,IAAI,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,IAAI,CAAE,CAAC,CAAC;IAClE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC1C,KAAK,QAAQ,CAAC,CAAI,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACrC,KAAK,KAAK,CAAC,CAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC3C,KAAK,OAAO,CAAC,CAAK,OAAQ,CAAC,CAAC,CAAC,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAQ,CAAC,CAAC;QAC1D,KAAK,UAAU,CAAC,CAAE,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,KAAK,MAAM,CAAC,CAAM,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,KAAK,OAAO,CAAC,CAAK,OAAO,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3F,KAAK,KAAK,CAAC,CAAC,CAAC,CAAK,kBAAkB;YAClC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzD,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,CAAC;QACxI,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAmBD,MAAM,UAAU,aAAa,CAAC,EAAQ,EAAE,QAAoB,EAAE,OAAiB,EAAE;IAC/E,MAAM,EAAE,GAAG,CAAC,CAAO,EAAa,EAAE;QAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;gBAClB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,CAAC,CAAC,KAAK,CAAC;gBACtC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,CAAC,CAAC,KAAK,CAAC;gBAC3D,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAC9C,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,+DAA+D;gBAC/D,oEAAoE;gBACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,GAAG,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;gBACtF,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;gBACzF,OAAO,CAAC,CAAC;YACX,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,GAAG,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,0BAA0B,CAAC,CAAC;gBAC1H,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACvC,KAAK,KAAK,CAAC,CAAC,OAAO,CAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAa,CAAC;YAC7C,KAAK,KAAK,CAAC,CAAC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,KAAK,KAAK,CAAC,CAAC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,KAAK,KAAK,CAAC,CAAC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,KAAK,KAAK,CAAC,CAAC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACjD,KAAK,WAAW,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAS,CAAc,CAAC;YACjF,KAAK,WAAW,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAQ,CAAc,CAAC;YAChF,KAAK,WAAW,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAU,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAQ,CAAc,CAAC;YAC5F,KAAK,WAAW,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAU,CAAC,SAAS,EAAE,CAAC;YAC3D,KAAK,SAAS,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAU,CAAC,OAAO,EAAE,CAAC;YACvD,KAAK,aAAa,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAU,CAAC,WAAW,EAAE,CAAC;YAC/D,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,KAAK,OAAO,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAQ,CAAC,CAAC;YAChE,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACxC,KAAK,eAAe,CAAC,CAAC,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAChE,KAAK,YAAY,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACxD,KAAK,WAAW,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,KAAK,KAAK,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAa,IAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAa,CAAC;YACpE,KAAK,IAAI,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAa,IAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAa,CAAC;YACnE,KAAK,IAAI,CAAC,CAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,CAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,CAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,CAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,CAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrD,KAAK,aAAa,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClF,KAAK,eAAe,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAClE,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC;IACF,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAChB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aardworx/wombat.rendering",
-  "version": "0.19.9",
+  "version": "0.19.11",
   "description": "WebGPU rendering layer for the Wombat TypeScript stack — RenderObject/RenderTask/runtime + window glue, port of Aardvark.Rendering's lower layers on top of WebGPU and wombat.shader.",
   "license": "MIT",
   "author": "krauthaufen",

package/src/resources/preparedRenderObject.ts

@@ -29,8 +29,13 @@ import {
   type aval,
   HashMap,
   cval,
+  AVal,
 } from "@aardworx/wombat.adaptive";
 import type { Type } from "@aardworx/wombat.shader/ir";
+import { isDerivedRule } from "../runtime/derivedUniforms/rule.js";
+import { STANDARD_DERIVED_RULES, STANDARD_TRAFO_LEAVES } from "../runtime/derivedUniforms/recipes.js";
+import { interpretExpr } from "../runtime/derivedUniforms/cpuEval.js";
+import { evaluateModeRule } from "../runtime/derivedModes/cpuEval.js";
 import { prepareAdaptiveBuffer } from "./adaptiveBuffer.js";
 import { prepareAdaptiveTexture } from "./adaptiveTexture.js";
 import { prepareAdaptiveSampler } from "./adaptiveSampler.js";
@@ -365,6 +370,8 @@ export class PreparedRenderObject {
     pipelineCtx: PipelineBuildContext,
     pipelineState: import("../core/index.js").PipelineState,
     private readonly active: aval<boolean> | undefined = undefined,
+    private readonly modeRules: import("../core/renderObject.js").RenderObject["modeRules"] = undefined,
+    private readonly modeUniformReader: ((name: string, token: AdaptiveToken) => unknown) | undefined = undefined,
   ) {
     this.groups = groups;
     this._pipelineCtx = pipelineCtx;
@@ -377,6 +384,28 @@ export class PreparedRenderObject {
   /** Internal — exposed for tests. The PipelineState the RO is reading. */
   get pipelineState(): import("../core/index.js").PipelineState { return this._pipelineState; }
 
+  /**
+   * Override pipeline-axis values with CPU-evaluated derived-mode rules.
+   * Each rule reads per-RO uniforms + the SG-declared default; evaluating
+   * under `token` registers the dependency so a uniform/declared change
+   * re-keys the pipeline (recompile via the snapshot cache). The heap path
+   * does this on a GPU partition kernel — this is the legacy per-RO answer.
+   */
+  private applyModeRules(snap: PipelineSnap, token: AdaptiveToken): PipelineSnap {
+    const mr = this.modeRules;
+    const ru = this.modeUniformReader;
+    if (mr === undefined || ru === undefined) return snap;
+    const read = (name: string): unknown => ru(name, token);
+    const ov: Record<string, unknown> = {};
+    if (mr.cull            !== undefined) ov.cullMode        = evaluateModeRule(mr.cull, read, token);
+    if (mr.frontFace       !== undefined) ov.frontFace       = evaluateModeRule(mr.frontFace, read, token);
+    if (mr.topology        !== undefined) ov.topology        = evaluateModeRule(mr.topology, read, token);
+    if (mr.depthWrite      !== undefined) ov.depthWrite      = evaluateModeRule(mr.depthWrite, read, token);
+    if (mr.depthCompare    !== undefined) ov.depthCompare    = evaluateModeRule(mr.depthCompare, read, token);
+    if (mr.alphaToCoverage !== undefined) ov.alphaToCoverage = evaluateModeRule(mr.alphaToCoverage, read, token);
+    return { ...snap, ...ov };
+  }
+
   acquire(): void {
     for (const r of this.vertexBuffers.values()) r.acquire();
     if (this.indexBuffer !== undefined) this.indexBuffer.acquire();
@@ -395,7 +424,7 @@ export class PreparedRenderObject {
    * surrounding sort / record path can read it without forcing.
    */
   update(token: AdaptiveToken): void {
-    const snap = snapshotPipeline(this._pipelineState, token);
+    const snap = this.applyModeRules(snapshotPipeline(this._pipelineState, token), token);
     const key = pipelineKeyOf(snap);
     let pipeline = this._pipelineCache.get(key);
     if (pipeline === undefined) {
@@ -747,6 +776,20 @@ export function prepareRenderObject(
     ...(opts.effectId !== undefined ? { effectId: opts.effectId } : {}),
   };
 
+  // Derived-mode rules (cull/frontFace/… as a function of per-RO uniforms)
+  // are evaluated CPU-side in the legacy path. Build a uniform reader over
+  // the RO's provider (resolving nested derived-uniform rules too).
+  let modeUniformReader: ((name: string, token: AdaptiveToken) => unknown) | undefined;
+  if (obj.modeRules !== undefined) {
+    const uniProv = asUniformProvider(obj.uniforms);
+    modeUniformReader = (name: string, token: AdaptiveToken): unknown => {
+      const v = uniProv.tryGet(name);
+      if (v === undefined) return undefined;
+      if (isDerivedRule(v)) return interpretExpr(v.ir, (n) => readLeaf(n, uniProv, effect.avalBindings, token));
+      return (v as aval<unknown>).getValue(token);
+    };
+  }
+
   return new PreparedRenderObject(
     device,
     vertexBindings, vertexBuffers, vertexViews,
@@ -756,6 +799,8 @@ export function prepareRenderObject(
     pipelineCtx,
     obj.pipelineState,
     obj.active,
+    obj.modeRules,
+    modeUniformReader,
   );
 }
 
@@ -785,11 +830,14 @@ function mergeUniformInputs(
   let merged = HashMap.empty<string, aval<unknown>>();
   for (const f of block.fields) {
     const u = user.tryGet(f.name);
-    if (u !== undefined) { merged = merged.add(f.name, u); continue; }
+    if (u !== undefined) { merged = merged.add(f.name, resolveUniform(u, user, bindings)); continue; }
     const getter = bindings?.[f.name];
-    if (getter === undefined) continue;
-    const v = getter();
-    merged = merged.add(f.name, isAval(v) ? (v as aval<unknown>) : cval(v));
+    if (getter !== undefined) { merged = merged.add(f.name, resolveUniform(getter(), user, bindings)); continue; }
+    // Standard derived recipe by name (ModelViewTrafo, …) — derive it CPU-side
+    // here just as the heap path derives it on the GPU, so the legacy path
+    // serves the same declared uniforms.
+    const recipe = STANDARD_DERIVED_RULES.get(f.name);
+    if (recipe !== undefined) merged = merged.add(f.name, ruleToAval(recipe, user, bindings));
   }
   return merged;
 }
@@ -798,6 +846,46 @@ function isAval(v: unknown): boolean {
   return typeof v === "object" && v !== null && typeof (v as { getValue?: unknown }).getValue === "function";
 }
 
+// A uniform binding value is either an aval/constant or a derivedUniform RULE.
+// Rules are evaluated on CPU (cpuEval) in double precision and exposed as a
+// derived aval — the legacy per-RO path's answer to the heap's §7 compute pass.
+type UProvider = import("../core/index.js").IUniformProvider;
+type Bindings = Readonly<Record<string, () => unknown>> | undefined;
+
+function resolveUniform(v: unknown, user: UProvider, bindings: Bindings): aval<unknown> {
+  if (isDerivedRule(v)) return ruleToAval(v, user, bindings);
+  return isAval(v) ? (v as aval<unknown>) : cval(v);
+}
+
+function ruleToAval(rule: import("../runtime/derivedUniforms/rule.js").DerivedRule, user: UProvider, bindings: Bindings): aval<unknown> {
+  return AVal.custom((token: AdaptiveToken) =>
+    interpretExpr(rule.ir, (leaf) => readLeaf(leaf, user, bindings, token)),
+  ) as aval<unknown>;
+}
+
+// Resolve a `u.<name>` leaf to its current value, recursing through nested
+// rules / standard recipes. Reading the leaf aval's value under `token`
+// registers the dependency, so the derived aval re-evaluates reactively.
+function readLeaf(name: string, user: UProvider, bindings: Bindings, token: AdaptiveToken): unknown {
+  const evalRule = (r: unknown): unknown =>
+    interpretExpr((r as import("../runtime/derivedUniforms/rule.js").DerivedRule).ir, (n) => readLeaf(n, user, bindings, token));
+  const lookup = (n: string): unknown => {
+    const u = user.tryGet(n);
+    if (u !== undefined) return isDerivedRule(u) ? evalRule(u) : isAval(u) ? (u as aval<unknown>).getValue(token) : u;
+    const getter = bindings?.[n];
+    if (getter !== undefined) { const v = getter(); return isDerivedRule(v) ? evalRule(v) : isAval(v) ? (v as aval<unknown>).getValue(token) : v; }
+    const recipe = STANDARD_DERIVED_RULES.get(n);
+    if (recipe !== undefined) return evalRule(recipe);
+    return undefined;
+  };
+  const direct = lookup(name);
+  if (direct !== undefined) return direct;
+  // Standard recipes read short trafo leaves (Model / View / Proj) that the RO
+  // binds under ModelTrafo / ViewTrafo / ProjTrafo — alias them like the heap.
+  const alias = STANDARD_TRAFO_LEAVES.get(name);
+  return alias !== undefined ? lookup(alias) : undefined;
+}
+
 function ubAsBlock(ub: import("../core/index.js").UniformBlockInfo): import("../core/index.js").UniformBlockInfo {
   return ub;
 }

package/src/runtime/derivedModes/axisEnum.ts

@@ -0,0 +1,65 @@
+// Canonical per-axis enum tables + value mapping for derived modes.
+//
+// Used by the legacy CPU-eval path (derivedModes/cpuEval). heapScene's
+// GPU-routing path keeps a parallel inline copy of this table + helpers
+// (heapScene.ts ~AXIS_ENUM_TABLE / resolveAxisValue / resolveDeclaredU32);
+// they must stay in sync — fold both onto this module when convenient.
+// The index↔value mapping is the WebGPU enum order; a rule body returns a
+// u32 index and the renderer maps it to the concrete mode value here.
+
+import type { aval, AdaptiveToken } from "@aardworx/wombat.adaptive";
+import type { DerivedModeRule, ModeAxis } from "./rule.js";
+
+/** u32 index → mode value, per axis. `blend` has no canonical table —
+ *  blend rules return object literals directly (see resolveAxisValue). */
+export const AXIS_ENUM_TABLE: { readonly [A in ModeAxis]: ReadonlyArray<unknown> } = {
+  cull:            ["none", "front", "back"],
+  frontFace:       ["ccw", "cw"],
+  topology:        ["point-list", "line-list", "line-strip", "triangle-list", "triangle-strip"],
+  depthCompare:    ["never", "less", "equal", "less-equal", "greater", "not-equal", "greater-equal", "always"],
+  depthWrite:      [false, true],
+  alphaToCoverage: [false, true],
+  blend:           [],
+};
+
+/**
+ * Map a rule's resolved output to its axis-shape value:
+ *  - object → already the full axis value (e.g. a blend AttachmentBlend).
+ *  - number → enum-table lookup for enum axes; pass-through otherwise.
+ */
+export function resolveAxisValue<A extends ModeAxis>(rule: DerivedModeRule<A>, value: unknown): unknown {
+  if (typeof value === "object" && value !== null) return value;
+  if (typeof value === "number") {
+    const table = AXIS_ENUM_TABLE[rule.axis];
+    if (table.length > 0) {
+      const v = table[value];
+      if (v !== undefined) return v;
+    }
+    return value;
+  }
+  return value;
+}
+
+/**
+ * Resolve a rule's `declared` SG-context value to its u32 index:
+ *  - omitted → 0 (axis canonical zero).
+ *  - number  → passed through.
+ *  - aval / string / boolean → looked up in the canonical enum table.
+ */
+export function declaredToU32<A extends ModeAxis>(rule: DerivedModeRule<A>, tok: AdaptiveToken): number {
+  const d = rule.declared;
+  if (d === undefined) return 0;
+  const v = (typeof d === "object" && d !== null && "getValue" in (d as object))
+    ? (d as aval<unknown>).getValue(tok)
+    : d;
+  if (typeof v === "number") return v >>> 0;
+  const table = AXIS_ENUM_TABLE[rule.axis];
+  if (table.length === 0) {
+    throw new Error(`derivedModes: axis '${rule.axis}' has no canonical enum table; pass \`declared\` as a u32 index or omit it`);
+  }
+  const i = table.indexOf(v);
+  if (i < 0) {
+    throw new Error(`derivedModes: declared value '${String(v)}' for axis '${rule.axis}' not in canonical enum table ${JSON.stringify(table)}`);
+  }
+  return i;
+}

package/src/runtime/derivedModes/cpuEval.ts

@@ -0,0 +1,104 @@
+// CPU evaluation of a derived-MODE rule for the legacy per-RO path.
+//
+// A `derivedMode(...)` rule is a RuleExpr whose body computes a pipeline-axis
+// value (cull / frontFace / …) from per-RO uniforms (e.g. determinant of the
+// model matrix) and the SG-declared default. The heap path lowers this to a
+// GPU partition kernel; the legacy per-RO path has no kernel, so we evaluate
+// the rule body on the CPU here — the "v1 evaluates rules CPU-side" design in
+// core/renderObject.ts.
+//
+// Reuses the matrix-aware expression interpreter (derivedUniforms/cpuEval) and
+// adds a small Stmt walker (locals + control flow) plus user-function `Call`
+// resolution against the rule's own Module (helpers like `flipCull` are NOT
+// inlined — they're separate Function items in template.values).
+
+import type { Expr, Stmt, ValueDef } from "@aardworx/wombat.shader/ir";
+import type { AdaptiveToken } from "@aardworx/wombat.adaptive";
+import { interpretExpr, type EvalValue } from "../derivedUniforms/cpuEval.js";
+import type { DerivedModeRule, ModeAxis, ModeValue } from "./rule.js";
+import { declaredToU32, resolveAxisValue } from "./axisEnum.js";
+
+const NO_RETURN = Symbol("no-return");
+type RunResult = EvalValue | typeof NO_RETURN;
+
+interface FnDef { readonly params: readonly string[]; readonly body: Stmt; }
+
+function truthy(v: EvalValue): boolean {
+  return typeof v === "boolean" ? v : typeof v === "number" ? v !== 0 : true;
+}
+
+/**
+ * Evaluate a derived-mode rule to its concrete axis value for one RO.
+ * `readUniform(name)` returns the RO's current value for a `u.<name>` leaf
+ * (Trafo3d / M44f / number / …); reading it under `token` registers the
+ * dependency so the pipeline re-keys when it changes. Returns the mapped
+ * mode value (e.g. "back", or `true` for depthWrite).
+ */
+export function evaluateModeRule<A extends ModeAxis>(
+  rule: DerivedModeRule<A>,
+  readUniform: (name: string) => unknown,
+  token: AdaptiveToken,
+): ModeValue<A> {
+  // Collect helper functions + the entry body from the rule's Module.
+  const fns = new Map<string, FnDef>();
+  let body: Stmt | undefined;
+  for (const v of rule.expr.template.values as readonly ValueDef[]) {
+    if (v.kind === "Function") fns.set(v.signature.name, { params: v.signature.parameters.map((p) => p.name), body: v.body });
+    else if (v.kind === "Entry") body = v.entry.body;
+  }
+  if (body === undefined) {
+    throw new Error(`derivedModes: rule for axis '${rule.axis}' has no Entry in its template`);
+  }
+
+  const declaredU32 = declaredToU32(rule, token);
+  const readLeaf = (name: string): unknown => (name === "declared" ? declaredU32 : readUniform(name));
+
+  // Mutually-recursive: an expr `Call` runs a function body; a function body
+  // evaluates exprs via interpretExpr with `callFn` wired back here.
+  const callFn = (name: string, args: EvalValue[]): EvalValue => {
+    const fn = fns.get(name);
+    if (fn === undefined) throw new Error(`derivedModes: rule calls unknown function '${name}'`);
+    const locals = new Map<string, EvalValue>();
+    fn.params.forEach((p, i) => { if (args[i] !== undefined) locals.set(p, args[i]!); });
+    return evalBody(fn.body, locals);
+  };
+  const evalExpr = (e: Expr, locals: Map<string, EvalValue>): EvalValue =>
+    interpretExpr(e, readLeaf, { locals, callFn });
+
+  const run = (s: Stmt, locals: Map<string, EvalValue>): RunResult => {
+    switch (s.kind) {
+      case "Sequential":
+      case "Isolated": {
+        for (const c of s.body) { const r = run(c, locals); if (r !== NO_RETURN) return r; }
+        return NO_RETURN;
+      }
+      case "Declare": {
+        if (s.init !== undefined && s.init.kind === "Expr") locals.set(s.var.name, evalExpr(s.init.value, locals));
+        return NO_RETURN;
+      }
+      case "Write": {
+        if (s.target.kind === "LVar") locals.set(s.target.var.name, evalExpr(s.value, locals));
+        return NO_RETURN;
+      }
+      case "If": {
+        if (truthy(evalExpr(s.cond, locals))) return run(s.then, locals);
+        return s.else !== undefined ? run(s.else, locals) : NO_RETURN;
+      }
+      case "ReturnValue": return evalExpr(s.value, locals);
+      case "Expression":
+      case "Nop":
+      case "Return":
+        return NO_RETURN;
+      default:
+        throw new Error(`derivedModes: unsupported statement '${s.kind}' in rule body`);
+    }
+  };
+  const evalBody = (b: Stmt, locals: Map<string, EvalValue>): EvalValue => {
+    const r = run(b, locals);
+    if (r === NO_RETURN) throw new Error(`derivedModes: rule body for axis '${rule.axis}' produced no return value`);
+    return r;
+  };
+
+  const raw = evalBody(body, new Map());
+  return resolveAxisValue(rule, raw) as ModeValue<A>;
+}