logos-messaging/specs
1
0
Fork 0
mirror of https://github.com/logos-messaging/specs.git synced 2026-01-07 16:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: add semantic break

Browse Source
This commit is contained in:
Sergei Tikhomirov 2024-09-30 15:57:11 +02:00
parent eb4dfd614c
commit cc1a917d11
No known key found for this signature in database
GPG Key ID: 6A1F8ED9D6538027
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
standards/core/rln-contract.md
View File

@ -169,11 +169,13 @@ R_{free} = R_{max} - R_{active} - R_{grace_period} - R_{expired}
``` ```
Membership registration is additionally subject to the following requirements: 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}`:
- if `r > R_{free} + R_{expired}`, registration MUST fail; - 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. - 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: - If a new membership A overwrites an _Expired_ membership B:
- membership B MUST become _ErasedAwaitsWithdrawal_; - membership B MUST become _ErasedAwaitsWithdrawal_;
- the current total rate limit MUST be decremented by the rate limit of membership B; - the current total rate limit MUST be decremented by the rate limit of membership B;