- Verschifft
- 26. August 2026 um 04:07 UTC
- Autor
- kamo
- Ausschuss
- a0d6a11
Korrigiert zwei spec Annahmen gegen realen Code: keine Rolle verwendet ************ (alle 36 Handelsrechte nutzen POS, und die Redakteure filtern nach genauer Gleichberechtigung, so dass Tagging SERVICE alle 41 verlassen würde unsichtbar), und RoleRightType.ts hält 169 von 255 statt der spec's '146 von 232'. Beinhaltet einen markierten Umfangszusatz: getAbonnement akzeptiert VIEW_OWN_SUBSCRIPTIONS dann Lasten von uid ohne Org und kein Eigentümer Prädikat, so dass der Kunde rechts liest die Reihen eines jeden Mieters. Das Programmdesign benennt es bereits als invariant 6's Gegenbeispiel.