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

79%

push

github

Emit per-parameter input-signature drop attribution to a CSV in the evaluator (#655)

`Function.inferInputSignature`'s dispatch already computes a blocking
`AbsenceReason` for each parameter that prevents inference, but only the first
was retained (`getInferredInputSignatureAbsenceReason`, the function-level
`functions.csv` column). It now records every blocking parameter's reason in
declaration order, exposed read-only via `getBlockingParameterReasons` without
triggering inference.

The evaluator writes these to a new `blocked_parameters.csv` (one row per
blocking parameter: `subject, function, module, relative path, param index,
param name, absence reason`), complementing the function-grain column, which
cannot hold per-parameter rows.

`testInputSignatureMultipleNonTensorParameters` is extended to assert the new
map records both blocking parameters, with their reason, in declaration order.

Closes #654.


Claude-Session: https://claude.ai/code/session_01FuhM8SsTRB6BraLt3Ph7ZC

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

7 of 7 new or added lines in 1 file covered. (100.0%)

1628 of 2031 relevant lines covered (80.16%)

0.8 hits per line