ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof #111

	name: K9-SVC Validation
	on:
	push:
	branches: [main, master]
	pull_request:

	# Estate guardrail: scope push to default branches (PR fires once, not
	# push+PR) and cancel superseded runs. Safe — read-only PR check.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	validate:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Validate contractiles
	run: \|
	#!/bin/bash
	set -euo

	# 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 "✓ All contractiles present"

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

	echo "✓ Contractile validation passed"

Provide feedback