Implement the inline `@type` cast cleanup: 273 of 357 removed or converted - #1589

Merged

sergey-shandar merged 17 commits into

mainfrom

claude/cast-type-annotations-refactor-hq8l8o

Aug 15, 2026

Commits on Aug 15, 2026

fjs: delete redundant inline `@type` casts
claude
committed
bf734a7
fjs: narrow `_Entity` to `Dir` with `instanceof Array`, not a cast
claude
committed
11e3c5f
fjs: convert checking casts to `@satisfies` and annotated declarations
claude
committed
b223aa0
fjs: delete the casts the earlier steps made redundant
claude
committed
2484752
fjs: replace narrowing casts with the runtime check they stood in for
claude
committed
7bbdbb0
fjs: check MCP responses instead of casting them
claude
committed
a07cc2c
fjs: check CAS and MCP proof responses instead of casting them
claude
committed
470f713
fjs: check the remaining `unknown` reads outside the proof helpers
claude
committed
b92b0bc
todo: record the cast cleanup and re-table what is left
claude
committed
ed1d39f
Merge branch 'main' into claude/cast-type-annotations-refactor-hq8l8o
sergey-shandar
authored
2aa5299
Merge main
claude
committed
55465cd
Address review: restore ten casts that `tsc --noEmit` said were redundant
claude
committed
4888c54
Merge remote
claude
committed
5b5a9fd
Per-API issues for the casts the cleanup deliberately left (#1590)

sergey-shandar
and
claude
authored
88e8d79
Address review: changelog, corrected counts, trailing whitespace
claude
committed
51d66c7
Merge remote
claude
committed
7d86913
Merge branch 'main' into claude/cast-type-annotations-refactor-hq8l8o
sergey-shandar
authored
c5bd2b4