Andre Knispel

Ok, then we'll have some duplicate scripts for now, but maybe it's fine.

It's technically not missing - we're only removing things. All we could do would be to add some prose describing what we're removing.

Doing this the right way is currently blocked by #416. If we're under time pressure to get the spec out we may put this in the PDF manually, but for...

Closed by #504.

We have this line in the Conway spec: https://github.com/IntersectMBO/formal-ledger-specifications/blob/master/src/Ledger/Utxo.lagda#L132 I admit the notation is a bit confusing (this is for technical reasons - it used to have clearer notation). I...

There should be a paragraph documenting this as part of the final spec.

Here are a few rewarding deposits: - If a transaction contains `k` proposals, the deposit pot for governance actions grows by `k * govDeposit` - For all proposal deposits `d`...

- `EnactState` only changes when governance actions are enacted

- When a DRep votes, that vote always applies to the GA

Not strictly related to governance, but: - At the epoch boundary, `dom DState.rewards` is constant - `dom DState.rewards = DepositPurpose.CredentialDeposit^{-1} (dom UTxOState.deposits)`