docs: fix examples and sdk spec#1819

MauroToscano merged 1 commit intostagingyetanotherco/aligned_layer:stagingfrom

1818-docs-fix-examples-in-0_submitting_proofsmdyetanotherco/aligned_layer:1818-docs-fix-examples-in-0_submitting_proofsmdCopy head branch name to clipboard