Merge the replay-correctness and induce fixes (#26) #174
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
| # CI for AREST — the 0.9.0 engine (engine/ is the codebase of record; | |
| # the old crates/ + TS orchestration retired 2026-07-08, ledger entry | |
| # "the old rust goes"). Two legs mirror the local gates: | |
| # - python: the fast suites (the full 3-chunk broad gate stays a | |
| # local/nightly concern; this leg pins the load-bearing families) | |
| # - rust: cargo test in engine/rust (derive, mcp, serve_ops, | |
| # native_apply — the resident's whole certified surface) | |
| # The frozen worker surface (src/, wrangler) is deliberately NOT built | |
| # here: its wasm fed from the retired crates; the successor WASM path | |
| # builds from engine/rust when that rung starts (see the ledger). | |
| name: ci | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| python: | |
| runs-on: windows-latest | |
| timeout-minutes: 45 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.12' | |
| - run: pip install pytest | |
| - name: engine fast suites | |
| working-directory: engine | |
| run: > | |
| python -m pytest | |
| tests/test_scheduler_canon.py tests/test_classify_canon.py | |
| tests/test_derive.py tests/test_rule_if.py | |
| tests/test_rule_anaphora.py tests/test_rule_negation.py | |
| tests/test_aggregates.py tests/test_derivation.py | |
| tests/test_skolem_prim.py tests/test_skolem_head.py | |
| tests/test_verb_parity.py tests/test_tutor_port.py | |
| tests/test_select_component.py tests/test_shared_scenarios.py | |
| -q | |
| rust: | |
| runs-on: windows-latest | |
| timeout-minutes: 45 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| - name: Cache cargo | |
| uses: actions/cache@v4 | |
| with: | |
| path: | | |
| ~/.cargo/registry | |
| ~/.cargo/git | |
| engine/rust/target | |
| key: ${{ runner.os }}-cargo-${{ hashFiles('engine/rust/Cargo.lock') }} | |
| restore-keys: | | |
| ${{ runner.os }}-cargo- | |
| - name: resident test suites | |
| working-directory: engine/rust | |
| run: cargo test |