Observer-conditioned complexity minimisation selects the Standard Model with right-handed neutrinos: and localises the boundary between law and address

We perform an exhaustive, pre-registered search over the Wedderburn-classified finite real spectral triples of noncommutative geometry, ranking candidates by frozen prefix-free description-length measures. Bare complexity minimisation fails to select the Standard Model. Adding frozen observer conditions (a light uncoloured charged fermion must exist; charged nuclei; reachability of SU(3)×U(1)em), the search uniquely reconstructs the one-generation Standard Model, with the hypercharges solved from the anomaly conditions. A cheaper Pati-Salam class initially wins, but a theorem from the exact first-order condition forces quark-lepton Yukawa equality in every embedded-lepton diagram; the measured bottom-tau ratio then eliminates the entire class, including its SU(5) extension. With neutrino mass as a second data gate, the unique survivor is the Standard Model with right-handed neutrinos. Three pre-registered attempts to derive the fine-structure constant fail quantitatively, locating the boundary between derivable structure and environmental parameters; the generation number resists derivation at a quantified price of 10 bits. Predictions: Majorana neutrinos, normal mass ordering (95-99.9%), mass sum near 0.06 eV, m_bb of order 1-10 meV (revised by our own joint computation to a median of 15 meV), no new coupled particles, and, under a Bayesian accounting with the universal prior, a theta-solving axion-like sector with a preferred mass band of 2-20 µeV. All criteria were frozen before computation; all failures are reported. The core theorem (composition plus codomain force P = exp(-λs), with monotonicity derived rather than assumed) and the orthogonality of the decomposition lemma have been machine-verified in Lean 4 against mathlib. The living prediction register (over thirty frozen stakes with failure conditions, an expectation calendar 2026-2035, and a booked track record that includes the misses) is maintained at ee.robingenis.com/toetsing; the canonical version of this paper lives at ee.robingenis.com/artikel. The website is the publication of record; this deposit is a timestamped snapshot.