ponder-lab / Hybridize-Functions-Refactoring / #3256

87%

main: 88%

push

github

Withhold a signature when a calling context leaves a parameter untyped (#1002)

* Withhold a signature when a calling context leaves a parameter untyped

The tensor-type analysis reports only the variables it typed, so a call
site where a parameter's argument could not be typed contributed nothing
to the parameter's types instead of widening them. A signature reduced
from the remaining call sites then claimed to cover that call too. When
those call sites were small, concrete test calls, the signature rejected
the program's own call.

Each parameter now records the conforming calling contexts in which it
received no type. If there is one, the parameter widens to unknown and
the signature is withheld with UNTYPED_CALLING_CONTEXT, while the
function is still hybridized with a bare decorator.

Fixes #998.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

* Check for an untyped context only where a spec would be stored

Asking before the reduction relabelled a parameter whose typed contexts
already failed to reduce, such as one with disagreeing dtypes, as
UNTYPED_CALLING_CONTEXT. The check now runs only where the flat
reduction is about to store a spec, on the ordinary and the pinned path
alike, so existing absence reasons are kept.

The new fixture functions pin the expected-failure exclusion (a declared
failure passing None leaves no untyped context) and the kept reason. The
wording now says what a withhold leads to: a bare decorator, or a decline
where a pinned dtype would make one raise. It also says the check is per
call-graph node and covers the flat reduction only.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

* Use the American spelling in the new absence reason's Javadoc

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2a... (continued)

60 of 64 new or added lines in 3 files covered. (93.75%)

4148 of 4783 relevant lines covered (86.72%)

0.87 hits per line