Repository navigation

Pkg12: namespace candidate rule in the native resolver - #12063

Closed

briansrls wants to merge 15 commits into

mainfrom

session/witty-cat-84

Commits on Sep 21, 2026

The candidate rule is the chain, so an import becomes a binding on it and the global spelling search is deleted

Brian Searls
and
claude
committed
2510fc1
Merge remote-tracking branch 'origin/main' into session/witty-cat-84
Brian Searls
committed
f8c8015
The incumbent declaration counts as a claimant, and the test-code wall runs on the transmuted-import route

Brian Searls
and
claude
committed
877bb48
Binding rows bind to a fixed point, because a re-export chain is a row whose target is another row

Brian Searls
and
claude
committed
4d086a8
A contested position answers nothing, on both spellings, and four dangling declarations go

Brian Searls
and
claude
committed
9cef42a

Commits on Sep 22, 2026

Two more dangling declarations, a comment describing a route that does not execute, and a stale import that is no longer inert

Brian Searls
and
claude
committed
808e5c6
Merge remote-tracking branch 'origin/main' into session/witty-cat-84
Brian Searls
committed
6b7fac5
A binding is not a declaration, so it stays out of the spelling census

Brian Searls
and
claude
committed
894238a
Delete the annotation fragment my own deletion orphaned

Brian Searls
and
claude
committed
5aee537
The live pair is OBSERVED: standing flips to required, and its rung drop retires by its own trigger

Brian Searls
and
claude
committed
5e7c2b8
The missing import row my own rule would have refused, and the warm row the floor asked for

Brian Searls
and
claude
committed
3bdadbf
A missing binding refuses with evidence too, not just a location

Brian Searls
and
claude
committed
05d7394
The instruments resolve the corpus the way production does, and the warm producer is a fn so the serve reaches it

Brian Searls
and
claude
committed
127e933
Delete a dangling leftover, and enrol the recompute my arity change exposed

Brian Searls
and
claude
committed
e7e7abb
Merge remote-tracking branch 'origin/main' into session/witty-cat-84
Brian Searls
committed
6bda570