Skip to content

Commit

Permalink
fix: add semantic break
Browse files Browse the repository at this point in the history
  • Loading branch information
s-tikhomirov committed Sep 30, 2024
1 parent eb4dfd6 commit cc1a917
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions standards/core/rln-contract.md
Original file line number Diff line number Diff line change
Expand Up @@ -169,11 +169,13 @@ R_{free} = R_{max} - R_{active} - R_{grace_period} - R_{expired}
```

Membership registration is additionally subject to the following requirements:
- If `r <= R_{free}`, the new membership MUST be registered (assuming all other necessary conditions hold). The new membership MAY overwrite one or multiple _Expired_ memberships.
- If `r <= R_{free}`, the new membership MUST be registered (assuming all other necessary conditions hold).
- The new membership MAY overwrite one or multiple _Expired_ memberships.
- If `r > R_{free}`:
- if `r > R_{free} + R_{expired}`, registration MUST fail;
- if `r <= R_{free} + R_{expired}`, the new membership MUST be registered by overwriting some _Expired_ memberships.
- The sender of the registration transaction MAY specify a list of _Expired_ memberships to be overwritten. If the list is not provided, the contract MAY use any criteria to select _Expired_ memberships to overwrite (see Implementation Suggestions).
- The sender of the registration transaction MAY specify a list of _Expired_ memberships to be overwritten.
- If the list is not provided, the contract MAY use any criteria to select _Expired_ memberships to overwrite (see Implementation Suggestions).
- If a new membership A overwrites an _Expired_ membership B:
- membership B MUST become _ErasedAwaitsWithdrawal_;
- the current total rate limit MUST be decremented by the rate limit of membership B;
Expand Down

0 comments on commit cc1a917

Please sign in to comment.