Language Policy Enforcement

docs(proof): correct stale proof-status; disclose axiom dependence #275

Sign in to view logs

Triggered via pull request June 29, 2026 13:04

opened #94

proof/honest-status-md

Status Success

Total duration 31s

Artifacts –

language-policy.yml

on: pull_request