我正在学习Corda，并且有这个问题。我建立了一个包含两个命令的tx： （1）Cash.Exit [输入：A拥有的现金7€]。 （2）Cash.Move [输入：A拥有现金3欧元->输出：B拥有现金3欧元]。
当我想验证合同中的tx时，我可以区分命令的类型（Cash.Exit和Cash.Move）。但是，如何将该命令与其相应的输入和输出状态相关联？
我回想起Corda的解释，即在交易中，输入和输出状态始终按类型分组（在我的情况下，仅是现金）。这是否意味着我应该汇总Cash类型的所有输入和输出，并隐式记住这些汇总中状态变化的语义是“退出”和“移动”？
但这不是意味着命令失去了区分相同类型的“退出”和“移动”状态更改的语义能力吗？
谢谢。