Integration test: 2026-08-04 - #49

Draft

apiology wants to merge 321 commits into

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 2, 2026

Fix @sg-ignore placement in rubocop_helpers.rb for CI

apiology
and
claude
committed
1feaf93

Commits on Aug 4, 2026

Fix chain.rb nil-safety instead of suppressing the typecheck warning

apiology
and
claude
committed
9445d1f
Replace generic nil-check suppressions with real fixes/explanations

apiology
and
claude
committed
2190a35
Reproduce the ||= on lvars flow-sensitive-typing gap
apiology
committed
e85bdbd
Narrow x ||= value on lvars and ivars to eliminate nil
apiology
committed
b2a5b13
Fix mislabeled sg-ignores in process_or_asgn
apiology
committed
55f1c1e
Replace the last sg-ignore in OrasgnNode with a real guard
apiology
committed
c666672
Make the rubocop_todo CI job blocking

apiology
and
claude
committed
2acc420
Regenerate .rubocop_todo.yml with the CI-matching flags
apiology
committed
bbab799
Auto-update .rubocop_todo.yml on push to master
apiology
committed
e3bc6bd
Start integration testing branch 2026-08-04
apiology
committed
6741f7f
Merge castwide/solargraph#1223 (apiology-1196-literal-inference) into integration branch 2026-08-04
apiology
committed
771c3d0
Merge castwide/solargraph#1247 (pin-caching-2-chain-call-refactor) into integration branch 2026-08-04
apiology
committed
6706082
Unpend overload-resolution specs fixed by combining #1223 and #1247
apiology
committed
0e32e59
Merge castwide/solargraph#1237 (speed_up_specs_master) into integration branch 2026-08-04
apiology
committed
75868fa
Merge castwide/solargraph#1231 (fix-1229-intersection-types) into integration branch 2026-08-04
apiology
committed
a26184f
Unpend union-in-bracket spec fixed by #1231 grouping syntax
apiology
committed
493a6aa
Merge castwide/solargraph#1252 (pin-caching-3-pincache-core) into integration branch 2026-08-04
apiology
committed
99349d0
DEBUG: print solargraph pin output for Integer#+ in CI
apiology
committed
0dc5c0b
Revert "DEBUG: print solargraph pin output for Integer#+ in CI"
apiology
committed
9ac2040
Fix two bugs in #1223 signature-combining that dropped/mangled overloads
apiology
committed
d211e10
Revert "Fix two bugs in #1223 signature-combining that dropped/mangled overloads"
apiology
committed
d5784d3

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Fix blank expected-type message for untyped restarg params

apiology
and
claude
committed
f517308
Merge castwide/solargraph#1223 update (restarg untyped-param message fix) into integration branch 2026-08-04
apiology
committed
92e4f81
Narrow bare, implicit-self attr_reader-style accessor calls

apiology
and
claude
committed
bbaf7f9
Merge apiology/solargraph#53 (self-rooted-accessor-narrowing) into integration branch 2026-08-04
apiology
committed
b008207
Update two FlowSensitiveTyping.new callers missed by #53
apiology
committed
434e792
Structurally verify RBS interface-typed expectations
apiology
committed
9a7803d
Add pending specs for interface signature verification gap
apiology
committed
2a62989
Restore full bypass for the interface-typed expectation case
apiology
committed
29a1887
Point the existing nil/NilClass pending spec at its tracking issue
apiology
committed
b5cdb3f
Fix false positive: Struct.new(keyword_init: true) members are optional

