Huginn/tools
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Meta Vens 4f7e3b5edc N3 and N4: one generated separator test, and gate fixtures that vary
operation and runtime id

N3 (medium-low). One generated test, mind::tests::every_separator_variant_
of_a_declared_name_is_foreign_not_the_mind, replaces the separator-only
fixture pairs' narrower coverage. A base name carrying all three separator
bytes a Slug permits at three non-adjacent positions yields 26 same-length
variants by cartesian substitution, plus 3 dash-padded and 1 doubled-dash
variant (30 total); every one must be refused as ForeignInstance. Kills
four mutants of require_instance's comparison: folding `_`/`.` into each
other on both sides, folding `_` to `-` on the mind's own side alone,
trim_matches('-'), and collapsing `--` to `-` (N3a-d).

N4 (low). The size-gate boundary fixtures (the_gates_boundary_* in
serve.rs) held operation and source_runtime_id fixed at "view" and
"huginn-yggdrasil", varying only message_id -- so a formula of message_id's
length alone, shaped to fit exactly the suite's two lengths, would never be
wrong there. synthetic_with_id and sized_exactly_with_id are now thin
wrappers over synthetic_full/sized_exactly_full, which also take operation
and runtime_id; a new test, the_gates_boundary_holds_across_operation_and_
runtime_id, holds the boundary at view and open_items over two runtime
ids. Kills two coincidental overhead formulas that fit the old fixture's
two message_id lengths by construction: payload+228+id.len()+(id.len()>31)
(N4a) and payload+228+id.len()*38/37 (N4b).

All three suites rerun clean: cut8 67/67, cut9 38/38, cut10 71/71 (65 plus
N3a-d and N4a-b), every M0 green, restores hash-verified. cargo test
--workspace: huginn-mind 62/62, huginn-daemon 19/19.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
2026-09-22 06:15:30 +02:00
..
eureka-cut8-mutations.psd1 Name the harness's real path in the cut8 entries header 2026-09-22 03:22:30 +02:00
eureka-cut9-mutations.psd1 Fourth fix batch: fill N1 in its owner, and correct two ledger claims 2026-09-22 05:14:34 +02:00
eureka-cut10-mutations.psd1 N3 and N4: one generated separator test, and gate fixtures that vary 2026-09-22 06:15:30 +02:00