Repository navigation

Cheaper label checkpoints in the generated code (Thor main thread) - #222

Merged

YuutaTsubasa merged 4 commits into

mainfrom

claude/perf-generated-code

Oct 20, 2026

Merged

Cheaper label checkpoints in the generated code (Thor main thread)#222
YuutaTsubasa merged 4 commits into
mainfrom
claude/perf-generated-code

Commits on Oct 20, 2026
- Label checkpoints hide their permit call; register helpers use the generated base
  
  YuutaTsubasa
  and
  claude
  committed
  571441c
- Checkpoint only loop heads among the generated labels
  
  YuutaTsubasa
  and
  claude
  committed
  d3f76cc
- docs: generated code on the Thor main thread, checkpoint A/B
  
  YuutaTsubasa
  and
  claude
  committed
  af27e1a
- Merge remote-tracking branch 'origin/main' into claude/perf-generated-code
  YuutaTsubasa
  committed
  eef961f