Gradual mode: publish where type information reaches - #211

Merged

philiplindberg merged 27 commits into

mainfrom

Aug 5, 2026

Commits on Aug 4, 2026

Gradual mode gates by declaration scope, not by diagnostic code
philiplindberg
committed
fad682a
Merge remote-tracking branch 'origin/main' into gradual-mode
philiplindberg
committed
badc34f
Green the extended tier, name what gradual hides, stamp the build
philiplindberg
committed
3746d2d
The check mirror persists as a regenerable cache, like the editor's
philiplindberg
committed
ce97a4e
A top-level `globalThis.NAME ??=` declares the global
philiplindberg
committed
9c5e962
Three catch handlers returned a crash instead of their error envelope
philiplindberg
committed
08c1ccc
bun:* rides the host floor; rip.strict earns its own program
philiplindberg
committed
4a640d7
A dangling import is the importer's defect, not a coverage gap
philiplindberg
committed
6459fe2
A nested install resolves like the runtime; an absent one is intent, not a typo
philiplindberg
committed
3f90070
Merge branch 'claude/rip-check-dir-shifting-379213' into gradual-mode
philiplindberg
committed
78fc653
Emitter scaffolding never opens the gate
philiplindberg
committed
c75bac5

Commits on Aug 5, 2026

TypeScript 7 defaults strict on; gradual states its loose base
philiplindberg
committed
cc890e7
The burn-down resurrected an annotation already retired
philiplindberg
committed
d436007
A trailing generic close ends a cast's line
philiplindberg
committed
98220cd
App types tell the truth the runtime already spoke
philiplindberg
committed
3e39d75
The corpus declares itself a no-check zone
philiplindberg
committed
7d426e2
The audit gains gradual's suppression matrix
philiplindberg
committed
8df6dbb
The cart example drops its prose and re-syncs two handlers
philiplindberg
committed
b2b962e
A check answers for the paths it was given
philiplindberg
committed
9d6ffff
Merge origin/main into gradual-mode
philiplindberg
committed
b160786
The inference hold argues from what inference does
philiplindberg
committed
b0ff08e
Merge remote-tracking branch 'origin/main' into gradual-mode
philiplindberg
committed
fa41b09
A member's type answers for the member, not the component
philiplindberg
committed
e6b1ea5
Collapse nested claims after their directives are charged
philiplindberg
committed
946fda0
A name only a type uses is not imported at runtime
philiplindberg
committed
30c0dbc
A container's notify seam is spelled by how the slot got it
philiplindberg
committed
2fa5c3b
A projection's shape is a name, not just a value
philiplindberg
committed
920b373