docs: 認可制御のドキュメントを整備

src/authorization.md

@@ -1,90 +1,57 @@
-# アクセス制御
-
-## アカウントのロール
-
-ロールは自分以外のアカウントに対して操作を実行可能であるかを制御する.
-
-表1: 可能な操作一覧
-
-|      操作名      |                     備考                     | `Admin` | `Moderator` |
-| :--------------: | :------------------------------------------: | :-----: | :---------: |
-|   他アカウント   | 凍結、サイレンスの実行、アカウント情報の閲覧 |    Y    |      Y      |
-| ノート/メディア  |            ノート/メディアの削除             |    Y    |      Y      |
-| 通報に関する操作 |         通報の確認/解決、警告の送信          |    Y    |      Y      |
-| 不要メディア削除 |     どこからも参照されないメディアの削除     |    Y    |      N      |
-|     統計情報     |              稼働統計情報の閲覧              |    Y    |      Y      |
-|   システム設定   |              設定値の閲覧/変更               |    Y    |      N      |
-|     お知らせ     |             お知らせの送信、編集             |    Y    |      N      |
-|  カスタム絵文字  |              登録、無効化、削除              |    Y    |      Y      |
-|  他インスタンス  |      インスタンスのサイレンス/ブロック       |    Y    |      N      |
-
-※ Y: 操作、閲覧が可能 / N: 操作、閲覧が不可能
-
-### Admin (管理者)
-
-管理者.\
-全ての操作が実行可能.
-
-### Moderator (モデレーター)
-
-モデレーター.\
-(自他問わず)インスタンス、お知らせ以外の操作を実行可能
-
-> [!IMPORTANT]
->
-> モデレーターは一般ロールのアカウントに対する操作のみ実行可能.
-
-### Normal (一般)
-
-通常のユーザー.\
-自分のリソースに対する操作のみを行うことが可能.
-
-## メールアドレス検証状態
-
-メールアドレスの検証が行われたかを示すもの.
-
-### notActivated (メールアドレス未検証)
-
-メールアドレスの検証が行われていない状態.\
-検証が行われていないアカウントは一定期間(設定可能)経過後に自動で削除される(設定で行わないことも可能)
-
-メールアドレス検証トークンの再送信のリクエスト と アカウント削除 のみ実行可能.
-
-### Active (メールアドレス検証済み)
-
-メールアドレスの検証が行われたことを示す状態.
-
-設定されているロールの権限に基づく全ての操作が実行可能になる.
-
-## アカウント状態
-
-アカウントの現在の状態を示すもの.
-
-### Notmal(通常)
-
-通常の状態.\
-設定されているロール権限に基づく全ての操作が実行可能.
-
-> [!IMPORTANT]
->
-> ただし、メールアドレス検証状態が`notActivated`である場合はそちらが優先される
-
-### Frozen(凍結済み)
-
-凍結済み状態.\
-ログインを含む全ての操作が**実行不可能**.\
-そのアカウントの投稿,
-メディアは`Admin`/`Moderator`ロール以外のアカウントから閲覧できなくなる.
-
-> [!IMPORTANT]
->
-> 凍結状態が解除(解凍)された場合は、投稿やメディアは他のアカウントから閲覧可能になる.
-
-### Silenced(サイレンス済み)
-
-サイレンス済み状態.\
-そのアカウントは新規投稿の公開範囲で`PUBLIC`を選択できなくなる
-
-> [!IMPORTANT]
->
-> サイレンス状態が解除されても、サイレンス中に行われた投稿の公開範囲は変更されない.
+# 認可制御
+
+このドキュメントでは，Pulsate API(v0) における認可制御について記述する．
+
+## 用語
+
+- `Actor`: アクションを実行する主体．`Account`が該当する．
+- `Action`: リソースに対して行う何らかの操作のこと．
+  - `read`: 読み取り
+  - `write`: 書き込み，更新(リソースが更新可能な場合)，リソースの削除
+- `Resource`: `Action`の対象となるもの．
+- `Policy`: `Actor`が`Action`を実行するための条件．
+
+## 全体像
+
+- Pulsate API での認可制御は Policy クラスによって定義される．
+- Policy クラス は `check` static メソッドを持ち，actor, action, resource
+  の3値を要求する．
+  - `check` メソッドは `Option.Option<Error>` を返す．
+    - 要求が拒否された場合は `Option.Some<Error>` を返し，要求が承認された場合は
+      `Option.None()` を返す．
+
+```ts
+interface PolicyArgs<Actor, Action, Resource> {
+  actor: Actor;
+  action: Action;
+  resource: Resource;
+}
+
+type NotePolicyArgs = PolicyArgs<Account, NotePolicyScope, Note>;
+
+class NotePolicy {
+  static check(args: NotePolicyArgs): Option.Option<Error> {
+    // 略
+  }
+}
+```
+
+### PolicyScope
+
+Action は識別子 PolicyScope を用いて識別する．
+
+- PolicyScope は3つの要素からなる文字列である．
+- 要素は以下の通り．
+  - 1: ポリシー名
+  - 2: モデル名 (例: `account`, `note`)
+    - モデルではないものも含む (例: `follow` )．
+    - タイムラインの場合はタイムライン種別名とする (例: `home`, `conversation`)
+  - 3: アクション名
+- これらは以下で示す型で表現できる形式に従って結合される．
+
+```ts
+type PolicyScope = `${PolicyName}.${ModelName}:${ActionName}`;
+```
+
+- `check` メソッドは，PolicyScope
+  のポリシー名が自分が管理するものでない場合，エラーを返す．