build(proofs): reproducible Lean toolchain bootstrap (future dependability) #50

Job	Run time
governance / Well-Known (RFC 9116 + RSR)	7s
governance / Workflow security linter	4s
governance / Validate Hypatia baseline	4s
governance / Trusted-base reduction policy	7s
governance / Language / package anti-pattern policy	12s
governance / Licence consistency	10s
governance / Security policy checks	8s
governance / Guix primary / Nix fallback policy	3s
governance / Code quality + docs	2m 48s
	3m 43s

Provide feedback