Fix and re-enable strong-level typechecking in CI - #1240

Open

apiology wants to merge 43 commits into

castwide:masterfrom

apiology:consolidate-type-annotation-cleanup

Commits on Aug 2, 2026

Typecheck cleanup batch 1: remove stale @sg-ignore comments

apiology
and
claude
committed
c416995
Typecheck cleanup batch 2: parser AST nodes, RBS translation types

apiology
and
claude
committed
1ae1947
Typecheck cleanup batch 3: type_checker.rb, rubocop line-length fix

apiology
and
claude
committed
cc5087e
Typecheck cleanup batch 4: Pin::Method fully clean

apiology
and
claude
committed
3997c04
Typecheck cleanup batch 5: NodeChainer and send_node fully clean

apiology
and
claude
committed
d133ef6
Typecheck cleanup batch 6: CommentRipper and FlowSensitiveTyping fully clean

apiology
and
claude
committed
72b01b2
Typecheck cleanup batch 7: Library fully clean

apiology
and
claude
committed
6e1affb
Typecheck cleanup batch 8: ApiMap and Host fully clean

apiology
and
claude
committed
622a33c
Typecheck cleanup batch 9: ApiMap::Store fully clean

apiology
and
claude
committed
6a220a9
Typecheck cleanup batch 10: Block, SclassNode, Rubocop diagnostics

apiology
and
claude
committed
78b9b04
Typecheck cleanup batch 11: convention/*_node.rb fully clean

apiology
and
claude
committed
599959c
Typecheck cleanup batch 12: DocMap, Pin::Callable, Source fully clean

apiology
and
claude
committed
b678187
Typecheck cleanup batch 13: ComplexType and UniqueType fully clean

apiology
and
claude
committed
e86e7ba
Typecheck cleanup batch 14: PinCache, Pin::Base, ToMethod, Shell

apiology
and
claude
committed
8fff80f
Typecheck cleanup batch 15: ApiMap::Cache, node processors, Clip, Gemspecs

apiology
and
claude
committed
268420d
Typecheck cleanup batch 16: Constants, Index, Parameter, opasgn/block nodes

apiology
and
claude
committed
042459c
Typecheck cleanup batch 17: NodeProcessor, ArgsNode, Chain, SourceMap, ParseDirective

apiology
and
claude
committed
f5ca3d1
Typecheck cleanup batch 18 (final): strong mode fully clean, re-enable hard-fail

apiology
and
claude
committed
4529157
Typecheck cleanup batch 19: fix RBS-version-drift gap caught by clean-room verification

apiology
and
claude
committed
582ff2e
Typecheck cleanup batch 20: fix strong-mode drift since branch creation

apiology
and
claude
committed
3c45670
Revert extracted code changes; defer to #1245 via @sg-ignore

apiology
and
claude
committed
50786d0
Refresh @sg-ignore count doc in TypeChecker::Rules

apiology
and
claude
committed
8dd1458
Point sg-ignores resolvable by #1223 at that PR instead

apiology
and
claude
committed
954d0a6
Avoid literal @sg-ignore substring in rules.rb doc prose

apiology
and
claude
committed
383660a
Consolidate #1245 sg-ignore reasons to a single URL reference

apiology
and
claude
committed
468ab7d
Point case/when sg-ignores at issue #1241

apiology
and
claude
committed
8773872
File and link issues for attrs/redefinition/is_a? narrowing gaps

apiology
and
claude
committed
5443702
Restore dropped @sg-ignore in rubocop_helpers.rb

apiology
and
claude
committed
26a125a
Fix @sg-ignore placement in rubocop_helpers.rb for CI

apiology
and
claude
committed
1feaf93

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Revert attr_reader split in Literal, use single sg-ignore instead
apiology
committed
38abf73

Commits on Aug 18, 2026

Unmask the plugin typecheck steps this PR already fixes

apiology
and
claude
committed
b63bfd5

Commits on Aug 19, 2026

Document the two local typecheck traps this PR exposes
apiology
committed
a853a09

Commits on Aug 26, 2026

Fix stale @return tag on Range#to_hash
apiology
committed
719cfe2

Commits on Aug 31, 2026

Commits on Sep 1, 2026

Commits on Sep 3, 2026

Revert "Cover YardMap::Cache#get_path_pins and DomainDirective.closure_at"
apiology
committed
7053f4b

Commits on Sep 6, 2026

Move rubocop-yard to the Gemfile to gate it on Ruby
apiology
committed
d02a28c

Commits on Sep 9, 2026

Label 18 blank @sg-ignore markers
apiology
committed
9e753f7