Repository navigation

Lower bare dotted chains and final-segment calls to the qualified-name spine, above the first-atom fallback - #11683

Merged

gunbai-bot[bot] merged 13 commits into

mainfrom

handoff/sleek-bat-315-dotted-callee

Sep 20, 2026

Commits on Sep 19, 2026
- Lower a dotted callee to the qualified-name spine (rebuilt on main; not for push)
  
  Brian Searls
  and
  claude
  committed
  4eda460
- Merge remote-tracking branch 'origin/main' into HEAD
  gunbc-ci-auto-heal
  committed
  98d7e6a
- Lower every dotted body chain through one door above the first-atom fallback
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cc92136
- Assert the non-final-call refusal's reason, not just Rejected
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5fc2595
- Pin the local-receiver method call: its callee is the spine, on all three sites
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  14fc31c
- Assert the refusal reason through v2.std.diagnostic; flip the callee-only today-row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f7bb4e0
- Decline a call on a non-final segment instead of refusing it; pin the live idiom
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  91bf0bf
- Enroll the local-receiver CALL at resolve: it refuses Unbound, by execution
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3c0d495
- Merge origin/main into handoff/sleek-bat-315-dotted-callee
  gunbc-ci-auto-heal
  committed
  d68f5e0
Commits on Sep 20, 2026
- Narrow the dotted-chain authorities to the two shapes repaired, and drop the seven unmeasured warm rows
  gunbc-ci-auto-heal
  committed
  c25b300
- Supply the dotted-chain fixtures at the lowering boundary, and pair them with two route claims
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  99c07a9
- Narrow one surviving 'every dotted chain' sentence to the two shapes the door admits
  gunbc-ci-auto-heal
  committed
  11877d4
- Add the new door to the truncation row's evidence, and narrow one 'every other dotted chain' annotation
  gunbc-ci-auto-heal
  committed
  26f6db3

Navigation Menu

Repository navigation

Lower bare dotted chains and final-segment calls to the qualified-name spine, above the first-atom fallback - #11683

Lower bare dotted chains and final-segment calls to the qualified-name spine, above the first-atom fallback#11683
gunbai-bot[bot] merged 13 commits into
mainfrom
handoff/sleek-bat-315-dotted-callee

Commits on Sep 19, 2026

Lower a dotted callee to the qualified-name spine (rebuilt on main; not for push)

Merge remote-tracking branch 'origin/main' into HEAD

Lower every dotted body chain through one door above the first-atom fallback

Assert the non-final-call refusal's reason, not just Rejected

Pin the local-receiver method call: its callee is the spine, on all three sites

Assert the refusal reason through v2.std.diagnostic; flip the callee-only today-row

Decline a call on a non-final segment instead of refusing it; pin the live idiom

Enroll the local-receiver CALL at resolve: it refuses Unbound, by execution

Merge origin/main into handoff/sleek-bat-315-dotted-callee

Commits on Sep 20, 2026

Narrow the dotted-chain authorities to the two shapes repaired, and drop the seven unmeasured warm rows

Supply the dotted-chain fixtures at the lowering boundary, and pair them with two route claims

Narrow one surviving 'every dotted chain' sentence to the two shapes the door admits

Add the new door to the truncation row's evidence, and narrow one 'every other dotted chain' annotation