Language Policy Enforcement

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + refactor #104

Sign in to view logs

Triggered via pull request May 20, 2026 16:16

opened #26

proof-debt/abszero-tier-a-axiom-discharge

Status Success

Total duration 11h 14m 18s

Artifacts –

language-policy.yml

on: pull_request