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

83%

main: 83%

Pull #797

github

Split the #780 diagnostic into parameters.csv and parameter_dimensions.csv

The evaluator emits two files whose names describe their row grain.
`parameters.csv` has one row per parameter, carrying `is tensor`,
`is container`, and the rendered `tensor types` and `container element
types` (rendered for convenience at the parameter grain, since
reconstructing a type across rows or files is not). `parameter_dimensions.csv`
keeps the normalized one-row-per-dimension lattice, because a parameter has
zero-to-many dimensions and a dimension is its own grain.

The rendered type preserves each dimension's raw class (e.g.
`INT32[Constant,1; Constant,6] | UNKNOWN[TOP]`) rather than collapsing
wildcards the way an input signature does, and reconstructs exactly from
the per-dimension rows. The rendering helpers on `Parameter` are static and
unit-tested on synthesized types alongside the per-dimension helper.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01K8tXuyy3YWhM7BzvmCxKAn

50 of 56 new or added lines in 1 file covered. (89.29%)

2374 of 2873 relevant lines covered (82.63%)

0.83 hits per line