fix: harden wrapper text and handle inputs - #7

fix: harden wrapper text and handle inputs#7

ejgallego merged 2 commits into

mainleanprover/lean-beam:mainfrom

codex/wrapper-input-hardening-prleanprover/lean-beam:codex/wrapper-input-hardening-prCopy head branch name to clipboard