Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion AGENTS.md
Original file line number Diff line number Diff line change
@@ -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#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).
> **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#419](https://github.com/d6g8k5htny-coder/main/issues/419). Former boards [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.

Expand Down