The registry of approaches that failed is now kept in two places:
05-meta-and-planning/ROUTES-TRIED-INDEX/— about 1,400 routes from programs RH1–RH9, phases 0–209, the papers and the literature, each with its tool family, location, outcome (DEAD, NO-GO in a declared class, FALSIFIED, PARTIAL, NUMERICAL-ONLY, CIRCULAR, or ending at a reformulation of row D) and the reason it failed.- Paper 48 — the same routes classified on an 8×8 grid, with the walls W1–W12 stated as theorems or meta-theorems and the specification S1–S12 a closing argument must meet.
The barrier theorems themselves are proved in Paper 47.
The earlier registry (phases 0–137) is kept in
05-meta-and-planning/archive-top-level/NO-GO-LIST.md.