Repository navigation

A name collision that resolves per-entry and refuses whole-corpus: a lens for the check the gate can make and the author cannot - #9239

Merged

gunbai-bot[bot] merged 2 commits into

mainfrom

session/gentle-bee-495-name-fork-lens

Aug 26, 2026

Merged

A name collision that resolves per-entry and refuses whole-corpus: a lens for the check the gate can make and the author cannot#9239
gunbai-bot[bot] merged 2 commits into
mainfrom
session/gentle-bee-495-name-fork-lens

Commits on Aug 25, 2026
- A lens for the collision only the gate can see: do the names this module declares already have a declarer elsewhere
  gunbc-ci-auto-heal
  committed
  6967b4a
- Indexing a list returns an Optional: the two claims that read the first forked standing were non-exhaustive
  gunbc-ci-auto-heal
  committed
  28d3642