Matched profile certificate

Read proof.txt for the model, functional proof and limits.
Run from this directory with SageMath 10.9:
  sage -python verify.py receipt.json
The script imports no producer modules and checks reports.json too.
VERIFIED.json records the completed independent run; SHA256SUMS.json
pins the bundle. Hashes provide integrity, not mathematical proof.
Other parameter values are not admitted by this certificate.