proofs(lean4): promote ET-2 to main — L1 conversion is decidable #62

Job	Run time
governance / Check Workflow Staleness	7s
governance / Guix primary / Nix fallback policy	5s
governance / Code quality + docs	10s
governance / Security policy checks	4s
governance / Well-Known (RFC 9116 + RSR)	5s
governance / Workflow security linter	6s
governance / Language / package anti-pattern policy	8s
governance / Licence consistency	8s
governance / Trusted-base reduction policy	9s
governance / Validate Hypatia Baseline	0s
	1m 2s

Navigation Menu