Certificates (ii): regeneration from an extracted copy of release/source.zip, and own check (verification run 2, 2026-10-23)
Commands (in independent_runs/run_B/programs/, NumPy 2.5.2, SciPy 1.18.1, single-threaded, nice 10):
  python -I vb_thmA.py 19 19 THMA; python -I vb_thmA.py 20 23 THMA; python -I vb_thmA.py 24 24 THMA
  python -I vb_certgen.py N vb_cert_nN.jsonl.gz THMA 1      (N = 19, ..., 24)

n   generator log (last line, abridged)
19   n=19 k=254 certificate lines written: 253 (all non-identity classes: 253)  stats {'lines': 253, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 104}
20   n=20 k=324 certificate lines written: 323 (all non-identity classes: 323)  stats {'lines': 323, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 183}
21   n=21 k=408 certificate lines written: 407 (all non-identity classes: 407)  stats {'lines': 407, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 258}
22   n=22 k=513 certificate lines written: 512 (all non-identity classes: 512)  stats {'lines': 512, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 370}
23   n=23 k=641 certificate lines written: 640 (all non-identity classes: 640)  stats {'lines': 640, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 509}
24   n=24 k=804 certificate lines written: 803 (all non-identity classes: 803)  stats {'lines': 803, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 762}

n   SHA-256 of the decompressed regenerated file                              recorded in CERTIFICATES_n19_24.txt   equal
19   b0f4ab59b5d386706efc933f5dce44cadf84951a3253eb6200efc6072fc7ec67   b0f4ab59b5d38670...   yes   (12534703 bytes)
20   8fc17402ed8df6b664e25a460c549e9f3556ae2ceb16107da388c0a8a505a984   8fc17402ed8df6b6...   yes   (21404908 bytes)
21   b01ff80d4b8c46c5d9e94d2b62356202efc0d961ce3fb30d14964e4258709821   b01ff80d4b8c46c5...   yes   (35553031 bytes)
22   017dbedc2037b960d7a8d3eea0d8375c091a14c39e896947bba7af2010baa253   017dbedc2037b960...   yes   (58743136 bytes)
23   8f2e31a77bc882116e23889ff2084c11aff8242c379ba93e5beb05f198fef090   8f2e31a77bc88211...   yes   (95665589 bytes)
24   e739c9f8f2fa0856d349c233b1f04aa8121b551084c019d1935f881d23124c75   e739c9f8f2fa0856...   yes   (156638171 bytes)

Own checker (r2_certcheck.py) on the six regenerated files:
vb_cert_n19.jsonl.gz: 64262 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (1.1 s)
   n=19: 253 classes certified; equal to all non-identity classes (253): True
vb_cert_n20.jsonl.gz: 104652 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (1.9 s)
   n=20: 323 classes certified; equal to all non-identity classes (323): True
vb_cert_n21.jsonl.gz: 166056 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (3.1 s)
   n=21: 407 classes certified; equal to all non-identity classes (407): True
vb_cert_n22.jsonl.gz: 262656 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (5.0 s)
   n=22: 512 classes certified; equal to all non-identity classes (512): True
vb_cert_n23.jsonl.gz: 410240 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (8.1 s)
   n=23: 640 classes certified; equal to all non-identity classes (640): True
vb_cert_n24.jsonl.gz: 645612 pairs; rejected lines/pairs: 0; label mismatches with the file: 0 (13.0 s)
   n=24: 803 classes certified; equal to all non-identity classes (803): True
Total: 64,262 + 104,652 + 166,056 + 262,656 + 410,240 + 645,612 = 1,653,478 pairs, 0 rejected; every non-identity class of A_n certified for each n.
