Repository navigation

Type context and transcript parameters from checked inference - #1144

Merged

trissim merged 5 commits into

mainfrom

next/toad-types-01

Oct 23, 2026

Merged

Type context and transcript parameters from checked inference#1144
trissim merged 5 commits into
mainfrom
next/toad-types-01

Commits on Oct 23, 2026
- Annotate context and transcript parameters from checked inference
  trissim
  committed
  2809746
- Type publication matches and remove untyped request forwarding
  trissim
  committed
  4e4ebcd
- Build source publications in one capture call again
  
  trissim
  and
  claude
  committed
  328d031
- Merge origin/main into the context and transcript typing batch
  
  trissim
  and
  claude
  committed
  a77a176
- Pass show_draft the draft and identity it reads
  
  trissim
  and
  claude
  committed
  260806f