Repository navigation
docs(batches): the batch conductor opens the record; carried: lines; the packet renderer (Cortex phase 5) #9
Workflow file for this run
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: Cortex Check | |
| # Guards the run-and-ruling registry: every phase file parses and its state is | |
| # legal, every ruling id is unique and every Supersedes: resolves, every | |
| # project a phase names is in projects.yaml, the gates/witness invariants hold | |
| # (`scripts/cortex.py check`), then the script's own tests. No self-heal here: | |
| # a failing check is a real contradiction and only a human can resolve it. The | |
| # generated pages that DO self-heal (`dashboard.md`, `dashboard.html`) are | |
| # `dashboard_refresh.yml`'s; this workflow only watches them for the drift that | |
| # a hand-edit of a generated page would leave behind. | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - "phases/**" | |
| - "rulings/**" | |
| - "batches/**" | |
| - "projects.yaml" | |
| - "epics.md" | |
| - "dashboard.md" | |
| - "dashboard.html" | |
| - "scripts/**" | |
| - "tests/**" | |
| - ".github/workflows/cortex_check.yml" | |
| pull_request: | |
| paths: | |
| - "phases/**" | |
| - "rulings/**" | |
| - "batches/**" | |
| - "projects.yaml" | |
| - "epics.md" | |
| - "dashboard.md" | |
| - "dashboard.html" | |
| - "scripts/**" | |
| - "tests/**" | |
| - ".github/workflows/cortex_check.yml" | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: cortex check | |
| run: python3 scripts/cortex.py check | |
| - name: tests | |
| run: | | |
| python3 -m pip install --quiet pytest pyyaml | |
| python3 -m pytest tests -q |