Web Bluetooth（ウェブブルートゥース）

1. filter.name が存在し、かつ device の Bluetooth デバイス名 が 完全一致で filter.name と等しくない場合、 mismatch を返します。

2. filter.namePrefix が存在し、device の Bluetooth デバイス名 が存在しない、 あるいは filter.namePrefix で始まらない場合、 mismatch を返します。

3. filter.services 内の各 uuid について、UA が当該デバイスが UUID uuid の プライマリ（含有ではない）サービスをサポートしていることを示す 広告データ、拡張問い合わせ応答、 あるいはサービスディスカバリ応答を受信していない場合、 mismatch を返します。

4. filter["manufacturerData"] 内の各 manufacturerData について、 device が メーカー固有データを、 manufacturerData["companyIdentifier"] と等しい会社識別子コードかつ 一致するデータで広告していない場合、 mismatch を返します。

5. filter["serviceData"] 内の各 serviceData について、 device が次の条件で サービスデータを広告していない場合、 mismatch を返します。すなわち、UUID の 128-bit 形式が serviceData["service"] であり、かつデータが 一致 すること。

6. match を返します。

1. expectedPrefix を、保持しているバイト列のコピーとした filter.dataPrefix とします。

2. mask を、保持しているバイト列のコピーとした filter.mask とします。

3. data のバイト数が expectedPrefix より少ない場合、 mismatch を返します。

4. mask の各 1 ビットについて、data の対応ビットが expectedPrefix の対応ビットと等しくない場合、 mismatch を返します。

5. match を返します。

1. filter1 の長さが filter2 の長さより短い場合、 false を返します。

2. byteIndex を 0 にします。

3. byteIndex が filter2 の長さ未満の間、次の副手順を実行します:

   1. filter1.mask[byteIndex] & filter2.mask[byteIndex] が filter2.mask[byteIndex] と等しくない場合、false を返します。

   2. filter1.dataPrefix[byteIndex] & filter2.mask[byteIndex] が filter2.dataPrefix[byteIndex] & filter2.mask[byteIndex] と等しくない場合、false を返します。

   3. byteIndex を byteIndex + 1 に設定します。

4. true を返します。

1. global を、this の 関連付けられたグローバルオブジェクトとします。

2. global の 関連する Document が "bluetooth" という ポリシー制御機能を 使用可能でない場合、 拒否された Promise を SecurityError で返します。

3. promise を 新しい Promise とします。

4. 次の手順を並行して実行します:

   1. devices を新しい空の Array とします。

   2. storage.allowedDevices 内の各 allowedDevice について、 allowedDevice@[[device]] を表す BluetoothDevice オブジェクトを devices に追加します。

   3. グローバルタスクをキューし、 Bluetooth タスクソース上で global に与え、resolve により promise を devices で解決します。

   注記: devices 内の BluetoothDevice は、Bluetooth 無線の範囲内にない場合があります。devices 内のある device については、watchAdvertisements() を用いて、device が範囲内にあり広告パケットを 送信しているタイミングを観測できます。device 上で advertisementreceived イベント event が発火したとき、 event.device.gatt.connect() を呼び出すことで接続が確立できる程度に近いことを示す可能性があります。

5. promise を返します。

1. options.exclusionFilters が存在し、 options.filters が存在しない場合、 拒否された Promise を TypeError で返します。

2. options.filters が存在し、 options.acceptAllDevices が true の場合、あるいは options.filters が存在せず、 options.acceptAllDevices が false の場合、 拒否された Promise を TypeError で返します。

   注記: これは、filters と acceptAllDevices:true のいずれか一方のみが存在することを強制します。

3. promise を 新しい Promise とします。

4. 次の手順を並行して実行します:

   1. Bluetooth デバイスを要求し、 options.filters を、 options.acceptAllDevices が false の場合に渡し、そうでなければ null を渡します。 options.exclusionFilters が存在する場合はそれを、なければ null を渡し、 options.optionalServices と options.optionalManufacturerData を渡します。結果を devices とします。

   2. グローバルタスクをキューし、 Bluetooth タスクソース上で、 this の 関連付けられたグローバルオブジェクトに与えて、 次の手順を実行します:

      1. 前の手順が例外を投げた場合、reject により promise をその例外で拒否し、これらの手順を中止します。

      2. devices が空のシーケンスである場合、reject により promise を NotFoundError で拒否し、これらの手順を中止します。

      3. Resolve により promise を devices[0] で解決します。

5. promise を返します。

1. global を、storage の 関連付けられたグローバルオブジェクトとします。

2. document を、global の 関連する Document とします。

3. document が "bluetooth" という ポリシー制御機能を 使用可能でない場合、 SecurityError を投げ、これらの手順を中止します。

4. このアルゴリズムが、 関連付けられたグローバルオブジェクトに 一時的なアクティベーションがある間に トリガーされていることを確認し、そうでなければ SecurityError を投げ、これらの手順を中止します。

5. サービス名やエイリアスを UUID に 変換するため、次の副手順を実行します:

   1. filters !== null && filters.length === 0 の場合、 TypeError を投げ、これらの手順を中止します。

   2. exclusionFilters !== null && exclusionFilters.length === 0 の場合、 TypeError を投げ、これらの手順を中止します。

   3. uuidFilters を新しい Array、 uuidExclusionFilters を新しい Array、 requiredServiceUUIDs を新しい Set とします。

   4. filters が null の場合、 requiredServiceUUIDs をすべての UUID の集合に設定します。

   5. filters が null でない場合、filters 内の各 filter について次を実行します:

      1. canonicalFilter を、 filter を正規化した結果とします。

      2. canonicalFilter を uuidFilters に追加します。

      3. canonicalFilter.services の中身を requiredServiceUUIDs に追加します。

   6. exclusionFilters が null でない場合、 exclusionFilters 内の各 exclusionFilter について 次を実行します:

      1. canonicalExclusionFilter を、 exclusionFilter を正規化した結果とします。

      2. canonicalExclusionFilter を uuidExclusionFilters に追加します。

   7. optionalServiceUUIDs を Array.prototype.map.call(optionalServices, BluetoothUUID.getService) とします。

   8. BluetoothUUID.getService() の呼び出しのいずれかが例外を投げた場合、その例外を投げ、手順を中止します。

   9. optionalServiceUUIDs から、 ブロックリストにある UUID を すべて取り除きます。

6. descriptor を次のようにします:

   {
     name: "bluetooth",
     filters: uuidFilters
     optionalServices: optionalServiceUUIDs,
     optionalManufacturerData: optionalManufacturerData
     acceptAllDevices: filters !== null,
   }
   

7. state を、descriptor の permission state とします。

   注記: 非セキュアコンテキストでは、強力な機能は 非セキュアコンテキストで使用できないため、 state は "denied" になります。

8. state が "denied" の場合、 [] を返し、これらの手順を中止します。

9. UA が次の手順でデバイスを見つけられないことを証明できる場合（例: スキャンに使用できる Bluetooth アダプターが存在しない、またはフィルターがいかなる広告パケットにも一致しえない場合）、UA は [] を返してこれらの手順を中止しても構いません（MAY）。

10. scanResult を、デバイスをスキャン を global および requiredServiceUUIDs とともに呼び出した結果とします。

