IV.P172 — All Links tau-Effective --- IV.P07

Of the 10 links in the derivation chain, 3 are established (fully formalized in TauLib) and 7 are tau-effective; zero links are conjectural, so the scope of the electron mass prediction is tau-effective throughout, with the CODATA comparison being a numerical observation rather than a chain link.