Repository navigation
Main repair: hoist the in-body annotation in target_invocation_witness_test - #11969
Merged
Merged
Conversation
…s_test to module-item grain Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
briansrls
deleted the
fix/target-invocation-witness-annotation-hoist
branch
September 21, 2026 15:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Subject:
dag/test/claim/target_invocation_witness_test.dagthe_bare_channel_instrument_is_a_real_row_on_the_shared_registrycarried a//block inside its body (landed with #11950). Only module-item grain is modeled (DESIGN §4c), so the emitter refuses the whole compile with 4 hard diagnostics. That refusal blocksclaim_executor --v2-native-routeon every head. The other 3 of that run's 7 diagnostics are the fabric storage wire witness, which #11967/#11968 cover.Change: the annotation moves unchanged into the declaration's leading block and names the conjunct it explains. No code changes.
Positive control:
claim_batch --source-root dag --source-root src/v2 --entry dag/test/claim/target_invocation_witness_test.dag --functions the_bare_channel_instrument_is_a_real_row_on_the_shared_registry: PASS, and the file parses.Failure control: the base, where
claim_executor --v2-native-routeat0523f39a43refuses withEmissionRefusedcitingtarget_invocation_witness_test.dag:40181-40479.Found while qualifying #11952 (wise-raven-686).
🤖 Generated with Claude Code