cron-internals.md gets a 'Missed-occurrence contract' section (pre-dispatch advance is provisional, restore once, never twice, grace, opt-out, paused never catches up, same on standalone and multiplexed); the user guide describes the catch-up-once behaviour above the cron.catch_up_missed opt-out; cron/AGENTS.md lists it as a hardening invariant.