HermesHermes as a case study in scheduled agent operation: bounded context, explicit authority, recovery, and consumed proof.