3291 — A Real Flavor Triplet Has No Commuting Abelian Charge
The commutant of one real irreducible triplet is scalar. Requiring a continuous internal generator to preserve the real kinetic metric then forces it to vanish. Hence a direct commuting charge on the admitted flavor triplet is zero, and the WP715–WP716 Abelian moment-map portal does not descend to the original carrier.
A nonzero commuting Abelian action requires two real triplets with complex structure
That doubles the state domain and changes the physical groupoid. WP715–WP716 remain algebraically valid only on this enlarged charged carrier; their mutable packet and result metadata have been corrected. The progressive branch must place charge asymmetry in messengers or auxiliaries and prove descent after their elimination.
Durable verification
- Packet: research/flavor/flavor-real-triplet-abelian-charge-typing-no-go.md
- Checker: research/flavor/checkers/wp725_real_triplet_abelian_charge_typing_no_go.py
- Result: research/flavor/results/wp725_real_triplet_abelian_charge_typing_no_go.json
- Corrected packets: WP715 and WP716
- Sequence claim:
seqclaim-3d3eb6b5e243fb26be4c5fd1 - Epistemic graph event:
ev-000000006989-bc459d6d-a184-4b08-8a51-bf27eea4b479