fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 - #177

Merged

hyperpolymath merged 6 commits into

mainfrom

fix/176-census-roots-restore-filesystemcno

Oct 1, 2026

Commits on Sep 30, 2026

fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167

hyperpolymath
and
claude
committed
e71cd18
Update proofs/coq/census-assumptions.sh

hyperpolymath
and
coderabbitai[bot]
authored
0f59a03
Update proofs/lean4/FilesystemCNO.lean

hyperpolymath
and
coderabbitai[bot]
authored
5a24ec2
fix(coq): reject duplicate theory basenames and read unterminated _CoqProject lines in assumption census

coderabbitai[bot]
authored and
hyperpolymath
committed
9db426d
docs(lean4): clarify filesystem no-op and snapshot restore docstrings

coderabbitai[bot]
authored and
hyperpolymath
committed
32a1e16

Commits on Oct 1, 2026

Merge branch 'main' into fix/176-census-roots-restore-filesystemcno
hyperpolymath
authored
12db17f