- Expédié
- 26 août 2026 à 04:07 UTC
- Auteur
- kamo
- Commite
- a0d6a11
Corrige deux hypothèses de spécifications par rapport au code réel: aucun rôle de type droit n'utilise (les 36 droits commerciaux utilisent POS, et Les éditeurs filtrent sur l'égalité exacte, donc l'étiquetage SERVICE laisserait les 41 invisible), et RoleRightType.ts détient 169 de 255 plutôt que la spécification "146 de 232". Inclut une addition de portée marquée: get Subscription accepte VEW-OWN-SUBSCRIPTIONS puis charge par uid sans org et pas de prédicat de propriétaire, de sorte que le droit client lit les rangs de tout locataire. La conception du programme le désigne déjà comme invariant 6's contre-exemple.