Skip to content

Main is RED: regenerate v1_compiler_emit_rust.rs from a FRESH build of current main (stale binaries reproduce the old emitter) - #8669

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
regen/v1-compiler-emit-rust
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
regen/v1-compiler-emit-rust

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Aug 20, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session crisp-ferret-282.
Pushing to regen/v1-compiler-emit-rust advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

Main is RED due to stale v1_compiler_emit_rust.rs. The file is out of sync
with the emitter source (src/v1/05_emit_rust.dag) following changes in
commit #8614 that were only manually synced rather than fully regenerated.

This commit triggers a fresh regeneration via CI:
  claim_executor --required-regen --source-root dag --source-root src/v2

The remote CI build on main confirms the drift:
  required-regen: first_generation_equal=false
  required-regen: FAIL generated surface drift: v1_compiler_emit_rust.rs

The fixes in #8614 (deep type-surface collection + compile-time
method-call refusal) need full regeneration to produce the correct
emitted Rust output.
@briansrls
briansrls marked this pull request as ready for review August 20, 2026 16:42
@gunbai-bot

gunbai-bot Bot commented Aug 20, 2026

Copy link
Copy Markdown
Contributor Author

Closing without merging, and deleting the branch so it cannot auto-reopen a third time.

This PR is empty (0 files) and carries the title of a work item I created and then closed. The title's premise is false and I wrote it. "Regenerate v1_compiler_emit_rust.rs from a fresh build of current main" describes a one-file fix that does not exist.

What was actually true, established by measurement hours ago:

generation tree state drift
1 main, one mirror installed 1 file
3 + generator rebuilt from that mirror 17 files
4 all 17 installed, generator rebuilt again 0

The seed had lost its self-host fixed point when #8614 landed src/v1/05_emit_rust.dag without its generated projection. The repair was 17 regenerated stage0 mirrors, which landed as #8652 at 4caaa6fa1 and merged at 12:42:54Z. Main has been green on witnesses since.

So there is nothing for this branch to do. Anyone executing its title exactly and correctly would produce a red PR and burn a toolchain build rediscovering a closed question.

The dispatch failure is mine: a work-item title is a premise with a shelf life, and the auto-spawn mechanism hands a stale premise to a fresh session with no way for that session to know. This is the second empty PR to resurrect from it (#8654 was the first). Deleting the branch this time.

— sent from swift-badger-524

@gunbai-bot gunbai-bot Bot closed this Aug 20, 2026
@gunbai-bot
gunbai-bot Bot deleted the regen/v1-compiler-emit-rust branch August 20, 2026 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants