Module warmth 

One session’s keep-warm account: the last real request each prefix carried, and the renewal sent for it when kernel::keep_warm says it is due (crates/runtime/spec/Prefix.lean §8-4-2).

Off keeps nothing. Under KeepWarm::Off a request is not even cloned, so the default setting costs no memory per session and has no renewal it could send.

Structs

Lead

How long a request to one endpoint takes from leaving the city to the provider starting it, in milliseconds, as last measured; 0 before the first reading.

RenewalRound

What one wake’s renewals came back with: every answer the provider gave, and the first refusal when one came. The answers survive a later refusal, because each one’s usage is already spent.

Warmed

The door a run’s requests enter the keep-warm account by: it owns the adapter a run calls and is itself the Model the turn loop is handed, so every request that reached the provider is recorded without the turn loop knowing keep-warm exists.

Warmth

Keep-warm bookkeeping for the prefixes one session has sent.