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

mind-body: the newest slept night's closing decides the day, not an older one's

Browse source 
A test with two slept nights pins that covered_through reads each night's own closing (the citation of its run), which no earlier test distinguished from the oldest Slept closing in force.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-11-08 14:24:07 +01:00
commit 6aa5e01292
1 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

18
crates/mind-body/src/sleep/tests.rs
View file

@ -461,6 +461,24 @@ fn a_slept_nights_closing_names_the_last_memory_it_was_shown_even_when_that_nigh
assert_eq!(day_ids(&next), (96..100).map(|n| id(&format!("day{n:03}"))).collect::<Vec<_>>(), "the cut line is read from the memory that is no longer in force");
}
#[test]
fn the_newest_slept_nights_closing_decides_not_an_older_ones() {
let days: Vec<_> = (0..2).map(|n| (format!("f{n}"), MemorySort::Learned, wake(), 10 + n as i64)).collect();
let (mind, first) = night_over(0, &days);
let shown = context(&mind, &first, at(T0 + 5000)).unwrap();
mind.admit_at(at(T0 + 2000));
close_night(&mind, &first, &slept_over(&shown));
remember_at(&mind, "f2", wake(), 2500);
remember_at(&mind, "f3", wake(), 2600);
let (second, owed) = next_night(&mind, "second", 3000);
assert_eq!(day_ids(&owed), vec![id("f2"), id("f3")]);
mind.admit_at(at(T0 + 3600));
close_night(&mind, &second, &slept_over(&owed));
remember_at(&mind, "g0", wake(), 3800);
let (_, third) = next_night(&mind, "third", 4000);
assert_eq!(day_ids(&third), vec![id("g0")], "both nights slept; the second's cover is the one that counts");
}
#[test]
fn a_slept_closing_that_was_withdrawn_covers_nothing() {
let days: Vec<_> = (0..3).map(|n| (format!("f{n}"), MemorySort::Learned, wake(), 10 + n as i64)).collect();