mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-11-02 20:15:35 +00:00
13 lines
325 B
INI
13 lines
325 B
INI
SPECIFICATION Spec
|
|
INVARIANTS Inv_NoPKForWebhooks Inv_PKEnabledResolvesKind Inv_AllowlistAppliedToResolvedKind
|
|
|
|
\* PluralKit identity resolution: safe case
|
|
CONSTANTS
|
|
Authors = {"u1"}
|
|
Members = {"m1"}
|
|
AllowFromAuthor = {"u1"}
|
|
AllowFromMember = {"m1"}
|
|
PKEnabled = TRUE
|
|
IsWebhookMessage = FALSE
|
|
HasPKMember = TRUE
|