1
81%
main: 84%

Ran 10 Jul 2026 02:42AM UTC

Files 32

Run time 1s

Badge

Embed ▾

Committed 10 Jul 2026 02:38AM UTC coverage: 81.235% (+0.005%) from 81.23%

Job # #2410.1

Build Type

Pull #752

github

Committed by

khatchad

Commit Message

Harden the numpy shape precondition: poison ambiguous descriptors, cache the index

Two post-merge review findings on #750:

- colorShapeFrom let the last writer win when a value received shape provenance
  from two conflicting sources (e.g. a phi merge), which could "prove" staticness
  from one source only. Poison such a value to an ambiguous descriptor (null
  source, so it resolves to ⊤/unprovable), the conservative outcome.
- indexTensorTypes was rebuilt on every appliesNumpyToParameters call, i.e. per
  call-graph node of every function. Build it once per function and reuse it
  across the function's nodes; indexTensorTypes is now the shared entry point.

Behavior-preserving on the corpus and the unit fixtures (no conflicting
descriptors arise there); suite 570 green.

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

Pull Request Pull Request #752: Harden the numpy shape precondition: poison ambiguous descriptors and cache the type index

Coverage Stats

2078 of 2558 relevant lines covered (81.24%)

0.81 hits per line

ponder-lab / Hybridize-Functions-Refactoring / #2410 / 1
81%
main: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2410.1

ponder-lab / Hybridize-Functions-Refactoring / #2410 / 1 81% main: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2410.1

ponder-lab / Hybridize-Functions-Refactoring / #2410 / 1
81%
main: 84%

README BADGES
x