The `cite` example records a retrieval of 4_200 µJ that no fetch spent
(no document is read) and decided and sealed it as Energy::measured, so
its jcp receipt claimed a hardware reading of work no meter saw.
The cost now comes from `retrieval_cost()`, the citation's figure graded
Estimator with no measured figure; the docs and the first output line say
the retrieval is illustrative. The figure, and so the receipt's cost_uj
and the citation commitment, are unchanged.
tests/cite_example.rs compiles the example in as a module: its cost must
be Estimator with no measured figure, and the receipt sealed over it must
carry energy_provenance "Estimator", decoded from the signed core.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
68cb3c1b13