In the “Connectors make swap atomic” section here:
It’s a little unclear what’s happening with the new on-chain transaction with W, X, Y, and Z and why an exit transaction mentioning A feeds into a Forfeit transaction mentioning D. My interpretation:
You’re showing an example where A, B, C, and D have all spent their VTXOs to W, X, Y, and Z. I think you’re trying to show A’s spend and A signing a forfeit transaction, which is why one of the inputs to the Forfeit is A’s exit transaction, but the actual transaction labeled “Forfeit” talks about D. I think you want to change that to “A” (and maybe add to the text saying this is showing A spending a VTXO to X or something).
You’re right. The output of the forfeit tx should be just S, because it’s spendable by the server. We’ll correct that. I created an issue on our docs repo for this
Just in case anyone else reads this: I was right and wrong. Wrong about the correct version of the Forfeit transaction mentioning A at all, it should just spend to S (I got confused between the “forfeit clause” and the “forfeit transaction”).
