From 7b6773020d3d2d3a92533084efd72aa55ff772f4 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Wed, 16 Sep 2026 20:29:38 +0200 Subject: [PATCH] Re-anchor H45 and H46 on the derivation they still pin 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 --- tools/eureka-cut8-mutations.psd1 | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/tools/eureka-cut8-mutations.psd1 b/tools/eureka-cut8-mutations.psd1 index ba3fd60..e25af17 100644 --- a/tools/eureka-cut8-mutations.psd1 +++ b/tools/eureka-cut8-mutations.psd1 @@ -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,' } @{