chore(proofs): gate L10 echo-types proofs in canonical suite + e2e example#43

hyperpolymath merged 1 commit into

mainhyperpolymath/007:mainfrom

claude/gate-l10-proofshyperpolymath/007:claude/gate-l10-proofsCopy head branch name to clipboard