Repository navigation

Derived-node identity in v1 infer: model and class row (step 1a) - #12913

Merged

gunbai-bot[bot] merged 3 commits into

mainfrom

session/clever-lynx-801-derived-node-identity

Oct 1, 2026

Commits on Oct 1, 2026
- Derived-node identity in v1 infer: model (step 1) and the class row
  
  Brian Searls
  and
  claude
  committed
  8102662
- derived-node identity: step 1 is 1a (#12913) + 1b (#12914); drop transcribed counts, name the instrument (review 73739)
  
  Brian Searls
  and
  claude
  committed
  867b529
- derived-node identity plan: admit the unapplied generic variant-literal residue to step 2
  
  Brian Searls
  and
  claude
  committed
  fa1f31a