Repository navigation
7272 followons: fold pair-completion into derive path; delete dead BackendCapability - #7286
Merged
Merged
Conversation
The pair-completion comment overstated "arithmetic is row data"; Add/Mul/Neg are, Sub/Div remain keyed literals. Completes the #7272 regen fixed point. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
changed the title
File-scheme anchors fail the extdeps external-authority wall (Http/Https only). Keep the D2 repoint at DESIGN.md §4, but cite it as an Https github URL so corpus_live_clean_tree_wall_holds stays green. Co-authored-by: Cursor <cursoragent@cursor.com>
…e-on to Ring. Name-match carrier selection is interim — terminal trigger binds std.algebra.Ring as the inhabitance authority that will replace it. Merge-main left a duplicate ct_render row; keep main's single copy. Co-authored-by: Cursor <cursoragent@cursor.com>
The prior bind named already-landed gunbc.site.markup.el, so the typed trigger was nominal; sole-owner the site lane and point the Scaffold at the named page-emission dissolve-on. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Addressed review 43381 (codex REQUEST_CHANGES on the react_jsx KEEP scaffold). Verified against HEAD |
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.
Summary
Lands the operator-ruled #7272 remainders in one regen cycle:
v1_emit_struct_from_capability_table; deletev1_emit_struct_supplemental_impls. Enum/Bool host bridge kept, dissolve-on re-pointed atgunbc.plans.value_null_split.BackendCapability/BackendInfo; DryRunMode scaffold bindsstd.execution_mode.ExecutionMode.react_jsxwith a production-consumer mark (gpu/wgsl treatment) and the full deletion-set enumeration.std_algebra.rsprovenance: Add/Mul/Neg are row data; Sub/Div remain keyed literals.v1-stage0-extdeps-languagesRED on the emitted-crate-partition roadmap ticket.extdeps.languages.dag.*authorities atDESIGN.md#4(was self-citing its own tree).ct_render_rust_applied_type_qualified_base_test(Gate-1: render_rust_applied_type dotted-base leaf routing #7269) so the live-tree scaffold wall stays exact.Test plan
regen_stage0 --verify→regen_divergence_count=0with cleangit statusclaim_batchpair-completion witnesses:group_completion_mul_arms_are_grothendieck,add_is_componentwise,neg_swaps_components,group_completion_supplemental_impl_present,bool_supplemental_impl_present— all PASSclaim_batchscaffold index: disposition +runtime_rust/compiler_tests_rustlive-tree coverage — all PASS (after rostering the Gate-1: render_rust_applied_type dotted-base leaf routing #7269ct_blob)