v0.1.0 - Formal Autonomous Discovery Engine

Initial public release featuring FunSearch island evolution, in-process Wasmtime fuel-metering, Z3 CEGIS feedback, Lean 4 theorem synthesis, and GitOps automated PR delivery.