NID / HELIX Approach to Goldbach via Finite Rooms, Blocker Walls, and Survivor Doors
Velazquez, Luis;
NID / HELIX Approach to Goldbach via Finite Rooms, Blocker Walls, and Survivor Doors
This record archives the NID / HELIX Goldbach preprint and reproducibility materials, including Lean formal shape definitions and Sage finite audit scripts. The preprint frames Goldbach through finite rooms, active doors G(C), blocker walls K(C), survivor doors, and NO_BAD_CENTER closure.