Repository navigation
Fresh-emit cargo-green: reproduce+classify the 1667 rustc errors (receipt on 5-regen-cutover carrier, #6253), confirm #6243 C8-tail coverage, fix the residue, then execute regen cutover #1 (absorb 40-file latent drift, un-ignore machine_width witness per cutover discipline). Coordinate with proud-mo - #6258
Closed
briansrls wants to merge 0 commit into
Closed
briansrls wants to merge 0 commit into
briansrls wants to merge 0 commit into
Conversation
gunbai-bot
Bot
force-pushed
the
session/quiet-crab-814
branch
from
July 5, 2026 04:00
b83c9e2 to
d1f9d10
Compare
Contributor
|
Branch reset to main HEAD. Cutover execution is proud-moth-478's per sharp-deer-310's scope steer; my speculative alias-qualification fix (Magnitude/CommutativeSemiring bare-leaf emission) was unverified and out of scope, so I dropped it rather than land unproven emitter changes. Reproduce+classify work was already done upstream (E0308=793, E0614=704, E0425=139, E0282=29, E0631=2). Picking up the new assigned work: E0308/E0614 cascade split + E0282/E0631 tail root-cause. |
briansrls
added a commit
that referenced
this pull request
Jul 5, 2026
…tirement path (delete-mass triage) (#6272) * pipeline.rs self_gen8 cluster: retire 28 of 31 fns (typed dispositions; 3 kept for def-unification lane) Delete-mass triage of the self_gen8 cluster per the test_migration_debt drain (#6261 retirement path). Ground truth measured 2026-07-05 via cargo test -p v1-compiler-tests self_gen8 -- --include-ignored: 22 passed, 9 failed - 8 of the 17 #[ignore]d fns carried stale red-on-main reasons and pass on main today. - 22 green fns -> DeleteRedundant: seed-corpus pattern families (homonymous type names, variant-specific imports, kernel-ambient types, direct type imports) are byte-pinned by RegenVerifyGate (regen_stage0 --verify, #5873) plus the emitted-seed rustc/clippy gates; beyond-corpus synthetic shapes (parametric-alias RHS, opaque parametric decls, proxy chains, wildcard imports) are executed by the v2 self-host fresh-emit lane over dag/std's real instances with deficits enumerated in the 1667-error receipt (#6253/#6258). An #[ignore]d pin runs in no gate - zero delivered signal. - 6 red fns -> DeleteLowValue: #[ignore] since #5427, never run in any gate, desired-but-absent seed-emitter behavior on synthetic fixtures; deficit ownership is the fresh-emit lane. - 3 red fns KEPT (stays_unemitted alias-to-opaque trio): dag/gunbc/plans/dag_v2_defork_audit.dag claims them for the def-unification lane (node://adhoc-9d2bb9c3-e7b) - premise flips, not deletes. Typed receipt: dag/test/retirement/pipeline_self_gen8_retired.dag (two TestModuleRetirement rows). Receipt-only w.r.t. the delete-guard - the contributed stem pipeline_self_gen8 matches no v1 test file and pipeline.rs itself survives, so its eventual file deletion still requires its own coverage. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * Repoint kept trio's #[ignore] reasons to their owning lane (def-unification, node://adhoc-9d2bb9c3-e7b) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Claude Fable 5 <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
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.
Auto-opened by session-dashboard for session
quiet-crab-814.Pushing to
session/quiet-crab-814advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan