Local contour, cycle and covariance closure
Reported ten-checker local construction closure; selected physical contour and global gates open
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Reported result
The October 13 source audit reports fresh replay of all ten local checkers in dependency order, including their receipt/source hashes. Its declared localizations construct the holomorphic incidence current, kernel/pivot and normal covariance, oriented normal-link lifts, integral cycle/period lattices, marked transport, tube maps and a conditional external-boundary comparison. These are local constructive and verification results, not a newly admitted physical amplitude.
Controls and exclusions
The physical contour is not constructed or admitted. A fixed canonical class has a family of decorated integral lifts, with two integral directions invisible to the split pair. Matching covariance or split periods therefore does not select the full physical lift. The ordinary blowdown seven-form remains unavailable, not zero; added poles are not promoted to positive source boundaries, positive-endpoint split sums remain nonzero, and global weighted gates remain open. Closed holomorphic tori and a real relative-chain prescription have different additional requirements.
First unresolved obligation
Supply and review a source-selected full integral cycle/marked lift, the external constraint/normal contour prescription and physical boundary-program attachment, then test the actual contour/current comparison in a versioned successor. Choosing windings or coefficients from desired cancellation is not that source derivation. Repeating the same local suite cannot fill the absent physical input or close the amplitude programme.
Verification and sources
The source reports a scientific local-suite replay, distinct from net/SCC structural validation and absent global suite inputs. It was not rerun for publication. The dated September 18 amplitude snapshot retains its original cutoff and frontier; this later result is a separately scoped follow-up. October 13 closure audit, exact residuals and driver · Historical amplitude programme.
Checker: research/benincasa/checkers/check_history6_current_closure.py
Publication provenance: Versioned source/checker and historical receipt identifiers. Metadata validation is not scientific replay.