Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 7443ce1992 wai-quantum 0.4.4: the fabric's CUDA member ... A second accelerator member beside the WebGPU one: the gate kernel in CUDA C, compiled at run time by the CUDA runtime compiler for each device's own architecture, certified bit-exact against the CPU reference's pinned corpus digests. Feature `quantum_fabric_cuda`, opt-in, native targets only. The kernel (src/quantum_fabric/lanes64.cu) is a transcription of lanes::exact_row and apply_words in 64-bit integers, which every CUDA device has: each fx(a, b) = (a·b + 2^29) >> 30 is exact in 64 bits, each row's sum too, the lane keeps the low 32 bits, and a sum outside 32 bits records the gate's op-log index, the lowest winning. One thread per amplitude pair, one launch per gate, so no thread reads what another writes within a launch. The driver and the runtime compiler are loaded when first used, so a build with the feature runs on a host with no CUDA and finds no member, with the reason (Discovery::unavailable). The member mirrors the WebGPU member's surface: discovery with typed refusals, the arithmetic probe (shared now as lanes::probe_pairs and first_mismatch), run_lanes / run_program, simulate_from and simulate_metered, certify, member and member_metered, a Runner for the Fabric, with_max_qubits and with_source for tests. Its id binds the device, UUID, PCI location, driver, compiler and memory: local/gpu-cuda-<12 hex>, keyed in CI as gpu-cuda-sm<major><minor>. Device tests (tests/cuda_member.rs), on the RTX 4050 (sm_89): the probe agrees on 65,536 pairs; the kernel matches run_words on 2,000 random states and gate words, out-of-range runs included; all four pinned certificates reproduced; random circuits up to 22 qubits and QFTs equal to native; typed refusals; all six kernel mutants caught; a receipt, a placement and a Fabric run; repeated runs identical. On a host with no CUDA the same tests pass over no member. CI: wai-quantum-cuda.yml, on the GPU host (requires the four certificates and every mutant caught) and on a runner with no CUDA (requires the member to say so). Every lockfile that includes wai-quantum moves to 0.4.4 by its version line alone. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-10-14 01:14:01 -04:00
..
conformance.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
energy-hardware.yml	ci: run the new platform-gated meter tests where their platform is	2026-10-10 18:11:22 -04:00
joule-code-conformance.yml	joule-moq: receipt chains recover (P-J2, P-J3); public text by capability; the conformance gate parses its count	2026-10-06 10:39:21 -04:00
jouleclaw-public-surface-documented.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
lockfiles.yml	ci: every committed Cargo.lock is current	2026-10-12 20:16:43 -04:00
no-vanity-metrics.yml	check: no library source file is unreachable from its crate root	2026-10-10 09:51:01 -04:00
spec-refs.yml	ci: a citation to a section that does not exist is now a failure	2026-10-13 03:07:23 -04:00
standards-build.yml	Merge pull request 'joule-code: close the two gaps its conformance gate cannot see' (#210) from dcharlot/joule-code-pack-test into main	2026-10-13 02:40:36 -04:00
tests-in-ci.yml	ci: every wai-rs test file is run by a job or listed, and none can run empty	2026-10-13 01:20:48 -04:00
wai-byte-equality.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-conformance.yml	ci: build wai_prov and run its carry path against the committed receipt	2026-10-13 02:22:48 -04:00
wai-energy-receipts.yml	ci: build wai_prov and run its carry path against the committed receipt	2026-10-13 02:22:48 -04:00
wai-formal-verification.yml	wai-ops proofs: the rans64 totality proof runs where its memory fits	2026-10-12 09:50:31 -04:00
wai-http.yml	falsify: every mutation names the cases it must fail; receipt-surrogates reaches one	2026-10-10 01:42:38 -04:00
wai-jpegai-e2e.yml	CI: the formal-verification job in shards; the scale-path golden runs where its bundle is	2026-10-10 23:27:46 -04:00
wai-neural-e2e.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-neural-gates.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-ops.yml	wai-ops CI: the external sets' certificates from both certifiers	2026-10-10 10:26:38 -04:00
wai-pack.yml	Merge wai/d1-record-true (with #205, #197 and main) into wai/w4-4-staged-packages	2026-10-10 17:40:02 -04:00
wai-quantum-cuda.yml	wai-quantum 0.4.4: the fabric's CUDA member	2026-10-14 01:14:01 -04:00
wai-quantum-webgpu.yml	quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters	2026-10-13 02:22:44 -04:00
wai-section-refs.yml	check-wai-section-refs: read wai/SECURITY.md too	2026-10-09 17:15:06 -04:00
wai-sota-vectors.yml	wai-ops CI: the external sets' certificates from both certifiers	2026-10-10 10:26:38 -04:00
wai-vector.yml	wai-vector: the wasm exports and the three-engine browser leg (D7-8)	2026-10-13 02:44:44 -04:00
wai-web-reach.yml	wai-web reach: the record leg runs the record's own demo scripts	2026-10-11 03:44:06 -04:00
wai-web-wasm.yml	ci(wai-web-wasm): the native unit-test count is 32 with the OTT grade test	2026-10-11 17:01:29 -04:00
workflow-hygiene.yml	ci: workflow hygiene — restore the comment marker on the header's first prose line	2026-10-09 16:29:23 -04:00