Parameter classification: disguised toric.
Exact rational realization built: True; active edges: 16.
Current budgets: K=3/16, B-J=3/8; AB production margins=(Fraction(1, 16), Fraction(1, 16)).
All 128 source-pair supporting inequalities verified; active-piece extension checked on three auxiliary complexes.
Slice: realizable iff eta <= 5, strictly AB-productive iff 9/2 < eta < 9; locally stable throughout 4 < eta < 19/2.
Independent solver differences: [1.5610586157066564e-09, 1.4354611943545592e-09].
No explicit globally stable nontoric neighborhood radius is supplied. No stochastic equivalence claimed.
