refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) #96

Job	Run time
governance / Security policy checks	6s
governance / Language / package anti-pattern policy	12s
governance / Well-Known (RFC 9116 + RSR)	7s
governance / Validate Hypatia baseline	5s
governance / Code quality + docs	15s
governance / Trusted-base reduction policy	8s
governance / Guix primary / Nix fallback policy	7s
governance / Workflow security linter	7s
	1m 7s

Provide feedback