@woosh/meep-engine 3.69.0 → 3.70.0

package/src/shade/playground/skinned_blas_refit/verify_clone_leaves.js

@@ -1,134 +1,148 @@
-import { geometry_of } from "./place_character.js";
-import { verify_leaf_triangles } from "./verify_leaf_triangles.js";
-
-/**
- * @param {GPUDevice} device
- * @param {GPUBuffer} buffer
- * @param {number} offset
- * @param {number} size
- * @returns {Promise<ArrayBuffer>}
- */
-async function read_back(device, buffer, offset, size) {
-    const staging = device.createBuffer({
-        label: 'audit/readback',
-        size,
-        usage: GPUBufferUsage.COPY_DST | GPUBufferUsage.MAP_READ,
-    });
-
-    const encoder = device.createCommandEncoder({ label: 'audit/readback' });
-
-    encoder.copyBufferToBuffer(buffer, offset, staging, 0, size);
-
-    device.queue.submit([encoder.finish()]);
-
-    await staging.mapAsync(GPUMapMode.READ);
-
-    const copy = staging.getMappedRange().slice(0);
-
-    staging.unmap();
-    staging.destroy();
-
-    return copy;
-}
-
-/**
- * Contiguous runs of a sorted list of integers, as `[first, last]` pairs.
- *
- * @param {number[]} values
- * @returns {number[][]}
- */
-function runs_of(values) {
-    const runs = [];
-
-    for (const value of values) {
-        const last = runs[runs.length - 1];
-
-        if (last !== undefined && last[1] === value - 1) {
-            last[1] = value;
-        } else {
-            runs.push([value, value]);
-        }
-    }
-
-    return runs;
-}
-
-/**
- * The leaf audit, on a skinned clone: its tree as the frame's refit left it, against the deformed
- * triangles the intersector fetches for those leaves now.
- *
- * `verify_leaf_triangles` needs a target, and a clone's owner handle lives inside the skinning
- * context. Every copy of a geometry shares one shape, so the clone's target is its source's with
- * the clone's own node address substituted — and that address is what the published lookup holds
- * for the clone's geometry row.
- *
- * The refit and this audit run a frame apart at most, so a leaf may be a little larger than its
- * triangle; a leaf that is *somewhere else* is a leaf the frame did not refit. The pattern of those
- * is the point: reported as runs of leaf ordinals and as the workgroups of 64 they fall in.
- *
- * @param {object} options
- * @param {Renderer} options.renderer
- * @param {Scene} options.scene
- * @param {number} options.entity a skinned mesh entity, whose clone is being deformed
- * @param {number} [options.tolerance]
- * @returns {Promise<object>}
- */
-export async function verify_clone_leaves({ renderer, scene, entity, tolerance = 1e-3 }) {
-    const graphics = renderer.graphics;
-    const device = graphics.device;
-    const geometries = graphics.geometries;
-    const blas = geometries.blas;
-
-    const scene_context = renderer.scenes.obtain(scene);
-
-    const clone = scene_context.skinning.clone_of(entity);
-
-    if (clone === undefined) {
-        throw new Error(`entity ${entity} has no clone — is it a skinned mesh entity holding a row?`);
-    }
-
-    const geometry_index = clone.index;
-
-    const source_target = blas.get_refit_target(geometries.get_metadata(geometry_of(scene.dataset, entity)));
-
-    if (source_target === undefined) {
-        throw new Error('the source geometry has no resident tree');
-    }
-
-    const address = new Uint32Array(
-        await read_back(device, blas.buffer_metadata, geometry_index * 4, 4)
-    )[0];
-
-    const target = {
-        ...source_target,
-        node_word_offset: address * 8,
-    };
-
-    const audit = await verify_leaf_triangles({ renderer, target, geometry_index, tolerance });
-
-    const escaped = audit.escaped_leaves;
-
-    const workgroups = [...new Set(escaped.map(leaf => leaf >> 6))];
-
-    const result = {
-        geometry_index,
-        address,
-        leaf_count: audit.leaf_count,
-        escaped: audit.escaped,
-        worst: audit.worst,
-        // the shape of the failure, if any
-        escaped_runs: runs_of(escaped).slice(0, 20),
-        escaped_run_count: runs_of(escaped).length,
-        workgroups_hit: workgroups.length,
-        workgroup_runs: runs_of(workgroups).slice(0, 20),
-        examples: audit.examples,
-        verdict: audit.escaped === 0
-            ? `pass — all ${audit.leaf_count} of the clone's leaves bound their deformed triangle`
-            : `FAIL — ${audit.escaped} of ${audit.leaf_count} leaves of the clone's tree do not bound `
-            + `their deformed triangle, in ${runs_of(escaped).length} runs over ${workgroups.length} workgroups`,
-    };
-
-    console.log(result.verdict, result);
-
-    return result;
-}
+import { BLAS8_REFIT_BATCH_WORKGROUP_SIZE } from "../../renderer/geometry/bvh/shader_blas8_refit_batch.js";
+import { geometry_of } from "./place_character.js";
+import { verify_leaf_triangles } from "./verify_leaf_triangles.js";
+
+/**
+ * @param {GPUDevice} device
+ * @param {GPUBuffer} buffer
+ * @param {number} offset
+ * @param {number} size
+ * @returns {Promise<ArrayBuffer>}
+ */
+async function read_back(device, buffer, offset, size) {
+    const staging = device.createBuffer({
+        label: 'audit/readback',
+        size,
+        usage: GPUBufferUsage.COPY_DST | GPUBufferUsage.MAP_READ,
+    });
+
+    const encoder = device.createCommandEncoder({ label: 'audit/readback' });
+
+    encoder.copyBufferToBuffer(buffer, offset, staging, 0, size);
+
+    device.queue.submit([encoder.finish()]);
+
+    await staging.mapAsync(GPUMapMode.READ);
+
+    const copy = staging.getMappedRange().slice(0);
+
+    staging.unmap();
+    staging.destroy();
+
+    return copy;
+}
+
+/**
+ * Contiguous runs of a sorted list of integers, as `[first, last]` pairs.
+ *
+ * @param {number[]} values
+ * @returns {number[][]}
+ */
+function runs_of(values) {
+    const runs = [];
+
+    for (const value of values) {
+        const last = runs[runs.length - 1];
+
+        if (last !== undefined && last[1] === value - 1) {
+            last[1] = value;
+        } else {
+            runs.push([value, value]);
+        }
+    }
+
+    return runs;
+}
+
+/**
+ * The leaf audit, on a skinned clone: its tree as the frame's refit left it, against the deformed
+ * triangles the intersector fetches now.
+ *
+ * `verify_leaf_triangles` needs a target, and a clone's owner handle lives inside the skinning
+ * context. A copy of a geometry has as many nodes as its source, so the clone's target is the
+ * source's count at the clone's own address — and that address is what the published lookup holds
+ * for the clone's geometry row.
+ *
+ * The refit and this audit run a frame apart at most, so a slot may be a little larger than its
+ * triangles; a slot that is *somewhere else* is a node the frame did not refit. The pattern of those
+ * is the point: reported as runs of node indices and as the refit's workgroups they fall in.
+ *
+ * @param {object} options
+ * @param {Renderer} options.renderer
+ * @param {Scene} options.scene
+ * @param {number} options.entity a skinned mesh entity, whose clone is being deformed
+ * @param {number} [options.tolerance]
+ * @returns {Promise<object>}
+ */
+export async function verify_clone_leaves({ renderer, scene, entity, tolerance = 1e-3 }) {
+    const graphics = renderer.graphics;
+    const device = graphics.device;
+    const geometries = graphics.geometries;
+    const blas = geometries.blas;
+
+    const scene_context = renderer.scenes.obtain(scene);
+
+    const clone = scene_context.skinning.clone_of(entity);
+
+    if (clone === undefined) {
+        throw new Error(`entity ${entity} has no clone — is it a skinned mesh entity holding a row?`);
+    }
+
+    const geometry_index = clone.index;
+
+    const geometry = geometry_of(scene.dataset, entity);
+
+    const source_target = blas.get_refit_target(geometries.get_metadata(geometry));
+
+    if (source_target === undefined) {
+        throw new Error('the source geometry has no resident tree');
+    }
+
+    const address = new Uint32Array(
+        await read_back(device, blas.buffer_metadata, geometry_index * 4, 4)
+    )[0];
+
+    const target = {
+        node_offset: address,
+        node_count: source_target.node_count,
+    };
+
+    const audit = await verify_leaf_triangles({
+        renderer,
+        target,
+        geometry_index,
+        meshlet_count: geometry.meshlets.count,
+        tolerance,
+    });
+
+    const escaped = audit.escaped_nodes;
+
+    // the refit takes a tree's nodes last first, a workgroup a run of them
+    const workgroups = [...new Set(escaped.map(node => Math.floor((target.node_count - 1 - node) / BLAS8_REFIT_BATCH_WORKGROUP_SIZE)))]
+        .sort((a, b) => a - b);
+
+    const result = {
+        geometry_index,
+        address,
+        triangle_count: audit.triangle_count,
+        escaped: audit.escaped,
+        unnamed: audit.unnamed,
+        repeated: audit.repeated,
+        worst: audit.worst,
+        // the shape of the failure, if any
+        escaped_node_runs: runs_of(escaped).slice(0, 20),
+        escaped_node_run_count: runs_of(escaped).length,
+        workgroups_hit: workgroups.length,
+        workgroup_runs: runs_of(workgroups).slice(0, 20),
+        examples: audit.examples,
+        verdict: audit.verdict.startsWith('pass')
+            ? `pass — all ${audit.triangle_count} of the clone's deformed triangles sit inside the slot that names them`
+            : `FAIL — ${audit.escaped} of the clone's ${audit.triangle_count} deformed triangles lie outside the slot that `
+            + `names them, in ${escaped.length} nodes over ${workgroups.length} of the refit's workgroups; `
+            + `${audit.unnamed} are named by no slot, ${audit.repeated} by more than one`,
+    };
+
+    console.log(result.verdict, result);
+
+    return result;
+}

