feat(lean): MacroCell quadtree + Hashlife algorithm + Lean-14 update (Epic #1647)#1989

Closed

jsboige wants to merge 3 commits into

mainfrom

feat/conway-hashlife-macrocell

Commits on Jun 1, 2026

feat(lean): MacroCell quadtree + Hashlife algorithm + Lean-14 notebook update (Epic #1647)

jsboige
and
claude
committed
fix(security): auto-detect Lean project path in Lean-14 cell-2, strip leaked paths

jsboige
and
claude
committed
chore: regenerate catalog markers (fix drift CI)
jsboige
committed