Skip to content

feat(typecheck): QTT quantity semiring — strands are linear in weave … #227

feat(typecheck): QTT quantity semiring — strands are linear in weave …

feat(typecheck): QTT quantity semiring — strands are linear in weave … #227

Triggered via push July 29, 2026 07:32
Status Success
Total duration 2m 9s
Artifacts –

dogfood-gate.yml

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

Annotations

2 warnings
Validate A2ML manifests: ./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