Skip to content
Dogfood Gate

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) #246

Sign in to view logs

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12)

proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) #246

Triggered via pull request June 4, 2026 00:41
@hyperpolymathhyperpolymath
synchronize #132
proofs/a12-path-traversal-containment
Status Success
Total duration 1m 34s
Artifacts –

dogfood-gate.yml

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