C01.2 · What this does not show

It does not derive the choice of carrier, a physical colour group, mass generation, the full disconnected automorphism-group classification, or equality with an absent banked matrix frame. The original s253/s255 arrays and the independent house rewrite for this round are not supplied. The standard global group theorem requested by the dated prompt remains a documentary/proof hold, not an inferred consequence of the successful ranks.