Repository navigation
Declare #12944's unwitnessed emitted list_at route as a frontier row - #12978
Merged
Merged
Conversation
list_at_optional's emitted realization (v1_rt::list_get_optional) has no executing emit-build-run claim. #12944 merged before the operator decided on extending the identity-cast scaffold to carry that fixture (msg_7bdba37a), so the gap is declared here with its dissolution trigger instead of being left silent. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
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.
#12944 (list_at_optional as the projection of the get primitive) merged at 6749523 with one undischarged condition: no claim executes the emitted route.
list_at_equivalence_testcovers the seed interpreter's native read againstlist_at_reference, but nothing emits, builds and runs a program that reads throughv1_rt::list_get_optional.That fixture would extend the
emit_host_identity_cast_nativescaffold's population, which is the operator's call (escalation msg_7bdba37a, never decided). So this PR declares the gap instead of leaving it silent: oneFrontierRowingunbc.resolver_cost_frontier, citingv1.compiler.runtime_rustrt_collection_ops. Its dissolution is an executing emit-build-run route covering in-range, end, past-end and negative indices with explicit expected values. If the operator approves the identity-cast fixture, that fixture replaces this row.The module is already rostered through
gunbc.census_closure_frontier, so the dissolution census reads the new row; CI's floor checks it. Data only: no code, no generated files.🤖 Generated with Claude Code