U2 · Internal unproven

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

user_authorization and the administrator lookup (planarian-admin membership, root)

Sites: C

If it is false

These invariants fall: I17, I19, I22.