Skip to content
Dogfood Gate

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #217

Sign in to view logs

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… #217

Triggered via push July 29, 2026 05:49
@hyperpolymathhyperpolymath
pushed cf56397
main
Status Success
Total duration 35m 57s
Artifacts –

dogfood-gate.yml

on: push
Validate A2ML manifests
7s
Validate A2ML manifests
Validate K9 contracts
6s
Validate K9 contracts
Empty-linter (invisible characters)
7s
Empty-linter (invisible characters)
Groove manifest check
4s
Groove manifest check
Dogfooding compliance summary
6s
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