Cross check specs against typesystem inferred types - #15559

Closed

lukaszsamson wants to merge 11 commits into

elixir-lang:mainfrom

lukaszsamson:ls-typespec-tightening

Commits on Jul 12, 2026

Add CI check comparing @specs against inferred type signatures

lukaszsamson
and
claude
committed
2584312
Slim spec comparison script down to pure static analysis

lukaszsamson
and
claude
committed
2e52fe8
Fix remote type argument scoping and gate untranslatable specs

lukaszsamson
and
claude
committed
6ec9330
Compute verdicts via the checker's own application rule

lukaszsamson
and
claude
committed
cbfabed
Expose tightening hints in JSON and fix prompt-mode staleness

lukaszsamson
and
claude
committed
433b297
Type check function bodies against their spec-derived domains

lukaszsamson
and
claude
committed
b88a257
Keep full body-check diagnostics and document them in prompt mode

lukaszsamson
and
claude
committed
97f1f01
Route no_return mismatches to review and label union domains

lukaszsamson
and
claude
committed
d802a3c
Record why spec'd functions have no inferred signature

lukaszsamson
and
claude
committed
83105a6
Acknowledge new mixed entries from improved ++ signature

lukaszsamson
and
claude
committed
a6cda81
Summarize body-check return relations across all functions

lukaszsamson
and
claude
committed
7190b02