Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science d009db9087 wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which ... The single `HwShunt` acquisition class covered both an on-chip vendor counter (RAPL, NVML, SMC, IOReport) and an external calibrated shunt. They are different evidence: a calibrated instrument's uncertainty is traceable to a calibration, while a counter is a vendor's reading whose error the vendor states (RAPL readings are deliberately noised when SGX or TDX is enabled, per security advisory INTEL-SA-00389). - extensions/energy-measurement.md §2 splits hardware evidence into `OnChipCounter` and `CalibratedInstrument`, each with a required declared uncertainty (relative error and integration window). IOReport is an on-chip counter, like RAPL and NVML. `HwShunt` stays readable as the legacy class, ranked below both, and is not sealed into a new WAI receipt. - Every receipt family that carries joules — video, world, film, reel, haptic, score, splat4d, audio scene, ternary, provenance and the wai-quantum receipts — can carry its class. The label is additive: every committed signed vector still verifies, and the signed bytes of unlabelled and legacy-labelled receipts are pinned by tests. A sealed figure declares its 1 µJ resolution, and the floor is stated as the rule verified (0.5/√3 µJ). - The acquisition rules are scoped to the receipt profiles WAI defines, and the text says what enforces each one. - Meters open their window from rest, report an all-zero power reader as unusable rather than clean, and state the running-window count model as conservative. - oer-receipts.md maps OER's evidential grade onto the refined classes. The rule that a producer must not grade `measured` a figure whose class is `Estimator` is kept as settled on main. - wai-quantum verifies a receipt in either form on every in-tree verify path, including wai-quantum-serve's POST /verify. - CI: wai-energy-receipts.yml runs the energy-class, label and legacy-pin tests for wai-rs, wai-quantum and wai-quantum-serve, which no workflow enabled before. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-09-29 01:27:37 -04:00
..
lib.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
merkle.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum.rs	wai-quantum 0.3.12: the last gate that was still paying full price	2026-09-07 03:39:35 -04:00
quantum_atom.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_cal.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_channel.rs	wai-quantum 0.3.21: test the cross-architecture claim instead of asserting it	2026-09-10 12:01:42 -04:00
quantum_comm.rs	wai-quantum 0.3.15: key distribution, and the cost of listening	2026-09-07 04:20:31 -04:00
quantum_compile.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_control.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_energy.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_info.rs	wai-quantum 0.3.17: the channel, and the direction of the arrow	2026-09-07 05:58:33 -04:00
quantum_kernel.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_mitigate.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_mps.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_noise.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_ops.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_pauli.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_phasor.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_phasor_meter.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_qbom.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_qdata.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_qec.rs	wai-quantum 0.3.20: the colour code, and the gate it buys	2026-09-10 10:43:29 -04:00
quantum_qfhrr.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_qir.rs	wai-quantum 0.3.3: QIR ingest — interop runs both ways	2026-09-04 06:10:16 -04:00
quantum_qudit.rs	wai-quantum 0.3.14: qutrits	2026-09-07 03:57:14 -04:00
quantum_receipt.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_source.rs	wai-quantum 0.3.21: test the cross-architecture claim instead of asserting it	2026-09-10 12:01:42 -04:00
quantum_stabilizer.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
quantum_toolchain.rs	wai-quantum 0.3.19: ingest the QASM the mainstream toolchains actually emit	2026-09-10 10:33:53 -04:00
quantum_vml.rs	wai: extract the quantum stack into a standalone wai-quantum crate	2026-09-03 15:29:50 -04:00
receipt_pins.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00