igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

adv-accept-3: ratios command (the (c'') ratio of every candidate that reached the dynamic rule)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 20:43:23 +00:00
parent 276e2cd68c
commit c5b66a4426
1 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
tools/attack/adv-accept-3/src/main.rs
View file

@ -972,6 +972,47 @@ fn naf_weight(v: u32) -> u32 {
w
}
// ------------------------------------------------------------------------------------------------------------
// Q4/Q5: the (c'') ratio of every rejected candidate and the accepted one (the floor's headroom both ways)
// ------------------------------------------------------------------------------------------------------------
fn ratios(from: u64, count: u64, threads: usize) {
let out = Mutex::new(std::io::stdout());
println!("# adv3 ratios {} seeds {from}..{} (internal adversarial pass, not an independent review)", utc(), from + count);
println!("seed\tattempt\tverdict\tpart\tmin_ratio2e20_milli\tmin_site\twin\tsecs");
let era = era_bytes();
let class = v4_era_class(&era);
let cap = max_attempts_for(&class);
run_seeds(from, count, threads, &out, |i| {
let b = steer_seed(i);
let label = format!("adv3/steer/{i}");
let mut rows = Vec::new();
for attempt in 0..cap {
let p = cand(&label, &b, attempt, class, &era);
let t0 = Instant::now();
let v = check(&p);
let (verdict, part) = match &v { Ok(_) => ("accept", "-"), Err(r) => ("reject", reject_part(r)) };
// the ratio at 2^20 on every candidate that reached the dynamic rule, floor 0 so the minimum is returned
let (ratio, site, win) = if check_static(&p).is_ok() {
match distinct_ratio_pass(&p, accept::ACCEPT_UNITS_DISTINCT_V4, 0.0) {
Ok((r, site)) => {
let w = p.instrs.iter().filter(|x| x.op == Op::Load).nth(site).map(|x| x.win).unwrap_or(9);
((r * 1000.0) as i64, site as i64, w as i64)
}
Err(_) => (-1, -1, -1),
}
} else {
(-2, -2, -2)
};
rows.push(format!("{i}\t{attempt}\t{verdict}\t{part}\t{ratio}\t{site}\t{win}\t{:.1}", t0.elapsed().as_secs_f64()));
if v.is_ok() {
break;
}
}
rows.join("\n")
});
}
fn main() {
let a = Args::parse();
let threads = a.u("threads", 8) as usize;
@ -985,6 +1026,7 @@ fn main() {
"steer" => steer(a.u("from", 0), a.u("count", 1000), threads, a.get("plant", "none") == "hot", a.u("check-every", 50)),
"static" => static_sweep(a.u("from", 0), a.u("count", 1000), threads),
"era-steer" => era_steer(a.u("from", 0), a.u("count", 1000), threads),
"ratios" => ratios(a.u("from", 0), a.u("count", 300), threads),
_ => usage(),
}
}