Repository navigation

v2 resolve: module namespace provider on ResolutionContext (PR1 of #12726) - #12735

Merged

gunbai-bot[bot] merged 15 commits into

mainfrom

session/royal-stag-371-pr1-namespace-provider

Oct 1, 2026

Commits on Sep 30, 2026
- v2 resolve: module namespace provider on ResolutionContext, replacing the per-subject rebuild
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  95fa9d0
- Regenerate the v1.compiler.emit_rust stage0 mirror (seed main threads the resolution context)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  264a3a7
- name_resolve: cite the real at-most-once control (review 73086)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  57c9091
- NativeTestContext: drop the index/active_roots copies; ResolutionContext is their one home (review 73091)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dbebcf3
- Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider
  gunbc-ci-auto-heal
  committed
  2edea51
- Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider
  gunbc-ci-auto-heal
  committed
  716c3c8
- Regenerate the v1.compiler.emit_rust stage0 mirror after merging main (#12742 changed the emitter)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7843b3e
- Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider
  gunbc-ci-auto-heal
  committed
  6d891a7
- else_arm_nested_if_test (from main): read the census step's outcome
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8742186
- Move the drain's context note to a module-scope leading block (body-position // refuses at parse, DESIGN 4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1f847b2
- Regenerate the v1.compiler.emit_rust stage0 mirror at 1f847b2
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  56b3565
Commits on Oct 1, 2026
- Merge main; migrate #12714's and three sibling witnesses' resolves to resolve_in_context (dequeue at 19:48Z, merge_group 36764637643)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0067813
- Regenerate the v1.compiler.emit_rust stage0 mirror after merging main (#12828 changed the emitter)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  10c3d6c
- Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider
  gunbc-ci-auto-heal
  committed
  c05cd4d
- Merge main; migrate map_literal and kernel_value_type_roster witnesses to resolve_in_context (dequeue, merge_group 36848689160)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  223541a

Navigation Menu

Repository navigation

v2 resolve: module namespace provider on ResolutionContext (PR1 of #12726) - #12735

v2 resolve: module namespace provider on ResolutionContext (PR1 of #12726)#12735
gunbai-bot[bot] merged 15 commits into
mainfrom
session/royal-stag-371-pr1-namespace-provider

Commits on Sep 30, 2026

v2 resolve: module namespace provider on ResolutionContext, replacing the per-subject rebuild

Regenerate the v1.compiler.emit_rust stage0 mirror (seed main threads the resolution context)

name_resolve: cite the real at-most-once control (review 73086)

NativeTestContext: drop the index/active_roots copies; ResolutionContext is their one home (review 73091)

Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider

Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider

Regenerate the v1.compiler.emit_rust stage0 mirror after merging main (#12742 changed the emitter)

Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider

else_arm_nested_if_test (from main): read the census step's outcome

Move the drain's context note to a module-scope leading block (body-position // refuses at parse, DESIGN 4c)

Regenerate the v1.compiler.emit_rust stage0 mirror at 1f847b2

Commits on Oct 1, 2026

Merge main; migrate #12714's and three sibling witnesses' resolves to resolve_in_context (dequeue at 19:48Z, merge_group 36764637643)

Regenerate the v1.compiler.emit_rust stage0 mirror after merging main (#12828 changed the emitter)

Merge remote-tracking branch 'origin/main' into session/royal-stag-371-pr1-namespace-provider

Merge main; migrate map_literal and kernel_value_type_roster witnesses to resolve_in_context (dequeue, merge_group 36848689160)