Skip to content
Dogfood Gate

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) #248

Sign in to view logs

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131)

fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) #248

Triggered via pull request June 4, 2026 00:43
@hyperpolymathhyperpolymath
synchronize #135
proofs/idris2-131-audit-trail-completeness-redesign
Status Success
Total duration 1m 15s
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)
5s
Empty-linter (invisible characters)
Groove manifest check
7s
Groove manifest check
Validate eclexiaiser manifest
4s
Validate eclexiaiser manifest
Dogfooding compliance summary
3s
Dogfooding compliance summary
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Validate A2ML manifests: ./.machine_readable/6a2/anchor/ANCHOR.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