Analytical versus native two-route pilot
Reported exact native transport; chosen analytical equality rejected and witness matching blocked
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Reported result
The frozen pilot reports 46 checks of two actual native histories on the full five-coordinate packet. Intermediate decoding and inverse-generator restoration are exact: there is zero native transport/roundtrip defect and zero decoded inter-route discrepancy. Both histories, the flux/complement coordinates and their nonidentity coefficient witness remain retained. At cutoff 1024, the chosen analytical equation instead has a strictly negative certified residual enclosure; it is not a true equality inferred from successful native transport.
Controls and exclusions
The exact negative interval is [-370969534932373/168379897872384, -2166937379075/1391569403904]. Source cutoff uncertainty and imported limiting-integral bounds are separate quantities. A nonzero packet maps to zero endpoint readings while its flux remains nonzero: this observation loss is not erased by equal decoded route outputs. Wrong Gram/row/sign conventions, dropped complement and history erasure have distinct controls. No fitted matrix or unverified quadrature replaces the source analytical form.
First unresolved obligation
The frozen protocol records H=null: the intended source analytical witness and typed boundary map to these histories are absent. The negative residual is not an obstruction modulo corrections, because no correction space, quotient or dual-annihilator pairing has been declared. Neither the zero transport defect nor the nonzero analytical defect constructs that missing witness, a full 4x28/114-record assembly, positivity or physical selection.
Verification and sources
The source reports exact execution and live direct-input hash checks, with analytically bounded finite-cutoff entries. These scientific checks were not rerun for publication; a website test is not an analytical proof. Frozen pilot, residual enclosure, independent defects and reproduction.
Checker: research/aspect/checkers/check_analytical_two_route_pilot.py
Publication provenance: Versioned source/checker and historical receipt identifiers. Metadata validation is not scientific replay.