GRM BASE-t RECONSTRUCTION OF INTER-UNIVERSAL TEICHMÜLLER THEORY
GRM BASE-t RECONSTRUCTION OF INTER-UNIVERSAL TEICHMÜLLER THEORY Part I — Reconstruction Protocol 1. Why Rebuild IUT 1.1 Reconstruction versus exposition 1.2 Source-native structure versus retrospective interpretation 1.3 REPRESENTATION ≠ SOURCE 1.4 Why theorem names cannot seed mechanisms 1.5 Why “abc”, “universe”, “HoTT path”, and “non-liftability” are initially erased 1.6 Reconstruction success criterion 2. GRM Base-t Execution Law 2.1 SOURCE_STATE(IUT) 2.2 Target-blind normalization TBLIND 2.3 Forward dependency hypergraph \(FB\) 2.4 Reverse necessity graph \(RB\) 2.5 \(GEN^\star\) : source-native generation 2.6 \(TR^\star\) : licensed transport 2.7 \(CLOSE^\star\) : reconstruction/gluing closure 2.8 Carrier antichain \(C^\star\) 2.9 Minimal cuts \(CUT^\star\) 2.10 Residue, counterkernel, successor, liftback 3. Anti-Leakage Tests 3.1 Target-vocabulary erasure 3.2 Requirement-free reconstruction test 3.3 Carrier-neutrality test 3.4 No common-ring assumption 3.5 No generic-trans...