Structural Mathematics — five named falsifiable models

Five descriptive (NOT predictive) auditable models that formalise the structural argument: Impunity Ratio IR(t) = unprosecuted credible findings / total credible findings at time t; Power-Asymmetry Index PAI = weighted aggregation of military-to-civilian ratio, parliamentary-veto share, constitutional-veto coefficient; Trust-Decay Curve T(t) = T₀·exp(−λt) where λ steps up at each documented commitment-default event (1989 IPKF withdrawal without 13A implementation, 2003 P-TOMS collapse, 2010 LLRC non-implementation, 2020 30/1 co-sponsorship withdrawal); Demographic-Displacement Function D(r,t) tracking Tamil-majority Grama Niladhari divisions against the 1981 baseline; Narrowing Function N(t) counting viable constitutional pathways not yet closed at time t. Each model has an explicit falsifier the Sri Lankan state can satisfy at any time. The models do NOT score individuals, do NOT forecast, and use only Tier-A external inputs.