Guards: expected-polarity anchors + ICE-trap and Gate-2 mistype probe tests #232
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
| name: ARCO Deterministic Pipeline Smoke Test | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| branches: [ main ] | |
| jobs: | |
| run-arco: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.10' | |
| - name: Install dependencies | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install -r requirements.txt | |
| - name: Run ARCO reference pipeline | |
| run: | | |
| python 03_TECHNICAL_CORE/scripts/run_pipeline.py 2>&1 | tee pipeline_output.txt | |
| - name: Assert pipeline passed | |
| run: | | |
| if grep -q "ALL CHECKS PASSED" pipeline_output.txt; then | |
| echo "Pipeline pass signal found." | |
| else | |
| echo "FAIL: 'ALL CHECKS PASSED' not found in pipeline output." | |
| exit 1 | |
| fi | |
| - name: Run gate-removal regression tests | |
| run: python 03_TECHNICAL_CORE/scripts/test_gate_removal.py | |
| - name: Run multi-scenario regression tests | |
| run: python 03_TECHNICAL_CORE/scripts/test_scenarios.py | |
| - name: Run kiosk HTML no-false-concretization regression test (L4.7) | |
| run: python 03_TECHNICAL_CORE/scripts/test_kiosk_html_no_false_concretization.py | |
| - name: Run kiosk scope-note emission regression test (M-DefDiscipline-1) | |
| run: python 03_TECHNICAL_CORE/scripts/test_kiosk_html_surfaces_scope_note.py | |
| - name: Run adversarial-mechanism regression tests | |
| run: python 03_TECHNICAL_CORE/scripts/test_adversarial_mechanism.py | |
| - name: Run canonical-IRI version-pin conformance test | |
| run: python 03_TECHNICAL_CORE/scripts/test_canonical_iris.py | |
| - name: Run BI/RBI genus regression test | |
| run: python 03_TECHNICAL_CORE/scripts/test_bi_rbi_genus.py | |
| - name: Run ICE-subfamily trap guard (fail-closed regression) | |
| run: python 03_TECHNICAL_CORE/scripts/test_ice_subfamily_trap.py | |
| - name: Run Gate-2 mistype regression test (content-sensitivity) | |
| run: python 03_TECHNICAL_CORE/scripts/test_gate2_mistype.py |