feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction #186

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

Navigation Menu