test: prove framework and minimal runtime import contracts - #21
Closed
acecchini wants to merge 2 commits into
Closed
test: prove framework and minimal runtime import contracts#21acecchini wants to merge 2 commits into
acecchini wants to merge 2 commits into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Proves when shape and dtype validation runs around JAX transformations and Torch compilation, and verifies custom-array use with no optional backend installed. Adds six valid/invalid transformation cases, a framework placement guide, and Python 3.10/3.14 minimal wheel CI checks.
Stacked on #13. Validation: 1,070 development tests pass (five skips); JAX 0.5 and Torch 2.6 floor lanes pass 210/208 tests; six transform probes pass at both Python endpoints with exact beartype 0.23.0rc0. Normally installed minimal wheels pass custom-array, rejection and import-boundary checks at both endpoints. Full hooks and docs build pass. JAX floor warnings are existing None-conversion warnings.
The compile test uses Torch's eager backend and does not establish every compiler mode. Native-union rollback and comprehensive CuPy support remain separate work. See
plans/2026-09-08-framework-validation.mdfor evidence and acceptance.Integration record: this reviewed head is preserved in main through PR #31, merge commit df81f00. The owner approved merging this work. This dependent PR is closed as integrated; its commits were not squashed or discarded.