diff --git a/AGENTS.md b/AGENTS.md
index ca2f0fa24..83b25a167 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -1,6 +1,6 @@
 # Agent entry — `Math-`
 
-> **OWNER STOP of 2026-09-27: historical, lifted.** The record is kept unchanged in [OWNER_STOP.md](OWNER_STOP.md). From 2026-10-03, by Dylan's instruction, xAI/Grok (including Cursor) agents work here **only as support** for the non-Grok lanes. They act at those lanes' request, and may also enter to see how they can assist. No self-assigned repository changes, no takeover of another lane, and no restarted timers or loops. Coordination: [main#229](https://github.com/d6g8k5htny-coder/main/issues/229).
+> **OWNER STOP of 2026-09-27: historical, lifted.** The record is kept unchanged in [OWNER_STOP.md](OWNER_STOP.md). From 2026-10-03, by Dylan's instruction, xAI/Grok (including Cursor) agents work here **only as support** for the non-Grok lanes. They act at those lanes' request, and may also enter to see how they can assist. No self-assigned repository changes, no takeover of another lane, and no restarted timers or loops. Active coordination: [main#307](https://github.com/d6g8k5htny-coder/main/issues/307). Historical records and [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880) remain at [main#229](https://github.com/d6g8k5htny-coder/main/issues/229).
 
 Mathematical candidates, proofs, programs, and reproducible calculations. Not a status register.