Study Music. Click to play or pause. After it starts, press the Space Bar to play or pause. If enabled, it will resume across pages.

Verification report (machine checks)

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