name: WAI section references # Every section that SPEC.md or an extension cites in another WAI text exists: # a link followed by §N, a link whose text holds §N, or an extension's name (or # SPEC) in prose followed by §N, including references that break across lines. # A citation of a section that was never written — as transparency §6's pointer # to "jwp-receipts §7" was, before that section existed — fails the job. Research # notes are dated records and are not read. The check is # scripts/check-wai-section-refs.py; it needs Python and nothing else. on: push: branches: [main] paths: - 'wai/extensions/**' - 'wai/SPEC.md' - 'scripts/check-wai-section-refs.py' - '.github/workflows/wai-section-refs.yml' pull_request: paths: - 'wai/extensions/**' - 'wai/SPEC.md' - 'scripts/check-wai-section-refs.py' - '.github/workflows/wai-section-refs.yml' jobs: section-refs: name: cited sections exist runs-on: linux steps: - uses: actions/checkout@v5 - uses: actions/setup-python@v5 with: python-version: '3.11' - name: Every cited section exists shell: bash run: python scripts/check-wai-section-refs.py