ABI: make Idris2 proofs genuinely compile + add machine-checked theorems #55

Job	Run time
governance / Security policy checks	29s
governance / Code quality + docs	33s
governance / Guix primary / Nix fallback policy	35s
governance / Licence consistency	44s
governance / Well-Known (RFC 9116 + RSR)	42s
governance / Language / package anti-pattern policy	46s
governance / Trusted-base reduction policy	31s
governance / Check Workflow Staleness	6s
governance / Workflow security linter	30s
governance / Validate Hypatia Baseline	0s
	4m 56s

Provide feedback