[field] PASS  sqrt(71) is irrational and rigorously isolated
[source convention] PASS  descendant-label rule reproduces all five explicit 3-sunlet coordinates of Lemma 4.1
[switch p,p]
  retained edges = rho->1, rho->u, u->p, u->q, p->r2, p->r3, r2->2, r3->3
  u->p descendants = {2,3}
  u->q descendants = {}
  core monomial = S_y*S_z*U_(y+z)
[switch p,q]
  retained edges = rho->1, rho->u, u->p, u->q, p->r2, q->r3, r2->2, r3->3
  u->p descendants = {2}
  u->q descendants = {3}
  core monomial = S_y*T_z*U_y*V_z
[switch q,p]
  retained edges = rho->1, rho->u, u->p, u->q, q->r2, p->r3, r2->2, r3->3
  u->p descendants = {3}
  u->q descendants = {2}
  core monomial = T_y*S_z*U_z*V_y
[switch q,q]
  retained edges = rho->1, rho->u, u->p, u->q, q->r2, q->r3, r2->2, r3->3
  u->p descendants = {}
  u->q descendants = {2,3}
  core monomial = T_y*T_z*V_(y+z)
[common K factor] PASS  K_x*K_(y+z)*K_y*K_z = K_x^2*K_y*K_z
[displayed trees] PASS  four monomials reconstructed from retained edges
[transition matrices] PASS  all exact 4x4 K2P matrices reconstructed from the stored Fourier vectors
[core matrix] PASS  graph mixture gives all 16 factors; M_AC=151/1440 and M_CC=71/1600
[Fourier] PASS  all 64 graph-derived network/tree coordinates agree exactly
[direct pruning] PASS  all 64 network/tree probabilities agree exactly
[direct pruning] PASS  certificate value is the exact global minimum at 8 patterns

ALL DISPLAYED-TREE CHECKS PASSED
