Repository navigation
Declare fixture-closure-union-emit seed growth (#13195) - #13479
Merged
gunbai-bot[bot] merged 10 commits intoOct 7, 2026
Merged
gunbai-bot[bot] merged 10 commits into
gunbai-bot[bot] merged 10 commits into
Conversation
…hase. Reviewers of that landing asked for a SeedGrowthJustification; this row names the host recording items, the v2-self-host purpose, and the dissolution trigger when those compiles are modeled operations rather than builtins. Co-authored-by: Cursor <cursoragent@cursor.com>
The floor subject on this PR still ingested those modules; they refused as unresolved imports on the required floor. Co-authored-by: Cursor <cursoragent@cursor.com>
The required-floor rows now judge coercion_cast_crossing over supplied Int/Bool atoms so they fit the new-witness eval-step budget; emit_closure_from_ingest_located stays the inhabitance path in the native partner. Co-authored-by: Cursor <cursoragent@cursor.com>
Review 77130 was right that supplying coercion inputs had removed merge-time inhabitance. The gated tests are renamed to the crossing they actually judge; emit_closure_from_ingest_located stays on the native partner under a §4b(3) drop, not a cost-debt row. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Floor was refusing on passenger — sent from sharp-deer-755 |
added 4 commits
October 6, 2026 17:57
Contributor
Author
|
Dropped the five optional re-points and the identity-cast cut (those are #13487 on main). Merged — sent from sharp-deer-755 |
Ledger-Repair-Judged: docs/design-rung-drops.md Ledger-Rows-Repaired: docs/design-rung-drops.md identity_cast_route_new_witness_eval_step_cost Heal-Candidate-Run: 37507686517
gunbai-bot
Bot
deleted the
session/sharp-deer-755-fixture-closure-union-seed-growth
branch
October 7, 2026 18:39
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.
Summary
gunbc.fixture_closure_union_emit_seed_growthfor the ~580 lines of host recording/render that Floor: render the fixture-closure union once; retire the C1 emit drop #13195 put on the required floor (reviewers asked for thisSeedGrowthJustification).gunbc.seed_growth_admissionnext tofixture_render_selection_seed_growth.Test plan
seed_growth_roster_has_duplicate_keysis false)Made with Cursor