The SOP is data — get the process out of Vera's head without letting the model invent it — step 5 of 8

A proposed SOP change, rendered as the diff the reviewer will read. V1["steps"] | V2["steps"] merges both step dicts, so the loop visits every step number that exists in either version, in sorted order. Unchanged steps are skipped; a step only in V2 prints as +, only in V1 as -, present-but-different as ~. What prints?