feat(typecheck): also replace longer type defaults#541
Merged
juleswritescode merged 21 commits intomainfrom Oct 3, 2025 
Merged
feat(typecheck): also replace longer type defaults#541juleswritescode merged 21 commits intomainfrom 
juleswritescode merged 21 commits intomainfrom 
Commits
Commits on Sep 19, 2025
- committed
Commits on Sep 26, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 27, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed