diff --git a/AGENTS.md b/AGENTS.md
index 1a3cec97..b9d03715 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. Active coordination: [main#475](https://github.com/d6g8k5htny-coder/main/issues/475) (continued from the full [main#419](https://github.com/d6g8k5htny-coder/main/issues/419)). Former boards [main#419](https://github.com/d6g8k5htny-coder/main/issues/419), [main#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [main#229](https://github.com/d6g8k5htny-coder/main/issues/229) retain historical records, including the [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880); no earlier claim is transferred or released by this routing change.
+> **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#539](https://github.com/d6g8k5htny-coder/main/issues/539) (continued from [main#475](https://github.com/d6g8k5htny-coder/main/issues/475), itself continued from the full [main#419](https://github.com/d6g8k5htny-coder/main/issues/419)). Former boards [main#475](https://github.com/d6g8k5htny-coder/main/issues/475), [main#419](https://github.com/d6g8k5htny-coder/main/issues/419), [main#307](https://github.com/d6g8k5htny-coder/main/issues/307) and [main#229](https://github.com/d6g8k5htny-coder/main/issues/229) retain historical records, including the [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880); no earlier claim is transferred or released by this routing change.
 
 Mathematical candidates, proofs, programs, and reproducible calculations. Not a status register.
 
diff --git a/README.md b/README.md
index af5b94df..374cda87 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 # Mathematics — proofs, calculations, and open reviews
 
-[Research home](https://github.com/d6g8k5htny-coder/main) · [Topic guide](https://github.com/d6g8k5htny-coder/main/blob/main/docs/RESEARCH_INDEX.md) · [Run the checks](https://github.com/d6g8k5htny-coder/main/blob/main/docs/REPRODUCE.md) · [How to cite](CITING.md) · [Claim manifest](claims/LANDING_CLAIMS.json) · [Proof availability](PROOF_INDEX.md) · [Work queue](https://github.com/d6g8k5htny-coder/main/issues/86) *(closed downstream record; not a live queue)* · [Active coordination](https://github.com/d6g8k5htny-coder/main/issues/475) ([historical #419 board](https://github.com/d6g8k5htny-coder/main/issues/419)) ([historical #307 board](https://github.com/d6g8k5htny-coder/main/issues/307)) ([historical #229 board](https://github.com/d6g8k5htny-coder/main/issues/229); [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880))
+[Research home](https://github.com/d6g8k5htny-coder/main) · [Topic guide](https://github.com/d6g8k5htny-coder/main/blob/main/docs/RESEARCH_INDEX.md) · [Run the checks](https://github.com/d6g8k5htny-coder/main/blob/main/docs/REPRODUCE.md) · [How to cite](CITING.md) · [Claim manifest](claims/LANDING_CLAIMS.json) · [Proof availability](PROOF_INDEX.md) · [Work queue](https://github.com/d6g8k5htny-coder/main/issues/86) *(closed downstream record; not a live queue)* · [Active coordination](https://github.com/d6g8k5htny-coder/main/issues/539) ([historical #475 board](https://github.com/d6g8k5htny-coder/main/issues/475)) ([historical #419 board](https://github.com/d6g8k5htny-coder/main/issues/419)) ([historical #307 board](https://github.com/d6g8k5htny-coder/main/issues/307)) ([historical #229 board](https://github.com/d6g8k5htny-coder/main/issues/229); [working guidance](https://github.com/d6g8k5htny-coder/main/issues/229#issuecomment-6038554880))
 
 ## Read a result