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

83%

main: 83%

Build Type

Pull #797

github

Committed by khatchad

Commit Message

Emit a per-parameter tensor-type diagnostic CSV (#780)

Adds `parameters.csv` to the evaluator: the raw inferred tensor lattice
per parameter at per-dimension granularity, so a wildcard dimension's
cause (a static constant, an unresolved-but-fixed size, or a genuinely
symbolic axis) is visible without a FINE-level provenance run.

Where an input-signature entry collapses every non-constant dimension to
a single wildcard, this preserves the raw `Dimension` class: `Constant,<n>`,
`Symbolic,<name>`, `Unresolved`, `Dynamic`, `Ragged`, a shape-`TOP` row for
unknown rank, and a `scalar` row for rank zero, with the dtype and whether
it is top. The classification reads the raw `Dimension` subtypes directly
rather than through `inferSpec`, which lossily normalizes them. It is a
testable static helper on `Parameter` with synthesized-input unit coverage,
mirroring `InferSpecTest`; the evaluator addition is a thin printer that
leaves the analysis untouched.

Origin and allocator-source columns are omitted: for a parameter both are
invariant (`PARAMETER` and a parameter-local `LocalPointerKey`), so they
would carry no diagnostic signal.

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

Pull Request Pull Request #797: Emit a per-parameter tensor-type diagnostic CSV (#780)

Coverage Stats

32 of 36 new or added lines in 1 file covered. (88.89%)

25 existing lines in 1 file now uncovered.

2356 of 2853 relevant lines covered (82.58%)

0.83 hits per line