- Spegnimento
- 26 agosto 2026 alle ore 04:07 UTC
- Autore
- kamo
- Impegno
- a0d6a11
Corregge due ipotesi spec contro il codice reale: no RoleRight Tipo di utilizzo Non e' vero. (tutti i 36 diritti commerciali utilizzano POS, e i redattori filtrano su uguaglianza esatta, in modo da tagging SERVICE lascerebbe tutti 41 invisibile), e RoleRightType.ts detiene 169 di 255 piuttosto che la spec 146 del 232. Include un'aggiunta flagged: getSubscription accetta VIEW OWN SUBSCRIPTIONS poi carichi da uid senza org e nessun predicato proprietario, così il cliente destra legge Le file di un inquilino. Il design del programma lo chiama già come invariante 6's contro-esempio.