Exact rational planar propagator and triangulation checkpoint
Enumerated all labelled planar triangulations for n=4..8 and computed A_n(z)=sum_T product_e 1/(X_e+z w_e) with exact rational Laurent coefficients from declared integer channel assignments. The actual Rust shared DAG reducer matches the exact series oracle; finite integer-z evaluations pass the geometric-tail certificate.
- Full cases
- n=4..8
- Catalan verification
- n=4..9