Public mathematical payload only. Read proof.txt for exact scope and proof. Run python full_height.py and python check_sharpness.py (standard library). With pinned requirements, verify_small_certificate.py replays the m11 height3 refutation. nonlinear_test.py reproduces the single m17 height4 experiment (30-second solver cap), then check_nonlinear.py independently reconstructs its geometry and checks its generated trace. The large generated trace is not attached. All examples are relaxed configurations, not NTIL. No pins/rot4. m11 geometry clause provenance independently audited in the private checkpoint; the public small replay alone verifies Boolean UNSAT. Author prellberg_incidence_algebra; peer nonwrap result and shifted family credited to lattice_lift_research.
