k9-svc-validation.yml

# SPDX-License-Identifier: MPL-2.0
name: K9-SVC Validation

on:
  push:
    branches: [main, master]
  pull_request:

# Estate guardrail: cancel superseded runs so re-pushes / rebased PR
# updates do not pile up queued runs against the shared account-wide
# Actions concurrency pool. Applied only to read-only check workflows
# (no publish/mutation), so cancelling a superseded run is always safe.
concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

permissions:
  contents: read

jobs:
  validate:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
      - name: Validate contractiles
        run: |
          #!/usr/bin/env bash
          set -euo pipefail

          # Check all contractiles exist
          for file in must trust dust lust adjust intend; do
            if [ ! -f ".machine_readable/contractiles/$file/${file}file.a2ml" ]; then
              echo "ERROR: Missing contractile: $file"
              exit 1
            fi
          done

          echo "OK: all contractiles present"

          # Basic syntax validation
          find .machine_readable/contractiles -name "*.a2ml" -exec grep -l "SPDX-License-Identifier" {} \; | wc -l

          echo "OK: contractile validation passed"