proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… #30

Job	Run time
governance / Security policy checks	37s
governance / Code quality + docs	37s
governance / Well-Known (RFC 9116 + RSR)	37s
governance / Workflow security linter	37s
governance / Guix primary / Nix fallback policy	37s
governance / Language / package anti-pattern policy	37s
	3m 42s

Provide feedback