Repository navigation
v1 closeout wave 2: merge #13583, #13582, #13615, #13609, gentle-dove-36, #13108 + regen - #13653
Merged
Merged
Conversation
…onality via declared_type_carries_optional Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…us restates the two-way positions Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…d point) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…nel name. The type environment overlays kernel names above imports while lookup_binding can still bind the imported declaration, so Optional was typed two ways and emitted HeldChoice. Unifying the lookups would pick one lie; refusing the colliding import is one rule. Importing the mint itself (v2.std.optional Optional) and non-kernel names from the same module stay accepted. Co-authored-by: Cursor <cursoragent@cursor.com>
Review 76934: the RED was a second copy of the fixture. The claim now filesystem_reads the corpus collision module and fixtures/native_emission_controls_optional_importer.dag so those files are the enrolled bytes. Co-authored-by: Cursor <cursoragent@cursor.com>
…r_at passthrough; srv3 optional first() under -> String) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…payload binding arm; nested-optional failure-mode row; control + narrowness red Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
A same-module Maybe row must not exempt importing Optional, and an ambiguous mint lookup now has its own typed diagnostic instead of a guessed module. The mint-import control requires a clean compile. Co-authored-by: Cursor <cursoragent@cursor.com>
…field is not emittable) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
The Found arm reused module_path and decl_name string compares and skipped field, so it could disagree with kernel_mint_ownership. Co-authored-by: Cursor <cursoragent@cursor.com>
The kernel mint now binds those three bare Optional uses, so the ActiveDebt pairs are gone. RosterStale on the floor required retirement. Co-authored-by: Cursor <cursoragent@cursor.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
required-regen drifted the three files we hand-edited. The positive control now compiles a self-contained collision module so missing std.types cannot refuse the fixture. Co-authored-by: Cursor <cursoragent@cursor.com>
… only; the proven-disjoint wall still runs (review of 61efdc6) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
A second Optional declaration in dag/ made leaf-keyed Optional typing follow the last declarer and type-cascaded gated parse claims. The RED still compiles the fixture pair. Co-authored-by: Cursor <cursoragent@cursor.com>
BindsWithoutDeclaration was false: the files still carry the pair. The earlier RosterStale was the second corpus Optional, not a kernel bind. Co-authored-by: Cursor <cursoragent@cursor.com>
…class InternalError, subject names both arm types), not a non-clean census Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
#13388 re-homed the mint after this branch's CI; the wall still admits only the mint DeclarationRef, now std.optional Optional. Co-authored-by: Cursor <cursoragent@cursor.com>
…m maps to the owner's identity; host-Option decided by declaration Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…eaves another module's emission unchanged Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…osition witness builds the identity-keyed index Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…'s module is its identity's prefix Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ltin Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…lias name checks decide an identity by its declaration; failure-mode row updated Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…eclaration_rows (counted kernel_mint); emit_rust: a re-exported parent is a host carrier when every declarer is; unit control sources import nothing Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ion only when it is the kernel mint's declaration (symbol index + declaring span) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…structor before '{' reads as a record literal)
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
# Conflicts: # dag/gunbc/instruments/native_emission_controls.dag
…eral_application_cases, one roster, one composition over all 17 case groups) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…rst_generation_equal=true, 0 installs on pass 2) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…eed bootstrap; regen replaces) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…n_physical; seed bootstrap, regen replaces) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…tstrap; regen replaces) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…d bootstrap; regen replaces) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
3 tasks
…upersedes provisional splices) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…ted v1_rt.rs without it; seed bootstrap) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…et; hand-appended lines gone) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
Author
|
Reviews 78374 / 78378: addressed at ed8cc53. The hand-appended |
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.
v1 closeout wave 2: conflict resolutions + one regen round
Base: integration/v1-closeout (#13641). Not for merge/enqueue by this session.
Merges (plain merge commits,
origin/<branch>by name)semver_version_parsecall.#13574 reverted (e2b6cb8)
Operator decision (relayed by neat-wolf-604): #13574 (04_infer interim equality wall, mirror, native_emission_controls/witness rows) is reverted out of this snapshot; it is dropped here, not landed. It carries an open REQUEST_CHANGES (review 78262), not addressed here. #13595 left out.
Regen
Per the 2026-10-04 ruling one emission round is the regen. The first seed would not build because bootstrap mirrors lacked
rt_host_budget; two provisional bootstrap commits seeded it. Round 0 (BuildBuddy 81e24bb4) and round 1 (build failed on that gap) were superseded by round 2 (6 min run, 20 files), committed as ed8cc53:v1_rt.rsis now emitted fromruntime_rust.dagrt_host_budget(HostBudgetJoin*/HostBudgetCgroupV1 included); no hand-appended lines remain.first_generation_equalwas false in every round (not required by the ruling).Gate on ed8cc53 (BuildBuddy de8e52a0, one dispatch)
cargo build --release -p v1-compiler --bin gunbcexit 0;gunbc test //gunbc/instruments:v2-native-cliexit 0;cargo clippy --all-targets -- -D warningsexit 0.Not run here: generated_artifact_gate main_wet (docs/design-rung-drops.md and fleet-converge.yml were not in the regen output; CI's build lane is the check).
🤖 Generated with Claude Code