formal-ledger-specifications Add `REAP` STS

We have POOLREAP in Shelley, and a lot of the logic for refunding GA deposits is shared with that. So it makes sense to implement that STS, but rename it since it's not just pools anymore. I like REAP, but suggestions are welcome.

We'll do this after the first release of the Conway spec, except if we run out of work before.

Update: after some analysis, it was deemed unnecessary to factor out code from GOVREAP. An independent specification makes easier following the shelley spec and follows the implementation closer as well.

After rebasing #719 on top of master we got #832, and later on #852.

By now we have hooked POOLREAP into the EPOCH transition. We are updating proofs after the change.

Jun 05 '24 12:06 WhatisRT

I updated the description to make explicit that at the moment we only want to rebase #719 on top of master to merge it.

Jul 21 '25 15:07 facundominguez

I updated the description after rebasing #719 and checking the specification of the eras after Shelley.

Jul 23 '25 14:07 facundominguez