fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #317

Job	Run time
governance / Code quality + docs	18s
governance / Security policy checks	18s
governance / Language / package anti-pattern policy	18s
governance / Guix packaging policy (Nix retired)	18s
governance / Allowlist Preflight	18s
governance / Trusted-base reduction policy	18s
governance / Licence consistency	18s
governance / Workflow security linter	18s
governance / Well-Known (RFC 9116 + RSR)	18s
governance / Actions lockfile verify	18s
governance / Live Actions policy (credentialed advisory)	18s
governance / Check Workflow Staleness	18s
governance / Debt ratchet	18s
governance / Exemption ratchet	18s
governance / Validate Hypatia Baseline	1s
	4m 13s

Navigation Menu