feat(semantics): say why each producer site stayed unresolved (B2) - #4581

Merged

huangruiteng merged 3 commits into

loopx-project:mainfrom

songoow:codex/b2-classify-unresolved

Sep 17, 2026

Commits on Sep 16, 2026

feat(semantics): say why each producer site stayed unresolved (B2)

songoow
and
claude
committed
da54294
test(semantics): assert the labelled unknown contract the change introduced

song
and
claude
committed
29b997e

Commits on Sep 17, 2026

Merge remote-tracking branch 'origin/main' into codex/b2-classify-unresolved
songoow
committed
21d3bf9