Repository navigation

Enroll both instance-gap carriers in cited-symbol resolution, with a counted outside-index disposition - #8775

Merged

briansrls merged 5 commits into

mainfrom

session/wise-boar-649-citation-enrollment

Aug 21, 2026

Merged

Enroll both instance-gap carriers in cited-symbol resolution, with a counted outside-index disposition#8775
briansrls merged 5 commits into
mainfrom
session/wise-boar-649-citation-enrollment

Commits on Aug 21, 2026
- A1: lambda-argument typing gate — the fourth bare-name-roster instance, as a carrier
  
  Brian Searls
  and
  claude
  committed
  d8e7a22
- Enroll both instance-gap carriers in cited-symbol resolution, with a counted outside-index disposition
  
  Brian Searls
  and
  claude
  committed
  65b3334
- Merge remote-tracking branch 'origin/main' into session/wise-boar-649-citation-enrollment
  Brian Searls
  committed
  74bbe13
- Regenerate std_decl_ref.rs: the seed mirror the CitationIndexCoverage type drifted
  
  Brian Searls
  and
  claude
  committed
  76b65be
- Merge remote-tracking branch 'origin/main' into session/wise-boar-649-citation-enrollment
  Brian Searls
  committed
  a3da161