|
@@ -69,11 +69,11 @@ muCMZProtocol! { issue_invite<max_invitations>,
|
|
|
[L: Lox {id: R, bucket: H, trust_level: H, level_since: H, invites_remaining: H, blockages: H}, B: BucketReachability { date: R, bucket: H } ],
|
|
|
[ I: Invitation { inv_id: J, date: S, bucket: H, blockages: H }, N: Lox {id: J, bucket: H, trust_level: H, level_since: H, invites_remaining: H, blockages: H }],
|
|
|
L.bucket = B.bucket,
|
|
|
- (1..=max_invitations).contains(L.invites_remaining),
|
|
|
+ L.invites_remaining != 0,
|
|
|
N.bucket = L.bucket,
|
|
|
N.trust_level = L.trust_level,
|
|
|
N.level_since = L.level_since,
|
|
|
-// N.invites_remaining = L.invites_remaining - 1,
|
|
|
+ N.invites_remaining = L.invites_remaining - {1},
|
|
|
N.blockages = L.blockages,
|
|
|
I. bucket = L.bucket,
|
|
|
I.blockages = L.blockages
|