docs: drop dead refs (spec.md link, verify_gate_anchor.py paragraph)

- spec.md never existed at root or docs/; removed the link from AGENTS.md +
  README.md (the live plan is in docs/spec/ dated files).
- RESEARCH_JOURNAL.md link pointed at docs/; it lives at repo root. Fixed.
- Trimmed the no-cheat-leak paragraph citing scripts/verify_gate_anchor.py
  (that file doesn't exist); kept the general 'gate every load-bearing
  invariant in the same commit' rule.

Co-Authored-By: Claudypoo <288921227+claudypoo@users.noreply.github.com>
This commit is contained in:
wassname
2026-06-07 10:20:27 +00:00
parent 1228e1b784
commit 52619519dc
2 changed files with 4 additions and 9 deletions
+3 -8
View File
@@ -56,20 +56,15 @@ Inherit global rules from `~/.claude/CLAUDE.md`.
## Files
- Read [docs/spec.md](spec.md) for the preregistered plan.
- Read [docs/brainstorm/extracted_prefs.md](docs/brainstorm/extracted_prefs.md) for design rationale.
- New sweep arms get recipes in [justfile](justfile) with `# H:` hypothesis comments.
- `just smoke` before any real run (~1-2 min, beartype on, real pipeline on tiny inputs).
- Real runs go through `pueue` on the 96GB GPU box. Label each job with `why:` and `resolve:`.
- Head [docs/RESEARCH_JOURNAL.md](docs/RESEARCH_JOURNAL.md) for latest results.
- Head [RESEARCH_JOURNAL.md](RESEARCH_JOURNAL.md) for latest results.
- No `tests/` dir; `smoke` is the correctness gate. Unit checks are `scripts/verify_*.py`
(assert + exit nonzero), wired into the `smoke` recipe so every smoke runs them.
- Every load-bearing invariant gets a `verify_*.py` gate. The no-cheat leak (held-out
modes received <=1.1% detector labels via the route2 gate, 2026-06-05) shipped because
nothing asserted it: the existing gates were green but none covered the property. If a
claim is load-bearing, write the assertion test in the same commit -- "the tests passed"
means nothing if the property was never tested. This one was found by hand-counting, not
by a gate; now `scripts/verify_gate_anchor.py` covers it.
- Every load-bearing invariant gets a `verify_*.py` gate, written in the same commit as
the claim -- "the tests passed" means nothing if the property was never tested.
On persona pairs
- ./docs/personas/how_to_rewrite_pairs.md