From 56143c36ea302ece481422bb077dab44664763d3 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Tue, 22 Sep 2026 03:22:30 +0200 Subject: [PATCH] Name the harness's real path in the cut8 entries header F5: cut8's entries header still named the deleted F:\Projects\Epiphany\tools\eureka-mutations.ps1. The harness moved to C:\Users\Meta\.claude\skills\eureka\tools\eureka-mutations.ps1 on 2026-09-17; cut9 and cut10's headers already needed the same fix and are corrected alongside their own entries in this batch. Co-Authored-By: Claude Sonnet 5 --- tools/eureka-cut8-mutations.psd1 | 4 ++-- tools/eureka-cut9-mutations.psd1 | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/eureka-cut8-mutations.psd1 b/tools/eureka-cut8-mutations.psd1 index 17f1217..51fd7b5 100644 --- a/tools/eureka-cut8-mutations.psd1 +++ b/tools/eureka-cut8-mutations.psd1 @@ -10,7 +10,7 @@ # from weaker ones (H59-H61). H62-H67 are the second pass's own: the # assignment a replayed hand-off withdraws, picked by content rather than key # order (H62-H63), and four more rules the suite could not tell apart from -# weaker ones (H64-H67). Run through Epiphany's harness from this repo: +# weaker ones (H64-H67). Run through the Eureka skill's harness from this repo: # # Soul's Y7 -- `later_than`'s resolution arm returning `false` -- has no entry # here and can have none: the arm is deleted. It was dead code behind the Q19 @@ -23,7 +23,7 @@ # any other, which the transfer test's strong read shows. # # $env:CARGO_TARGET_DIR = 'C:\Users\Meta\.cargo-target-codex' -# powershell -File F:\Projects\Epiphany\tools\eureka-mutations.ps1 -Repo F:\Projects\Huginn ` +# powershell -File C:\Users\Meta\.claude\skills\eureka\tools\eureka-mutations.ps1 -Repo F:\Projects\Huginn ` # -Entries tools/eureka-cut8-mutations.psd1 ` # -Target crates/huginn-mind/src/mind.rs,crates/huginn-mind/src/receipt.rs,crates/huginn-mind/src/admission.rs,crates/huginn-mind/src/docs.rs,crates/huginn-mind/src/store.rs ` # -Test 'cargo test -p huginn-mind --lib' diff --git a/tools/eureka-cut9-mutations.psd1 b/tools/eureka-cut9-mutations.psd1 index ae34383..8c2ad6b 100644 --- a/tools/eureka-cut9-mutations.psd1 +++ b/tools/eureka-cut9-mutations.psd1 @@ -2,10 +2,10 @@ # permissiveness the cut closed and naming the test that must fail while it is # applied. A rule with two weakenings has two entries: `Vn` is the revert, the # rule simply absent, and `VnL` is the loosening, the rule weakened rather than -# removed. Run through Epiphany's harness from this repo: +# removed. Run through the Eureka skill's harness from this repo: # # $env:CARGO_TARGET_DIR = 'C:\Users\Meta\.cargo-target-codex' -# powershell -File F:\Projects\Epiphany\tools\eureka-mutations.ps1 -Repo F:\Projects\Huginn ` +# powershell -File C:\Users\Meta\.claude\skills\eureka\tools\eureka-mutations.ps1 -Repo F:\Projects\Huginn ` # -Entries tools/eureka-cut9-mutations.psd1 ` # -Target crates/huginn-mind/src/docs.rs,crates/huginn-mind/src/query.rs ` # -Test 'cargo test -p huginn-mind --lib'