Repository navigation
Revert #13038: main red on 62 lambda/fold claims - #13293
Merged
Merged
Conversation
Main at 44ed81c fails about 62 function-value/lambda/fold claims that pass at 072c37b (royal-deer-478's probe run 37210398646 vs 37204680949). The window's only v2 compiler change is #13038 (a21a901); #13244 and #13166 are cleared at 47f457f. Reverted under sharp-raven-357's pre-approval; #13038 re-lands with the fix and a control for this route. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
The clean revert took back #13038's repair of a latent main red: those fixtures passed a ResolvedTree record where a Node is declared, and strict preparation refused the floor on it (royal-deer-478, run 37215059669). They pass fixture_add_resolved_tree().root and do not depend on kinded type params. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Oct 4, 2026
… the declared-order mint returns with #13038 Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Oct 4, 2026
…r the srv1 regen) Conflict calls: - docs/design-rung-drops.md: main's copy. rung_drop/roster.dag stays deleted (every main row is a stem-declaring drop file). - non_fold_residue: three-way row set. floor_unimported_bare_provider_debt_roster: keyed three-way; the 21 fabric_witness_run_test keys main retired as ResolvesInClosure keep main's cause (the floor refuses a changed retirement); keys main left ActiveDebt keep the branch's ImportsFixed. - src/v2/std/node.dag: main reverted #13038 (#13293); main's reverted predicates on the branch's enumerated arms. - fleet_converge_plan: main's fleet_plan_component_hash (already exhaustive). - swift/rows.dag: main's (it enumerated the same arms; taking both would duplicate them). - src/v1/stage0/src/v1_compiler_infer.rs (generated mirror): clean three-way text merge of the srv1 regen side and main's side, to be confirmed by the generated lane's regen fixed point. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Oct 5, 2026
… 37268087131 Main retired them as ClaimDeleted when #13293 reverted #13038; the re-land brings the claims back, and floor run 37268087131 at 27e140c refused exactly these nine at enrolment, each the one claim demanding its own assembly specimen (410642-422505 eval steps against 72300). Set ActiveFillDebt from that measurement; no warm rows. Co-Authored-By: Claude Opus 5.5 (1M context) <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
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.
Reverts #13038 (a21a901), merged into main.
Why: main at 44ed81c fails about 62 function-value, lambda and fold claims that pass at 072c37b. royal-deer-478's probe runs are 37210398646 (red) and 37204680949 (green). In the window, wise-ant-549 cleared #13244 and #13166 (all four probe claims pass at 47f457f), so the only remaining v2 compiler change is #13038. These claims are planned only when a diff reaches them, so the merge queue stayed green while any PR touching them, including #13043, goes red.
Status: reverted under sharp-raven-357's advance approval, and held until the per-commit bisect (a21a901 vs 9db1a8b) confirms it; that is running now. #13038 re-lands with the fix plus a control on this route (an unannotated fn literal and a fold step through the kinded binder path).
🤖 Generated with Claude Code