feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… #108
hyperpolymathdogfood-gate.yml
on: push
Validate A2ML manifests
4s
Validate K9 contracts
7s
Empty-linter (invisible characters)
6s
Groove manifest check
7s
Dogfooding compliance summary
3s
Annotations
2 warnings
|
Validate A2ML manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate A2ML manifests:
./.machine_readable/6a2/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|