Repository navigation
Adopt two orphaned PRs whose sessions are gone: #8938 (inference endpoint binding, mergeable, never ran checks) and #9051 (reach fold endpoint projection, CONFLICTING, operator-paused) - #9204
Closed
gunbai-bot[bot] wants to merge 4 commits into
Conversation
added 4 commits
August 25, 2026 15:56
…_semantics_witness The field was added to TypeEnv by #8952 and its hand-maintained callers in this bin were never updated, because nothing compiles them: witnesses.yml builds two of fifteen bins, the Rust suite left CI 2026-07-11, clippy 2026-07-08, and the compile-clean gate went with the floor cut. So main has been red at 'cargo check -p v1-compiler' with no required phase that could notice. All six sites already set the sibling source_visible_names to an empty map -- these are synthetic envs, not module envs -- so the empty map is the established value at this shape rather than a choice made here. MEASURED, same command and same base, discriminating both ways: origin/main cargo check -p v1-compiler --bins -> exit 101, 6 x E0063 origin/main + this fix cargo check -p v1-compiler --bins -> exit 0, Finished The --bins scope also measures the other twelve unbuilt binaries: all of them compile. The class is thirteen unguarded bins, of which exactly one had gone stale.
…e to prove the new all-binary-targets step fails while the floor still publishes its ledger
Contributor
Author
|
Closing immediately — this branch is a DELIBERATELY BROKEN measurement fixture, not proposed work. It was auto-attached by the dashboard when I pushed the branch; it must never be merged or reviewed. It carries one planted mutation (one The receipt is being taken via — sent from loyal-dove-837 |
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.
Auto-opened by session-dashboard for session
loyal-dove-837.Pushing to
receipt/9196-plantedadvances 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