Repository navigation

Merge grammar validation and theory consolidation #2144

Job	Run time
Format check	2m 14s
Python 3.10 engine tests	8m 42s
Type check and static analysis	3m 22s
Python 3.13 engine tests	7m 57s
Python 3.11 engine tests	29m 38s
Python 3.12 engine tests	10m 34s
	1h 2m 27s