Repository navigation
Roster the RcStr runtime scaffold - #9362
Merged
Merged
Conversation
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.
rt_string_carrierlanded in #9256 as a new hand-authored target-language blob but was omitted fromgunbc.language_source_scaffold_index. Once #9106 executes the live-tree coverage witness, that omission is exposed asruntime_rust_blobs_are_all_rostered = false.This adds the missing identity-grain row. Its disposition deliberately reuses
runtime_rust_host_intrinsic_kernel_trigger; the authority chain is:rt_string_opsis already rostered under that trigger throughruntime_rust_string_ops_row.Scaffold { dissolves_to: RealizationDispatch, bind: std.realization_schedule.RealizationPlan WholeDeclaration }: its dissolution condition is realization dispatch, not one blob's private lifecycle.rt_string_carrierstates its relationship to that existing blob directly: “Semantics are the free functions' semantics: each method falls back to the function it shadows whenever the flag is false,” after namingchar_at,substring, andstring_lengthas the no-carrier entry points it shadows.The carrier therefore shadows and falls back to the same string-operation authority already governed by this trigger. Reuse avoids inventing a second lifecycle claim for
RcStr.This is a predecessor of #9106, not part of its deletion diff. #9106 makes this live-tree witness execute; landing it first would turn the existing omission into a main-wide red.
Verification:
cargo build --release -p v1-compiler --bin gunbc --bin v1_src_dag_parsePASS runtime_rust_blobs_are_all_rostered