The `session` example seals five efficiency/1 receipts for an
illustrative fleet — no task runs — and built each energy figure with
Energy::measured(uj), commented "a HwShunt reading in this demo". Every
receipt claimed a hardware reading nothing took.
`task()` now seals Energy::estimator(uj), the module docs say the fleet is
illustrative and that a binding metering real work seals its meter's
grade, and the run prints that the energy is sealed as estimates. The
figures, and so every rate the example prints, are unchanged.
tests/session_example.rs compiles the example in as a module, builds its
records and seals them: each record must be Estimator with no measured
figure, and each verified receipt's provenance "Estimator".
Co-Authored-By: Claude Opus 5.5 <[email protected]>
b0f174bb8c