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

78%

push

travis-pro

Emit per-parameter `INFO` when `inferSpec` drops the signature (#582)

* Emit per-parameter INFO when `inferSpec` drops the signature (#510)

`inferInputSignature` already emits an `INPUT_SIGNATURE_INFERENCE` INFO
for its category (a)/(b) drops, but the `inferSpec`-side drop collapsed
the signature silently. Emit a reason-aware INFO at that drop site.

Post-#480, `inferSpec` only drops for two reasons (the other branches
#510 listed now emit a coarse or wildcard signature rather than
dropping): heterogeneous dtype (|D| != 1) and dtype-⊤ (a single agreed
`UNKNOWN`). The INFO distinguishes them, the dtype-⊤ message citing #494.

`testHasLikelyTensorParameter15` (the `double` fixture, called with
INT32/FLOAT32/STRING) gains an assertion that the heterogeneous-dtype
drop now surfaces the INFO. The dtype-⊤ message has no fixture coverage
because that branch is not reachable from Python with the current
Ariadne (see #494).

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

* Reword `inferSpec`-drop INFO for the wizard; single-literal messages

Address review on #582:

- The INFO shows on the refactoring wizard, so drop the internal issue
  number and the lattice jargon (`|D| != 1`, dtype-⊤) from the user-facing
  text in favor of plain prose. The code comment keeps the technical terms.
- Write each message as a single string literal and let Spotless handle
  the wrapping, rather than hand-breaking the text across `+` chunks.

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

* Use a block comment + task URLs for the `inferSpec`-drop note

Address review on #582:

- Convert the multi-line `//` explanation to a `/* */` block comment so
  Spotless owns the line wrapping (the file's formatter has
  `format_block_comments=true`), rather than hand-breaking it across `//`
  lines.
- Reference the tracker issues as full URLs, not bare `#N`: these are
  source-code comments where `#N` is not a clickable link, matching the
  co... (continued)

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

1291 of 1691 relevant lines covered (76.35%)

0.76 hits per line