wai-quantum: energy-landscape jobs, a classical emulator of the settling model, and the extension wai.quantum.landscape/1 #664

Merged

dcharlot merged 10 commits from wai/quantum-landscape-emulator into main 2026-11-06 14:49:33 -05:00

Conversation 0 Commits 10 Files changed 71 +32062 -11

2026-11-06

Transaction Science

Merge main into the emulator; say the schema list's new length is a change ...

Main brings the CI fixes and the receipts work. The conformance README keeps
both sections. `wai breaking` reported engine::schema::FILES going from 24 to 25
entries unacknowledged, so the change entry now says so.

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

b5424f0aef

• View at this point in history

2026-11-06 14:46:21 -05:00

Transaction Science

wai: the stated result restated, and the page reads the scale figure by its name ...

The label and the answer's joules changed, so the digests over whole answers
moved: the talks' lines, every example's lines and the corpus digest are stated
again, from runs of reproduce.sh on x86-64 Linux, arm64 Linux and macOS (with the
browser build), each giving every value. The page read the figure for scale by its
old name and could not show a run's card; the page check caught it, and now passes
77 of 77 with the browser build's answers the command line's bytes.

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

f4575220b5

• View at this point in history

2026-11-06 03:49:28 -05:00

Transaction Science

wai: the extension states exactly what the code does ...

From both reviews of #664: the limits and how operations and memory are counted;
the grammar; a pin's size; how weights are quantised; the plans, `minimize` above
temperature 0 among them; the state a two-cycle reports and what a settle's digest
holds; the schedule and the cut points to the operation; the exponential, in an
appendix; the host's checks of a member's answers; parity as found; the battery.
The joule line's 0.03 pJ is stated as what it is, a published 2014 figure for one
8-bit integer add, given for scale; the label says so in place of a modelled chip.
The provenance names the copyright holder that relicensed the code.

The page's refusals through Sweep and Compare reach the live status, the sweep
shows the board draw each priced figure leaves out, and the count under the
published table is of the rows it shows. reproduce.sh fails when the browser build
differs, skips a wasm-bindgen other than the lockfile's, and compares table.md and
the trial too. The workflow's paths take the command line's and the browser
crate's manifests and lockfiles, and its counts are the tests as they are.

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

55a86e72c0

• View at this point in history

2026-11-06 03:34:58 -05:00

Transaction Science

wai-quantum: bound every quantity a job can ask for, and check what a member claims ...

From the engine review of #664:

- A job is bounded before any of it runs, the same on every host: the program's
  length, `steps` (now at least 1) and `restarts`, the `#! check` lines and their
  items, the numbers in them, and the fields after pins and quantisation. The
  operations of the whole job (the n² rows, the exhaustive truth, every run and
  every seed of a replay) and the memory it can hold are counted first; chains go
  to a member a batch at a time, so a run's memory does not grow with its starts.
- Quantised weights and pins are held to 2^40, so the exhaustive truth cannot
  overflow; the most negative whole number no longer passes through abs().
- The grammar is ASCII and strict (no `+`, no exponent in a temperature, spaces
  and tabs only), and a temperature string has a grammar of its own; the module
  reads JSON numbers to the nearest double with its own feature.
- A member takes every sweep's temperature from the host. Every answer it returns
  is checked: a fixed point rests, a two-cycle has period 2, a bound was reached,
  the work and the draws are what the schedule comes to.
- A member's parity is found, not declared: bit-exact on the settle and chains
  vectors, statistical on a battery of workloads that catches a kernel moving
  coupled cells at once, ignoring its schedule, sampling the last sweep or using
  a wrong table. Only the host's own kernels are "reference".
- Sums of energies are taken in 128 bits; balance checks in 128 bits.
- The conformance set pins the exponential, the schedule, the cut points over a
  wide grid, chains with every start of a run, and requests for each rule.

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

eb0db88956

• View at this point in history

2026-11-06 03:34:58 -05:00

Transaction Science

wai-quantum: the label names no product ...

"the planned e-QPU's settling model" becomes "the settling model of a planned
energy-based processor" in the label, the spec's quotation, the page and the
page's test; the rest stays word for word. The label is inside every answer, so
the digests over whole answers are pinned again: the corpus digests natively and
in wasm32, and the stated result's lines. The replay digests, the table and the
conformance set do not hold the label and do not change.

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

e84cf47863

• View at this point in history

2026-11-06 02:34:58 -05:00

Transaction Science

Merge main into wai/quantum-landscape-emulator ...

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

8368e3de6a

• View at this point in history

2026-11-06 02:19:17 -05:00

Transaction Science

wai: the extension wai.quantum.landscape/1, its results and its workflow ...

extensions/quantum-landscape.md states the job, the answer, how joules are
stated (priced, never called measured, sampling at its own rate, what the rate
leaves out), and the seam a GPU member or an FPGA board runs behind, with each
answer naming what ran it and how far it is held to the reference.

quantum-conformance/landscape holds the equal-budget table, published as it came
out (simulated annealing leads on the larger instances), the starting-temperature
data behind the default, a trial outside the job form, the browser build's parity
record, a stated result and the script that checks it. The docs page, the READMEs,
the version policy, the changelog entry and wai-quantum-landscape.yml come with it.

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

699a016d80

• View at this point in history

2026-11-06 02:19:10 -05:00

Transaction Science

wai-web: energy-landscape jobs in a page ...

QuantumEngine.landscape seals an answer with the page's key and
landscape_answer gives the unsealed bytes the command line's `landscape call`
writes. A native test and a wasm32 test pin the worked examples' digest, and
wai-web-wasm.yml's counts rise by one each. demo/landscape.html is the page, and
two scripts compare its answers with the command line's, in Node and in Chrome.

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

cb28655cd9

• View at this point in history

2026-11-06 02:19:10 -05:00

Transaction Science

wai-quantum-cli: wai-quantum landscape ...

run, sweep, compare, replay, examples, table, instance, call, corpus, vectors and
trial-assignment. A job that ran exits 0 whatever its verdict; a program that
cannot run exits 1 with one plain sentence and its line. The help is in the
zh-CN locale, and docs/llms-full.txt is regenerated.

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

e357f496ae

• View at this point in history

2026-11-06 02:19:10 -05:00

Transaction Science

wai-quantum: quantum_landscape, energy-landscape jobs on a classical emulator ...

A program in epuML states an energy over variables of three states; the module
reads it, runs it on the settling model's two kernels (a deterministic sweep in
whole numbers, a sampling sweep of one draw between two cut points, both the same
bits on every platform), checks every arrangement up to 16 variables, grades each
lowest one against the problem's own check, prices the joules at rates whose
sources are named, and runs simulated annealing, tabu search and greedy descent
on the same instance at the same budget. A member trait is the seam a GPU or an
FPGA board runs behind; the CPU reference is the only member here.

The feature is in quantum_engine and full, with no new dependency, and wai
re-exports it. The answer's schema is wai.quantum.landscape/1, and the conformance
set a member is held to is quantum-conformance/landscape/vectors.json, which a
test holds to the code.

The code came from a private crate declared BSL-1.1 at d46e63d7b, and is
relicensed Apache-2.0 by its copyright holder's decision of 2026-11-05
(src/quantum_landscape/PROVENANCE.md).

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

f7078696d0

• View at this point in history

2026-11-06 02:19:10 -05:00