Skip to content

feat(gsbot)!: faithful Rust/SPARK port — eliminate Python from the fl… #287

feat(gsbot)!: faithful Rust/SPARK port — eliminate Python from the fl…

feat(gsbot)!: faithful Rust/SPARK port — eliminate Python from the fl… #287

Triggered via push May 16, 2026 14:39
Status Success
Total duration 21s
Artifacts

dogfood-gate.yml

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

Annotations

11 warnings
Validate K9 contracts: ./deploy-bot-fleet.k9.ncl#L1
No security level (leash/security_level) found in pedigree block
Validate A2ML manifests: ./contractiles/intend/Intentfile.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L104
Attestation block found but missing proof/signature/hash fields
Validate A2ML manifests: ./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/integrations/vexometer.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./.machine_readable/integrations/verisimdb.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./.machine_readable/integrations/feedback-o-tron.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./.machine_readable/contractiles/trust/Trustfile.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./.machine_readable/anchors/ANCHOR.a2ml#L1
Missing version or schema_version field
Validate A2ML manifests: ./.machine_readable/anchors/ANCHOR.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
Validate A2ML manifests: ./.machine_readable/CLADE.a2ml#L1
Missing version or schema_version field