docs(proof): Tangle proof narrative + assumption registry; refresh PROOF-NEEDS #72
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
4s
Validate K9 contracts
4s
Empty-linter (invisible characters)
5s
Groove manifest check
7s
Dogfooding compliance summary
4s
Annotations
1 warning
|
Validate A2ML manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|