Repository navigation

fix: resolve repository issues, port Lean FilesystemCNO, and unify Co… #41

Job	Run time
Coq — CNO + OND (14 theories)	26s
Agda — CNO + OND	1m 44s
Z3 — CNO + OND bounded checks	15s
Lean — core CNO (6 modules + axiom audit)	14s
	2m 39s