fix(gates): gate on the DEED grammar, per the template and standards#837 #276
Triggered via pull request
September 21, 2026 12:18
hyperpolymath
Status
Success
Total duration
8h 3m 59s
Artifacts
–
dogfood-gate.yml
on: pull_request
Validate DEED manifests
5s
Validate K9 contracts
3s
Empty-linter (invisible characters)
7s
Groove manifest check
5s
Dogfooding compliance summary
3s
Annotations
8 warnings and 5 notices
|
Validate DEED manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/6a2/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Empty-linter (invisible characters):
proofs/TG3-REFINEMENT.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
compiler/tangle-wasm/tests/differential.rs#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
ASSUMPTIONS.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
PROOF-NARRATIVE.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
CHANGELOG.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
PROOF-NEEDS.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Validate K9 contracts
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate DEED manifests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Groove manifest check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Empty-linter (invisible characters)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Dogfooding compliance summary
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|