Published June 4, 2026
| Version v1.0.0
Preprint
Open
NID / HELIX Goldbach Workbench: Finite Rooms, Blocker Walls, and Survivor Doors
Authors/Creators
Description
This archive contains the NID / HELIX Goldbach workbench with Lean formal shape definitions and Sage finite audit scripts. The workbench frames Goldbach through finite rooms, active doors G(C), blocker walls K(C), survivor doors, and NO_BAD_CENTER closure.
Files
NID_HELIX_GOLDBACH_RELEASE.zip
Files
(30.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:40a09a5f8431417cd8e787744f059d2d
|
3.4 kB | Download |
|
md5:32d3400f3d10557eb1dd5b707aa5e89c
|
11.6 kB | Preview Download |
|
md5:bf110accba0867c4e9b8855601ae7560
|
3.2 kB | Preview Download |
|
md5:c8af64ecc4e88685c5d917ae0d3cc444
|
10.6 kB | Download |
|
md5:00765d3d5258496a22e496a8ae3eacdb
|
1.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/lv300-max/nid-helix-goldbach-workbench (URL)