Cross check specs against typesystem inferred types#15559

Open

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
Slim spec comparison script down to pure static analysis

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

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

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

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

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

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

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

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

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

lukaszsamson
and
claude
committed