wai: energy reports, labelled JWP leaves and what signatures cover #133
Loading…
Reference in a new issue
No description provided.
Delete branch "wai/land-14-energy-reporting"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Two claim classes report on one energy figure without changing the receipt that seals it.
measurementcarries a bracket's values as integers, with each bracket's liveness facts, the build and the power reader, and is accepted only against the receipt that carries its figure.operating-pointrecords the requested, committed and delivered operating points and a prediction; the ratio, verdict and residual are derived by every reader, never stated.energy_reportimplements them without floating point.0is never a figure of zero joules.jwp_deliveryandenergy_figureimplement this in wai-rs, and joule-moq 0.2.0 builds and verifies both labelled forms.jwp-conformance/corpus withjwp_verify.py, more claim vectors with the earlier ones pinned, and a CI job that runsclaim_verify.py,differential.pyandjwp_verify.py.Legacy receipts keep their bytes. An implementation that predates the labelled forms refuses them, so an external JWP implementation adopts the new leaf and group payload before it verifies objects or groups that use them.
This branch also merges current main; the one conflict, in
joule-code/CHANGELOG.md, keeps both entries.Lands after #132.
Checked locally on macOS arm64: the link gate, the energy-receipt suites, the claim and JWP corpora through both verifiers, and the joule-code workspace built with
--locked, with the joule-moq tests. The forge CI runs on this pull request.🤖 Generated with Claude Code
wai.prior.set (SPEC §5, Prior artifacts) gets its row in the registry table: a registered payload, media class binary, registered 2026-09-30, with the edition left to the registration. It is listed in GLOSSARY_NO_ENTRY as a WAI-native class. `wai registry export` regenerates registry/capabilities.json, the table in REGISTRY.md and vocab v2.{ttl,shapes.ttl}; `wai registry export --check` is clean, and the registry tests that hold every registered string to one row pass again. Co-Authored-By: Claude Opus 5.5 <[email protected]>