Refine formula comparison tables after browser review
Align Wiki equations with code and revalidate local examples
Add verified circuit compilation and interoperability guide