Skip to content
Dogfood Gate

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger #37

Sign in to view logs

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger

docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger #37

Triggered via pull request July 21, 2026 06:15
@hyperpolymathhyperpolymath
synchronize #15
docs/theory-spec
Status Failure
Total duration 1h 24m 24s
Artifacts –

dogfood-gate.yml

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

Annotations

10 errors and 10 warnings
Validate K9 contracts: ./.machine_readable/contractiles/must/must.k9.ncl#L55
Hunt-level K9 file must include a 'signature' or 'signature_required' field
Validate K9 contracts: ./.machine_readable/contractiles/must/must.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/contractiles/intend/intend.k9.ncl#L61
Hunt-level K9 file must include a 'signature' or 'signature_required' field
Validate K9 contracts: ./.machine_readable/contractiles/intend/intend.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/contractiles/dust/dust.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/contractiles/bust/bust.k9.ncl#L47
Hunt-level K9 file must include a 'signature' or 'signature_required' field
Validate K9 contracts: ./.machine_readable/contractiles/bust/bust.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/contractiles/adjust/adjust.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/coaptation/coapt.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate K9 contracts: ./.machine_readable/arrival-pack/claude-md.k9.ncl#L1
Missing K9! magic number. First non-empty line must be exactly 'K9!'
Validate A2ML manifests: ./verification/tests/0.2-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./examples/0.1-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/ai/AI.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/6a2/anchors/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
Validate A2ML manifests: ./.github/0.1-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate K9 contracts: ./session/custom-checks.k9#L1
Missing SPDX-License-Identifier in first 10 lines
Validate K9 contracts: ./coordination.k9#L1
Missing SPDX-License-Identifier in first 10 lines
Validate K9 contracts: ./container/stapeln/deploy.k9.ncl#L1
No security level (leash/security_level) found in pedigree block
Validate K9 contracts: ./container/stapeln/deploy.k9.ncl#L1
Pedigree block missing 'version' or 'schema_version' field