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).
Do I have that right or am I misunderstanding?