- Shipped
- 26 de agosto de 2026 a las 4:07 UTC
- Author
- kamo
- Commit
- a0d6a11
Corrige dos suposiciones de especificaciones contra código real: no RoleRightType utiliza **************** (todos los derechos de comercio utilizan POS, y el Los editores filtran sobre la igualdad exacta, por lo que el etiquetado dejaría los 41 invisible), y RoleRightType.ts tiene 169 de 255 en lugar de las especificaciones '146 de 232'. Incluye una adición de alcance marcado: getSubscription acepta VIEW-OWN-SUBSCRIPCIONES luego cargas por uid sin org y sin predicado propietario, por lo que el cliente derecha lee las filas de cualquier inquilino. El diseño del programa ya lo nombra como invariante 6's contra-ejemplo.