Fix 2 bugs, remove 7 dead code blocks, add formal verification #9

	name: ReqProof Audit
	on:
	push:
	branches: [main]
	pull_request:

	jobs:
	audit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: '1.13'

	- name: Cache ReqProof solvers
	uses: actions/cache@v4
	with:
	path: ~/.proof/solvers
	key: proof-solvers-${{ runner.os }}

	- name: Install ReqProof
	run: \|
	set -euo pipefail
	# Install via Homebrew tap (works on Linux via linuxbrew)
	if command -v brew &>/dev/null; then
	brew tap probelabs/proof
	brew install proof
	else
	# Direct download from R2 CDN
	arch="$(uname -m)"
	case "$arch" in
	x86_64) arch="amd64" ;;
	aarch64\|arm64) arch="arm64" ;;
	esac
	url="https://pub-ccebb4aa45944de7a72edc403634a318.r2.dev/releases/latest/proof_linux_${arch}.tar.gz"
	echo "Downloading $url..."
	curl -fsSL "$url" \| tar xz
	sudo install -m 0755 proof /usr/local/bin/proof
	fi
	proof version

	- name: Run ReqProof Audit
	run: \|
	set +e
	proof audit --fail-level warn --format markdown \| tee $GITHUB_STEP_SUMMARY
	exit_code=$?
	exit $exit_code

Navigation Menu