1
81%
main: 83%

Ran 09 Jul 2026 03:43PM UTC

Files 32

Run time 2s

Badge

Embed ▾

Committed 09 Jul 2026 03:39PM UTC coverage: 81.074% (+0.5%) from 80.547%

Job # #2400.1

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

2069 of 2552 relevant lines covered (81.07%)

0.81 hits per line

ponder-lab / Hybridize-Functions-Refactoring / #2400 / 1
81%
main: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2400.1

ponder-lab / Hybridize-Functions-Refactoring / #2400 / 1 81% main: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2400.1

ponder-lab / Hybridize-Functions-Refactoring / #2400 / 1
81%
main: 83%

README BADGES
x