batchload("audits/jensen-preprint-audit-2026-09-29-v1/check_identities.mac")
PASS factorial ratio step 
PASS theta moment integrand 
PASS Jacobi quotient relation (36) 
PASS Jacobi A recovery (38) 
PASS Jacobi B recovery (38) 
PASS matching limit equation 1 
PASS matching limit equation 2 
PASS matching limit equation 3 
PASS Jacobian inverse 1 1 
PASS Jacobian inverse 1 2 
PASS Jacobian inverse 1 3 
PASS Jacobian inverse 2 1 
PASS Jacobian inverse 2 2 
PASS Jacobian inverse 2 3 
PASS Jacobian inverse 3 1 
PASS Jacobian inverse 3 2 
PASS Jacobian inverse 3 3 
PASS contraction cube lower endpoint 
PASS Jacobi diagonal difference (78) 
PASS perturbed Jacobi factor (86) 
PASS cubic derivative expansion 
PASS differentiated Jacobi recurrence (90) 
PASS stability tail 
PASS standalone degree-two model coefficient 
PASS standalone limiting coefficient deficit 
PASS standalone limiting root 
ALL_EXACT_CHECKS_PASSED 26