2128 — A Reference Port Changes the Physical Groupoid Rather Than Rescuing a Chart Observable
For presentations with physical equivalence groupoid , invariance under a chart subgroup proves descent only through , not through the physical quotient .
A reference port is legitimate when it is new source-derived relational data . It changes the physical experiment and reduces the admissible groupoid to the stabilizer . A relative observable may then descend through
without having been an observable of the original unpaired experiment.
Exact finite audits establish three instances:
- a coordinate invariant under a stabilizer subgroup of fails under the full permutation action;
- for , phase difference separates diagonal-shift orbits but fails under independent shifts;
- an ordered toric loop bit fails under , while zero versus nonzero logical class survives and all three nonzero classes form one unframed orbit.
Thus the two toric loop coordinates are a framed readout. Without a marked homology basis, the physical invariant is the mapping-class orbit rather than an ordered pair of logical bits.
Artifacts:
research/nima/physical-groupoid-descent-and-reference-port.mdresearch/nima/checkers/check_physical_groupoid_descent_gate.pyresearch/nima/results/physical-groupoid-descent-gate.json
Verification: all subgroup, diagonal-reference, and toric framing gates pass.
Epistemic event: ev-000000002980-4f0678c3-4a1e-49d0-8142-729852df75a8.