ALP-7: Symphony proof docs check smoke#1

rprend wants to merge 1 commit into

codex/initial-substratezenobia-pay/alpha-research:codex/initial-substratefrom

ryan/alp-7-symphony-proof-docs-check-smokezenobia-pay/alpha-research:ryan/alp-7-symphony-proof-docs-check-smokeCopy head branch name to clipboard