Repository navigation
Close Route-A cargo-green milestone with execution-grounded re-census receipt - #5899
Merged
Merged
Conversation
gunbai-bot
Bot
changed the title
2 of 3 tasks
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 28, 2026
Rebase onto green main (#5899); dep-pool authority + pure floor witness only. No 02_parse edits, no token_stream sidecar, no emitter/regen flip. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 28, 2026
Rebase onto green main (#5899); dep-pool authority + pure floor witness only. No 02_parse edits, no token_stream sidecar, no emitter/regen flip. Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced Jun 28, 2026
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 28, 2026
Prior batch-4 regen_verify_gate failure was stale-base artifact; batch 4 passed on run 28333320459. Run 28333682231 failed batch 3 OOM (exit 137). Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jun 28, 2026
Re-land imported_variants + sorted variant_fold on top of #5899's func_sigs/all_declared_sigs path (not the reverted imported_sigs fork). Restores compile-clean hand-sync; variant_owner_disambiguation 3/3 green. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Jun 28, 2026
…ss — main.rs stays HAND_MAINTAINED (#5894) * Ground CLI dep-pool MODEL on 0ba163b (#5894, MODEL ONLY). Rebase onto green main (#5899); dep-pool authority + pure floor witness only. No 02_parse edits, no token_stream sidecar, no emitter/regen flip. Co-authored-by: Cursor <cursoragent@cursor.com> * ci: re-trigger floor after rebase onto green main (#5899). Prior batch-4 regen_verify_gate failure was stale-base artifact; batch 4 passed on run 28333320459. Run 28333682231 failed batch 3 OOM (exit 137). Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
pushed a commit
that referenced
this pull request
Jun 28, 2026
* Restore emit-path variant-owner determinism lost in #5873 regen (#5879 grounding) Port #5879's variant-owner disambiguation back into .dag authority and hand-sync the v1 Rust seed: imported_variants (source-module local items), alpha-sorted variant_fold bindings, sorted export-set map_keys, and field-type-hint struct disambiguation. Regen in #5873 overwrote these fixes; this re-lands them on current main (#5899) without disturbing expected_type_override_enum (#5891). Co-authored-by: Cursor <cursoragent@cursor.com> * Fix #5899 func_sigs merge regression in variant-owner restore Re-land imported_variants + sorted variant_fold on top of #5899's func_sigs/all_declared_sigs path (not the reverted imported_sigs fork). Restores compile-clean hand-sync; variant_owner_disambiguation 3/3 green. Co-authored-by: Cursor <cursoragent@cursor.com> * Ground emit-path variant-owner determinism in .dag authority with pure regen. Fix imported_variants map type so regen emits valid Rust (Map<String,String> for unambiguous owners only), then regen stage0 to match .dag fixed point. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.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
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
regen_stage0 --emit-fresh target/emit-fresh-crate→cargo build(debug + release) = 0 TOTAL cargo errors, refuting the stale ROADMAP hypothesis "residual 2 = E0091×2".regen --verifyCI gate); this PR closes the bookkeeping gap.5-cargo-greentodone: trueinroadmap_authority.dag, regenerateROADMAP.md, and add a drift witness (witness_c4_cargo_green_landed).Test plan
regen_stage0 --emit-fresh target/emit-fresh-crate && cargo build— 0 errors (debug + release)regen_stage0 --verify— exit 0gunbc run … roadmap_authority_witnesses—truegunbc run … roadmap_gate_witnesses—truetype_alias_phantom_param_test— 2/2 green