fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 #48
Triggered via pull request
September 30, 2026 15:59
coderabbitai[bot]
Status
Success
Total duration
3m 24s
Artifacts
–
proofs.yml
on: pull_request
Coq — CNO + OND (14 theories)
1m 36s
Agda — CNO + OND
1m 39s
Z3 — CNO + OND bounded checks
1m 32s
Lean — core CNO (6 modules + axiom audit)
19s