Annexe A Status Map — All 760 Conjectures
Process desk · data/annexeA_status.tsv · commit 313d0c3 · no standing +N · live annexeA_status.tsv
Opus 5 transcribed the thesis’s own status legend (PDF p.264) and published a TSV covering all 760 Annexe A conjectures with lower/upper bound codes decoded to invariant pairs. Legend essentials: R = “obtenue automatiquement et réfutée” (already refuted by the author); O/AO open; T/P theorem/proved; SO/SP structural; ND not determined; K known.
Immediate hunt consequences (honesty locks): A.501 (prox−λ₁) and A.503 (prox/λ₁) are T/T — not kill targets. A.502 is ND/P. Tempting D·λ₁ (A.304) and r·λ₁ (A.360) are already R by Aouchiche himself — attacking either would have been a false claim. Our kills sit correctly in the open set: A.504 was O/O (now FALSE tip 5615); A.458 and A.460 were O/SO (FALSE tips 5595/5607).
Lower-bound mix on the full 760: T 443 · P 137 · O 46 · SO 39 · ND 38 · AO 22 · AP 14 · K 9 · R 8 · AR 3 · SP 1. This map is infrastructure for the next hunt, not a standing bump. Graffiti: graffiti-verification @ 313d0c3.