Repository navigation

proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates #46

Job	Run time
governance / Trusted-base reduction policy	34s
governance / Code quality + docs	43s
governance / Language / package anti-pattern policy	40s
governance / Well-Known (RFC 9116 + RSR)	28s
governance / Guix primary / Nix fallback policy	37s
governance / Workflow security linter	34s
governance / Check Workflow Staleness	6s
governance / Security policy checks	29s
governance / Licence consistency	34s
governance / Validate Hypatia Baseline	-1s
	4m 44s