11. filters が null でない場合、次の副手順を実行します:

    1. uuidFilters 内の フィルターに一致しないデバイスを scanResult から削除します。

    2. exclusionFilters が null でない場合、 uuidExclusionFilters 内の フィルターに一致するデバイスを scanResult から削除します。

12. navigable を、document の navigable とします。

13. promptId を、新しい一意の不透明な文字列とします。

実際には、プロンプトが開いている間に デバイスリストは動的に更新されます。仕様テキストは現在それを反映していませんが、 同じ promptId と最新のデバイスリストでこのイベントが複数回送出される可能性があります。 参照: https://github.com/WebBluetoothCG/web-bluetooth/issues/621.

1. プロンプト更新イベントをトリガーし、 navigable、promptId、scanResult を渡します。

2. scanResult が空であっても、 ユーザーに選択を促すことで scanResult 内のいずれかのデバイスを、descriptor と関連付けて選ばせ、 その結果を device とします。

   UA は、uuidFilters に一致しない近傍のデバイスを 選択できるようにしても構いません（MAY）。

   注記: UA は各デバイスの人間可読な名前をユーザーに表示するべきです。 この名前が利用できない場合（たとえば、UA の Bluetooth システムが プライバシー有効のスキャンをサポートしていないなど）、UA はユーザーが 関心を示せるようにし、その後プライバシー無効のスキャンを行って 名前を取得できるようにすべきです。

3. 削除します: navigable からデバイスプロンプトへのマップ[navigable の navigable id]。

4. UA は device を storage に追加 しても構いません（MAY）。

   注記: device を選択することは、おそらくユーザーが当該デバイスを "bluetooth" の 追加の許可データの allowedDevices リスト（少なくとも 現在の設定オブジェクト）に 表示する意図を持つことを意味します。また、その mayUseGATT フィールドを true にし、 requiredServiceUUIDs と optionalServiceUUIDs の和集合内のすべてのサービスを、 すでに存在しているサービスに加えてその allowedServices リストに含め、さらに optionalManufacturerData のメーカーコードをその allowedManufacturerData リストに含めることを意味します。

5. device が "denied" の場合、 [] を返し、これらの手順を中止します。

6. UA は、device 内のすべてのサービスで Bluetooth キャッシュを構築 しても構いません（MAY）。この手順でのエラーは無視します。

7. BluetoothDevice を取得し、 例外を伝播させつつ this の内部で device を表す deviceObj を結果とします。

8. [deviceObj] を返します。

1. filter のメンバーが一つも存在しない場合、TypeError を投げて、これらの手順を中止します。

2. canonicalizedFilter を {} とします。

3. filter.services が 存在する場合、次の副手順を実行します:

   1. filter.services.length === 0 の場合、TypeError を投げて、これらの手順を中止します。

   2. services を Array.prototype.map.call(filter.services, BluetoothUUID.getService) とします。

   3. BluetoothUUID.getService() の呼び出しのいずれかが例外を投げた場合、その例外を投げてこれらの手順を中止します。

   4. services 内のいずれかのサービスが ブロックリストにある場合、SecurityError を投げて、これらの手順を中止します。

   5. canonicalizedFilter.services を services に設定します。

4. filter.name が 存在する場合、次の副手順を実行します。

   1. UTF-8 エンコードした filter.name が 248 バイトを超える場合、TypeError を投げて、これらの手順を中止します。

      注記: 248 は、Bluetooth デバイス名における UTF-8 のコード単位の最大数です。

   2. canonicalizedFilter.name を filter.name に設定します。

5. filter.namePrefix が 存在する場合、次の副手順を実行します。

   1. filter.namePrefix.length === 0 の場合、または UTF-8 エンコードした filter.namePrefix が 248 バイトを超える場合、 TypeError を投げて、これらの手順を中止します。

      注記: 248 は、Bluetooth デバイス名における UTF-8 のコード単位の最大数です。

   2. canonicalizedFilter.namePrefix を filter.namePrefix に設定します。

6. canonicalizedFilter["manufacturerData"] を [] に設定します。

7. filter["manufacturerData"] が 存在し、かつ filter["manufacturerData"].length === 0 の場合、 TypeError を投げて、これらの手順を中止します。

8. filter["manufacturerData"] 内の各 manufacturerData について、次の副手順を実行します:

   1. manufacturerData が ブロックリストにあるメーカー固有データフィルター の場合、SecurityError を投げて、これらの手順を中止します。

   2. canonicalizedFilter["manufacturerData"] 内に existing["companyIdentifier"] === manufacturerData["companyIdentifier"] を満たすオブジェクト existing が存在する場合、TypeError を投げて、これらの手順を中止します。

   3. canonicalizedManufacturerDataFilter を、 正規化した manufacturerData を ECMAScript 値に変換した結果とします。 これが例外を投げた場合、その例外を伝播させてこれらの手順を中止します。

   4. canonicalizedManufacturerDataFilter["companyIdentifier"] を manufacturerData["companyIdentifier"] に設定します。

   5. canonicalizedManufacturerDataFilter を canonicalizedFilter["manufacturerData"] に追加します。

9. canonicalizedFilter.serviceData を [] に設定します。

10. filter["serviceData"] が 存在し、かつ filter["serviceData"].length === 0 の場合、TypeError を投げて、これらの手順を中止します。

11. filter["serviceData"] 内の各 serviceData について、次の副手順を実行します:

    1. service を BluetoothUUID.getService(serviceData["service"]) とします。これが例外を投げた場合、その例外を伝播させてこれらの手順を中止します。

    2. service が ブロックリストにある場合、SecurityError を投げて、これらの手順を中止します。

    3. canonicalizedServiceDataFilter を、 正規化した serviceData を ECMAScript 値に変換した結果とします。 これが例外を投げた場合、その例外を伝播させてこれらの手順を中止します。

    4. canonicalizedServiceDataFilter["service"] を service に設定します。

    5. canonicalizedServiceDataFilter を canonicalizedFilter["serviceData"] に追加します。

12. canonicalizedFilter を返します。

1. filter.dataPrefix が 存在しない場合、dataPrefix を空のバイト列とします。そうでない場合、 次の副手順を実行します:

   1. dataPrefix を、保持しているバイト列のコピーである filter.dataPrefix とします。

   2. dataPrefix の長さが 0 の場合、TypeError を投げて、これらの手順を中止します。

2. filter.mask が存在する場合、 mask を 保持しているバイト列のコピーである filter.mask とします。 そうでない場合、mask を dataPrefix と同じ長さの 0xFF バイトの列とします。

3. mask の長さが dataPrefix と同じでない場合、TypeError を投げて、 これらの手順を中止します。

4. {dataPrefix: new Uint8Array(|dataPrefix|), mask: new Uint8Array(|mask|)} を返します。

1. UA が直近に、今回のスキャンで用いる UUID の集合を包含する UUID の集合でスキャンを行っている場合、 その結果を返して、これらの手順を中止してもよいです（MAY）。

   TODO: 期間を確定する。

2. nearbyDevices を Bluetooth デバイスの集合とし、初期値は UA に 接続されている（ATT Bearer を持つ）デバイスの集合とします。

3. topLevelTraversable を、global の navigable の top-level traversable とします。

4. simulatedBluetoothDevices を空の list とします。

5. topLevelTraversable が シミュレートされた Bluetooth アダプター を持つ場合、 値を取得して得られる シミュレートされた Bluetooth デバイス対応表 の値を simulatedBluetoothDevices とします。

   非同期のデバイス検出をサポートする。

