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

Re-anchor H45 and H46 on the derivation they still pin

Browse source 
Both anchored on the `latest_resolution`/`latest_stewardship` call `derive`
no longer makes, so the harness stopped at H45 with no verdict rather than
running. The rule each entry states is unchanged -- a derived record takes
the next sequence of its scope, not always the first -- so each moves to the
line that now decides it and keeps its killer.

H1-H61 all killed, M0 green.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-09-16 20:29:38 +02:00
commit 7b6773020d
1 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

12
tools/eureka-cut8-mutations.psd1
View file

@ -562,14 +562,12 @@ impl MindStore for OwnedRedbMessagePackBackingStore {
Test = 'admission::tests::a_withdrawn_resolution_reopens_its_subject_and_stays_readable'
File = 'crates/huginn-mind/src/admission.rs'
Old = @'
sequence: docs.latest_resolution(&subject, None) + 1,
subject,
outcome: ResolutionOutcome::Answered
let sequence = docs.derived_resolution_sequence(&subject, |outcome| {
matches!(outcome, ResolutionOutcome::Answered { by } if by.kind == K::Ruling && by.id.0 == staged.key)
});
'@
New = @'
sequence: 1,
subject,
outcome: ResolutionOutcome::Answered
let sequence = 1;
'@
}
@{
@ -577,7 +575,7 @@ impl MindStore for OwnedRedbMessagePackBackingStore {
Rule = 'derive: H45''s other half, a derived stewardship takes the repo''s next sequence on this mind.'
Test = 'admission::tests::a_repo_is_stewarded_once_at_a_time_and_again_after_a_transfer'
File = 'crates/huginn-mind/src/admission.rs'
Old = ' sequence: docs.latest_stewardship(mind, &hand_off.repo, None) + 1,'
Old = ' sequence: docs.derived_stewardship_sequence(mind, &hand_off.repo, &staged.key),'
New = ' sequence: 1,'
}
@{