Operational analytic half-turn
Kernel operational construction; accepted mixed-level pi identification
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Research reports fresh safe Agda closure for the assembled operational phase half-turn, combining unit norm, continuity, all-increment derivative and exact endpoints of the same phase. Identification with standard pi is an explicitly accepted written proof, not a kernel ordinary-real interpretation. The separate operational whole-return certificate remains unresolved. This is not a physical-time or uniqueness theorem. Construction.
Checker: research/nima/checkers/check_constructed_unitary_half_turn.py
Result artifact: research/nima/results/constructed-unitary-half-turn-fresh.json