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

81%

main: 83%

Build Type

Pull #750

github

Committed by khatchad

Commit Message

Reject non-integral slice-bound constants in resolveIntConstant

A float ConstantKey would truncate under intValue() and wrongly prove a slice
bound; treat a non-integral or out-of-int-range value as unresolvable.

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

Pull Request Pull Request #750: Make the parameter-flow numpy precondition per-dimension shape-aware

Coverage Stats

180 of 202 new or added lines in 3 files covered. (89.11%)

2 existing lines in 1 file now uncovered.

2069 of 2552 relevant lines covered (81.07%)

0.81 hits per line