Prevent empty decommits
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
This respects the spec.
This should make it clear how this is currently used in between perform and postcondition.
We changed the decommitSnapshot that interprets the model into the real world to expose the TxBodyOutputNegative Bug. Because its an invalid action we dont want to deal with it, so we decided to discard it.
Make sure utxoToDecommit is not fanned out and close with decommit in place will fanout both utxos present.
If there is another decommit _in flight_ wait for TTL to expire before erroring out. Also remove the red color from the spec