6. UA が LE トランスポートをサポートしている場合、General Discovery Procedure を実行します。ただし、UA は Discoverable Mode フラグが設定されていないデバイスも含めてもよく、検出した Bluetooth デバイスを nearbyDevices に追加します。UA は Privacy Feature を有効にすべきです（SHOULD）。

   受動スキャンと Privacy Feature の双方は、 一意で不変なデバイス ID の漏洩を回避します。UA にいずれかの使用を要求すべきですが、 どの OS API もこれらを提供していないようです。さらに Bluetooth では、 Central デバイスに Observation Procedure のサポートが要求されないため、 受動スキャン の利用が難しいです。

7. UA が BR/EDR トランスポートをサポートしている場合、Device Discovery Procedure を実行し、検出した Bluetooth デバイスを nearbyDevices に追加します。

   すべての形態の BR/EDR の問い合わせ／検出は、一意で不変のデバイスアドレスを漏らすように見えます。

8. result を空の Bluetooth デバイスの集合とします。

9. nearbyDevices および simulatedBluetoothDevices 内の各 Bluetooth デバイス device について、 次の副手順を実行します:

   1. device の サポートされる物理トランスポートに LE が含まれ、 かつその Bluetooth デバイス名 が不完全または存在しない場合、 UA は完全な名前を取得するため Name Discovery Procedure を実行すべきです（SHOULD）。

   2. device が広告している Service UUIDs と、 Service UUID の集合 の共通部分が空でない場合、 device を result に追加し、これらの副手順を中断します。

      注記: BR/EDR デバイスでは、 Extended Inquiry Response において GATT と非 GATT のサービスを区別する方法がありません。サイトが非 GATT サービスの UUID で フィルターした場合、ユーザーは requestDevice の結果として選択できるものの、 この API では相互作用手段のないデバイスを選んでしまう可能性があります。

   3. UA は device に接続し、Bluetooth キャッシュを構築して、 UUID が Service UUID の集合 に含まれるすべてのサービスを格納してもよいです（MAY）。device の サポートされる物理トランスポートに BR/EDR が含まれる場合、 標準的な GATT 手順に加えて、キャッシュの構築時に Service Discovery Protocol（Searching for Services）を使用してもよいです（MAY）。

      注記: 近傍のすべてのデバイスに接続してサービスを発見することは電力を消費し、 Bluetooth 無線の他の利用を遅くする可能性があります。UA は、そのデバイスが有用であると期待できる理由がある場合にのみ、 追加のサービス発見を行うべきです。

      また UA は、開発者がこの追加発見の挙動に依存しないよう支援すべきです。例えば、 開発者が以前にそのデバイスへ接続しており、UA がそのデバイスの完全なサポートサービス集合を把握しているとします。 この開発者が広告されていない UUID でフィルタした場合、ユーザーの環境ではフィルタにより 除外されるであろうデバイスであっても、ダイアログに含まれることがあります。UA は、 この状況を警告する開発者向けオプションを提供したり、一致判定で広告済みサービスのみに限定する オプションを提供したりできます。

   4. Bluetooth キャッシュに、 device 内の既知の存在するサービスのうち、 Service UUID の集合 に 含まれる UUID を持つものが含まれている場合、UA は device を result に追加してもよいです（MAY）。

10. スキャンの結果として result を返します。

1. grantedServiceUUIDs を新しい Set とします。

2. requiredServiceUUIDs の内容を grantedServiceUUIDs に追加します。

3. optionalServiceUUIDs の内容を grantedServiceUUIDs に追加します。

4. storage.allowedDevices 内で、 device が allowedDevice@[[device]] と等しい要素 allowedDevice を検索します。見つかった場合は次の副手順を実行します:

   1. allowedDevice.allowedServices の内容を grantedServiceUUIDs に追加します。

   見つからなかった場合は次の副手順を実行します:

   1. allowedDevice.deviceId を、UA が 2 つの Bluetooth 接続が同一デバイスであると判定できる範囲、 かつ ユーザーがその事実をスクリプトに公開したいと望む範囲で 一意の ID とします。

5. allowedDevice.allowedServices を grantedServiceUUIDs に設定します。

6. allowedDevice.mayUseGATT を true に設定します。

1. global を、this の 関連付けられたグローバルオブジェクトとします。

2. global の 関連する Document が、 "bluetooth" という ポリシー制御機能の 使用を許可されていない場合、グローバルタスクをキューして、 Bluetooth タスクソース上で global に resolve により promise を false で解決し、 これらの手順を中止します。

3. ユーザーが当該オリジンに対して本関数の返答を特定の値にするよう UA を構成している場合、その構成済みの値で タスクをキューして resolve により promise を解決し、 これらの手順を中止します。

   注記: ユーザーによって Web Bluetooth の許可がブロックされている場合、 UA は resolve により promise を false で解決しても構いません。

4. simulatedBluetoothAdapter を、 this の navigable の top-level traversable が持つ シミュレートされた Bluetooth アダプター とします。

5. simulatedBluetoothAdapter が空でない場合、

   1. simulatedBluetoothAdapter の adapter state が "absent" であるなら、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を false で解決します。

   2. simulatedBluetoothAdapter の LE supported state が false の場合、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を false で解決します。

   3. それ以外の場合は、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を true で解決します。

   4. これらの手順を中止します。

6. UA が Bluetooth 無線を備えたシステム上で動作している場合、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 Bluetooth 無線の電源状態に関わらず resolve により promise を true で解決します。

7. それ以外の場合は、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を false で解決します。

   注記: UA が Bluetooth の可用性を判定するために他のシステムへ問い合わせできるよう、 この promise は並行して解決されます。

1. storage を、 BluetoothPermissionStorage とし、"bluetooth" の 追加の許可データ（現在の設定オブジェクトについてのもの）とします。

2. storage.allowedDevices の中から、allowedDevice.[[device]] が 同一のデバイスである allowedDevice を見つけます。そのようなオブジェクトがなければ、 SecurityError を投げて、これらの手順を中止します。

3. context.[[deviceInstanceMap]] に device と 同一のデバイスであるキーが存在しない場合、次の副手順を実行します:

   1. result を、新しい BluetoothDevice のインスタンスとします。

   2. result の任意フィールドをすべて null に初期化します。

   3. result.[[context]] を context に初期化します。

   4. result.[[representedDevice]] を device に初期化します。

   5. result.id を allowedDevice.deviceId に初期化し、 result.[[allowedServices]] を allowedDevice.allowedServices に初期化します。

   6. device に部分的または完全な Bluetooth デバイス名がある場合、 result.name をその文字列に設定します。

   7. result.watchingAdvertisements を false に初期化します。

   8. context.[[deviceInstanceMap]] に、device から result への対応を追加します。

4. context.[[deviceInstanceMap]] のうち、キーが 同一のデバイスである device に対応する値を返します。

1. "bluetooth" の 追加の許可データ（this の 関連する設定オブジェクトに対するもの）に、 次を満たす AllowedBluetoothDevice allowedDevice が allowedDevices リスト内にあり、 その allowedDevice.[[device]] が 同一のデバイス （this.[[representedDevice]] に対して）であり、 かつ allowedDevice.mayUseGATT が true に等しい場合、 this.[[gatt]] を返します。

