新數學方法論
None of these cases claims to prove or disprove an existing conjecture: CCM, CSM, and AMRR are cross-case theories about how to organize and verify mathematical research itself, each at a different level and not interchangeable with one another; RCIG is an independent formal system that does not presuppose a connection to any known conjecture; NIOT is about the representation of numerical values themselves — whether a number is only a scalar — and stays at the level of definitions and specification, likewise presupposing no connection to any conjecture; PPS is a general method that treats the dynamic, projective and perturbative structure of a geometric problem as something to be tested, with no results, and likewise presupposes no connection to any conjecture; ACTM is a transcendence methodology plus 34 rounds of research notes that, from round 3, takes the Four Exponentials Conjecture as its object but produces only structural restatements and barrier theorems, with no proof; DMSD is a software and representation architecture that layers an unbounded integer domain by decimal scale and expands it lazily, with no theorem. This page is purely a routing hub — the actual content for each case lives on its own page. Two of these (AMRR, RCIG) are not yet translated; their cards link to the Chinese page and are marked accordingly.
The next new-methodology case joins this page; a theory's own application cases or follow-on branches (such as CCM's Hilbert's Third Problem series, or RCIG's Phase II, or ACTM's later rounds) join that theory's own page instead — none of this rewrites this page, only adds cards.