The B₄ Weight‑Graded Finite Triple: Derivation Dossier and the WMX Classification (v2.0‑EN). Companion archive for noncommutative‑geometry mass‑texture preprints

This archive contains the final‑record derivation dossier, bridge overview document, and standalone verification script reproduce_t12_stage.py (65 assertions, Python‑3, standard‑library only) for two preprint manuscripts: 1. "Selection and obstruction for mass textures in finite spectral triples with a weight grading" (Journal of Mathematical Physics)2. "Realizable, not derivable: what a spectral certificate can and cannot do for a structural mass ansatz" (Foundations of Physics) Contents list:1. T12_Derivation_Dossier_EN_v2.0.docx: Full derivation dossier, WMX‑classification theorems, errata consolidated, proof sketches, open‑problem statements, verification map.2. NCG_Bridge_Package_EN_v1.0.docx: Condensed problem statement, reading‑order literature list, one‑page brief for NCG researchers, frozen‑stage registered invariant inputs.3. reproduce_t12_stage.py: Self‑contained verification script. Requires only Python3 standard libraries; 65 machine‑checked assertions covering root‑system Coxeter data, spinor‑weight decompositions, charge table reconstruction, mass‑bijection σ, ladder parity, order‑zero filter, commutant‑genealogy, no‑go theorem and existence‑certificate checks. All mathematical claims in the two companion preprints marked as machine‑verifiable can be independently reproduced by executing this script. This version v2.0‑EN supersedes earlier Chinese‑language drafts; major errata have been incorporated: correction to Theorem D mechanism, revision of Lemma E, settling of right‑action KO‑dimension‑6 conventions, rank‑function naming fixes. Resource licenses: Python script under MIT License; textual dossier documents under CC‑BY‑4.0 International.