ponder-lab / Hybridize-Functions-Refactoring / #2225
79%
main: 80%

LAST BUILD BRANCH: gh-readonly-queue/main/pr-739-6721f597b1febe25181379bb3e6a99b1f85dd4e0
DEFAULT BRANCH: main
Ran
Jobs 1
Files 32
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 79.286%. Remained the same
#2225

push

github

web-flow 
Ship Jython frozen_importlib resources as an OSGi fragment (#696)

* Ship Jython frozen_importlib resources as an OSGi fragment

Under Tycho-OSGi, Jython's `PySystemState.openFrozenImportlib` first tries
`getResourceAsStream("/frozen_importlib/_frozen_importlib.class")` and only falls back
to a CWD-relative filesystem path when that returns null. Ariadne's fat-jar omits the
`/frozen_importlib/` resources, so the classpath lookup returns null and the fallback
throws `FileNotFoundException`, leaving `sys.importlib` null. The defensive catch
(wala/ML#436) then degrades constant folding and literal-arithmetic shape evaluation
to the symbolic/⊤ fallback.

Add an OSGi fragment hosted on the wrapped Ariadne bundle shipping
`_frozen_importlib.class` and `_frozen_importlib_external.class` at the bundle root.
The fragment's resources merge into the host bundle's classloader, so
`getResourceAsStream` resolves them, no working-directory dependence and no
Ariadne-side change. Wired into the main feature, which the eval feature includes.

Verified: the full test suite (544 tests) and the evaluator product both boot the
interpreter cleanly (`FileNotFoundException` count 0) and produce numeric dims for
literal-arithmetic shapes (`tf.constant([2 * 14])` yields 28).

Closes #429

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

* Add a regression test pinning #429's constant folding

`testFrozenImportlibConstantFolding` analyzes `tf.zeros([2 * 14])` and asserts the
parameter's tensor type is `TensorType(FLOAT32, [NumericDim(28)])`. The literal-arithmetic
shape folds to the numeric dimension 28 only when the frozen_importlib fragment keeps
Jython's interpreter healthy under OSGi; on a degraded interpreter the dimension is
symbolic and the assertion fails, so this guards against the fragment regressing.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-... (continued)

1665 of 2100 relevant lines covered (79.29%)

0.79 hits per line

Jobs
ID Job ID Ran Files Coverage
1 #2225.1 32
79.29
Source Files on build #2225