Repository navigation
Brief A wrapu - #7116
Closed
gunbai-bot[bot] wants to merge 3 commits into
Closed
Brief A wrapu#7116gunbai-bot[bot] wants to merge 3 commits into
gunbai-bot[bot] wants to merge 3 commits into
Conversation
…er in the executing v1 seed, default-off
- NameResolutionPolicy gate: name_resolution_policy_is_namespace_only thread-local
builtin (runtime_rust.dag -> v1_rt), host-side setter only, default OFF =
ImportScoped byte-for-byte; registered in 04_method builtins + extdeps rust rt rows
- type/value path (04_env.dag): under NamespaceOnlyY a global_bare homonym resolves
to the unique binder on the ancestor chain; zero-or-multiple refuses (census-walk
parity: zero-on-chain whole-pool homonym is Ambiguous, never a fabricated bind);
nearest-wins preserved verbatim under the default
- fn path (04_sigs/04_lookup): lookup_resolved_sig/lookup_func_sig rewritten to the
3-state FuncSigLookup (Resolved|Unresolved|Ambiguous{candidates}) so a refusal has
somewhere to go; FuncSigAmbiguous never falls through to the census fallback;
first-hit preserved verbatim under the default; analysis-only consumers project
through func_sig_if_resolved, bind sites (ExprVar/ExprCall) match the full outcome
- typed diagnostic: AmbiguousReference{name, candidates, span} in 00_core.dag with
span/message arms; emitted at the reference site with the full candidate fix menu
(04_resolve bare-miss, 04_infer type annotation + record-lit presence, fn bind sites)
- discriminating witness: namespace_unique_on_chain_policy_test.rs — same homonym
fixtures compile clean under ImportScoped, refuse typed+located under NamespaceOnlyY
on both paths; unique-on-chain-still-resolves + unbound-stays-UnresolvedType controls
- regen_stage0 two-generation fixed point: regen_divergence_count=0, --verify green
- census refresh consumed into namespace-resolution-design.md §8/§12.3/§12.4/§13 +
raw rows in docs/probes/resolution_divergence_census_2026-07-22.tsv (diverge=0,
containment_ambiguous=38, owner_mismatch=0, lexical_steps={1:17175,2:1})
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…usy' race) Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Contributor
Author
|
Abandoned — superseded by #7093 (namespace manager lane applying the debt-classification fix on the mechanism branch). This draft carried an incomplete WIP without main merge or green CI. |
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
2 participants
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
merry-boar-479.Pushing to
session/merry-boar-479-brief-aadvances 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