# Verification report

The originating researcher checked the proof for arbitrary smooth
fibre-preserving maps, not merely integral linear maps. The mixed derivative
identity forces the base map to be integral affine. Integrating the
remaining horizontal form gives the signed-integer twisting obstruction.
Period subgroups are preserved by arbitrary global symplectomorphisms.
For rational parameters an explicit unimodular Bezout basis proves
sufficiency; irrational parameters reduce to the signed-integer condition.
No mathematical gap was found in this stated family.

For parameters 1/5 and 2/5, two exact formulas (matrix multiplication and
wedge expansion) verify the global pullback. Both sum and difference of
the parameters are nonintegral, excluding fibre-preserving equivalence.
The standard-library checker also verifies 308 normal forms, 4790 global
maps with common denominator and 18 positive fibre-preserving controls.
Normal and optimized Python results agree. These bounded computations
are regression evidence, not the universal proof or an independent audit.

The published Leung-Symington pages 184-185 were inspected. Kozlov's
twisting classification and distinctions between equivalence relations
were compared. The source AMR question remains PARTIAL_RESULT: the
closed torus is not a boundary domain. No claim is made about all
qualifications of Mishachev's inaccessible 1996 original.

The built-in LaTeX compiler and local PDF exporter succeeded. All four
final PDF pages were visually inspected, including matrices, equations,
reference links and author footnote. No undefined references or overfull
boxes remain. Only the author's name appears at the top; affiliation
and contact details are in a footnote. AI assistance is disclosed in the
body, not in a separate section.

This preprint is self-audited and unrefereed. There is no independent
review, formal-verification or absolute-priority claim.