docs: qualify proof and execution guarantees - #1414

docs: qualify proof and execution guarantees#1414

oxura wants to merge 2 commits into

bendlang:mainbendlang/bend:mainfrom

oxura:fix/1317-proof-guarantee-scopeoxura/bend:fix/1317-proof-guarantee-scopeCopy head branch name to clipboard