Repository navigation

feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… #108

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