predictable v2: Rust engine, Python DSL, verification loop, viz, demos - #10
Merged
Merged
Conversation
Phases 0-3 of the v2 rebuild (see ROADMAP.md and docs/design/): - .pir IR with parser, canonical fmt + digests, conformance corpus - checker with LLM-actionable diagnostics (88-code registry) - vectorized Rust engine: planner, tape, kernel, runner, determinism harness - Python DSL (packages/predictable) compiling to IR; PyO3 wheel; CLI - verification loop: explain(), Prophet readers (.MPF/.fac/.rpt), model diff, run diff with hypothesis detectors - viz: model explorer, drill-down, run-diff screens; WASM + static export - migration skill + llms.txt; benchmarks with correctness gate - demos/: AI migration, benchmarks, 10k-modelpoint IFRS 17 valuation - docs site restructured; 1,523 tests green Co-Authored-By: Claude <noreply@anthropic.com>
The root pytest workflow collected all suites in one invocation, which the v0/v2 package shadowing forbids (RELEASE_NOTES_v2.md gap 2). Build the wheel and CLI in CI so the engine-backed suites run instead of skipping. numpy 1.24 has no 3.12 wheels; the pins predate v2 and the benchmark gate already passes v0 tests against numpy 2.x. Co-Authored-By: Claude <noreply@anthropic.com>
… pyarrow
The generic build/ gitignore rule swallowed the committed canonical .pir
files that llms-full generation and the demos depend on; scope it to the
repo root. PurePath(p).name instead of p.split('/') for Windows wheels.
Co-Authored-By: Claude <noreply@anthropic.com>
…ild excludes zstd - ops.rs used platform libm; glibc and macOS pow differ by 1 ULP, breaking byte-identity for models using monthly rate conversions. Route pow/exp/ln through the vendored libm crate (03-engine.md §7 rule 4), extend the determinism generator to emit transcendentals, regenerate goldens to the canonical values (proven byte-identical macOS vs Linux in docker). - predictable-io: parquet zstd feature native-only, keeping zstd-sys (C) out of the wasm32 dependency graph; corpus_root avoids realpath on WASI. - CI: replace retired macos-13 with macos-15-intel; wasmtime --dir fix; .gitattributes pins LF for digest-relevant text files. Co-Authored-By: Claude <noreply@anthropic.com>
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.
Phases 0-3 of the v2 rebuild (see ROADMAP.md and docs/design/):