Sleeping Agents HLM5 — Reachability Certificate ⚡ Compute reachability certificates for token edits in a language model