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

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.