seed growth: add the #12567 Bool interpreter arms to kernel_grounding_interpreter_seed_growth - #13183
Merged
Merged
Conversation
…_interpreter_seed_growth The follow-up named in #12567 (PR comment 5938185062) and #12559's body, due once #12846 landed: native_variant_reading, NativeVariantReading and InterpContext's variant_realization_refusal side-channel join the Nat row under the same lane and trigger, instead of minting a second row. eval_var, match_pattern and InterpError carry the matching edits and stay cited by their existing rows. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
6 tasks
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
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.
This is the seed-growth follow-up named in #12567's PR comment 5938185062 and in #12559's body. It was due once #12846 landed.
What this adds to the row
The #12567 hand-written interpreter Bool arms (landed through #12559) are added to
gunbc.kernel_grounding_interpreter_seed_growth. They go into the existing row rather than a second one: same lane (v1-hand-queue-drain), same trigger.New citations, each appearing in no other row:
v1_compiler.v1_interpreterNativeVariantReadingv1_compiler.v1_interpreternative_variant_readingv1_compiler.v1_interpreterInterpContext, for itsvariant_realization_refusalside-channelAlready cited elsewhere
These three carry #12567's matching edits but are already cited by other rows, so the reason text names them instead of citing them twice:
eval_var(itsVariantValueBindingarm), cited bygunbc.scope_rank_viewmatch_pattern, cited bygunbc.interpreter_eval_correctness_seed_growthInterpError, cited bygunbc.interpreter_eval_correctness_seed_growthReason and dissolution
The reason states the purpose admission and the single decision. The interpreter calls
v1.compiler.coercionrust_variant_value_realization, the same identity-keyed function the Rust emitter consumes, so there is no second decision table.The trigger extends to dissolution of the Bool arms. A self-emitted interpreter reads the identity-stamped tree and needs no side-channel. A
match_patternthat returns a typed refusal retiresvariant_realization_refusaltogether with theeval_matchpre-check.The change is a
.dagrow only, with no code or mirror changes.🤖 Generated with Claude Code