Fix Lean guard verifier negation parsing #3977

Job	Run time
static	1m 17s
python (e2e)	2m 18s
boundaries (mcp)	1m 43s
python (domain)	3m 8s
python (composition)	1m 9s
Lean Runtime	14m 19s
checker subprocess coverage	27s
python (unit)	1m 6s
boundaries (storage)	37s
python (provider)	1m 43s
python (component)	2m 52s
boundaries (process)	39s
wheel (Python 3.13)	41s
Deployment Tests	4s
wheel (Python 3.12)	39s
Coverage	27s
Lean Tests	4s
required	3s
Python Tests	4s
	33m 20s

Navigation Menu