2753 — Complex Cross Minor Needs a U(1) Frame
For a positive Hermitian (2\times2) block, trace, determinant, and one labelled longitudinal quadrature magnitude recover the positive cross minor , but not the phase of (z). The residual incidence frame is a (U(1))-torsor; it reduces to (C_2) only after a source-derived real structure is supplied.
- Packet:
research/kitaev/complex-cross-minor-needs-a-u1-frame.md - Checker:
research/kitaev/checkers/check_complex_cross_minor_u1.py - Results:
research/kitaev/results/complex-cross-minor-u1.json - Sequence:
seqclaim-41c5a30edd8ce5093e116bfe - Epistemic graph:
ev-000000004205-f128b414-feb1-4387-9d53-238376e8ab47
Theta application remains frozen pending a source-derived labelled block and coefficient lens. No commit or push was authorized.