Skip to content
Static Analysis Gate

proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates #41

Sign in to view logs

proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates

proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates #41

Triggered via pull request July 21, 2026 12:49
@hyperpolymathhyperpolymath
opened #17
proofs/lean4-l1-l2
Status Success
Total duration 46m 26s
Artifacts –

static-analysis-gate.yml

on: pull_request
panic-attack assail
6s
panic-attack assail
Hypatia neurosymbolic scan
27s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
4s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
7s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Patch Bridge CVE triage
panic-attack binary not available — skipping Patch Bridge
panic-attack assail
panic-attack binary not available — skipping assail