fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job - #165

Merged

hyperpolymath merged 3 commits into

mainfrom

fix/125-lean-axiom-preconditions

Sep 22, 2026

Commits on Sep 22, 2026

fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job

hyperpolymath
and
claude
committed
9654143
docs(ledger): cite Coq y_not_cno by file:line so the trusted-base gate keys on it; audit row names PR #165

hyperpolymath
and
claude
committed
7a4970d
fix(lean): audit all core theorem axioms and preserve custom output directories
coderabbitai[bot]
committed
da9289c