build(proofs): reproducible Lean toolchain bootstrap (future dependability) #86
hyperpolymathdogfood-gate.yml
on: pull_request
Validate A2ML manifests
5s
Validate K9 contracts
8s
Empty-linter (invisible characters)
6s
Groove manifest check
4s
Dogfooding compliance summary
4s
Annotations
1 warning
|
Validate A2ML manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|