Drew T
14 KiB
L1 | offline-tooling-first | legacy,memory | active | legacy memory offline-tooling-first.md
L2 | lever-removal-is-a-tracked-series | legacy,memory | active | legacy memory lever-removal-is-a-tracked-series.md
L3 | decomp-accelerator-ledger | legacy,memory | active | legacy memory decomp-accelerator-ledger.md
L4 | verify-blast-radius-not-just-defect | legacy,memory | active | legacy memory verify-blast-radius-not-just-defect.md
R98 | Known-opposite check before a none/external/already-done verdict settles | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R99 | Key by (binary, address, body) in indexes, maps and censuses | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R100 | One done-filter function shared by every side | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R101 | Bucket the remainder before a cycle stops | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R104 | A signature change is one judged unit | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R105 | No carry-audit section means audit blocked | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R118 | Tool stop: SIGINT, wait, then restore | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R119 | Snapshot/refresh helpers refuse empty or shrunken input | - | active | PhaseEnd_Phase37 candidate, ratified 2026-09-29
R120 | Issue reply drafts are never committed or mentioned in commit text | - | active | developer 2026-09-30
R121 | Phases name the counts they move and publish them at close | - | active | developer 2026-09-30
R122 | Tier-2 struct twins are folded on evidence or listed with a cause | structs,census,twins | active | PhaseEnd_Phase3.38 binding (T5.1)
R123 | Kept casts and lying declarations stay only with a ledger row | casts,lying,ledger,macros | active | PhaseEnd_Phase3.39 binding
R124 | Raw cast residue is covered per site by a cause-named RESIDUAL row | casts,residue,ledger,restruct | active | PhaseEnd_Phase3.39 binding
R125 | GTE asm in bodies is spelled only through gte_inline.h | gte,asm,levers,headers | active | PhaseEnd_Phase3.39 binding
R126 | Lever residue is a ledger, gated by --strict --residue | levers,pins,asm,residue,ledger | active | PhaseEnd_Phase3.39 binding