#2415
81%
main: 83%

Ran 10 Jul 2026 02:56AM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

Committed 10 Jul 2026 02:52AM UTC coverage: 81.243% (+0.01%) from 81.23%

Build # #2415

Build Type

Pull #752

github

Committed by

khatchad

Commit Message

Re-enqueue a value when its shape descriptor changes

colorShapeFrom only re-enqueued a value on first taint, so poisoning an
already-processed value to the ambiguous descriptor never re-evaluated its
uses, leaving a sink decided on the stale descriptor. Re-enqueue on any
descriptor change too; descriptors are monotone (unset -> concrete ->
ambiguous), so this terminates.

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

11 of 12 new or added lines in 2 files covered. (91.67%)

2079 of 2559 relevant lines covered (81.24%)

0.81 hits per line

Uncovered Changes

Lines	Coverage	∆	File
1	89.34	-0.08%	edu.cuny.hunter.hybridize.core/src/edu/cuny/hunter/hybridize/core/analysis/Util.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	#2415.1	10 Jul 2026 02:56AM UTC	32	81.24

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build #2415

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build #2415

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

README BADGES
x