wai-quantum: energy-landscape jobs on a GPU, through WebGPU, CUDA and Metal, each member certified by the host #672

Merged

dcharlot merged 5 commits from wai/quantum-landscape-gpu into main 2026-11-07 01:28:30 -05:00

Conversation 0 Commits 5 Files changed 31 +47297 -3104

2026-11-07

Transaction Science

wai-quantum: engine::job's seal test needs quantum_qec, and says so ...

Its test of a host's seals calls qec, so the library's tests did not compile
for quantum_engine,quantum_receipt, the landscape wasip2 job's feature set.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

44b284c9f1

• View at this point in history

2026-11-07 01:26:34 -05:00

2026-11-06

Transaction Science

wai-quantum: main into the landscape GPU members ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

f6cce35f6f

• View at this point in history

2026-11-06 23:37:22 -05:00

Transaction Science

wai-quantum: the landscape GPU members held to what large jobs reach, placed only where certified, metered over what they cover ...

The review of #672 (35 findings), each fix with a test that fails first:

- The conformance set reaches what large jobs reach: settles past a workgroup
  and past a batch of sweeps; chains held hot to their last sweep, at the seeds
  where a 32-bit port of the generator first goes wrong, past a workgroup of
  chains, across a device's windows by table and by work; fields only their
  full width tells apart; field bounds at 2^31 - 1 and just past it. The
  battery adds a ring of six, eight triangles side by side, a walked law that
  a schedule's end alone does not give, and fields past 16 and 32 bits. Each
  fault a port can have, put into the kernels on a device, costs them the grade.
- Placement: call_placed passes over an uncertified kernel, a declining
  member and one that fails the job, naming each under refusals; no member is
  run on what it declines however it is reached; every answer says who ran it
  at what parity.
- Budget: a sweep's cut points cover the fields the cells can reach
  (reach.rs, at most 4P + n), counted in a job's operations and bytes; WebGPU
  waits once a window, and a member that times out passes the job on.
- RunCounter reads the counter through each call, gives a figure only from a
  live window of the profile's minimum, adds its own terms to the declared
  uncertainty, holds NVML to its plausibility itself, and says what its figure
  covers; readings are kept per thread and a run's windows are summed.
- The spec states one decline rule and defines the field bound; the schema,
  docs, READMEs and changelog follow; the devices workflow declares each
  host's members, reads a report rather than test output, runs the members'
  unit tests, and keeps the Mac's target off its internal disk.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

0675813de4

• View at this point in history

2026-11-06 14:32:12 -05:00

Transaction Science

wai-quantum: CUDA and Metal members of the landscape fabric, a meter bridge, and the decline rule ...

- quantum_landscape::cuda and quantum_landscape::metal run the settle kernel (one
  thread a cell, a launch a sweep and one to advance) and the sampling kernel
  (one thread a chain, its cells in order, the reference's draws and the host's
  cut points) with 64-bit fields, so a settle of any workload is taken.
  quantum_landscape::device holds what the GPU members share. WebGPU members
  are named gpu:wgpu-<backend>.… so that none reads as a native backend's.
- A member may decline only the vectors whose fields do not fit 32 bits;
  declining any other is failing it. Tested on the CPU with a stand-in of narrow
  lanes, and job::call_placed's refusals with it.
- wai::sink_meter::RunCounter makes a run meter of an on-chip counter
  (IOReport's GPU channel, NVML), labelled OnChipCounter with filtering Unknown
  and the uncertainty its caller declares; it gives no figure for a window under
  the profile's minimum. The hardware test that reads it is run by hand.
- The extension states declining, refusals, batches and the meter's reach; the
  schema takes refusals; the docs, the READMEs and a changelog entry say what is
  here; wai-quantum-landscape-devices.yml holds every member on jetson-hub,
  framework-128gb and the Mac Studio.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

d9277c8563

• View at this point in history

2026-11-06 08:19:14 -05:00

Transaction Science

wai-quantum: a WebGPU member of the landscape fabric (work in progress) ...

The settle kernel (one invocation a cell, a dispatch a sweep) and the sampling
kernel (one invocation a chain, its cells in order, the reference's draws in
pairs of 32-bit words and the host's cut points) in WGSL, and a coloured kernel
that can be statistical at most. A member declines, before anything runs, a
workload beyond its 32-bit lanes (Member::takes), and job::call_placed gives the
job to the next member, naming the refusal. The host hands a member the starts
of several seeds at once. Certification holds a member to every vector it takes
and to every vector whose fields fit 32 bits.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

578569fd02

• View at this point in history

2026-11-06 07:15:15 -05:00