Repository navigation

std type names do not reach the emitted module: 12 E0425 'cannot find type' blocks on the 03_ingest board are NonEmptyDiagnostics, NonEmptyStr, Int, SourceRootIndex, Edge and a bare T - #9063

Merged

briansrls merged 8 commits into

mainfrom

session/quiet-pike-368

Aug 24, 2026

Merged

std type names do not reach the emitted module: 12 E0425 'cannot find type' blocks on the 03_ingest board are NonEmptyDiagnostics, NonEmptyStr, Int, SourceRootIndex, Edge and a bare T#9063
briansrls merged 8 commits into
mainfrom
session/quiet-pike-368

Commits on Aug 23, 2026
- Derive use-lines from the emitted reference set: a realized-name candidate producer
  
  Brian Searls
  and
  claude
  committed
  7cc834d
Commits on Aug 24, 2026
- Merge main: #9027 unblocks emit (trailing-annotation refusal)
  Brian Searls
  committed
  9428ff7
- Extend the realized-name producer to declaration positions
  
  Brian Searls
  and
  claude
  committed
  7638d7c
- Revert "Extend the realized-name producer to declaration positions"
  Brian Searls
  committed
  978f065
- Merge main (330f63c514): #9018 lands a second candidate producer in the same function
  Brian Searls
  committed
  6dbd015
- Attest a candidate against emitted identifier TOKENS, not a bare substring
  Brian Searls
  committed
  ed06d5f
- Regenerate the stage0 mirror so the bootstrap compiler carries the token gate
  Brian Searls
  committed
  1d264d7
- Merge remote-tracking branch 'origin/main' into session/quiet-pike-368
  Brian Searls
  committed
  c2747bb