- Dikirim
- 26 Agustus 2026 pukul 04.07 UTC
- Penulis
- kamo
- Commit
- a0d6a11
Koreksi dua spec asumsi terhadap kode nyata: tidak ada RoleRight Jenis menggunakan * * * * * * * * * * * * * * * (semua 36 hak perdagangan menggunakan POS, dan Penyaring editor pada kesetaraan yang tepat, sehingga melayani PELAYAN akan meninggalkan 41 terlihat), dan RoleRightType.ts memegang 169 dari 255 daripada spec 146 dari 232. Termasuk tambahan lingkup yang ditandai: getsubscription menerima VIEW _ OWN _ SUBSCRIONS then loads by uid with no org and no owner predicate, so the client right reads {\ cH5bffff}... setiap barisan penyewa. Program desain sudah nama itu sebagai invarian 6 contoh.