RFC: proof-only import for Mandelbrot connectedness - #9

Draft

blinkybool wants to merge 3 commits into

girving:mainfrom

blinkybool:proof-only-import

Commits on Aug 20, 2026

RFC: state Mandelbrot connectedness in a trusted file via proof-only import

blinkybool
and
claude
committed
6328759

Commits on Aug 28, 2026

RFC: contract-first trusted Mandelbrot via const_fill

blinkybool
and
claude
committed
55a5668
cleanup lakefile
blinkybool
committed
2c269c0