how output note source is constrained?

[cliff0412]

based on my understanding, for a utxo transaction, it has multiple input note and multiple output out. in the circuit, the source of output note should be all input notes alright? it seems the output note is set by client but not constrained in the circuit