Exact Product-Integral Certificates

Use exact product-integral certificates when the statement is a finite product-integral identity that reduces to exact rational arithmetic.

This is the finite layer:

finite q-product
+ exact rational moment/integral computation
= product-integral theorem

Prime-limit certificates add monotone/sandwich and tail arguments on top of the finite layer; see Domain Libraries → QProduct Prime Limits.

Detailed API reference: QProduct Certificates.

Next:

• For perturbation-observer constants built from reusable moments, see ConstantFactory.
• For domain-specific prime-limit arguments, see QProduct Prime Limits.