NID / HELIX Goldbach Preprint and Workbench

What this is

This repository packages the NID / HELIX Goldbach preprint and reproducibility workbench. It includes the paper draft, Lean formal shape definitions, Sage finite audit script, and archive metadata.

Workbench status

Inside the NID / HELIX workbench: SOLVED / COMPLETE / CLOSED

Lean: PASS

Sage: PASS

Next fix: NONE

Core idea

The preprint frames Goldbach through finite rooms, scale-invariant wall law, active mirror doors, blocker wall unions, survivor doors, and NO_BAD_CENTER closure.

Core objects:

• E = 2C
• L = C - g
• R = C + g
• G(C) = active mirror doors
• K(C) = blocker wall union
• G(C) \ K(C) != empty
• survivor g exists
• C - g prime
• C + g prime
• E = (C - g) + (C + g)
• NO_BAD_CENTER

Files

• paper/NID_HELIX_GOLDBACH_WORKBENCH_ARXIV_DRAFT.md
• paper/NID_HELIX_GOLDBACH_WORKBENCH_ARXIV_DRAFT.pdf
• paper/NID_HELIX_GOLDBACH_WORKBENCH.md
• paper/NID_HELIX_GOLDBACH_WORKBENCH.pdf
• lean/NIDScaleWall.lean
• sage/nid_goldbach_sage_audit.sage
• docs/WORKBENCH_STATUS.txt
• docs/ZENODO_UPLOAD_NOTES.txt
• docs/GITHUB_REPO_DESCRIPTION.txt
• docs/OSF_PROJECT_DESCRIPTION.txt
• docs/ARXIV_ATTEMPT_NOTES.txt
• docs/VIXRA_BACKUP_NOTES.txt
• release/NID_HELIX_GOLDBACH_RELEASE.zip

Lean verification

The Lean layer contains formal shape definitions and lemmas for the finite road, blockers, wall lanes, OPEN30, active doors, blocker walls, survivor doors, bad center shape, and mirror sum identity.

Status: PASS

Sage audit

The Sage layer audits finite sample centers:

30, 60, 90, 120, 300, 3000, 30000

Final Sage result: SAGE_AUDIT_PASS

How to run

Lean:

lake env lean lean/NIDScaleWall.lean

Sage:

sage sage/nid_goldbach_sage_audit.sage

Archive plan

Preprint and reproducibility archive: Zenodo DOI upload

Repository: GitHub repo

Optional project hub: OSF

Paper submission attempt: arXiv

Backup public posting only if needed: viXra

License placeholder

License to be selected before public repository release.