- Shipped
- 26 august 2026 la 04:07 UTC
- Author
- kamo
- Commit
- a0d6a11
Corectează două ipoteze specifice împotriva codului real: fără RoleRight Utilizare tip - Nu. (toate cele 36 de drepturi comerciale folosesc POS și editorii filtrează egalitatea exactă, astfel încât etichetarea SERVICE ar lăsa toate 41 invizibil), și RoleRightType.ts deține 169 de 255 mai degrabă decât spec lui "146 din 232." Include o adăugare marcat domeniu de aplicare: obțineAbonare acceptă VIew OWN SUBSCRIPȚII apoi sarcini de uid cu nici o org și nici un proprietar predicate, astfel încât dreptul clientului citește Rândurile oricărui chiriaş. Designul programului deja îl numeşte ca fiind invariant 6's contraexemplu.