Augusto Hack

My motivation for this is that currently: - The contract manager does not have the `chain_id`, so the values have to be passed around together - The contract manager does...

> max in max(R', E) looks weird to me. You don't care about the value of R' when you have lots of expired locks? I don't understand. How does `max(R',...

> max(0,100) is equal to max(20,100). So when E is 100, you don't care whether R' is 0 or 20. Yes, that is intentional. It has to possibilities, `R' <...

@pirapira That would be an invalid message, it does not refund anything, the correct value for `R'` is the previous `E` in addition to the new refund amount, so it...

With this definition, yes. Pretty much a refund message would be the partner node saying it's okay for the local node to use the tokens from a given lock, because...

> Are they somehow related? Yes, they are "the same value" from the settlement algorithm perspective. This happens because the `max` is used in formula `P = L - max(R',...

Here are two examples: A -> B; LockedTransfer; locked_amount = 10 B -> A; Refund; refund_amount = 10 With the above, there is nothing pending, so `P = L -...

This is a hard case for me: 1. A->B; LockedTransfer 1. A->B; LockedTransfer 1. Time passes 1. B->A; RefundTransfer for 1 1. A->B; RemoveExpiredLock for 2 I don't really know...

> So the two parties disagree on the first lock, whether it's refunded or unlocked? No, the values are monotonic, so a `locked_amount` of `20` means a second lock of...

> When you send RemoveExpiredLock, do you write a bigger E? > When you receive Refund, do you expect a bigger R'? Yes