apiology
and
claude
committed
a26570a
Merge castwide/solargraph#1266: structurally verify RBS interface-typed expectations
apiology
committed
349cf6d
Merge castwide/solargraph#1269: Struct.new(keyword_init: true) members are optional
apiology
committed
2a1cfb0
Add pending specs for two intersection-type bugs (#1231)

apiology
and
claude
committed
eedf506
Expand intersection-type corner-case coverage from PR #1231 review

apiology
and
claude
committed
0136044
Document root cause and #1266 dependency for the Hash#fetch leak

apiology
and
claude
committed
3c30a84
Document which pending specs are #1266-dependent vs independent

apiology
and
claude
committed
2bb0a15
Fix method-call resolution on intersection-typed receivers (#1231)

apiology
and
claude
committed
342b11b
Add pending spec for strict-union call resolution bug

apiology
and
claude
committed
76181ad
Fix Chain#nullable? leaking nil from earlier &. into later unrelated calls

apiology
and
claude
committed
9ce3a0a
Add pending spec proving the Hash dispatch bug is union-general

apiology
and
claude
committed
8935e12
Correct Chain#nullable? to track self-returning calls, not just the tail link

apiology
and
claude
committed
7a3a510
Merge castwide/solargraph#1271: fix Chain#nullable? nil leak
apiology
committed
73d3333
Fix order-dependent generic resolution for same-class union receivers

apiology
and
claude
committed
d969a95
Merge castwide/solargraph#1273: fix order-dependent generic union resolution
apiology
committed
1bea049
Recognize multi-statement raise/fail branches in flow-sensitive typing
apiology
committed
c41d1a3
Infer only the lhs type for x || raise(...) and x ||= raise(...)

apiology
and
claude
committed
58a780f
Fix order-dependent Hash intersection dispatch (partial, #1231)

apiology
and
claude
committed
7adb5db
Merge latest castwide/solargraph#1259: multi-statement raise/fail, x||raise lhs-only inference
apiology
committed
ecd9967
Merge latest castwide/solargraph#1231: intersection-type dispatch fixes
apiology
committed
dde1c58
Trigger CI

apiology
and
claude
committed
aba4226
Merge latest castwide/solargraph#1273: empty CI-retrigger commit
apiology
committed
10c5a55

Commits on Aug 7, 2026

Commits on Aug 8, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 15, 2026

Read inline RBS superclass params only on the class line

apiology
and
claude
committed
6cfed53
Merge castwide/solargraph#1301: don't let a bracketed comment in a class body drop its superclass
apiology
committed
d645988
Apply @!override to constants instead of crashing

apiology
and
claude
committed
0b41411
Index `X = Class.new(Super)` constant assignments as classes

apiology
and
claude
committed
2c128cd
Cover duck type return tags in attached macros

apiology
and
claude
committed
11e53bb
Merge castwide/solargraph#1262: backfill regression tests
apiology
committed
405770c
Narrow a nil-guarded default after the conditional

apiology
and
claude
committed
e049739
Use an existing ignore category on the guarded-reassignment call

apiology
and
claude
committed
cb9e7b0

Commits on Aug 16, 2026

Merge castwide/solargraph#1305: apply @!override to constants instead of crashing
apiology
committed
f4cad2b
Merge castwide/solargraph#1306: index Class.new constant assignments as classes
apiology
committed
ad967a7
Merge castwide/solargraph#1282: parameter reassignment typing and nil-guarded defaults
apiology
committed
e52196a
Index gem constants defined with `Class.new`

apiology
and
claude
committed
ecc8fdd
Expire flow-sensitive narrowing at a definite reassignment

apiology
and
claude
committed
f3e1b54
Cover coexistence with a hand-written `@!parse` stub

apiology
and
claude
committed
1a9cb39
Treat a dominating reassignment as definite at that use site

apiology
and
claude
committed
3747c78
Narrow a variable assigned inside an if condition

apiology
and
claude
committed
5215ce2
Scrub reparsed pins by value type, not by ivar name

apiology
and
claude
committed
edc1648
Merge gem-pin Class.new reparse: index Class.new constants from yardoc
apiology
committed
cedb85d
Decouple guard-narrowing specs from falsy-type rendering

apiology
and
claude
committed
2047ff5
Merge three flow-sensitive narrowing shapes: trailing-if, branch-local assignment, assignment-in-condition
apiology
committed
3a424fc
Expire narrowing only when a different assignment overwrote it

apiology
and
claude
committed
8f89ee7
Merge narrowing regression fix: expire only on a different assignment
apiology
committed
cb45cd8
Cover four-operand or-guards and their soundness controls

apiology
and
claude
committed
11e3386
Merge or-guard soundness controls
apiology
committed
b4733cf
Strip nil from or-expression fallbacks in conditional branch values
apiology
committed
012331f
Rebind self in Class.new blocks; nested blocks inherit rebound binders

apiology
and
claude
committed
0d690a5
Narrow union arms by duck-type membership in ComplexType#narrow_with

apiology
and
claude
committed
da39739
Narrow receivers through respond_to? guards as duck types

apiology
and
claude
committed
ac27529
Merge castwide/solargraph#1309: strip nil from or-expression fallbacks in conditional branch values
apiology
committed
6b13d29
Remove four @sg-ignore markers the castwide/solargraph#1309 merge made unneeded
apiology
committed
46ff2e2
Create typed locals for destructured block parameter groups
apiology
committed
e40408b
Keep union-typed tuple elements in one position during generic resolution
apiology
committed
df3f456

Commits on Aug 17, 2026

Merge castwide/solargraph#1310: Class.new block-self yieldreceiver + nested binder inheritance
apiology
committed
cc05840
Merge respond_to? guard narrowing (duck-type facts + narrow_with union-arm selection)
apiology
committed
4d00c4b
Merge apiology/solargraph#60: mlhs destructuring + union-position fix
apiology
committed
86ccceb
Restore end dropped in the strong_spec keep-both merge resolution
apiology
committed
ee193a8
Make pin CLI misses visible and suggest ancestry matches

apiology
and
claude
committed
1935bad
Render an unparameterized generic as untyped in RBS output

apiology
and
claude
committed
ab200ee
Remove four @sg-ignore markers the triple merge made unneeded (CI Ruby-4.0 strong verdicts; three are respond_to? guards now narrowed)
apiology
committed
4b313bc
Route all user-facing CLI messages around $VERBOSE = nil

apiology
and
claude
committed
6c117bf
Don't hand an auto-splatted value to the first block parameter
apiology
committed
b46a7a9
Map Forwardable delegations to DelegatedMethod pins
apiology
committed
a421540
Merge apiology/solargraph#60 follow-up: don't hand auto-splatted values to parameter 0
apiology
committed
25e6c9b
Resolve pin paths through Ruby method lookup by default

apiology
and
claude
committed
4fc8576
Guard the nilable first yielded type in per_position_yield_types?
apiology
committed
2ef28f0
Merge the per_position_yield_types? nil guard (apiology/solargraph#60 follow-up)
apiology
committed
8b3a820
Merge castwide/solargraph#1311: Map Forwardable delegations to method pins
apiology
committed
ab7d88c
Merge castwide/solargraph#1312: pin CLI path resolution, unsilenced messages, bare arrow rendering
apiology
committed
2e032ad
Skip combining duplicate DelegatedMethod pins

apiology
and
claude
committed
61c6b38
Resolve an RBS `self` return type per union arm

apiology
and
claude
committed
e5a9657
Stop recording YARD's implicit Object superclass

apiology
and
claude
committed
811dda7
Degrade an unparseable tag to no-methods instead of aborting the run

apiology
and
claude
committed
8be3011
Stop Intersection#transform renaming every conjunct

apiology
and
claude
committed
f56cc09
Merge branch 'fix-intersection-transform-rename' into integ-verify-1311
apiology
committed
7b65182
Merge branch 'pr-a-rbs-self-union' into integ-verify-4
apiology
committed
1ff4c9e
Merge branch 'task28-yard-implicit-superclass' into integ-verify-4
apiology
committed
b2248e9
Drop the resolved @sg-ignore in TypeCheck#diagnose

apiology
and
claude
committed
2ebb40f

Commits on Aug 18, 2026

Take the @!method tag for an unresolvable delegation

apiology
and
claude
committed
63c53d2
Merge forwardable-delegators: take the @!method tag for an unresolvable delegation
apiology
committed
489076a
Make `rbs validate` a blocking CI check again

apiology
and
claude
committed
3cf2b16
Unmask the plugin typecheck steps this PR already fixes

apiology
and
claude
committed
b63bfd5
Merge castwide/solargraph#1240: re-enable strong-level typechecking in CI
apiology
committed
75f8552
Merge castwide/solargraph#1317: make rbs validate blocking again
apiology
committed
d784a57
Merge castwide/solargraph#1260: make rubocop CI job blocking again
apiology
committed
672a1f0

Commits on Aug 19, 2026

Commits on Aug 20, 2026