What prevents a block from containing a partial zkapp command?

[L-as]

I'm looking at

mina/src/lib/blockchain_snark/blockchain_snark_state.ml

Line 273 in ea6d94c

let%bind txn_snark_input_correct =

and it's not clear to me what prevents you from proving half a zkapp command, i.e. you use of_zkapp_command_segment_exn without proving the entire zkapp command.

Perhaps I'm making some wrong assumption or misunderstanding something?

[L-as]

thought this one wasn't submitted due to network issues, duplicate of #14451