You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"notes": "Version 2.2 records the finite S3 countermodel to the published Heisenberg carrier-selection argument. A faithful irreducible unitary carrier with a minimal involutively conjugate generating pair and a non-trivial commutator need not have a central commutator. The registry therefore reclassifies Found and HeisStr and treats the Heisenberg/Weil carrier as a supplied realisation. Results proved internally on that carrier retain their mathematical status. The interactive graph also introduces explicit edge types and renders synthesis links separately from derivational claims.",