From 1f9abdeb19424107b517167380fc91c3806023ce Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 21 Sep 2026 15:24:20 +0000 Subject: [PATCH] Main repair: hoist the in-body annotation in target_invocation_witness_test to module-item grain Co-Authored-By: Claude Opus 5 (1M context) --- dag/test/claim/target_invocation_witness_test.dag | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/dag/test/claim/target_invocation_witness_test.dag b/dag/test/claim/target_invocation_witness_test.dag index 34f9f6215be..fa1ccfec4b8 100644 --- a/dag/test/claim/target_invocation_witness_test.dag +++ b/dag/test/claim/target_invocation_witness_test.dag @@ -806,6 +806,11 @@ test fn the_bare_channel_rendering_names_the_channel_and_the_pull_set() -> Bool // THE ROW IS REAL ON THE SAME SEAM ITS SIBLINGS USE: the label is canonical and the registry the // production entry builds admits it, so a binding that never reached `instrument_bindings()` reds // here rather than being discovered at the first invocation. +// +// THE SUBJECT IS THE FIXTURE ROOT AND NOTHING ELSE, which is what makes this instrument's reading +// stable: a corpus-wide change cannot move it, so a moved reading means a moved gate. An +// invocation that reached `dag` would be measuring a different population under this target's +// name -- hence the last conjunct pins the source roots. test fn the_bare_channel_instrument_is_a_real_row_on_the_shared_registry() -> Bool { let label = bare_reference_channel_outcome_label() (match label_canonicality(label: label) { @@ -819,10 +824,6 @@ test fn the_bare_channel_instrument_is_a_real_row_on_the_shared_registry() -> Bo && label_eq(a: b.target, b: label) TargetInvocationRouteRefused { cause: _ } => false }) - // THE SUBJECT IS THE FIXTURE ROOT AND NOTHING ELSE, which is what makes this instrument's - // reading stable: a corpus-wide change cannot move it, so a moved reading means a moved gate. - // An invocation that reached `dag` would be measuring a different population under this - // target's name. && (bare_reference_channel_source_roots() == ["fixtures/bare_reference_channel"]) }