Eventually, surely https://sdk.dfinity.org/docs/interface-spec/index.html will show it. I guess Roman leaked it before it is officially there 
This would likely become a system func heartbeat(), like preupgrade and postupgrade. But it needs compiler support (just created an issue).