proof(coq): #133 rescue rebase + discharge eval_deterministic #16

Job	Run time
governance / Workflow security linter	5s
governance / Language / package anti-pattern policy	4s
governance / Well-Known (RFC 9116 + RSR)	4s
governance / Code quality + docs	11s
governance / Guix primary / Nix fallback policy	5s
governance / Security policy checks	6s
	35s

Provide feedback