Reproducible numerical checks and execution status

The proofs above are analytic. The program embedded in this source checks the listed examples and several finite-dimensional identities. It is a regression artifact, not an exhaustive proof and not a formal machine verification.