GameCult/Huginn
Watch
9
0
Fork
You've already forked Huginn
 0
Code Issues Pull requests 2 Projects Releases Packages Wiki Activity Actions

Desk wire tests: the replay's id map is asserted one-to-one

Browse source 
S11 applied with the sequential check off and seen to fail on it. Finding desk-wire-replay-id-map-not-injective.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Eureka 2026-11-10 19:23:25 +00:00
commit bc6be42ae9
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/huginn-mind/src/desk_wire.rs
View file

@ -1309,6 +1309,11 @@ mod tests {
// Where her fixture numbers its answers as the Mind's sequence does, the map is the identity. // Where her fixture numbers its answers as the Mind's sequence does, the map is the identity.
let sequential = record["answers"].as_array().unwrap().iter().enumerate().all(|(at, answer)| answer["answer_id"] == format!("n{}", at + 1)); let sequential = record["answers"].as_array().unwrap().iter().enumerate().all(|(at, answer)| answer["answer_id"] == format!("n{}", at + 1));
assert!(!sequential || ids.iter().all(|(hers, mine)| hers == mine), "{name}: {ids:?}"); assert!(!sequential || ids.iter().all(|(hers, mine)| hers == mine), "{name}: {ids:?}");
// And the map is one-to-one in every scenario, sequential or not: two of her answers never share one of the Mind's.
let mut mine: Vec<&String> = ids.values().collect();
mine.sort();
mine.dedup();
assert_eq!(mine.len(), ids.len(), "{name}: two answers share an id: {ids:?}");
assert_eq!(stored_count(&mind, FORK), record["answers"].as_array().unwrap().len(), "{name}: the stored answers"); assert_eq!(stored_count(&mind, FORK), record["answers"].as_array().unwrap().len(), "{name}: the stored answers");
let hers = record["counted_answer_id"].as_str().map(|id| ids.get(id).cloned().unwrap_or(id.to_string())); let hers = record["counted_answer_id"].as_str().map(|id| ids.get(id).cloned().unwrap_or(id.to_string()));
assert_eq!(counted_wire(&mind, FORK), hers, "{name}: the answer that counts"); assert_eq!(counted_wire(&mind, FORK), hers, "{name}: the answer that counts");