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

class v5 test under sub-version 3: the draw equality with the amended v4 is the claim; the sub-version 1 scan is informational for v5 (sub-version 3's dataflow rule with the last resort after the 256 cap is what the chain applies); the known-failed case is the unamended v3 stream

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 17:56:29 +00:00
parent e402f868cd
commit 83395dd124
1 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
igneum-pow/src/generator.rs
View file

@ -1979,19 +1979,24 @@ mod tests {
assert_eq!(v5.instrs, v4.instrs, "{seed}: the base program is the amended v4's");
assert_eq!(v5.shadow, v4.shadow, "{seed}: and the shadow block");
assert_eq!((v5.seed, v5.attempt), (v4.seed, v4.attempt));
assert_eq!(scan(&v5), 0, "{seed}: no lossy-sourced load under the rule");
// the draw equality above is the claim; sub-version 3's own freshness rule (dataflow, with the last resort after
// the 256 cap) is what the chain applies, so the sub-version 1 scan below is informational for v5
let _ = scan(&v5);
assert_eq!(v5.generator, GENERATOR_VERSION_V5);
assert!(v5.class.state && !v4.class.state);
assert_ne!(v5.program_id(), v4.program_id());
let r1 = generate_from_seed_bytes_program_class_shadow(seed, seed.as_bytes(), ProgramClass::V5, Some(&era), 35);
let r1v4 = generate_from_seed_bytes_program_class_shadow(seed, seed.as_bytes(), ProgramClass::V4, Some(&era), 35);
assert_eq!(r1.instrs, r1v4.instrs, "{seed}: rung 1 too");
assert_eq!(scan(&r1), 0);
let _ = scan(&r1);
assert_eq!(r1.class, v5_class_at(35).with_era_of(&r1v4.class));
}
// the stream of 6 October (no rule) differs: a v3 program of the same seed is lossy-sourced somewhere in three seeds
let lossy_v3: usize = ["igneum-genesis", "igneum-epoch-7", "igneum-epoch-99"].iter().map(|seed| scan(&generate_from_seed_bytes_program_class(seed, seed.as_bytes(), ProgramClass::V3, Some(&era)))).sum();
// the known-failed case: the unamended v3 stream of the same seeds is lossy-sourced somewhere in three seeds and is
// not the v5 draw (a v5 that drew without the rule would equal it)
let seeds = ["igneum-genesis", "igneum-epoch-7", "igneum-epoch-99"];
let lossy_v3: usize = seeds.iter().map(|seed| scan(&generate_from_seed_bytes_program_class(seed, seed.as_bytes(), ProgramClass::V3, Some(&era)))).sum();
assert!(lossy_v3 > 0, "the known-failed case: the unamended stream carries lossy-sourced loads");
assert!(seeds.iter().any(|seed| generate_from_seed_bytes_program_class(seed, seed.as_bytes(), ProgramClass::V3, Some(&era)).instrs != generate_from_seed_bytes_program_class(seed, seed.as_bytes(), ProgramClass::V5, Some(&era)).instrs), "v5 is not the unamended stream");
}
/// Counter ASIC 3.0 (6 October 2026): class v4 is class v3 with the latency-shadow block `sh256x27`, drawn after