2. それ以外の場合、null を返します。

1. device を対象の BluetoothDevice オブジェクトとします。

2. storage を、現在のスクリプト実行環境における BluetoothPermissionStorage オブジェクトとします。

3. Remove device from storage を storage に対して実行します。

4. Resolve により promise を解決します。

1. global を、this の関連付けられたグローバルオブジェクトとします。 これは this のものです。

2. options.signal が存在する場合、次の副手順を実行します:

   1. options.signal が 中止されている場合、 abort watchAdvertisements を this で実行し、これらの手順を中止します。

   2. 以下の中止手順を追加します: options.signal に対して。

      1. Abort watchAdvertisements を this で実行します。

      2. Reject により promise を AbortError で拒否します。

3. this.[[watchAdvertisementsState]] が次のいずれかの場合:

   'not-watching'

   1. this.[[watchAdvertisementsState]] を 'pending-watch' に設定します。

   2. 以下の手順をエンキューして watch advertisements manager に追加します。ただし、 this.[[watchAdvertisementsState]] が not-watching になった場合は中止します:

      1. UA がこのデバイスの広告をスキャンしていることを保証します。UA は、同一デバイスの「重複した」広告をフィルタすべきではありません（SHOULD NOT）。

      2. UA がスキャンの有効化に失敗した場合、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、次の手順を実行し、これらの手順を中止します:

         1. this.[[watchAdvertisementsState]] を 'not-watching' に設定します。

         2. Reject により promise を以下のいずれかのエラーで拒否します:

            UA が広告のスキャンをサポートしていない

            NotSupportedError

            Bluetooth がオフである

            InvalidStateError

            その他の理由

            UnknownError

      3. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、以下の手順を実行します。ただし、 次の場合中止します: this.[[watchAdvertisementsState]] が not-watching になった場合。

         1. this.[[watchAdvertisementsState]] を watching に設定します。

         2. this.watchingAdvertisements を true に設定します。

         3. Resolve により promise を undefined で解決します。

   'pending-watch'

   1. Reject により promise を InvalidStateError で拒否します。

   'watching'

   1. Resolve により promise を undefined で解決します。

4. 中止された場合は、 reject により promise を AbortError で拒否します。

Note: スキャンは電力を消費するため、ウェブサイトは不要に広告の監視を行わないようにし、可能な限り早く電力消費を停止できるよう AbortController を使用すべきです（SHOULD）。

1. this.[[watchAdvertisementsState]] を 'not-watching' に設定します。

2. device.watchingAdvertisements を false に設定します。

3. 以下の手順をエンキューして watch advertisements manager に追加します:

   1. UA 全体で BluetoothDevice のうち watchingAdvertisements が true に設定されているものがなくなった場合、UA は広告のスキャンを停止すべきです（SHOULD）。それ以外の場合で、this と同一のデバイスを表す BluetoothDevice のうち watchingAdvertisements が true に設定されているものがなくなった場合、UA はこのデバイスのレポートを受信しないようスキャンを再設定すべきです（SHOULD）。

1. 各 device について、 bluetooth.[[deviceInstanceMap]] 内を走査し、次の手順を実行します:

   1. もし device.[[watchAdvertisementsState]] が pending-watch または watching であれば、 abort watchAdvertisements を device で実行します。

1. 一致するキャッシュ内のすべてのエントリを known-present か known-absent のいずれかにしようと試みます。 その際、[BLUETOOTH42] が 十分な情報が返ると規定している任意の GATT 手続きの並びを使用します。 エラー処理は § 6.7 エラー処理 に記述されているとおりに行います。

2. 前の手順がエラーを返した場合、このアルゴリズムからそのエラーを返します。

1. global を deviceObj の 関連付けられたグローバルオブジェクトとします。

2. 記述に一致するエントリで Bluetooth キャッシュを構築します。

3. 前の手順がエラーを返した場合、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、reject により そのエラーで promise を拒否し、これらの手順を中止します。

4. 記述に一致する known-present のキャッシュエントリの列を entries とします。

5. context を deviceObj.[[context]] とします。

6. result を新しい列とします。

7. entries の各 entry について:

   1. もし context.[[attributeInstanceMap]] に Promise<BluetoothGATT*> インスタンスが関連付けられていなければ、 entry が Service の場合は BluetoothRemoteGATTService を表すオブジェクトを作成し、 Characteristic の場合は BluetoothRemoteGATTCharacteristic を表すオブジェクトを作成し、 Descriptor の場合は BluetoothRemoteGATTDescriptor を表すオブジェクトを作成し、 context.[[attributeInstanceMap]] に entry から得られた Promise への対応を追加します。

   2. context.[[attributeInstanceMap]] において entry に関連付けられている Promise<BluetoothGATT*> インスタンスを result に追加します。

8. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、resolve により 全要素の完了待ちの結果で promise を解決します。

BluetoothDevice

obj.[[representedDevice]]

BluetoothRemoteGATTService

obj.[[representedService]]

BluetoothRemoteGATTCharacteristic

obj.[[representedCharacteristic]]

BluetoothRemoteGATTDescriptor

obj.[[representedDescriptor]]

1. uuid が存在する場合、uuid を uuidCanonicalizer(uuid) に設定します。 uuidCanonicalizer が例外を投げた場合は、その例外で 拒否された promise を返し、 これらの手順を中止します。

2. uuid が存在し、かつ blocklisted である場合、 SecurityError で 拒否された promise を返し、 これらの手順を中止します。

3. attribute の型に応じて、deviceObj を次のように定めます:

   BluetoothDevice

   attribute

   BluetoothRemoteGATTService

   attribute.device

   BluetoothRemoteGATTCharacteristic

   attribute.service.device

4. もし deviceObj.gatt.connected が false であれば、 NetworkError で 拒否された promise を返し、 これらの手順を中止します。

5. もし Represented(attribute) が null であれば、 InvalidStateError で 拒否された promise を返し、 これらの手順を中止します。

   注記: これは、Service または Characteristic がデバイスから削除されたり、 切断によって無効化された後に、そのオブジェクトが再度使用されたときに発生します。

6. deviceObj の Bluetooth キャッシュへの問い合わせを実行し、 次の条件を満たすエントリを取得します:

   • Represented(attribute) の内部にあること

   • child type で記述される型を持つこと

   • UUID が blocklisted でないこと

   • uuid が存在する場合、その UUID が uuid であること

   • allowedUuids が存在し、かつ "all" でない場合、 その UUID が allowedUuids に含まれること

   • single フラグが設定されている場合、これらのうち最初のものであること

   結果を promise とします。

7. fulfillment により promise が result で満たされたとき、次を実行します:

   • result が空であれば、 NotFoundError を投げます。

   • それ以外で single フラグが設定されている場合、result の最初（かつ唯一）の要素を返します。

   • それ以外の場合、result を返します。

1. global を this の 関連付けられたグローバルオブジェクトとします。

2. もし this.device.[[representedDevice]] が null であれば、 "NetworkError" の DOMException で 拒否された promise を返します。

