Repository navigation

fix(lean4): remove dead `contradiction` — greens the Lean 4 CI #317

Job	Run time
Validate A2ML manifests	5s
Validate K9 contracts	5s
Validate eclexiaiser manifest	4s
Empty-linter (invisible characters)	8s
Groove manifest check	7s
Dogfooding compliance summary	3s
	32s