perf(verifier): reconcile DEEP point-invariant hoist + factoring + fusion; drop verifier divu#839

Closed

diegokingston wants to merge 2 commits into

perf/verifier-amortize-tier01from

perf/verifier-deep-points

Commits on Jul 16, 2026

perf(verifier): reconcile DEEP point-invariant hoist with inv-den factoring + primary/symmetric fusion
diegokingston
committed
perf(verifier): replace power-of-two blowup divisions with shifts
diegokingston
committed