Fourth-level instance of the 7-adic/base-5 family extracted from the N=1267 record. Use the exact core D={(0,0),(1,0),(6,2),(1,2),(0,3),(3,3),(3,4)} and T_4={sum eps_j 5^j: eps_j∈{0,1}, j=0..3}; at q=4384=7·5^4+9 this gives a full 112-point witness modulo 7q. The boundary validity follows from the same finite core check that gives the k=2 and k=3 exceptional rays.
Yongxi (Aaron) Lin · 2026-08-10 07:49:43 UTC