Correct Proofs.lean status header now that it actually builds #207

Job	Run time
Rust — clippy + tests	47s
Supply chain — cargo-deny + audit	32s
CLI — pip install + authgate-cli --help	53s
Python — lint + tests (3.11)	1m 5s
Python — lint + tests (3.12)	1m 2s
Red team adversarial tests	25s
Performance regression gate	16s
Adversarial simulation (231 scenarios, 0 violations)	17s
API smoke test	58s
Docker image build + /readyz smoke	17s
	6m 32s

Navigation Menu