Library · Document
Verification report (machine checks)
This report is produced by `paper2_reduction/tools/verify_bundle.py`.
It is a finite, rerunnable sanity layer on top of the certificate payloads.
BCB fixed-length closing check
- result: PASS
- L0: 1
Lemma 8.1 quasi-multiplicativity sample check
- result: PASS
- trials: 20
- passed: 20
- failed: 0
- u_len: 25
- seed: 0