[field] PASS  sqrt(71) is irrational and rigorously isolated
[topology] PASS  rooted binary DAG suppresses to a strict level-two theta 3-blob
[parameters] PASS  all network, effective, and tree edges lie in Theta_0^circ
[parameters] PASS  exact global minimum transition entry is 1/120
[root splitting] PASS  all three comparison-tree edges admit strict stochastic half-time roots
[root splitting] PASS  the compatible theta root uses the certified K odot K factorization
[collision] PASS  all 16 factors, 64 Fourier coordinates, and 64 positive patterns; Q=0
[collision] PASS  exact global minimum = 1188799/79626240, attained by 8 patterns

ALL SIMPLE K2P CHECKS PASSED