package/src/shade/playground/skinned_blas_refit/verify_leaf_triangles.d.ts

@@ -2,19 +2,22 @@
  * @param {object} options
  * @param {Renderer} options.renderer
  * @param {object} [options.owner] the identity the tree is registered under
- * @param {object} [options.target] an explicit refit target, for a tree whose owner handle is not
- * reachable — a skinned clone's metadata row lives inside the skinning context. Every copy of a
- * geometry shares one topology, so a clone's target is the source's with its own `node_word_offset`
- * substituted, and that is composable from the published lookup alone.
- * @param {number} options.geometry_index the row whose vertices the leaves index into
- * @param {number} [options.tolerance] fraction of a leaf's own size a vertex may sit outside by
+ * @param {{node_offset: number, node_count: number}} [options.target] an explicit refit target, for a
+ * tree whose owner handle is not at hand
+ * @param {number} options.geometry_index the row whose triangles the tree names
+ * @param {number} options.meshlet_count meshlets of that geometry
+ * @param {number} [options.tolerance] fraction of a slot's own size a triangle may sit outside by
  * @returns {Promise<object>}
  */
-export function verify_leaf_triangles({ renderer, owner, target: explicit_target, geometry_index, tolerance, }: {
+export function verify_leaf_triangles({ renderer, owner, target: explicit_target, geometry_index, meshlet_count, tolerance, }: {
     renderer: Renderer;
     owner?: object;
-    target?: object;
+    target?: {
+        node_offset: number;
+        node_count: number;
+    };
     geometry_index: number;
+    meshlet_count: number;
     tolerance?: number;
 }): Promise<object>;
 //# sourceMappingURL=verify_leaf_triangles.d.ts.map

package/src/shade/playground/skinned_blas_refit/verify_leaf_triangles.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify_leaf_triangles.d.ts","sourceRoot":"","sources":["../../../../../src/shade/playground/skinned_blas_refit/verify_leaf_triangles.js"],"names":[],"mappings":"AAyDA;;;;;;;;;;;GAWG;AACH;IAV6B,QAAQ;IACT,KAAK,GAAtB,MAAM;IACW,MAAM,GAAvB,MAAM;IAIU,cAAc,EAA9B,MAAM;IACW,SAAS,GAA1B,MAAM;IACJ,QAAQ,MAAM,CAAC,CAsI3B"}
+{"version":3,"file":"verify_leaf_triangles.d.ts","sourceRoot":"","sources":["../../../../../src/shade/playground/skinned_blas_refit/verify_leaf_triangles.js"],"names":[],"mappings":"AAgEA;;;;;;;;;;GAUG;AACH;IAT6B,QAAQ;IACT,KAAK,GAAtB,MAAM;IAC8C,MAAM,GAA1D;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAC;IAEzB,cAAc,EAA9B,MAAM;IACU,aAAa,EAA7B,MAAM;IACW,SAAS,GAA1B,MAAM;IACJ,QAAQ,MAAM,CAAC,CA4Q3B"}