Skip to content
Guix Package Policy

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 Failure
Total duration 9m 40s
Artifacts –

guix-policy.yml

on: pull_request
check
4s
check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check
Process completed with exit code 1.
check
Nix is banned estate-wide (Guix only). Remove flake.nix/*.nix and use guix.scm: ./flake.nix