IV.P150 — Four dimensions earned

The arena tau^3 has exactly four real dimensions, not by assumption but by structure: the ABCD chart (I.D17) assigns four independent coordinates (D,A,B,C) and the Hyperfactorization Theorem (I.T04) proves injectivity. The fifth generator omega does not contribute an additional independent direction.