Class v6 invention: the drawn-era F8-form read of the sound per-load form (not clean: 7 of 64 seeds with a site under the 0.995 floor, min 0.940, one item at 1,938 reads; the per-load class runs no (c'''), so the floor joins G5-draw with the seven seeds as the known-failed case; the uniform-control share column labelled as not F8's number), the harness's era option
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
parent
860e6d6f3e
commit
c6f999bd6b
2 changed files with 84 additions and 4 deletions
65
docs/analysis/class-v6/logs/uniform-era-mx8_shl4096x1.tsv
Normal file
65
docs/analysis/class-v6/logs/uniform-era-mx8_shl4096x1.tsv
Normal file
|
|
@ -0,0 +1,65 @@
|
|||
class seed attempt program_id min_site_ratio min_site top0.1_share control_share ratio_to_control max_item_reads max_item control_max reads
|
||||
mx8+shl4096x1 4 0 8b26974db22f7adb 1.00013 6 0.002493 0.002377 1.0489 28 0 29 134217728
|
||||
mx8+shl4096x1 2 0 3764a916ec848654 0.98948 4 0.002514 0.002380 1.0564 29 0 29 134217728
|
||||
mx8+shl4096x1 3 0 8760a65b01a4eec3 1.00012 6 0.002712 0.002380 1.1392 31 0 28 134217728
|
||||
mx8+shl4096x1 7 2 0bf5a36c962d1298 1.00012 15 0.002754 0.002379 1.1579 31 0 27 134217728
|
||||
mx8+shl4096x1 6 3 407564abd1ecf8fb 1.00009 12 0.002930 0.002380 1.2311 33 0 28 134217728
|
||||
mx8+shl4096x1 1 8 c5ea07d99fabfede 1.00013 7 0.002863 0.002381 1.2024 32 0 27 134217728
|
||||
mx8+shl4096x1 5 8 25cec98741f2d310 1.00006 14 0.002593 0.002379 1.0899 29 0 28 134217728
|
||||
mx8+shl4096x1 0 21 c1b0bf25a44c43a5 1.00014 9 0.002755 0.002382 1.1562 30 0 27 134217728
|
||||
mx8+shl4096x1 8 1 badfcc7b19f88069 1.00012 5 0.002499 0.002379 1.0504 30 0 27 134217728
|
||||
mx8+shl4096x1 11 1 b71c56b0cac71afe 1.00012 11 0.003118 0.002382 1.3092 34 0 27 134217728
|
||||
mx8+shl4096x1 10 5 ea04e485b78bb7d7 0.99892 15 0.003545 0.002381 1.4886 38 0 27 134217728
|
||||
mx8+shl4096x1 12 8 1604cd82d168e803 1.00013 12 0.002596 0.002381 1.0900 30 0 27 134217728
|
||||
mx8+shl4096x1 14 3 3ec256c4201b2dc5 0.99948 0 0.002945 0.002382 1.2364 33 0 27 134217728
|
||||
mx8+shl4096x1 13 6 1b7583111f414673 0.99928 8 0.002865 0.002383 1.2025 31 0 27 134217728
|
||||
mx8+shl4096x1 9 0 dfc9d1d5817b06e1 0.99877 1 0.002489 0.002380 1.0458 28 0 28 134217728
|
||||
mx8+shl4096x1 15 14 6eb7067aed8aa8d2 1.00010 8 0.002383 0.002380 1.0011 29 0 27 134217728
|
||||
mx8+shl4096x1 17 3 aa67aa41a40c765a 1.00008 10 0.002851 0.002380 1.1983 34 0 27 134217728
|
||||
mx8+shl4096x1 18 0 d05ff66c095ed53c 0.99449 2 0.002707 0.002381 1.1369 31 0 27 134217728
|
||||
mx8+shl4096x1 19 1 5b8a713ce263bc37 1.00013 11 0.003129 0.002381 1.3141 35 0 27 134217728
|
||||
mx8+shl4096x1 22 6 32c7c11e24f33a82 1.00010 15 0.002599 0.002382 1.0911 28 0 27 134217728
|
||||
mx8+shl4096x1 16 14 cdc7f03fd8219abe 1.00013 13 0.002673 0.002381 1.1226 30 0 27 134217728
|
||||
mx8+shl4096x1 20 7 f61563c3ada11f92 0.99447 0 0.002509 0.002378 1.0549 29 0 27 134217728
|
||||
mx8+shl4096x1 23 1 0d9ab5e5702fde85 0.99943 11 0.002514 0.002378 1.0569 29 0 28 134217728
|
||||
mx8+shl4096x1 21 19 82bdbb697373a55f 1.00013 8 0.002611 0.002382 1.0959 31 0 28 134217728
|
||||
mx8+shl4096x1 25 3 33a74cae3a54731e 0.99711 5 0.002762 0.002381 1.1602 32 0 26 134217728
|
||||
mx8+shl4096x1 24 2 0e31b5c579eb7b1f 1.00009 4 0.002454 0.002380 1.0311 28 0 28 134217728
|
||||
mx8+shl4096x1 26 8 8aabdea5da1f5b24 0.97847 14 0.003071 0.002380 1.2904 542 0 26 134217728
|
||||
mx8+shl4096x1 28 2 c888297c45360309 0.99562 4 0.002733 0.002380 1.1483 31 0 28 134217728
|
||||
mx8+shl4096x1 27 1 ae243b93dc021c19 0.95594 10 0.002622 0.002381 1.1011 1938 0 26 134217728
|
||||
mx8+shl4096x1 31 0 651940b69196cd6b 1.00017 14 0.002944 0.002382 1.2361 33 0 28 134217728
|
||||
mx8+shl4096x1 29 2 32e42bd966e953a2 1.00009 0 0.003115 0.002379 1.3092 35 0 27 134217728
|
||||
mx8+shl4096x1 30 1 c925e0019bb99b3c 1.00010 1 0.002883 0.002381 1.2108 35 0 27 134217728
|
||||
mx8+shl4096x1 32 0 b4ee4da03147256f 1.00009 7 0.002862 0.002379 1.2028 33 0 28 134217728
|
||||
mx8+shl4096x1 34 1 becdff9e1b454a3c 0.99452 8 0.002497 0.002381 1.0487 28 0 27 134217728
|
||||
mx8+shl4096x1 36 7 67e99c1c77fadd85 1.00010 1 0.002860 0.002380 1.2016 32 0 28 134217728
|
||||
mx8+shl4096x1 35 3 7def70357c164f66 1.00008 7 0.002753 0.002381 1.1564 32 0 28 134217728
|
||||
mx8+shl4096x1 37 1 6e89e5149a77ac35 0.99987 9 0.002703 0.002380 1.1356 32 0 27 134217728
|
||||
mx8+shl4096x1 38 0 4e94a6b9f384ada9 1.00013 5 0.002864 0.002380 1.2030 32 0 27 134217728
|
||||
mx8+shl4096x1 33 9 e79c351e73c42fa6 1.00010 5 0.003117 0.002381 1.3094 36 0 28 134217728
|
||||
mx8+shl4096x1 39 0 c7594ad92bc0fffa 0.99946 0 0.002413 0.002382 1.0132 28 0 27 134217728
|
||||
mx8+shl4096x1 43 0 80b52717c66fed64 1.00013 7 0.002595 0.002381 1.0898 29 0 27 134217728
|
||||
mx8+shl4096x1 41 1 8165d35c308b82f7 1.00013 2 0.003193 0.002383 1.3399 37 0 27 134217728
|
||||
mx8+shl4096x1 40 16 89bd764c12b883e7 1.00016 7 0.002514 0.002381 1.0558 29 0 27 134217728
|
||||
mx8+shl4096x1 46 1 3619ccc0ca59e780 1.00009 10 0.002753 0.002381 1.1565 34 0 28 134217728
|
||||
mx8+shl4096x1 44 4 0eda24762c7f7ddf 0.99983 0 0.003121 0.002381 1.3109 36 0 27 134217728
|
||||
mx8+shl4096x1 45 2 9f4e0b6895695441 0.99928 9 0.002677 0.002382 1.1236 31 0 26 134217728
|
||||
mx8+shl4096x1 42 20 6dd422548d7374b7 1.00010 4 0.002791 0.002381 1.1724 33 0 26 134217728
|
||||
mx8+shl4096x1 47 3 e5b9bcfb8fc594a1 1.00008 12 0.002714 0.002378 1.1412 30 0 28 134217728
|
||||
mx8+shl4096x1 48 4 ae73b91c8cb0eb65 1.00011 15 0.002603 0.002381 1.0931 30 0 28 134217728
|
||||
mx8+shl4096x1 51 7 54eedec66fd25844 0.99999 13 0.003019 0.002378 1.2694 34 0 27 134217728
|
||||
mx8+shl4096x1 54 2 5dfbe68ec52215f6 1.00013 10 0.003379 0.002380 1.4197 38 0 26 134217728
|
||||
mx8+shl4096x1 50 6 3f568f23f1d5726f 0.93998 9 0.002711 0.002379 1.1395 66 0 27 134217728
|
||||
mx8+shl4096x1 53 2 e29d6c9e80086a64 1.00015 1 0.003285 0.002380 1.3800 36 0 27 134217728
|
||||
mx8+shl4096x1 49 9 7f698114a589e47a 1.00012 15 0.002593 0.002381 1.0895 30 0 27 134217728
|
||||
mx8+shl4096x1 52 12 38be51c6ea080fdd 1.00014 6 0.002514 0.002379 1.0566 28 0 28 134217728
|
||||
mx8+shl4096x1 55 2 8e59845a615ccda4 1.00013 14 0.002589 0.002380 1.0878 28 0 27 134217728
|
||||
mx8+shl4096x1 56 10 4a9cf666fd0e201b 1.00007 12 0.002667 0.002381 1.1202 30 0 28 134217728
|
||||
mx8+shl4096x1 57 2 fc4851c828a7453a 1.00012 8 0.002849 0.002382 1.1960 32 0 27 134217728
|
||||
mx8+shl4096x1 62 0 1c1c19b6b075c89f 1.00014 4 0.002593 0.002380 1.0894 30 0 27 134217728
|
||||
mx8+shl4096x1 58 2 9eaad3e9dbac56eb 1.00012 12 0.002928 0.002380 1.2301 32 0 26 134217728
|
||||
mx8+shl4096x1 61 2 47f5d446f055699e 1.00015 7 0.003035 0.002383 1.2736 36 0 29 134217728
|
||||
mx8+shl4096x1 60 15 1a38df895c6de9be 1.00016 13 0.002613 0.002380 1.0979 29 0 26 134217728
|
||||
mx8+shl4096x1 59 1 d662101d18a15ee9 1.00011 13 0.002668 0.002381 1.1203 31 0 27 134217728
|
||||
mx8+shl4096x1 63 2 42652ca40c92d654 0.99958 11 0.003121 0.002381 1.3108 35 0 26 134217728
|
||||
|
|
|
@ -35,12 +35,19 @@ fn main() {
|
|||
let log2: u32 = arg(&args, "--log2", "28").parse().unwrap();
|
||||
let day = arg(&args, "--day", "2026-10-03");
|
||||
let prefix = arg(&args, "--prefix", "igneum-v6inv");
|
||||
let class = LoadClass::parse(&class_name).expect("class");
|
||||
// --era N: the class composed over the era seed igneum-era-test/<N> (the census's drawn eras); "seed" draws
|
||||
// era <seed mod 16> per seed as the acceptance census does
|
||||
let era_arg = arg(&args, "--era", "none");
|
||||
let base_class = LoadClass::parse(&class_name).expect("class");
|
||||
let era_of = |n: u32| -> LoadClass {
|
||||
let w = seed_words_from_bytes(format!("igneum-era-test/{n}").as_bytes());
|
||||
let mut b = Vec::new();
|
||||
for x in w { b.extend_from_slice(&x.to_le_bytes()); }
|
||||
LoadClass::era(base_class, &b, &igneum_pow::generator::V3_ALLOWED)
|
||||
};
|
||||
let ds = DatasetSource::new(&day, DatasetMode::ClosedForm, log2);
|
||||
let items = 1usize << (log2 - 4);
|
||||
let w = (1u64 << log2) as f64;
|
||||
let n = (nonces as f64) * (igneum_pow::generator::ITERATIONS as f64); // evaluations per site
|
||||
let e_s = n - n * n / (2.0 * w);
|
||||
let next = AtomicUsize::new(0);
|
||||
let out = Mutex::new(std::io::stdout());
|
||||
println!("class\tseed\tattempt\tprogram_id\tmin_site_ratio\tmin_site\ttop0.1_share\tcontrol_share\tratio_to_control\tmax_item_reads\tmax_item\tcontrol_max\treads");
|
||||
|
|
@ -52,6 +59,7 @@ fn main() {
|
|||
break;
|
||||
}
|
||||
let label = format!("{prefix}/{i}");
|
||||
let class = match era_arg.as_str() { "none" => base_class, "seed" => era_of(i % 16), n => era_of(n.parse().unwrap()) };
|
||||
let tries = attempts_class(&label, label.as_bytes(), class);
|
||||
let Some((p, _)) = tries.into_iter().find(|(_, r)| r.is_ok()) else {
|
||||
let mut o = out.lock().unwrap();
|
||||
|
|
@ -76,7 +84,14 @@ fn main() {
|
|||
}
|
||||
base += 32;
|
||||
}
|
||||
let (min_ratio, min_site) = distinct.iter().enumerate().map(|(s, d)| (d.len() as f64 / e_s, s)).fold((f64::MAX, 0usize), |a, b| if b.0 < a.0 { b } else { a });
|
||||
let mask = (1u32 << log2) - 1;
|
||||
let loads: Vec<&igneum_pow::generator::Instr> = p.instrs.iter().filter(|x| x.op.is_load()).collect();
|
||||
let (min_ratio, min_site) = distinct.iter().enumerate().map(|(s, d)| {
|
||||
let wm = if p.class.era.is_some() { igneum_pow::verify::window(loads[s], mask, log2).0 } else { mask };
|
||||
let w_s = (wm as f64) + 1.0;
|
||||
let e = n - n * n / (2.0 * w_s);
|
||||
(d.len() as f64 / e, s)
|
||||
}).fold((f64::MAX, 0usize), |a, b| if b.0 < a.0 { b } else { a });
|
||||
let (share, max_reads) = top_share(&mut counts, 0.001);
|
||||
let max_item = 0u32; // the heaviest item's index is not kept (the sort loses it); the count is the number
|
||||
// the uniform control: the same number of reads over the same items
|
||||
|
|
|
|||
Loading…
Reference in a new issue