### What exactness costs: a measured record, and what WAI claims from it

- **The record** ([research/determinism-cost.md](research/determinism-cost.md),
  `research/determinism-cost/record.json`): `wai.neural.int_hyper` against its float model,
  the pretrained `mbt2018_mean` at all eight published qualities, each checkpoint pinned by
  SHA-256, on the 24 self-test pictures of the pinned reference set. It gives, from readings
  it keeps: the BD-rate of the integer codec against the float codec by PSNR and by MS-SSIM,
  per picture and summarised; each codec's decodes repeated on every platform reached (CPU,
  WebAssembly and GPU for the integer decode; CPU and GPU for the float decode) and compared
  byte for byte, the float ones placed in or after the entropy decode; and decode time and
  energy for both, each energy figure with its counter, scope and class, bracketed by idle
  windows, over seven rounds.
- **What WAI claims** ([determinism-tiers](extensions/determinism-tiers.md) §7, new): the
  tier's claim rests on the integer construction, not on the record; the record's figures
  hold for the pictures, models, platforms and builds it names, and a receipt never takes
  its energy from it. Every figure the text quotes from the record carries a marker that
  `tools/wai_determinism_cost_verify.py` checks.
- **Tools.** `tools/wai_determinism_cost.py` (pictures, pinned checkpoints, integer export
  per quality, both codecs, the float decode on any device, distortion, BD-rate, the record),
  `tools/wai_det_energy.py` (a decoder as a child, timed in rounds with its counters read
  around them) and `wai-rs`'s `wai_det_cost` bin (feature `neural_int`, `ops_gpu` for a
  GPU), which decodes `WIH1` payloads through `int_payload::decode_int` and serves timed
  rounds. `tests/det_cost_bin.rs` holds the bin to the committed `int_hyper` vector and every
  `WIH1` refusal fixture.
- **Verifier and CI.** `tools/wai_determinism_cost_verify.py`, written from the procedure
  and sharing no code with the tool that wrote the record, recomputes every summary value
  from the readings, with its own interpolant and integration for the BD-rate, and checks
  each quoted figure; the conformance workflow's independent-verifiers job runs it and the
  bin's test.

