proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #187

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

Provide feedback