Slim the never-rewrite-history AGENTS.md block to 6 lines

The generated repos_sync:history block is cut from 23 lines to a terse
prohibition + clean-tree recovery command, to stop paying ~250 tokens of
agent context per repo per session. Single source stays
PyAutoMind/policy/never_rewrite_history.md; the misattributed 2026-04-27
incident anecdote is removed (those fresh-start commits were intentional).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: 2 people

AGENTS.md

@@ -121,25 +121,8 @@ from `AbstractNDArray`; `.array` returns the raw `numpy.ndarray` / `jax.Array`.
 <!-- repos_sync:history:begin -->
 ## Never rewrite history
 
-NEVER perform these operations on any repo with a remote:
-
-- `git init` in a directory already tracked by git
-- `rm -rf .git && git init`
-- Commit with subject "Initial commit", "Fresh start", "Start fresh", "Reset
-  for AI workflow", or any equivalent message on a branch with a remote
-- `git push --force` to `main` (or any branch tracked as `origin/HEAD`)
-- `git filter-repo` / `git filter-branch` on shared branches
-- `git rebase -i` rewriting commits already pushed to a shared branch
-
-If the working tree needs a clean state, the **only** correct sequence is:
-
-    git fetch origin
-    git reset --hard origin/main
-    git clean -fd
-
-This applies equally to humans, local Claude Code, cloud Claude agents, Codex,
-and any other agent. The "Initial commit — fresh start for AI workflow" pattern
-that appeared independently on origin and local for three workspace repos is
-exactly what this rule prevents — it costs ~40 commits of redundant local work
-every time it happens.
+Never rewrite pushed history on any repo with a remote — no `git init` over a
+tracked repo, no force-push to `main`, no fresh-start "Initial commit", no
+`filter-repo` / `filter-branch` / `rebase -i` on pushed branches. To get a
+clean tree: `git fetch origin && git reset --hard origin/main && git clean -fd`.
 <!-- repos_sync:history:end -->