Skip to content
Dogfood Gate

docs(proof): Tangle proof narrative + assumption registry (#25) #74

Sign in to view logs

docs(proof): Tangle proof narrative + assumption registry (#25)

docs(proof): Tangle proof narrative + assumption registry (#25) #74

Triggered via push June 1, 2026 12:37
@hyperpolymathhyperpolymath
pushed cc46136
main
Status Success
Total duration 47s
Artifacts –

dogfood-gate.yml

on: push
Validate A2ML manifests
4s
Validate A2ML manifests
Validate K9 contracts
5s
Validate K9 contracts
Empty-linter (invisible characters)
3s
Empty-linter (invisible characters)
Groove manifest check
6s
Groove manifest check
Dogfooding compliance summary
4s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines