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

huginn-mind: pin that the desk door is refused before references are read

Browse source 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Eureka 2026-11-10 15:28:22 +00:00
commit f1691ffc0d
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/huginn-mind/src/desk.rs
View file

@ -620,6 +620,13 @@ mod tests {
let after = head(&mind);
assert!(after > before);
assert_eq!(refusal(admit(&mut mind, vec![doc.clone()])), MindRefusal::DeskAnswerOutsideDesk { id: id.clone() });
// The door is refused before references are read: a forged answer to a fork nobody holds is
// still the door's refusal.
let D::DeskAnswer(mut orphan) = doc.clone() else { unreachable!() };
orphan.fork = s("eureka-state:question:nobody");
orphan.sequence = 1;
let orphan_id = "eureka-state:desk_answer:nobody.n1".to_string();
assert_eq!(refusal(admit(&mut mind, vec![D::DeskAnswer(orphan)])), MindRefusal::DeskAnswerOutsideDesk { id: orphan_id });
// Beside a legitimate document, still refused whole.
assert_eq!(refusal(admit(&mut mind, vec![question_n(9), doc.clone()])), MindRefusal::DeskAnswerOutsideDesk { id: id.clone() });
// An import carrying one.