Programme D: operational consumers

A finite energy-sector model may now use the rate (eq:rate) as a derived input rather than an external table, provided its calibration procedure and all required errors are specified. Its energy-sector isometry and implementation theorems must still hold for the chosen weights and schedule.

An operational recovery theorem, a memory lower bound, or a matching entropy shape remains a statement about that finite channel. None reverses Proposition prop:finite or reconstructs the field-state calculation that produced the rate.