diff --git a/examples/cuda-fanout/CATALOG.md b/examples/cuda-fanout/CATALOG.md index e63507e..c9e10b2 100644 --- a/examples/cuda-fanout/CATALOG.md +++ b/examples/cuda-fanout/CATALOG.md @@ -174,6 +174,31 @@ aggregations, graph theory beyond triangle/PageRank. - Junction-tree BP per-message: 0.68-9.18x — below threshold - Batched L-BFGS: 134x reported but single mesh-size case, not generalized +## Form D structural finding — 2026-06-05 + +cuda-clifford-stabilizer does NOT apply to our point-add circuit. +Build agent measured Toffoli fraction 13.87% (well under 40% +threshold), THEN noticed the circuit contains no H or S gates — +only X/CX/CCX/CZ/CCZ/SWAP/R/HMR/Z/NEG. State never leaves the +computational basis. Stabilizer tableau compression buys nothing +when there's no superposition; AG reduces to exactly what +sim_gpu.cu already does, at one bit per qubit per shot. + +The 1.07x cuda-sim-ops-bin ceiling traces to memory-bandwidth on +per-shot striped state, not algorithm. Two pivots under way: + + - **axis-flip refactor of sim_gpu.cu** — per-candidate parallelism + over per-shot (Form D option 1). ~3 days. + - **ops.bin packing** — 56 -> 16 bytes per op halves global-memory + traffic; addresses the actual bandwidth bottleneck (Form D + option 3). + +Form D as originally scoped (AG tableau for our circuit) is +**parked**. STABSim-class wins remain valid for QEC / surface-code +work where H + S exist; that's a future workload. + +Progress doc: examples/cuda-fanout/plans/form-D-build-progress.md + ## Build order — recommended 3-form runway 1. **A: `cuda-secp256k1-batched-mul`** — biggest immediate win. Drop VanitySearch's CUDA secp256k1 kernel as a BSHK worker; lumbda gets a 6.5 Gkeys/s point-mul oracle. Every candidate validation rides this form. Hardware already owned (3090 + 4090). diff --git a/www/bend.html b/www/bend.html index ffdbc8d..de6a5e8 100644 --- a/www/bend.html +++ b/www/bend.html @@ -96,6 +96,15 @@ make gpu-worker LUMBDA=asm # smallest footprint

Form catalog

A form earns a slot here only after we have published a benchmark or measured one on our hardware. "I think this would be fast" does not earn a slot — the form-status column says planned until numbers exist.

+

Form D structural finding — 2026-06-05

+

cuda-clifford-stabilizer as originally scoped does not apply to our point-add circuit. Build agent measured Toffoli fraction 13.87% (well under the 40% threshold), then noticed the circuit contains no Hadamard or S gates — only X / CX / CCX / CZ / CCZ / SWAP / R / HMR / Z / NEG. State never leaves the computational basis. Aaronson-Gottesman tableau compression buys nothing when superposition does not exist; it reduces to exactly what sim_gpu.cu already does, at one bit per qubit per shot.

+

The cuda-sim-ops-bin 1.07× ceiling traces to memory-bandwidth on per-shot striped state, not algorithm choice. STABSim-class wins remain valid for QEC / surface-code workloads where H + S exist; that's a future workload, not point-add today.

+

Two replacement directions in flight:

+ +

Status legend