Backslash-newline removal
The first pipeline spells echo across two physical rows and really exits 0. Its deliberately
wrong 127 annotation captures the old false green, which reconstructed ec ho and ran that
different command. The second block is the ordinary spaced continuation control.
enforced:verify-proofs.pyreturns 1 with the welded command reported as a mismatch.advisory: the ordinary spaced continuation still runs and matches 0.
printf x | ec\
ho PAYLOAD_EXECUTED # exit 127
printf x | \
echo PAYLOAD_EXECUTED # exit 0