3. UA が現在 Bluetooth システムを使用中である場合、UA は "NetworkError" の DOMException で 拒否された promise を返してもよいです（MAY）。

   実装によってはこの NetworkError を回避できるかもしれませんが、 現時点ではサイトはこの API の使用を直列化する必要があり、 かつ／または失敗した操作を再試行できる手段をユーザーに提供する必要があります。 [Issue #188]

4. promise を 新しい promise とします。

5. もし this.connected が true であれば、resolve により promise を this で解決し、promise を返します。

6. this.[[activeAlgorithms]] に promise を追加します。

7. 次の手順を並行して実行します:

   1. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でないなら、次を実行します:

      1. gatt connection attempted イベントをトリガーし、 global の navigable と this.device を与えます。

      2. もし this.[[automatedGATTConnectionResponse]] が "not-expected" であるなら、これを "expected" に設定します。

      3. もし this.[[automatedGATTConnectionResponse]] が "expected" であるなら、これが変化するまで待ちます。

      4. response を、this.[[automatedGATTConnectionResponse]] とします。

      5. this.[[automatedGATTConnectionResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. this.[[activeAlgorithms]] から promise を削除します。

         2. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

   2. それ以外の場合、次の手順を実行します:

      1. もし this.device.[[representedDevice]] が ATT Bearer を持たない場合、次の副手順を実行します:

         1. ATT Bearer を作成しようと試みます。 その際、GAP Interoperability Requirements の "Connection Establishment" に記述された手順を用います。 this.[[activeAlgorithms]] から promise が削除された場合は、この試行を中断します。

            注記: 接続可能な広告が受信されない限り、これらの手順は永遠に待機する可能性があります。 ウェブサイトは、もはや接続を望まない場合には disconnect() を呼び出すべきです。

         2. この試行が、promise が this.[[activeAlgorithms]] から 削除されたために中断されたのであれば、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "AbortError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

         3. この試行が別の理由で失敗した場合は、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

         4. Exchange MTU 手続きを用いて、 サポートされる最大の MTU をネゴシエートします。この手順でのエラーは無視します。

         5. UA は、BR/EDR Bonding Procedure または LE Bonding Procedure を用いて、 リモートデバイスとのボンディングを試みてもよいです（MAY）。

            注記: 通常であれば、ボンディングの有無やタイミングの制御はウェブサイト側に任せたいところですが、 Core Bluetooth の プラットフォーム API は UA がそのような制御を実装する手段を提供していません。 ボンディングがある方がない場合よりも安全であるため、この仕様では、そのようなことが可能なプラットフォームにおいて UA が機会を見てボンディングを作成することを許容します。 これは、接続が作成された時点でユーザーが目にするペアリングダイアログが表示される可能性があり、 制限付きの characteristic にアクセスしたときではない場合があることを意味します。

   3. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、次の副手順を実行します:

      1. もし promise が this.[[activeAlgorithms]] に存在しないなら、 "AbortError" の DOMException で reject により promise を拒否し、 接続のガベージコレクション を this.device.[[representedDevice]] に対して実行し、 これらの手順を中止します。

      2. this.[[activeAlgorithms]] から promise を削除します。

      3. もし this.device.[[representedDevice]] が null であれば、 "NetworkError" の DOMException で reject により promise を拒否し、 接続のガベージコレクション を this.device.[[representedDevice]] に対して実行し、 これらの手順を中止します。

      4. this.connected を true に設定します。

      5. Resolve により promise を this で解決します。

8. promise を返します。

1. this.[[activeAlgorithms]] をクリアして、 すべての アクティブな connect() 呼び出し を中断します。

2. もし this.connected が false であれば、これらの手順を中止します。

3. 切断されたデバイスのクリーンアップを this.device に対して実行します。

4. device を this.device.[[representedDevice]] とします。

5. 接続のガベージコレクションを device に対して実行します。

1. この API を使用していないシステム（UA の内外を問わず）が device の ATT Bearer を使用している場合、 このアルゴリズムを中止します。

2. UA 全体のすべての BluetoothDevice deviceObj について:

   1. もし deviceObj.[[representedDevice]] が device と 同一のデバイス でなければ、 次の deviceObj に進みます。

   2. もし deviceObj.gatt.connected が true であれば、このアルゴリズムを中止します。

   3. もし deviceObj.gatt.[[activeAlgorithms]] に Promise（connect() 呼び出しのもの）が含まれている場合、 このアルゴリズムを中止します。

3. device の ATT Bearer を破棄します。

promise を包む、gattServer に対する 接続チェックラッパーを作成するには、 UA は次を行わなければなりません（MUST）:

1. もし gattServer.connected が true であれば、 promise を gattServer.[[activeAlgorithms]] に追加します。

2. promise の完了に反応します:

   • promise が値 result で fulfill された場合:

     1. もし promise が gattServer.[[activeAlgorithms]] に存在するなら、 これを削除して result を返します。

     2. それ以外の場合、NetworkError を投げます。

        注記: このエラーは、gattServer がメインのアルゴリズムの実行中に切断されたために投げられます。

   • promise が理由 error で reject された場合:

     1. もし promise が gattServer.[[activeAlgorithms]] に存在するなら、 これを削除して error を投げます。

     2. それ以外の場合、NetworkError を投げます。

        注記: このエラーは、gattServer がメインのアルゴリズムの実行中に切断されたために投げられます。

1. もし this.device.[[allowedServices]] が "all" ではなく、かつ service が this.device.[[allowedServices]] に含まれていない場合、 SecurityError で 拒否された promise を返し、 これらの手順を中止します。

2. GetGATTChildren(attribute=this.device,
   single=true,
   uuidCanonicalizer=BluetoothUUID.getService,
   uuid=service,
   allowedUuids=this.device.[[allowedServices]],
   child type="GATT Primary Service") を返します。

1. もし this.device.[[allowedServices]] が "all" ではなく、service が存在し、かつ this.device.[[allowedServices]] に含まれていない場合、 SecurityError で 拒否された promise を返し、 これらの手順を中止します。

2. GetGATTChildren(attribute=this.device,
   single=false,
   uuidCanonicalizer=BluetoothUUID.getService,
   uuid=service,
   allowedUuids=this.device.[[allowedServices]],
   child type="GATT Primary Service") を返します。

1. global を、this の 関連付けられたグローバルオブジェクトとします。

2. promise を、新しい promise とします。

3. 次の手順を並行して実行します:

   1. result を、新しい BluetoothRemoteGATTService のインスタンスとし、その [[representedService]] スロットを service に初期化します。

   2. BluetoothDevice を取得して表現する を実行して、 service が存在するデバイスを取得し、結果を device とします。

   3. 前の手順でエラーが投げられた場合、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、そのエラーで reject により promise を拒否し、これらの手順を中止します。

   4. result の device を device から初期化します。

   5. result の uuid を service の UUID から初期化します。

   6. service が Primary Service であれば、 result の isPrimary を true に、そうでなければ false に初期化します。

   7. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を result で解決します。

4. promise を返します。

GetGATTChildren(attribute=this,
single=true,
uuidCanonicalizer=BluetoothUUID.getCharacteristic,
uuid=characteristic,
allowedUuids=undefined,
child type="GATT Characteristic")

GetGATTChildren(attribute=this,
single=false,
uuidCanonicalizer=BluetoothUUID.getCharacteristic,
uuid=characteristic,
allowedUuids=undefined,
child type="GATT Characteristic")

1. global を、this の 関連付けられたグローバルオブジェクトとします。

2. promise を、新しい promise とします。

3. 次の手順を並行して実行します:

   1. result を、新しい BluetoothRemoteGATTCharacteristic のインスタンスとし、 [[representedCharacteristic]] スロットを characteristic に初期化します。

   2. result の service< を、 BluetoothRemoteGATTService のうち characteristic が属する Service を表すインスタンスから初期化します。

   3. result の uuid を characteristic の UUID から初期化します。

   4. Characteristic から BluetoothCharacteristicProperties のインスタンスを作成し、 結果を properties とします。

   5. 前の手順がエラーを返した場合、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、そのエラーで reject により promise を拒否し、これらの手順を中止します。

   6. result の properties を properties に初期化します。

   7. result の value を null に初期化します。UA は、可能であれば characteristic から直近に読み出した値を含む new DataView で new ArrayBuffer をラップして result.value を初期化してもよいです（MAY）。

   8. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 resolve により promise を result で解決します。

4. promise を返します。

GetGATTChildren(attribute=this,
single=true,
uuidCanonicalizer=BluetoothUUID.getDescriptor,
uuid=descriptor,
allowedUuids=undefined,
child type="GATT Descriptor")

GetGATTChildren(attribute=this,
single=false,
uuidCanonicalizer=BluetoothUUID.getDescriptor,
uuid=descriptor,
allowedUuids=undefined,
child type="GATT Descriptor")

1. global を、this の 関連付けられたグローバルオブジェクトとします。

2. gatt を、 this.service.device.gatt とします。

3. もし this.uuid が 読み取りに対してブロックリスト入りしている場合、 "SecurityError" の 拒否された promise （DOMException）を返し、これらの手順を中止します。

4. もし gatt.connected が false であれば、 "NetworkError" の 拒否された promise （DOMException）を返し、これらの手順を中止します。

5. characteristic を、 this.[[representedCharacteristic]] とします。

6. もし characteristic が null であれば、 "InvalidStateError" の 拒否された promise （DOMException）を返し、これらの手順を中止します。

7. gatt に対する 接続チェックラッパーで 新しい promise promise を包んで返し、次の手順を並行して実行します:

   1. もし characteristic の properties に Read ビットが設定されていなければ、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "NotSupportedError" の reject により promise を拒否して、これらの手順を中止します。

   2. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次を実行します:

      1. もし this.[[automatedCharacteristicReadResponse]] が "not-expected" でないなら、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "InvalidStateError" の reject により promise を拒否して、これらの手順を中止します。

      2. simulated characteristic イベントをトリガーし、 global の navigable、 this.device、 characteristic、および read を与えます。

      3. this.[[automatedCharacteristicReadResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を、 this.[[automatedCharacteristicReadResponse]] とします。

      5. this.[[automatedCharacteristicReadResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "NetworkError" の reject により promise を拒否して、これらの手順を中止します。

      7. それ以外の場合、buffer を、 new な ArrayBuffer とし、 this.[[automatedCharacteristicReadResponseData]] を含むものとします。

   3. それ以外の場合、次の手順を実行します:

      1. UA が現在 Bluetooth システムを使用中であれば、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、 "NetworkError" の reject により promise を拒否して、これらの手順を中止してもよいです（MAY）。

         実装によってはこの NetworkError を回避できるかもしれませんが、現状ではサイトはこの API の使用を直列化し、かつ失敗した操作を再試行できる手段をユーザーに提供する必要があります。[Issue #188]

      2. Characteristic Value Read 手続きの副手続きの任意の組み合わせを用いて characteristic の値を取得し、取得した値を保持する new な ArrayBuffer を buffer とします。エラー処理は § 6.7 Error handling に従います。

   4. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、次を実行します:

      1. もし promise が gatt.[[activeAlgorithms]] に存在しなければ、 "NetworkError" の reject により promise を拒否し、これらの手順を中止します。

      2. 上記の副手続きがエラーを返していれば、そのエラーで reject により promise を拒否し、これらの手順を中止します。

      3. buffer で作成した new な DataView を this.value に代入します。

      4. イベントを発火します。イベント名は "characteristicvaluechanged" で、 その bubbles 属性を true に初期化して this に対して発火します。

      5. Resolve により promise を this.value で解決します。

1. global を this の 関連付けられたグローバルオブジェクトとします。

2. gatt を this.service.device.gatt とします。

3. もし this.uuid が 書き込みに対してブロックリスト入りしている場合は、"SecurityError" の DOMException で 拒否された promise を返し、これらの手順を中止します。

4. bytes を、value が保持するバイト列のコピーとします。

5. もし bytes が 512 バイトを超える場合（Long Attribute Values による属性値の最大長）、 "InvalidModificationError" の DOMException で 拒否された promise を返し、これらの手順を中止します。

6. もし gatt.connected が false であれば、"NetworkError" の DOMException で 拒否された promise を返し、これらの手順を中止します。

7. characteristic を this.[[representedCharacteristic]] とします。

8. もし characteristic が null であれば、 "InvalidStateError" の DOMException で 拒否された promise を返し、これらの手順を中止します。

9. gatt に対する 接続チェックラッパーで 新しい promise の promise を包んで返し、次の手順を並行して実行します。

   1. 表明: response は "required"、"never"、"optional" のいずれかです。

   2. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次の手順を実行します:

      1. this.[[automatedCharacteristicWriteResponse]] が "not-expected" でない場合は、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"InvalidStateError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. simulated characteristic イベントをトリガーし、 global の navigable、 this.device、 characteristic、write、および bytes を与えます。

      3. this.[[automatedCharacteristicWriteResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を this.[[automatedCharacteristicWriteResponse]] とします。

      5. this.[[automatedCharacteristicWriteResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

   3. それ以外の場合、次の手順を実行します:

      1. UA が現在 Bluetooth システムを使用中である場合、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否してもよく（MAY）、これらの手順を中止します。

         実装によってはこの NetworkError を回避できるかもしれませんが、現状ではサイトはこの API の使用を直列化し、かつ/またはユーザーに失敗した操作を再試行できる手段を提供する必要があります。[Issue #188]

      2. characteristic に bytes を書き込むため、次の手順を実行します:

         もし response が "required" の場合

         Write Characteristic Value 手続きを用います。

         もし response が "never" の場合

         Write Without Response 手続きを用います。

         それ以外の場合

         Characteristic Value Write 手続きの副手続きの任意の組み合わせを用います。

         エラー処理は § 6.7 Error handling に記載されているとおりに行います。

   4. グローバルタスクをキューして global 上で Bluetooth タスクソースを用い、次の手順を実行します:

      1. もし promise が gatt.[[activeAlgorithms]] に存在しなければ、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. 上記の手続きがエラーを返した場合は、そのエラーで reject により promise を拒否し、これらの手順を中止します。

      3. this.value を、 new な DataView （new な ArrayBuffer に bytes を格納したものをラップ）に設定します。

      4. Resolve により promise を undefined で解決します。

WriteCharacteristicValue( this=this,
value=value,
response="required")

WriteCharacteristicValue( this=this,
value=value,
response="never")

1. global を this の 関連付けられたグローバルオブジェクトとします。

2. gatt を this.service.device.gatt とします。

3. もし this.uuid が 読み取りに対してブロックリスト入りしている場合は、"SecurityError" の DOMException で 拒否された promise を返します。

4. もし gatt.connected が false であれば、"NetworkError" の DOMException で 拒否された promise を返します。

5. characteristic を、this.[[representedCharacteristic]] とします。

6. もし characteristic が null であれば、"InvalidStateError" の DOMException で 拒否された promise を返します。

7. gatt に対する 接続チェックラッパーで 新しい promise の promise を包んで返し、次の手順を並行して実行します。

   1. もし characteristic の properties に Notify と Indicate のいずれのビットも設定されていない場合は、 グローバルタスクをキューして Bluetooth タスクソース 上で global に与え、NotSupportedError で reject により promise を拒否して、これらの手順を中止します。

   2. もし characteristic の active notification context set に navigator.bluetooth が含まれている場合は、 グローバルタスクをキューして Bluetooth タスクソース 上で global に与え、resolve により promise を this で解決し、これらの手順を中止します。

   3. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次の手順を実行します:

      1. this.[[automatedCharacteristicSubscribeToNotificationsResponse]] が "not-expected" でない場合は、 グローバルタスクをキューして Bluetooth タスクソース 上で global に与え、"InvalidStateError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. simulated characteristic イベントをトリガーし、 global の navigable、 this.device、 characteristic、および subscribe-to-notifications を与えます。

      3. this.[[automatedCharacteristicSubscribeToNotificationsResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を this.[[automatedCharacteristicSubscribeToNotificationsResponse]] とします。

      5. this.[[automatedCharacteristicSubscribeToNotificationsResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      7. それ以外の場合、success を true とします。

   4. それ以外の場合、次の手順を実行します:

      1. UA が現在 Bluetooth システムを使用中である場合、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否してもよく（MAY）、これらの手順を中止します。

         実装によってはこの NetworkError を回避できるかもしれませんが、 現状ではサイトはこの API の使用を直列化し、かつ/またはユーザーに失敗した操作を再試行する手段を提供する必要があります。[Issue #188]

      2. 特性に Client Characteristic Configuration デスクリプタがある場合、Characteristic Descriptors 手続きのいずれかを用いて、characteristic の Client Characteristic Configuration デスクリプタ内の Notification または Indication のどちらか一方のビットが、characteristic の properties の制約に合うように設定されていることを確実にします。UA は両方のビットを設定することは避けるべき（SHOULD）であり、両方のビットが設定されている場合は value-change events を重複排除しなければなりません（MUST）。エラー処理は § 6.7 Error handling に従います。

         注記: 一部のデバイスには、プロパティに Notify または Indicate ビットが含まれているにもかかわらず、Client Characteristic Configuration デスクリプタを持たない characteristic があります。これらの仕様非準拠の characteristic は無条件に通知またはインジケーションを送信する傾向があるため、本仕様ではアプリケーションが単にそれらのメッセージを購読できるようにしています。

      3. 手続きが成功した場合、success を true とします。

   5. もし success が true であれば、characteristic の active notification context set に navigator.bluetooth を追加します。

   6. グローバルタスクをキューして Bluetooth タスクソース 上で global に与え、次の手順を実行します:

      1. もし promise が gatt.[[activeAlgorithms]] に存在しなければ、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. 上記の手続きがエラーを返した場合、そのエラーで reject により promise を拒否し、これらの手順を中止します。

      3. Resolve により promise を this で解決します。

1. characteristic を this.[[representedCharacteristic]] とします。

2. もし characteristic が null であれば、拒否された promise（InvalidStateError）を返し、これらの手順を中止します。

3. もし characteristic の active notification context set に navigator.bluetooth が含まれていれば、これを削除します。

   1. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次の手順を実行します:

      1. this.[[automatedCharacteristicUnsubscribeFromNotificationsResponse]] が "not-expected" でない場合は、 グローバルタスクをキューして Bluetooth タスクソース 上で global に与え、"InvalidStateError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. simulated characteristic イベントをトリガーし、 global の navigable、 this.device、 characteristic、および unsubscribe-from-notifications を与えます。

      3. this.[[automatedCharacteristicUnsubscribeFromNotificationsResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を this.[[automatedCharacteristicUnsubscribeFromNotificationsResponse]] とします。

      5. this.[[automatedCharacteristicUnsubscribeFromNotificationsResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

   2. それ以外の場合、次の手順を実行します:

      1. もし characteristic の active notification context set が空になり、かつその characteristic が Client Characteristic Configuration デスクリプタを持つ場合、UA は Characteristic Descriptors 手続きのいずれかを用いて、characteristic の Client Characteristic Configuration デスクリプタ内の Notification と Indication のビットをクリアするべきです（SHOULD）。

4. グローバルタスクをキューして Bluetooth タスクソース 上で、this の 関連付けられたグローバルオブジェクトに与え、resolve により promise を this で解決します。

1. propertiesObj を BluetoothCharacteristicProperties の新しいインスタンスとします。

2. properties を characteristic の 特性プロパティとします。

3. properties 内の対応するビットに基づいて propertiesObj の属性を初期化します:

   属性	ビット
   broadcast	Broadcast
   read	Read
   writeWithoutResponse	Write Without Response
   write	Write
   notify	Notify
   indicate	Indicate
   authenticatedSignedWrites	Authenticated Signed Writes

4. もし 特性プロパティの Extended Properties ビットが 設定されていなければ、propertiesObj.reliableWrite および propertiesObj.writableAuxiliaries を false に初期化します。そうでなければ、次の手順を実行します:

   1. 検出により Characteristic Extended Properties デスクリプタを characteristic について見つけ、 その値を読み取り extendedProperties に格納します。 エラー処理は § 6.7 Error handling に従います。

      Characteristic Extended Properties が、特定の Characteristic に対して 拡張プロパティが不変かどうかは明確ではありません。 もし不変であるなら、UA はそれらをキャッシュできるようにすべきです。

   2. 前の手順がエラーを返した場合は、そのエラーを返します。

   3. propertiesObj.reliableWrite を、extendedProperties の Reliable Write ビットに基づいて初期化します。

   4. propertiesObj.writableAuxiliaries を、extendedProperties の Writable Auxiliaries ビットに基づいて初期化します。

5. propertiesObj を返します。

1. promise を 新しい promise とします。

2. 次の手順を並行して実行します:

   1. result を、新しい BluetoothRemoteGATTDescriptor のインスタンスとし、その [[representedDescriptor]] スロットを descriptor に初期化します。

   2. result の characteristic を、 BluetoothRemoteGATTCharacteristic のうち descriptor が現れる Characteristic を表すインスタンスから初期化します。

   3. result の uuid を descriptor の UUID から初期化します。

   4. result の value を null に初期化します。 UA は、可能であれば result の value を、 new な DataView（ new な ArrayBuffer をラップし、 descriptor から直近に読み取られた値を含むもの）に初期化してもよいです（MAY）。

   5. グローバルタスクをキューして、Bluetooth タスクソース上で this の 関連付けられたグローバルオブジェクトに与え、 resolve により promise を result で解決します。

3. promise を返します。

1. global を this の 関連付けられたグローバルオブジェクトとします。

2. gatt を this.characteristic.service.device.gatt とします。

3. もし this.uuid が読み取りに対してブロックリスト入りしている場合は、"SecurityError" の DOMException で 拒否された promise を返します。

4. もし gatt.connected が false であれば、"NetworkError" の DOMException で 拒否された promise を返します。

5. descriptor を this.[[representedDescriptor]] とします。

6. もし descriptor が null であれば、"InvalidStateError" の DOMException で 拒否された promise を返します。

7. gatt に対する 接続チェックラッパーで 新しい promise の promise を包んで返し、 次の手順を並行して実行します:

   1. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次を実行します:

      1. もし this.[[automatedDescriptorReadResponse]] が "not-expected" でないなら、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"InvalidStateError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. シミュレートされたデスクリプタイベントをトリガーし、 global の navigable、 this.device、 descriptor、および read を与えます。

      3. this.[[automatedDescriptorReadResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を this.[[automatedDescriptorReadResponse]] とします。

      5. this.[[automatedDescriptorReadResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      7. それ以外の場合、buffer を new な ArrayBuffer とし、this.[[automatedDescriptorReadResponseData]] を含むものとします。

   2. それ以外の場合、次の手順を実行します:

      1. UA が現在 Bluetooth システムを使用中である場合、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否してもよく（MAY）、これらの手順を中止します。

         実装によってはこの NetworkError を回避できるかもしれませんが、現状ではサイトはこの API の使用を直列化し、かつユーザーに失敗した操作を再試行できる手段を提供する必要があります。[Issue #188]

      2. Read Characteristic Descriptors または Read Long Characteristic Descriptors のいずれかの副手続きを用いて descriptor の値を取得し、その値を保持する new な ArrayBuffer を buffer とします。エラー処理は § 6.7 Error handling に従います。

   3. グローバルタスクをキューして、Bluetooth タスクソース上で global に与え、次の手順を実行します:

      1. もし promise が gatt.[[activeAlgorithms]] に存在しなければ、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. 上記の副手続きがエラーを返した場合は、そのエラーで reject により promise を拒否し、これらの手順を中止します。

      3. new な DataView （buffer から生成）を this.value に代入します。

      4. Resolve により promise を this.value で解決します。

1. global を this の 関連付けられたグローバルオブジェクトとします。

2. gatt を this.characteristic.service.device.gatt とします。

3. もし this.uuid が 書き込みに対してブロックリスト入りしている場合は、"SecurityError" の DOMException で 拒否された promise を返します。

4. bytes を、value が保持するバイト列のコピーとします。

5. もし bytes が 512 バイトを超える場合（Long Attribute Values による属性値の最大長）、 "InvalidModificationError" の DOMException で 拒否された promise を返します。

6. もし gatt.connected が false であれば、"NetworkError" の DOMException で 拒否された promise を返します。

7. descriptor を this.[[representedDescriptor]] とします。

8. もし descriptor が null であれば、"InvalidStateError" の DOMException で 拒否された promise を返します。

9. gatt に対する 接続チェックラッパーで 新しい promise の promise を包んで返し、 次の手順を並行して実行します。

   1. もし global の navigable の top-level traversable の simulated Bluetooth adapter が空でない場合、次を実行します:

      1. もし this.[[automatedDescriptorWriteResponse]] が "not-expected" でないなら、 グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"InvalidStateError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. シミュレートされたデスクリプタイベントをトリガーし、 global の navigable、 this.device、 descriptor、write、および bytes を与えます。

      3. this.[[automatedDescriptorWriteResponse]] を "expected" に設定し、変化するまで待ちます。

      4. response を this.[[automatedDescriptorWriteResponse]] とします。

      5. this.[[automatedDescriptorWriteResponse]] を "not-expected" に設定します。

      6. もし response が 0 でなければ、次の副手順を実行します:

         1. グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

   2. それ以外の場合、次の手順を実行します:

      1. UA が現在 Bluetooth システムを使用中である場合、グローバルタスクをキューして Bluetooth タスクソース上で global に与え、"NetworkError" の DOMException で reject により promise を拒否してもよく（MAY）、これらの手順を中止します。

         実装によってはこの NetworkError を回避できるかもしれませんが、現状ではサイトはこの API の使用を直列化し、かつユーザーに失敗した操作を再試行できる手段を提供する必要があります。[Issue #188]

      2. Write Characteristic Descriptors または Write Long Characteristic Descriptors のいずれかの副手続きを用いて、 bytes を descriptor に書き込みます。エラー処理は § 6.7 Error handling に従います。

   3. グローバルタスクをキューして、Bluetooth タスクソース上で global に与え、次の手順を実行します:

      1. もし promise が gatt.[[activeAlgorithms]] に存在しなければ、"NetworkError" の DOMException で reject により promise を拒否し、これらの手順を中止します。

      2. 上記の副手続きがエラーを返した場合、そのエラーで reject により promise を拒否し、これらの手順を中止します。

      3. this.value を、new な DataView （new な ArrayBuffer に bytes を格納したものをラップ）に設定します。

      4. Resolve により promise を undefined で解決します。

1. deviceObj.[[representedDevice]] が 同一のデバイス device でなければ、これらの手順を中止します。

2. !deviceObj.gatt.connected であれば、これらの手順を中止します。

3. 切断されたデバイスのクリーンアップ deviceObj を実行します。

1. deviceObj.gatt.connected を false に設定します。

2. deviceObj.gatt.[[activeAlgorithms]] をクリアします。

3. deviceObj.gatt.[[automatedGATTConnectionResponse]] を "not-expected" に設定します。

4. context を deviceObj.[[context]] とします。

5. context.[[attributeInstanceMap]] から、キーが deviceObj.[[representedDevice]] 内にあるすべてのエントリを削除します。

6. UA の realm 内の各 BluetoothRemoteGATTService service について、 service.[[representedService]] を null に設定します。

7. deviceObj の realm 内の各 BluetoothRemoteGATTCharacteristic characteristic について、次の副手順を行います:

   1. notificationContexts を characteristic.[[representedCharacteristic]] の active notification context set とします。

   2. notificationContexts から context を削除します。

   3. もし notificationContexts が空になり、かつ deviceObj.[[representedDevice]] への ATT Bearer がまだ存在し、 さらに characteristic が Client Characteristic Configuration デスクリプタを持つ場合、UA は Characteristic Descriptors 手続きのいずれかを用いて、 characteristic のそのデスクリプタ内の Notification と Indication ビットをクリアするべきです（SHOULD）。

   4. characteristic.[[representedCharacteristic]] を null に設定します。

8. deviceObj の realm 内の各 BluetoothRemoteGATTDescriptor descriptor について、 descriptor.[[representedDescriptor]] を null に設定します。

9. イベントを発火します。イベント名は gattserverdisconnected で、bubbles 属性を true に初期化して deviceObj に対して発火します。

   注記: このイベントは BluetoothRemoteGATTServer では発火しません。

1. Characteristic の active notification context set 内の 各 bluetoothGlobal について、グローバルタスクをキューして、Bluetooth タスクソース上で bluetoothGlobal の 関連付けられたグローバルオブジェクトに与え、次の副手順を実行します:

   1. characteristicObject を、bluetoothGlobal をルートとする Bluetooth ツリー内で その Characteristic を表す BluetoothRemoteGATTCharacteristic とします。

   2. characteristicObject .service.device.gatt.connected が false であれば、これらの副手順を中止します。

   3. characteristicObject.value を、 新しい DataView（新しい ArrayBuffer をラップし、Characteristic の新しい値を保持するもの）に設定します。

   4. イベントを発火します。イベント名は characteristicvaluechanged で、bubbles 属性を true に初期化して characteristicObject に対して発火します。