Why have signed coins?

Makes it possible to track which coins been equivocated.

But what's the use for it?

What's the difference between "you can't use these specific coins as they were equivocatedly used already" and "you can't use these opaque coins, as they are in equivocation"?

Later, at least, may succed given equivocation issuer have enough balance for both. Although then there's no point in creating equivocation in the first place. So nevermind, won't happen, except by silly equivocators.

That looks messy, accidentally so, it seems.

1. Green agent only needs to REDEEM(green_coin) op to convey what he wants.

2. Self-payments are redundant.

3. Links other than self-parent and other-parent(s) are redundant. You can derive anybody's balance out of their self-parent chain.

3.1 Other-parent_s_ make the order of received messages ambiguous.

1. REPAY is redundant. When REDEEM is received, and given one can indeed redeem (recepient has his coin at the moment of receival) - the REDEEM should be automatic. I.e., plainly observing that REDEEM been accepted by recepient is enough to derive out of it one of 1) it's a suffessfull redeem 2) it's a failed redeem.

The device of Alice may be offline, e.g., smartphone discharged. We can't assume constant connectivity.

I love this!

In my humble view, we do belittle and reduce Christ when we only speak of his being our redeemer. Of course its a fact that apart from his redeeming capacity there is no way we fallen humans can ever understand anything of spiritual matters. But its so true that our redemption is a great priority for God but I believe it is NOT the paramount purpose of God. Its striking to note that when the Holy Spirit describes the 7 fold glory of Christ, redemption is one of the last things that is mentioned. What a Christ!

Sounds like Andy Dufresne