Repository navigation

Repair what the ratchet counts with NRA plans; type imports by when they run - #3170

Merged

trissim merged 12 commits into

mainfrom

Oct 25, 2026

Merged

Repair what the ratchet counts with NRA plans; type imports by when they run#3170
trissim merged 12 commits into
mainfrom
ratchet/repair

Commits on Oct 25, 2026
- Repair what the ratchet counts with NRA plans; type imports by when they run
  
  trissim
  and
  claude
  committed
  baeaf6f
- Merge remote-tracking branch 'origin/main' into ratchet/repair
  trissim
  committed
  720de04
- Regenerate MODULE_LAYERS.md on current main
  
  trissim
  and
  claude
  committed
  275e278
- Repair's reasons are a declared family; typing names have their own owner
  
  trissim
  and
  claude
  committed
  3198108
- Merge remote-tracking branch 'origin/main' into ratchet/repair
  trissim
  committed
  dc96108
- Merge remote-tracking branch 'origin/main' into ratchet/repair
  trissim
  committed
  0396dc0
- Declare Untyped and keep the Any question beside AnyName
  
  trissim
  and
  claude
  committed
  dc242bb
- Track NRA a25f0a77: mypy can cache its surrogate probe
  
  trissim
  and
  claude
  committed
  54bfd69
- Merge remote-tracking branch 'origin/main' into ratchet/repair
  trissim
  committed
  a8fed6d
- Import the ratchet by one name in its tests
  
  trissim
  and
  claude
  committed
  4b5e52e
- Merge remote-tracking branch 'origin/main' into ratchet/repair
  trissim
  committed
  1838191
- Ask TypingImports whether a value is a typing declaration, not Untyped's identity
  
  trissim
  and
  claude
  committed
  bf1d254