timed_receipt prices every store mutation (register_user, create_board,
add_cell, record_utterance, predict, set_vocabulary_level) at elapsed
wall time × an assumed draw no device calibrated, and tagged it
ModelBased while its own doc called it "an estimate". By the family's
metering ladder (JCP SPEC §5.1) a model earns ModelBased by its
calibration; an assumed draw scaled by time is rung 6, Estimator.
The figure is unchanged. Its doc said "~2 mW", but 2.0 × elapsed µs is
2 µJ per µs, i.e. 2 W: the doc now says what the code computes.
access-core's Provenance / Receipt docs now say ModelBased is a draw the
device measured and an assumed draw is an estimate. New test
store_receipts_are_estimates. No vector changes (aac gen-vectors output
is byte-identical; the vectors carry no provenance).
Co-Authored-By: Claude Opus 5.5 <[email protected]>