Repository navigation
XL-0 - #9837
Closed
gunbai-bot[bot] wants to merge 8 commits into
Closed
XL-0#9837gunbai-bot[bot] wants to merge 8 commits into
gunbai-bot[bot] wants to merge 8 commits into
Conversation
…el overlay unconditional build_type_env and build_type_env_unresolved both skipped the kernel cache overlay when a module had exactly one import — with one import the environment was that import's flattened cache alone, so kernel identity won or lost by ancestry occupancy (leak-dependent resolution: identical imports, different realizations). Both builders now consume one build_ancestry_precedence producer: import union (fork ledger unchanged) -> kernel overlay UNCONDITIONALLY -> direct-selected overlay with kernel names skipped -> locals kept above by str_bindings-first lookup. The unresolved builder gains the direct-selected overlay it previously lacked, per the same one-producer boundary. direct_import_export_precedence_note updated: kernel installation independent of import cardinality. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
…3, byte-converged)
v1_compiler_infer.rs carries the build_ancestry_precedence projection; the
round-2 compiler (carrying the precedence) additionally re-emitted
extdeps_languages_{go,python,rust}_emit.rs and v1_compiler_stage0_crates.rs:
lambda parameters that previously emitted as _ now emit their resolved types
(Rc<SimpleMethodSpec>, Rc<GeneratedPartitionCrateRow>) — single-import modules
now build kernel-complete environments, so inference names types it previously
abandoned. Every changed line explained by the precedence disposition.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
…ctural-Bool-spelling emission row Under the unconditional kernel overlay the scalar synthetic Bool binding erased std.types' declared True|False structure, deleting the coproduct-payload refusal at kernel-Bool formals (floor red: bcp_foreign_coproduct_where_bool_required_must_refuse). The kernel binding now carries the structure its cited declaration has, in all three kernel-env constructors — the model repaired at the producer, no downstream kernel check. The peano Bool emission row is re-pinned: a bare direct import of the kernel spelling cannot displace kernel identity (the old expectation held only by ancestry occupancy); Rule-1 is the flip-back trigger, and the row now reds if leak-dependent resolution is reintroduced. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
…odule-item-grain annotations Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
…view 57892) Three kernel-environment producers each constructed the same Bool = True | False binding; one kernel_bool_type_node now serves all three, so the fact cannot fork. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
… point (round 3, byte-converged) 27 files, two mechanical classes: the 04_infer projection (build_ancestry_precedence, kernel_bool_type_node consolidated per review 57892), and lambda-parameter annotations toggling with rustfmt reflow wherever Bool-typed accumulators participate — the annotation logic sees kernel Bool as a variant-carrying coproduct and declines the spelling (governed by the green w_lambda_param_annotation_declines_a_spurious_generic row). In-cycle proof at this tree: all 10 coproduct-payload rows PASS (bcp_foreign_coproduct_where_bool_required_must_refuse restored), all 12 peano rows PASS, board 160->155 (-5/+0), 604 lib tests, byte fixed point. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
Contributor
Author
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
bold-carp-449.Pushing to
repair/kernel-precedenceadvances 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