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
..
conformance.yml	ci: target the self-hosted fleet labels, not GitHub-hosted images	2026-07-23 00:17:08 -04:00
joule-code-conformance.yml	ci: bump hardcoded toolchain pins 1.97.1 → 1.98.0	2026-08-26 07:41:56 -04:00
jouleclaw-public-surface-documented.yml	ci: bump hardcoded toolchain pins 1.97.1 → 1.98.0	2026-08-26 07:41:56 -04:00
no-vanity-metrics.yml	ci: target the self-hosted fleet labels, not GitHub-hosted images	2026-07-23 00:17:08 -04:00
standards-build.yml	ci(standards-build): exercise the macOS energy backend, which nothing did	2026-09-21 13:47:40 -04:00
wai-byte-equality.yml	wai-rs: fast integer decode kernels that give the same integer for every output	2026-09-28 18:43:42 -04:00
wai-conformance.yml	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
wai-energy-receipts.yml	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
wai-formal-verification.yml	wai-rs: fast integer decode kernels that give the same integer for every output	2026-09-28 18:43:42 -04:00
wai-jpegai-e2e.yml	ci(wai): run the JPEG AI cross-platform pinned-output test in the whole-decode job	2026-09-28 18:42:16 -04:00
wai-neural-e2e.yml	ci: bump hardcoded toolchain pins 1.97.1 → 1.98.0	2026-08-26 07:41:56 -04:00
wai-neural-gates.yml	wai: a Prior may declare its artifact's wire form; register NNC and the derived-track operations	2026-09-28 18:38:59 -04:00
wai-sota-vectors.yml	wai: the headline decode tests fail on a missing input, and CI supplies their inputs	2026-09-28 18:40:59 -04:00