spec: document invariants for actions without proofs

Open redshiftzero opened this issue 1 year ago • 1 comments

In #3867 we documented in the protocol spec the integrity invariants of each action containing a proof. We should do the same for each action that does not contain a proof, documenting what part of the system upholds that invariant (e.g. validation in ActionHandler, etc.).

Actions without proofs:

[ ] ValidatorDefinition
[ ] Delegate
[ ] Undelegate
[ ] IbcRelay
[ ] Ics20Withdrawal
[ ] PositionOpen
[ ] PositionClose
[ ] PositionWithdraw
[ ] PositionRewardClaim
[ ] ProposalSubmit
[ ] ProposalWithdraw
[ ] ValidatorVote
[ ] ProposalDepositClaim
[ ] CommunityPoolSpend
[ ] CommunityPoolOutput
[ ] CommunityPoolDeposit
[ ] ActionDutchAuctionSchedule
[ ] ActionDutchAuctionEnd
[ ] ActionDutchAuctionWithdraw

Mar 11 '24 19:03 redshiftzero

Closely related to #4076, which documents the balance commitments on a per-action basis

Mar 25 '24 20:03 redshiftzero