HTML — メディア要素（ video, audio ）

`error@mM 取得子~手続きは：

1. ~IF［ コレにおいて~errorは まだ生じていない ］ ⇒ ~RET ~NULL
2. ~RET コレにおいて最後に生じた~error用に作成された `MediaError$I ~obj

`新たな~MediaError@ を作成するときは、 所与の ( 上に挙げたいずれかの値をとる~error~code %~code ) に対し，次のように設定された新たな `MediaError$I ~objを返す： ◎ To create a MediaError, given an error code which is one of the above values, return a new MediaError object＼

• `~code$ ~SET %~code ◎ whose code is the given error code and＼

• `~message$ ~SET 当の~error条件を生じさせたものについて~UAが給せる詳細が［ あれば それを表す文字列 ／ なければ 空~文字列 ］ ◎ whose message is a string containing any details the user agent is able to supply about the cause of the error condition, or the empty string if the user agent is unable to supply such details.＼

  この文字列は、 %~code を介してすでに可用な情報を超えるものがない場合は，空~文字列になるモノトスル — 例えば、 単純に~codeを文字列に翻訳した結果にはしないモノトスル。 ◎ This message string must not contain only the information already available via the supplied error code; for example, it must not simply be a translation of the code into a string format. If no additional information is available beyond that provided by the error code, the message must be set to the empty string.

`~media要素$ %要素 の `src$aM 属性に対しては、 ~UAは： ◎ ↓

• %要素 の作成-時に， %要素 は `src$aM 属性を有していた場合、 `即時$に次を呼出すモノトスル ⇒ %要素 の`資源~選定~algo$ ◎ If a media element is created with a src attribute, the user agent must immediately invoke the media element's resource selection algorithm.

• %要素 の `src$aM 属性が［ 設定-／変更- ］されたときは、 次を呼出すモノトスル ⇒ `~media要素~読込n~algo$( %要素 ) ◎ If a src attribute of a media element is set or changed, the user agent must invoke the media element's media element load algorithm.＼

  （ `src$aM 属性が`除去された^emときは、 これは行わない — 子に `source$e 要素が在っても。） ◎ (Removing the src attribute does not do this, even if there are source elements present.)

`srcObject$mM 設定子~手続きは： ◎ On setting,＼

1. コレに`アテガわれている~media提供元~obj$ ~SET 所与の値 ◎ it must set the element's assigned media provider object to the new value, and then＼
2. `~media要素~読込n~algo$( コレ ) ◎ invoke the element's media element load algorithm.

`canPlayType(type)@mM ~method~手続きは： ◎ The canPlayType(type) method must return＼

1. ~IF［ %type は`~UAが具現化できないと知る型$である ］~OR［ %型 ~EQ `application/octet-stream$mt ］ ⇒ ~RET `空~文字列@cP ◎ the empty string if type is a type that the user agent knows it cannot render or is the type "application/octet-stream";＼
2. ~IF［ ~UAは、 %type が表現する`~media資源$がコレに利用されたなら，~~十分な確度で具現化できる ］ ⇒ ~RET `probably@l ◎ it must return "probably" if the user agent is confident that the type represents a media resource that it can render if used in with this audio or video element; and＼
3. ~RET `maybe@l ◎ it must return "maybe" otherwise.＼

実装者には、 %type を~supportしないか~supportする~~十分な確度がない限り， `maybe$l を返すことが奨励される。 一般に，~UAは、 ~codecs ~parameterを許容する型に対しては，その~parameterが無い場合は 決して `probably$l を返すベキでない。 ◎ Implementers are encouraged to return "maybe" unless the type can be confidently established as being supported or not. Generally, a user agent should never return "probably" for a type that allows the codecs parameter if that parameter is not present.

`~media要素~読込n~algo@ は、 所与の ( `~media要素$ %要素 ) に対し，次を走らす： ◎ The media element load algorithm consists of the following steps.

1. %要素 の`現在~停滞-中か$ ~SET ~F ◎ Set this element's is currently stalled to false.
2. %要素 用にすでに走らせている`資源~選定~algo$の~instanceがあれば，それを中止する ◎ Abort any already-running instance of the resource selection algorithm for this element.
3. %処理待ち~taskたち ~LET［ ある`~task~queue$内の， %要素 の`~media要素~event~task~source$から~queueされた`~task$ ］すべてからなる，~queueされた順による~list ◎ Let pending tasks be a list of all tasks from the media element's media element event task source in one of the task queues. ◎ ↓
4. %処理待ち~taskたち を成す ~EACH( %~task ) に対し ⇒ ~IF［ %~task は［［ `再生待ち~promiseたちを解決する$ ／ `再生待ち~promiseたちを却下する$ ］ものである ］ ⇒ それらの~promiseたちを即時に［ 解決-／却下- ］する ◎ For each task in pending tasks that would resolve pending play promises or reject pending play promises, immediately resolve or reject those promises in the order the corresponding tasks were queued.

5. %処理待ち~taskたち を成す ~EACH( %~task ) に対し ⇒ %~task をその`~task~queue$から除去する ◎ Remove each task in pending tasks from its task queue

   注記： 基本的に，~media要素が新たな資源の読込ngを開始したときは、 処理待ち~eventや~callbackは破棄され，［ 解決-／却下- ］待ちの~promiseたちは即時に［ 解決-／却下- ］される。 ◎ Basically, pending events and callbacks are discarded and promises in-flight to be resolved/rejected are resolved/rejected immediately when the media element starts loading a new resource.

6. ~IF［ %要素 の `networkState$mM ~IN { `NETWORK_LOADING$mM, `NETWORK_IDLE$mM } ］ ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ If the media element's networkState is set to NETWORK_LOADING or NETWORK_IDLE, queue a media element task given the media element to＼

   手続きは ⇒ `~eventを発火する$( %要素, `abort$et ) ◎ fire an event named abort at the media element.

7. ~IF［ %要素 の`networkState$mM ~NEQ `NETWORK_EMPTY$mM ］： ◎ If the media element's networkState is not set to NETWORK_EMPTY, then:

   1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `emptied$et ) ◎ fire an event named emptied at the media element.
   2. ~IF［ %要素 用に進捗-中にある~fetchingがある ］ ⇒ ~UAはそれを停止するベキである ◎ If a fetching process is in progress for the media element, the user agent should stop it.
   3. ~IF［ %要素 に`アテガわれている~media提供元~obj$は `MediaSource$I ~objである ］ ⇒ それを`~detach$する ◎ If the media element's assigned media provider object is a MediaSource object, then detach it.
   4. `~media資源に特有な~trackを忘れる$( %要素 ) ◎ Forget the media element's media-resource-specific tracks.
   5. `readyState$mM ~SET `HAVE_NOTHING$mM ◎ If readyState is not set to HAVE_NOTHING, then set it to that state.

   6. ~IF［ %要素 の `paused$mM 属性 ~EQ ~F ］： ◎ If the paused attribute is false, then:

      1. %要素 の `paused$mM 属性 ~SET ~T ◎ Set the paused attribute to true.
      2. `再生待ち~promiseたちを却下する$( %要素 の`再生待ち~promiseたちを取り出す$, `AbortError$E 例外 ) ◎ Take pending play promises and reject pending play promises with the result and an "AbortError" DOMException.
   7. ~IF［ `seeking$mM ~EQ ~T ］ ⇒ `seeking$mM ~SET ~F ◎ If seeking is true, set it to false.
   8. %要素 の`現在の再生~位置$ ~SET 0 ◎ Set the current playback position to 0.
   9. %前~位置 ~LET %要素 の`公式的な再生~位置$ ◎ ↓
   10. %要素 の`公式的な再生~位置$ ~SET 0 ◎ Set the official playback position to 0.

   11. ~IF［ %前~位置 ~NEQ 0 ］ ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ If this changed the official playback position, then queue a media element task given the media element to＼

       手続きは ⇒ `~eventを発火する$( %要素, `timeupdate$et ) ◎ fire an event named timeupdate at the media element.
   12. `時列線~offset$ ~SET `NaN^jv ◎ Set the timeline offset to Not-a-Number (NaN).

   13. %要素 の `duration$mM 属性 ~SET `NaN^jv ◎ Update the duration attribute to Not-a-Number (NaN).

       注記： ~UAは、 この段による時間長の変化に対しては， `durationchange$et ~eventを`発火しない＠#durationChange$ことになる。 ◎ The user agent will not fire a durationchange event for this particular change of the duration.

8. %要素 の `playbackRate$mM 属性 ~SET %要素 の `defaultPlaybackRate$mM 属性の値 ◎ Set the playbackRate attribute to the value of the defaultPlaybackRate attribute.
9. %要素 の `error$mM 属性 ~SET ~NULL ◎ Set the error attribute to null＼
10. %要素 の `自動再生~可能か$ ~SET ~T ◎ and the can autoplay flag to true.

11. %要素 の`資源~選定~algo$を呼出す ◎ Invoke the media element's resource selection algorithm.

    注記： 以前に %要素 用に再生していた`~media資源$があれば，この時点で停止する。 ◎ Playback of any previously playing media resource for this element stops.

1. %要素 の `networkState$mM 属性 ~SET `NETWORK_NO_SOURCE$mM ◎ Set the element's networkState attribute to the NETWORK_NO_SOURCE value.
2. %要素 の`~posterを示すか$ ~SET ~T ◎ Set the element's show poster flag to true.
3. %要素 の`~load~event遅延-中か$ ~SET ~T ◎ Set the media element's delaying-the-load-event flag to true (this delays the load event).

4. 以降の記号 ⌛ が付与された段を`同期区間$として、 `安定~状態を待受ける$： ◎ Await a stable state, allowing the task that invoked this algorithm to continue. The synchronous section consists of all the remaining steps of this algorithm until the algorithm says the synchronous section has ended. (Steps in synchronous sections are marked with ⌛.)

   1. ⌛ ~IF［ %要素 の`構文解析器にて阻まれているか$ ~EQ ~F ］ ⇒ `処理待ち~tT~listを拡充する$ ◎ ⌛ If the media element's blocked-on-parser flag is false, then populate the list of pending text tracks.
   2. ⌛ %GOTO~label ~LET ε ◎ ↓
   3. ⌛ ~IF［ %要素 に`アテガわれている~media提供元~obj$ ~NEQ ε ］ ⇒ %GOTO~label ~SET `~obj^i ◎ ⌛ If the media element has an assigned media provider object, then let mode be object.
   4. ⌛ ~ELIF［ %要素 は `src$aM 属性を有する ］ ⇒ %GOTO~label ~SET `属性^i ◎ ⌛ Otherwise, if the media element has no assigned media provider object but has a src attribute, then let mode be attribute.
   5. ⌛ ~ELIF［ %要素 の子である `source$e 要素はある ］ ⇒ %GOTO~label ~SET `子たち^i ◎ ⌛ Otherwise, if the media element does not have an assigned media provider object and does not have a src attribute, but does have a source element child, then let mode be children and let candidate be the first such source element child in tree order.

   6. ⌛ ~ELSE： ◎ ⌛ Otherwise the media element has no assigned media provider object and has neither a src attribute nor a source element child:

      1. %要素 の `networkState$mM ~SET `NETWORK_EMPTY$mM ◎ ⌛ Set the networkState to NETWORK_EMPTY.
      2. %要素 の`~load~event遅延-中か$ ~SET ~F ◎ ⌛ Set the element's delaying-the-load-event flag to false. This stops delaying the load event.
      3. 以降は `並列的$に継続する ◎ End the synchronous section＼
      4. ~RET ◎ and return.
   7. ⌛ %要素 の`networkState$mM ~SET `NETWORK_LOADING$mM ◎ ⌛ Set the media element's networkState to NETWORK_LOADING.

   8. ⌛ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ ⌛ Queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `loadstart$et ) ◎ fire an event named loadstart at the media element.
   9. ⌛ ~GOTO %GOTO~label ◎ Run the appropriate steps from the following list:

5. `~obj^i： ◎ If mode is object

   1. ⌛ %要素 の `currentSrc$mM 属性 ~SET 空~文字列 ◎ ⌛ Set the currentSrc attribute to the empty string.
   2. 以降は `並列的$に継続する ◎ End the synchronous section, continuing the remaining steps in parallel.
   3. `~media資源~fetch~algo$( %要素, %要素 に`アテガわれている~media提供元~obj$ ) ◎ Run the resource fetch algorithm with the assigned media provider object. If that algorithm returns without aborting this one, then the load failed.
   4. ~GOTO `失敗^i ◎ ↓↓Failed with media provider: Reaching this step indicates that the media resource failed to load. Take pending play promises and queue a media element task given the media element to run the dedicated media source failure steps with the result. ◎ Wait for the task queued by the previous step to have executed. ◎ Return. The element won't attempt to load another resource until this algorithm is triggered again.

6. `属性^i： ◎ If mode is attribute

   1. ⌛ %~URL ~LET `失敗^i ◎ ↓
   2. ⌛ %src ~LET %要素 の `src$aM 属性の値 ◎ ↓

   3. ⌛ ~IF［ %src ~NEQ 空~文字列 ］ ⇒ %~URL ~SET %要素 の `src$aM 属性が最後に変化した時点において，次を遂行したとするときの結果† ⇒ `~URLを符号化法の下で相対的に構文解析する$( %src, %要素 の`~node文書$ )

      【† すなわち、 変化した後における `base$e 要素に対する変更は影響しない。 】

      ◎ ⌛ If the src attribute's value is the empty string, then end the synchronous section, and jump down to the failed with attribute step below. ◎ ⌛ Let urlRecord be the result of encoding-parsing a URL given the src attribute's value, relative to the media element's node document when the src attribute was last changed.
   4. ⌛ ~IF［ %~URL ~NEQ `失敗^i ］ ⇒ %要素 の `currentSrc$mM 属性 ~SET `~URLを直列化する$( %~URL ) ◎ ⌛ If urlRecord is not failure, then set the currentSrc attribute to the result of applying the URL serializer to urlRecord.
   5. 以降は `並列的$に継続する ◎ End the synchronous section, continuing the remaining steps in parallel.
   6. ~IF［ %~URL ~NEQ `失敗^i ］ ⇒ `~media資源~fetch~algo$( %要素, %~URL ) ◎ If urlRecord is not failure, then run the resource fetch algorithm with urlRecord.＼
   7. ~GOTO `失敗^i ◎ If that algorithm returns without aborting this one, then the load failed. ◎ ↓

7. `失敗^i ： ◎ Failed with attribute:＼

   1. ~Assert： この`資源~選定~algo$は`中止-$されていない （~media資源の読込nに失敗したか，`~media資源~fetch~algo$は呼出されなかった） ◎ Reaching this step indicates that the media resource failed to load or that urlRecord is failure.＼
   2. %~promise~list ~LET %要素 の`再生待ち~promiseたちを取り出す$ ◎ Take pending play promises and＼

   3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

      手続きは ⇒ `専用の~media~source失敗~手続き$( %要素, %~promise~list) ◎ run the dedicated media source failure steps with the result.
   4. 前~段により~queueされた`~task$が実行し終えるまで待機する ◎ Wait for the task queued by the previous step to have executed.
   5. ~RET — %要素 は、 この~algoが再び誘発されるまで，別の資源を読込もうと試みないことになる。 ◎ Return. The element won't attempt to load another resource until this algorithm is triggered again.

8. `子たち^i： ◎ Otherwise (mode is children)

   1. ⌛ %~pointer ~LET ~NULL （ “仮想の先頭” を表す） — この~pointerは：

      • ~NULL でないときは、 %要素 のある子~nodeを保持する。
      • この手続きが走っている間に %~pointer （ ~NEQ ~NULL ）が %要素 の子でなくなったときは、 %~pointer は，子でなくなる直前における %~pointer の`直前の同胞？$に更新されるとする （ ~NULL にもなり得る）。
      • 以下における， %~pointer の `直後の同胞^i は、［ %~pointer ~NEQ ~NULL ならば %~pointer の`直後の同胞？$ ／ ~ELSE_ %要素 の`最初の子？$ ］を指すとする（ ~NULL にもなり得る）。

      • 以下において， “次の候補を得る” と記された所では、 次の手続きを走らせた結果に評価されるとする：

        1. ~WHILE［ %~pointer の`直後の同胞^i ~NEQ ~NULL ］：

           1. %~pointer ~SET %~pointer の`直後の同胞^i
           2. ~IF［ %~pointer は `source$e 要素である ］ ⇒ ~RET %~pointer
        2. ~RET ε
      ◎ ⌛ Let pointer be a position defined by two adjacent nodes in the media element's child list, treating the start of the list (before the first child in the list, if any) and end of the list (after the last child in the list, if any) as nodes in their own right. One node is the node before pointer, and the other node is the node after pointer. Initially, let pointer be the position between the candidate node and the next node, if there are any, or the end of the list, if it is the last node. ◎ As nodes are inserted and removed into the media element, pointer must be updated as follows: ◎ If a new node is inserted between the two nodes that define pointer ◎ • Let pointer be the point between the node before pointer and the new node. In other words, insertions at pointer go after pointer. ◎ If the node before pointer is removed • Let pointer be the point between the node after pointer and the node before the node after pointer. In other words, pointer doesn't move relative to the remaining nodes. ◎ If the node after pointer is removed • Let pointer be the point between the node before pointer and the node after the node before pointer. Just as with the previous case, pointer doesn't move relative to the remaining nodes. ◎ Other changes don't affect pointer.
   2. ⌛ %候補 ~LET 次の候補を得る ◎ ↑↑

   3. ⌛ `候補を処理する^i ⇒ %~URL ~LET 次の手続きを走らせた結果

      手続きは：

      1. %src ~LET ［ %候補 は `src$aM 属性を有するならば その値 ／ ~ELSE_ ε ］
      2. ~IF［ %src ~IN { ε, 空~文字列 } ］ ⇒ ~RET `失敗^i
      3. ~IF［ %候補 は `media$aS 属性を有する ］~AND［ その値は`環境に合致して$いない ］ ⇒ ~RET `失敗^i
      4. ~IF［ %候補 は `type$aS 属性を有する ］~AND［ その値を`~MIME型$として（ ~codecs ~parameterがあれば，それも織り込んだ上で）構文解析した結果は，`~UAが具現化できないと知る型$を表現する ］ ⇒ ~RET `失敗^i

      5. ~RET %要素 の `src$aM 属性が最後に変化した時点において，次を遂行したとするときの結果† ⇒ `~URLを符号化法の下で相対的に構文解析する$( %src, %候補 の`~node文書$ )

         【† すなわち、 変化した後における `base$e 要素に対する変更は影響しない。 】

      ◎ ⌛ Process candidate: If candidate does not have a src attribute, or if its src attribute's value is the empty string, then end the synchronous section, and jump down to the failed with elements step below. ◎ ⌛ If candidate has a media attribute whose value does not match the environment, then end the synchronous section, and jump down to the failed with elements step below. ◎ ⌛ Let urlRecord be the result of encoding-parsing a URL given candidate's src attribute's value, relative to candidate's node document when the src attribute was last changed. ◎ ⌛ If urlRecord is failure, then end the synchronous section, and jump down to the failed with elements step below. ◎ ⌛ If candidate has a type attribute whose value, when parsed as a MIME type (including any codecs described by the codecs parameter, for types that define that parameter), represents a type that the user agent knows it cannot render, then end the synchronous section, and jump down to the failed with elements step below.
   4. ⌛ ~IF［ %~URL ~NEQ `失敗^i ］ ⇒ %要素 の `currentSrc$mM 属性 ~SET `~URLを直列化する$( %~URL ) ◎ ⌛ Set the currentSrc attribute to the result of applying the URL serializer to urlRecord.
   5. 以降は `並列的$に継続する ◎ End the synchronous section, continuing the remaining steps in parallel.

   6. ~IF［ %~URL ~NEQ `失敗^i ］：

      1. `~media資源~fetch~algo$( %要素, %~URL )
      2. ~Assert：この`資源~選定~algo$は`中止-$されていない
      ◎ Run the resource fetch algorithm with urlRecord. If that algorithm returns without aborting this one, then the load failed.

   7. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Failed with elements: Queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %候補, `~errorS$et ) ◎ fire an event named error at candidate.
   8. 以降を`同期区間$として，`安定~状態を待受ける$ ◎ Await a stable state. The synchronous section consists of all the remaining steps of this algorithm until the algorithm says the synchronous section has ended. (Steps in synchronous sections are marked with ⌛.)
   9. ⌛ `~media資源に特有な~trackを忘れる$( %要素 ) ◎ ⌛ Forget the media element's media-resource-specific tracks.
   10. ⌛ `次の候補を見出す^i ⇒ %候補 ~SET 次の候補を得る ◎ ⌛ Find next candidate: Let candidate be null. ◎ ⌛ Search loop: If the node after pointer is the end of the list, then jump to the waiting step below. ◎ ⌛ If the node after pointer is a source element, let candidate be that element. ◎ ⌛ Advance pointer so that the node before pointer is now the node that was after pointer, and the node after pointer is the node after the node that used to be after pointer, if any. ◎ ⌛ If candidate is null, jump back to the search loop step. Otherwise, jump back to the process candidate step.
   11. ⌛ ~IF［ %候補 ~NEQ ε ］ ⇒ ~GOTO `候補を処理する^i ◎ ↑
   12. ⌛ %要素 の`networkState$mM 属性 ~SET `NETWORK_NO_SOURCE$mM ◎ ⌛ Waiting: Set the element's networkState attribute to the NETWORK_NO_SOURCE value.
   13. ⌛ %要素 の`~posterを示すか$ ~SET ~T ◎ ⌛ Set the element's show poster flag to true.

   14. ⌛ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ ⌛ Queue a media element task given the media element to＼

       手続きは ⇒ %要素 の`~load~event遅延-中か$ ~SET ~F ◎ set the element's delaying-the-load-event flag to false. This stops delaying the load event.
   15. 以降は `並列的$に継続する ◎ End the synchronous section, continuing the remaining steps in parallel.
   16. ［ %~pointer の`直後の同胞^i ~NEQ ~NULL ］になるまで待機する （この段は永遠に待機するかもしれない） ◎ Wait until the node after pointer is a node other than the end of the list. (This step might wait forever.)
   17. 以降を`同期区間$として，`安定~状態を待受ける$ ◎ Await a stable state. The synchronous section consists of all the remaining steps of this algorithm until the algorithm says the synchronous section has ended. (Steps in synchronous sections are marked with ⌛.)
   18. ⌛ %要素 の`~load~event遅延-中か$ ~SET ~T ◎ ⌛ Set the element's delaying-the-load-event flag back to true (this delays the load event again, in case it hasn't been fired yet).
   19. ⌛ `networkState$mM ~SET `NETWORK_LOADING$mM ◎ ⌛ Set the networkState back to NETWORK_LOADING.
   20. ⌛ ~GOTO `次の候補を見出す^i ◎ ⌛ Jump back to the find next candidate step above.

`専用の~media~source失敗~手続き@ は、 所与の ( `~media要素$ %要素, ~promise~list %~promise~list ) に対し，次を走らす： ◎ The dedicated media source failure steps with a list of promises promises are the following steps:

1. %要素 の `error$mM 属性 ~SET `新たな~MediaError$( `MEDIA_ERR_SRC_NOT_SUPPORTED$mE ) ◎ Set the error attribute to the result of creating a MediaError with MEDIA_ERR_SRC_NOT_SUPPORTED.
2. `~media資源に特有な~trackを忘れる$( %要素 ) ◎ Forget the media element's media-resource-specific tracks.
3. %要素 の `networkState$mM 属性 ~SET `NETWORK_NO_SOURCE$mM ◎ Set the element's networkState attribute to the NETWORK_NO_SOURCE value.
4. %要素 の`~posterを示すか$ ~SET ~T ◎ Set the element's show poster flag to true.
5. `~eventを発火する$( %要素, `~errorM$et ) ◎ Fire an event named error at the media element.
6. `再生待ち~promiseたちを却下する$( %~promise~list, `NotSupportedError$E 例外 ) ◎ Reject pending play promises with promises and a "NotSupportedError" DOMException.
7. %要素 の`~load~event遅延-中か$ ~SET ~F ◎ Set the element's delaying-the-load-event flag to false. This stops delaying the load event.

`~media資源を検証yする@ ときは、 所与の ( `応答$ %応答, `~media資源$ %資源, %~byte範囲 ) に対し： ◎ To verify a media response given a response response, a media resource resource,＼

1. ~Assert： %~byte範囲 は、 次に挙げるいずれかである ⇒＃ `資源~全体^i ／ ( 数, 数 ) からなる~tuple ／ ( 数, `終端まで^i ) からなる~tuple ◎ and "entire resource" or a (number, number or "until end") tuple byteRange:
2. ~IF［ %応答 は`~network~error$である ］ ⇒ ~RET ~F ◎ If response is a network error, then return false.
3. ~IF［ %~byte範囲 ~EQ `資源~全体^i ］ ⇒ ~RET ~T ◎ If byteRange is "entire resource", then return true.
4. %内部~応答 ~LET %応答 の`安全でない応答$ ◎ Let internalResponse be response's unsafe response.
5. ~IF［ %内部~応答 の`状態s$rs ~EQ `200^hst ］ ⇒ ~RET ~T ◎ If internalResponse's status is 200, then return true.
6. ~IF［ %内部~応答 の`状態s$rs ~NEQ `206^hst ］ ⇒ ~RET ~F ◎ If internalResponse's status is not 206, then return false.

7. ~IF［ %内部~応答 から`内容~範囲~値を抽出-$した結果 ~EQ `失敗^i ］ ⇒ ~RET ~F ◎ If the result of extracting content-range values from internalResponse is failure, then return false.

   注記： 抽出された結果は利用されず、 特に， %~byte範囲 とは比較されないことに注意。 なので、 この段は， `Content-Range$h ~headerの構文上の検証としてしか~serveしない — ［ 応答の `Content-Range$h 値, 要請の `Range$h 値 ］による範囲が合致しない場合でも，失敗とは見なされない。 ◎ Note that the extracted values are not used, and in particular are not compared to byteRange. So this step serves as syntactic validation of the `Content-Range` header, but if the `Content-Range` values on the response mismatch the `Range` values on the request, that is not considered a failure.

8. %生成元 ~LET %内部~応答 の`~URL$rsに応じて ⇒＃ ~NULL ならば `rewritten^l ／ ~ELSE_ ~URLの`生成元$url ◎ Let origin be "rewritten" if internalResponse's URL is null; otherwise internalResponse's URL's origin.
9. %前回の生成元 ~LET %資源 の`生成元$mR ◎ Let previousOrigin be resource's origin.

10. ~IF［ ~OR↓ ］… ◎ If any of the following are true:

    • %前回の生成元 ~EQ `none^l ◎ previousOrigin is "none";
    • %生成元 ~EQ %前回の生成元 ~EQ `rewritten^l ◎ origin and previousOrigin are "rewritten"; or
    • ［ %生成元, %前回の生成元 は どちらも`生成元$である ］~AND［ ( %生成元, %前回の生成元 ) は`同一-生成元$である ］ ◎ origin and previousOrigin are origins, and origin is same origin with previousOrigin,

    …ならば ⇒ %資源 の`生成元$mR ~SET %生成元 ◎ then set resource's origin to origin.

11. ~ELIF［ %応答 は`~CORS非同一-生成元$である ］ ⇒ ~RET ~F ◎ Otherwise, if response is CORS-cross-origin, then return false.

12. ~ELSE ⇒ %資源 の`生成元$mR ~SET `multiple^l ◎ Otherwise, set resource's origin to "multiple".

    注記： 上の ~IF 節を成す各~段は、 範囲~headerを伴う不透明な応答が［ 異なる生成元からの他の応答と一緒に接ぎ合されても，情報は漏洩されない ］ことを確保する。 ◎ This ensures that opaque responses with range headers do not leak information by being patched together with other responses from different origins.

13. ~RET ~T ◎ Return true.

`~media資源~fetch~algo@ は、 所与の ( `~media要素$ %要素, ［ `~URL$ ／ `~media提供元~obj$ ］ %入力 ) に対し，次を走らす： ◎ The resource fetch algorithm for a media element and a given URL record or media provider object is as follows:

1. ( %~URL, %~media提供元~obj, %現~media資源 ) ~LET ( ε, ~NULL, ε ) ◎ ↓

2. %入力 に応じて：

   • `~media提供元~obj$である ⇒ %~media提供元~obj ~SET %入力

   • `~URL$である：

     1. %~URL ~SET %入力
     2. %~media提供元~obj ~SET %~URL の`~blob~URL~entry$url
     3. ~IF［ %~media提供元~obj は`~media提供元~obj$でない ］ ⇒＃ %~media提供元~obj ~SET ~NULL； %現~media資源 ~SET %~URL から得られることになる資源
   ◎ If the algorithm was invoked with media provider object or a URL record whose blob URL entry is a blob URL entry whose object is a media provider object, then let mode be local. Otherwise let mode be remote. ◎ If mode is remote, then let the current media resource be the resource given by the URL record passed to this algorithm;＼
3. ~IF［ %~media提供元~obj ~NEQ ~NULL ］ ⇒ %現~media資源 ~SET %~media提供元~obj が与える資源 ◎ otherwise, let the current media resource be the resource given by the media provider object.＼
4. %要素 の`~media資源$ ~SET %現~media資源 ◎ Either way, the current media resource is now the element's media resource.
5. %要素 の`処理待ち~tT~list$から `~media資源に特有な~tT$をすべて除去する ◎ Remove all media-resource-specific text tracks from the media element's list of pending text tracks, if any.

6. ~IF［ %~media提供元~obj ~EQ ~NULL ］： ◎ Run the appropriate steps from the following list: ◎ If mode is remote

   1. 任意選択で、 次の手続きを走らす — これは［ 利用者から明示的に要請されるまで，~UAは資源を~fetchしようと試みない ］ことを意図する場合に期待される挙動になる （例： `preload$aM 属性の `none$v ~keywordを実装する仕方として）： ◎ Optionally, run the following substeps. This is the expected behavior if the user agent intends to not attempt to fetch the resource until the user requests it explicitly (e.g. as a way to implement the preload attribute's none keyword).

      1. %要素 の `networkState$mM ~SET `NETWORK_IDLE$mM ◎ Set the networkState to NETWORK_IDLE.

      2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `suspend$et ) ◎ fire an event named suspend at the element.

      3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

         手続きは ⇒ %要素 の`~load~event遅延-中か$ ~SET ~F ◎ set the element's delaying-the-load-event flag to false. This stops delaying the load event.
      4. 前~段の~taskが走るまで待機する ◎ Wait for the task to be run.
      5. `実装定義$な~eventを待機する （例：利用者は %要素 の再生を始めるよう要請している。） ◎ Wait for an implementation-defined event (e.g., the user requesting that the media element begin playback).
      6. %要素 の`~load~event遅延-中か$ ~SET ~T ◎ Set the element's delaying-the-load-event flag back to true (this delays the load event again, in case it hasn't been fired yet).
      7. %要素 の `networkState$mM ~SET `NETWORK_LOADING$mM ◎ Set the networkState to NETWORK_LOADING.
   2. %行先 ~LET %要素 に応じて ⇒＃ `audio$e 要素であるならば `audio^l ／ `video$e 要素であるならば `video^l ◎ Let destination be "audio" if the media element is an audio element, or "video" otherwise.
   3. %要請 ~LET `~CORSになり得る要請を作成する$( %~URL, %行先, %要素 の`crossorigin$aM【！#attr-script-crossorigin】 内容~属性の現在の状態 ) ◎ Let request be the result of creating a potential-CORS request given current media resource's URL record, destination, and the current state of media element's crossorigin content attribute.
   4. %要請 の ⇒＃ `~client$rq ~SET %要素 の`~node文書$に`関連な設定群~obj$, `起動元~種別$rq ~SET %行先 ◎ Set request's client to the media element's node document's relevant settings object. ◎ Set request's initiator type to destination.

   5. %~byte範囲 ~LET ［ `~media~data$内の欠落~data ］を満足するために要求される~byte範囲 — 次に挙げるいずれかの値をとる：

      • `資源~全体^i ⇒ 当の資源を全部的に~fetchする。
      • ~tuple ( 数, `終端まで^i ) ⇒ ある~byte~offsetから終端までを~fetchする。
      • ~tuple ( 数, 数 ) ⇒ 2 つの~byte~offsetの合間を成す範囲を~fetchする。

      どれをとるかは`実装定義$であり，［ ~codec／~network条件／他の経験則 ］に依拠し得るが、 ~UAは，上に挙げた どれを行うものと決定してもヨイ。

      ◎ Let byteRange, which is "entire resource" or a (number, number or "until end") tuple, be the byte range required to satisfy missing data in media data. This value is implementation-defined and may rely on codec, network conditions or other heuristics. The user-agent may determine to fetch the resource in full, in which case byteRange would be "entire resource", to fetch from a byte offset until the end, in which case byteRange would be (number, "until end"), or to fetch a range between two byte offsets, im which case byteRange would be a (number, number) tuple representing the two offsets.

   6. ~IF［ %~byte範囲 ~NEQ `資源~全体^i ］： ◎ If byteRange is not "entire resource", then:

      1. ~IF［ %~byte範囲[ 1 ] ~EQ `終端まで^i ］ ⇒ `範囲~headerを追加する$( %要請, %~byte範囲[ 0 ] ) ◎ If byteRange[1] is "until end" then add a range header to request given byteRange[0].
      2. ~ELSE ⇒ `範囲~headerを追加する$( %要請, %~byte範囲[ 0 ], %~byte範囲[ 1 ] ) ◎ Otherwise, add a range header to request given byteRange[0] and byteRange[1].

   7. %要請 を`~fetchする$ — 次を与える下で： ◎ Fetch request, with＼

      • `応答の処理n$i ~SET 所与の ( `応答$ %応答 ) に対し，次を走らす手続き： ◎ processResponse set to the following steps given response response:

        1. %大域~obj ~LET %要素 の`~node文書$に`関連な大域~obj$ ◎ Let global be the media element's node document's relevant global object.

        2. %~mediaを更新する ~LET 次を走らす手続き ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Let updateMedia be to queue a media element task given the media element to＼

           手続きは ⇒ 下に与える`~media~data処理~手続き~list$を走らす ◎ run the first appropriate steps from the media data processing steps list below.＼

           （このためには、 新たな~taskが利用される — 下に述べる作業が、 `~network用~task~source$を利用せずに， 適切な`~media要素~event~task~source$から生じるようにするため。） ◎ (A new task is used for this so that the work described below occurs relative to the appropriate media element event task source rather than using the networking task source.)

        3. %~media終了~時の処理n ~LET 次を走らす手続き： ◎ Let processEndOfMedia be the following step:＼

           1. ~IF［ 当の~fetchingは — ~media~dataの復号-時も含めて — ~errorを伴わずに完了した ］~AND［ すべての~dataは、 ~network~accessを伴わずに~UAに可用である ］ ⇒ この`資源~選定~algo$を`中止-$する 【！move on to the final step below】 ◎ If the fetching process has completes without errors, including decoding the media data, and if all of the data is available to the user agent without network access, then, the user agent must move on to the final step below.＼

              これは、 決して起こらないかもしれない — 例 ⇒＃ ~web~radioなどの無限な資源を~streamしているとき ／ 資源は ~UAが~dataを~cacheする能より長い場合 ◎ This might never happen, e.g. when streaming an infinite resource such as web radio, or if the resource is longer than the user agent's ability to cache data.

        4. ~IF［ `~media資源を検証yする$( %応答, %現在の~media資源, %~byte範囲 ) の結果 ~EQ ~F ］ ⇒ ~RET ◎ If the result of verifying response given the current media resource and byteRange is false, then abort these steps.
        5. 【！~ELSE】 `本体を増分的に読取る$( ↓ ) ⇒＃ %応答 の`本体$rs, %~mediaを更新する, %~media終了~時の処理n, 何もしない~algo, %大域~obj ◎ Otherwise, incrementally read response's body given updateMedia, processEndOfMedia, an empty algorithm, and global.

        6. この流儀で得された %応答 の`安全でない応答$の内容で`~media~data$を更新する。 ◎ Update the media data with the contents of response's unsafe response obtained in this fashion.＼

           %応答 は、［ `~CORS同一-生成元$, `~CORS非同一-生成元$ ］どちらにもなり得る — それに応じて、 次に影響する： ◎ response can be CORS-same-origin or CORS-cross-origin; this affects＼

           • `~media~data$内で参照された字幕は~APIに公開されるかどうか。 ◎ whether subtitles referenced in the media data are exposed in the API and,＼
           • `video$e 要素に対しては、 当の動画が `canvas$e 上に描かれるとき，その `canvas^e は~taintedになるかどうか。 ◎ for video elements, whether acanvas gets tainted when the video is drawn on it.

      `~media要素の停滞-制限時間@ は、 `実装定義$な長さの時間であり，およそ 3 秒にするベキである。 ◎ The media element stall timeout is an implementation-defined length of time, which should be about three seconds.＼

      所与の時点で %要素 が`~media~data$を得しようと能動的に試みていて，その時点からこの制限時間~内に~dataを受信するのに失敗した場合、 次を行うモノトスル ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ When a media element that is actively attempting to obtain media data has failed to receive any data for a duration equal to the media element stall timeout, the user agent must queue a media element task given the media element＼

      手続きは： ◎ to:

      1. `~eventを発火する$( %要素, `stalled$et ) ◎ fire an event named stalled at the element.
      2. %要素 の`現在~停滞-中か$ ~SET ~T ◎ Set the element's is currently stalled to true.

      ~UAは、 利用者が`~media~data$の~downloadを［ 選択的に阻む／低速にする ］ことを許容してヨイ： ◎ User agents may allow users to selectively block or slow media data downloads.＼

      • %要素 の~downloadがまるごと阻まれたときは ⇒ ~UAは，それが停滞したかのように動作するモノトスル （接続が~closeされたかのように動作するのではなく）。 ◎ When a media element's download has been blocked altogether, the user agent must act as if it was stalled (as opposed to acting as if the connection was closed).＼
      • ~UAは、 ~downloadの~rateを自動的に減速してもヨイ — 例えば、 同じ帯域幅を共有している他の接続との兼ね合いで。 ◎ The rate of the download may also be throttled automatically by the user agent, e.g. to balance the download with other connections sharing the same bandwidth.

      ~UAは、 いつでも，資源の~downloadを休止するものと裁定してヨイ — 例えば，次のいずれかに該当するときなど： ◎ User agents may decide to not download more content at any time, e.g.＼

      • 1 ~~時間の~media資源を 5 分だけ~bufferした後，利用者が資源を再生するかどうか裁定するのを待機している間 【下の注記も見よ】 ◎ after buffering five minutes of a one hour media resource, while waiting for the user to decide whether to play the resource or not,＼
      • 対話的な資源に対し，利用者が入力するまで待機している間 ◎ while waiting for user input in an interactive resource, or＼
      • 利用者が~pageから~navigateして離れたとき ◎ when the user navigates away from the page.＼

      資源の~downloadを休止する場合、 ~UAは，次に従うモノトスル： ◎ ＼

      • 休止-時には ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ When a media element's download has been suspended, the user agent must queue a media element task given the media element to＼

        手続きは：

        1. %要素 の `networkState$mM 属性 ~SET `NETWORK_IDLE$mM
        2. `~eventを発火する$( %要素, `suspend$et )

        ◎ set the networkState to NETWORK_IDLE and fire an event named suspend at the element.＼

      • 再開-時には ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ If and when downloading of the resource resumes, the user agent must queue a media element task given the media element to＼

        手続きは ⇒ %要素 の `networkState$mM 属性 ~SET `NETWORK_LOADING$mM ◎ set the networkState to NETWORK_LOADING.＼

      休止してから再開するまでの間（これらの~taskを~queueする合間）は、 読込nは休止される （なので、 上で述べたとおり， `progress$et ~eventは発火されない）。 ◎ Between the queuing of these tasks, the load is suspended (so progress events don't fire, as described above).

      注記： `autoplay$aM 属性が無い下でも、 `preload$aM 属性は，~buffer量に関して作者が~~適切と~~考えている~hintを供する。 ◎ The preload attribute provides a hint regarding how much buffering the author thinks is advisable, even in the absence of the autoplay attribute.

      ~UAは、 ~downloadを完全に休止するものと裁定した場合は — 例えば、 利用者から再生を開始するよう指示されるまで，以降の内容は~downloadせずに待機する場合 — 次を行うモノトスル ⇒ `~media~taskを~queueする$( %要素, 次の手続き )

      手続きは ⇒ %要素 の`~load~event遅延-中か$ ~SET ~F

      ◎ When a user agent decides to completely suspend a download, e.g., if it is waiting until the user starts playback before downloading any further content, the user agent must queue a media element task given the media element to set the element's delaying-the-load-event flag to false. This stops delaying the load event.

      上の手続きは，要請を発行するための~algoを与えるが、 ~UAは — とりわけ、 ~error条件に面したときには — ここに与える拘束に従う下で【！besides those exact ones】，他の手段を利用してもヨイ。 例えば、 ~serverへ接続し直しても，~streaming~protocolに切替えてもヨイ。 ~UAが［ 資源を~error含みと見なして，上の手続きの~error分岐の中へ続行する ］のは、 当の資源を~fetchしようと試行するのをあきらめた場合に限るモノトスル。 ◎ Although the above steps give an algorithm for issuing requests, the user agent may use other means besides those exact ones, especially in the face of error conditions. For example, the user agent may reconnect to the server or switch to a streaming protocol. The user agent must only consider the resource erroneous, and proceed into the error branches of the above steps, if the user agent has given up trying to fetch the resource.

      `~media資源$の形式を決定するときは、 ~UAは，`音声や動画を特定的に~sniffするための規則$を利用するモノトスル。 ◎ To determine the format of the media resource, the user agent must use the rules for sniffing audio and video specifically.

      読込nが休止されていない間は（下を見よ）、 ~UAは ⇒ ［ 毎 350ms （±200ms）ごと ／ ~byteが受信される度 ］のうち，`低頻度^emの方で ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ While the load is not suspended (see below), every 350ms (±200ms) or for every byte received, whichever is least frequent, queue a media element task given the media element＼

      手続きは： ◎ to:

      1. `~eventを発火する$( 要素, `progress$et ) ◎ fire an event named progress at the element.
      2. %要素 の`現在~停滞-中か$ ~SET ~F ◎ Set the element's is currently stalled to false.

      ~UAは、［ `~media資源$の ある部分を得するためには，依然として~networkに~accessする必要があり得る間 ］は，この段に留まり続けるモノトスル。 ◎ While the user agent might still need network access to obtain parts of the media resource, the user agent must remain on this step.

      例えば，~UAは、 動画の前半を破棄した場合は，この段に留まり続けることになる — `再生は終止して$いるとしても、 利用者には始端へ~seekして戻る機会cが常にあるので。 事実，この状況において`再生は終止して$いるときは、 先に述べたように，~UAは `suspend$et ~eventを発火することになる。 ◎ For example, if the user agent has discarded the first half of a video, the user agent will remain at this step even once the playback has ended, because there is always the chance the user will seek back to the start. In fact, in this situation, once playback has ended, the user agent will end up firing a suspend event, as described earlier.

7. ~ELSE （ %~media提供元~obj ~NEQ ~NULL ）： ◎ Otherwise (mode is local)

   • %現~media資源 により述べられる資源があれば，それが`~media~data$を包含する。 それは`~CORS同一-生成元$である。 ◎ The resource described by the current media resource, if any, contains the media data. It is CORS-same-origin.

   • ~UAは、 `~media資源$の形式を次に従って決定するモノトスル：

     • %現~media資源 が生の~data~streamである場合 （例： `File$I ~objからの） ⇒ `音声や動画を特定的に~sniffするための規則$を利用する
     • 他の場合（~data~streamは予め復号-済みである） ⇒ 形式は、 関連な仕様により与えられるそれとする
     ◎ If the current media resource is a raw data stream (e.g. from a File object), then to determine the format of the media resource, the user agent must use the rules for sniffing audio and video specifically. Otherwise, if the data stream is pre-decoded, then the format is the format given by the relevant specification.

   • %現~media資源 用に新たな~dataが可用になる度に ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Whenever new data for the current media resource becomes available, queue a media element task given the media element to＼

     手続きは ⇒ `~media~data処理~手続き~list$() ◎ run the first appropriate steps from the media data processing steps list below.

   • %現~media資源 は永続的に尽きた時点で （例： `Blob$I のすべての~byteは処理-済みになった）： ◎ When the current media resource is permanently exhausted (e.g. all the bytes of a Blob have been processed),＼

     1. ~IF［ 復号-時に~errorは生じていない ］ ⇒ この`資源~選定~algo$を`中止-$する 【！GOTO Final step】 ◎ if there were no decoding errors, then the user agent must move on to the final step below.＼

     これは、 決して起こらないかもしれない — 例えば %現~media資源 は `MediaStream$I である場合。 ◎ This might never happen, e.g. if the current media resource is a MediaStream.

     【 復号-時に~errorが生じた場合の取扱いは、 `~media~data処理~手続き~list$に織り込み済み？ 】

   `~media~data処理~手続き~list@ は、 次に従うモノトスル： ◎ The media data processing steps list is as follows:

   `~media~data$は，~network~errorに因り まったく~fetchできず、 ~UAは資源を~fetchしようと試行するのをあきらめたときは： ◎ If the media data cannot be fetched at all, due to network errors, causing the user agent to give up trying to fetch the resource

   `~media~data$は~fetchできたが、 まったく具現化できないことが~~判明したときは： ◎ If the media data can be fetched but is found by inspection to be in an unsupported format, or can otherwise not be rendered at all

   すなわち、 次のいずれかに該当する場合： ◎ ↓

   • ［ ~UAが %現~media資源 は利用-可能かどうか確立する前 ］に生じた，［ ~DNS~error／ ~HTTP［ `4xx^hst ／ `5xx^hst ］~error（あるいは，他の~protocolにおける等価なもの）／ 他の致命的な~network~error ］ ◎ DNS errors, HTTP 4xx and 5xx errors (and equivalents in other protocols), and other fatal network errors that occur before the user agent has established whether the current media resource is usable,＼
   • ~fileは ~UAが~supportしない容器~形式を利用している ◎ as well as the file using an unsupported container format, or＼
   • すべての~dataは、 ~UAが~supportしない ~codecs ~parameterを利用している ◎ using unsupported codecs for all the data,＼

   次を実行するモノトスル： ◎ must cause the user agent to execute the following steps:

   1. ~fetchingを取消すベキである ◎ The user agent should cancel the fetching process.
   2. この`~media資源~fetch~algo$を終えて、 `資源~選定~algo$へ ~RET する ◎ Abort this subalgorithm, returning to the resource selection algorithm.

   `~media資源$に音声~trackが見出されたときは： ◎ If the media resource is found to have an audio track

   1. %音声~track ~LET その音声~trackを表現する，新たな `AudioTrack$I ~obj ◎ Create an AudioTrack object to represent the audio track.
   2. %~track~list ~LET %要素 の`audioTracks$mM 属性が与える `AudioTrackList$I ~obj ◎ ↓
   3. %~track~list を %音声~track で更新する ◎ Update the media element's audioTracks attribute's AudioTrackList object with the new AudioTrack object.

   4. ~IF［ ~OR↓ ］… ◎ Let enable be unknown.

      • %音声~track は、 次のいずれかに該当する音声~trackである：

        • ［ %現~media資源 ／ %~URL ］が，可能化するよう特に指示している音声~trackたち
        • ~UAが［ 利用者の体験を改善するために，特定の音声~trackの選択を手助けする情報 ］を有している下での，それらの音声~trackたち

        ◎ If either the media resource or the URL of the current media resource indicate a particular set of audio tracks to enable, or if the user agent has information that would facilitate the selection of specific audio tracks to improve the user's experience, then: if this audio track is one of the ones to enable, then set enable to true, otherwise, set enable to false.

        これは，`~media素片の構文$により誘発され得るが、 他にも，例えば［ ~UAが、 ~stereo音声~trackとしてに代えて， 5.1 ~surround音響のそれを選択したとき ］に誘発される。 ◎ This could be triggered by media fragment syntax, but it could also be triggered e.g. by the user agent selecting a 5.1 surround sound audio track over a stereo audio track.

      • %~track~list 内には `可能化されている音声~track$はまだない ◎ If enable is still unknown, then, if the media element does not yet have an enabled audio track, then set enable to true, otherwise, set enable to false.

      …ならば ⇒ %音声~track を可能化する ◎ If enable is true, then enable this audio track, otherwise, do not enable this audio track.

   5. `~eventを発火する$( %~track~list, `addtrack$et, `TrackEvent$I ) — 次のように初期化して ⇒ `track$m 属性 ~SET %音声~track ◎ Fire an event named addtrack at this AudioTrackList object, using TrackEvent, with the track attribute initialized to the new AudioTrack object.

   `~media資源$に動画~trackが見出されたときは： ◎ If the media resource is found to have a video track

   1. %動画~track ~LET その動画~trackを表現する，新たな `VideoTrack$I ~obj ◎ Create a VideoTrack object to represent the video track.
   2. %~track~list ~LET %要素 の`videoTracks$mM 属性が与える `VideoTrackList$I ~obj ◎ ↓
   3. %~track~list を %動画~track で更新する ◎ Update the media element's videoTracks attribute's VideoTrackList object with the new VideoTrack object.

   4. ~IF［ ~OR↓ ］… ◎ Let enable be unknown.

      • %動画~track は、 次のいずれかに該当する動画~trackのうち最初のものである：

        • ［ %現~media資源 ／ %~URL ］が，可能化するよう特に指示している動画~trackたち
        • ~UAが，利用者の体験を改善するために［ 特定の動画~trackの選択を手助けするような情報 ］を有している下での、 それら動画~trackたち

        ◎ If either the media resource or the URL of the current media resource indicate a particular set of video tracks to enable, or if the user agent has information that would facilitate the selection of specific video tracks to improve the user's experience, then: if this video track is the first such video track, then set enable to true, otherwise, set enable to false.

        これもまた`~media素片の構文$により誘発され得る。 ◎ This could again be triggered by media fragment syntax.

      • %~track~list 内には `選択されている動画~track$はまだない ◎ If enable is still unknown, then, if the media element does not yet have a selected video track, then set enable to true, otherwise, set enable to false.

      …ならば： ◎ If enable is true, then＼

      1. ~IF［ すでに選択されている動画~trackはある ］ ⇒ それを未選択にする — この場合、 `change^et ~eventが`発火されることになる＠#toggle-video-track$。 ◎ select this track and unselect any previously selected video tracks, otherwise, do not select this video track. If other tracks are unselected, then a change event will be fired.
      2. %動画~track を選択する ◎ ↑
   5. `~eventを発火する$( %~track~list, `addtrack$et, `TrackEvent$I ) — 次のように初期化して ⇒ `track$m 属性 ~SET %動画~track ◎ Fire an event named addtrack at this VideoTrackList object, using TrackEvent, with the track attribute initialized to the new VideoTrack object.

   `~media資源$の［ 時間長, 寸法, その他の~metadata ］を決定するに十分な`~media~data$が~fetchされたときは： ◎ Once enough of the media data has been fetched to determine the duration of the media resource, its dimensions, and other metadata

   これは、 当の資源が利用-可能であることを指示する。 ◎ This indicates that the resource is usable.＼

   ~UAは、 次に従うモノトスル： ◎ The user agent must follow these substeps:

   1. %~media時列線 ~LET `~media~data$に基づいて，`~media時列線を確立-$した結果の時列線 — ［ `現在の再生~位置$, `アリな最も早い位置$ ］の目的において ◎ Establish the media timeline for the purposes of the current playback position and the earliest possible position, based on the media data.
   2. `時列線~offset$ ~SET `~media資源$は %~media時列線 内の時刻 0 に対応する明示的な時刻＆日付を与えているならば それ ／ ~ELSE_ `NaN^jv ］ ◎ Update the timeline offset to the date and time that corresponds to the zero time in the media timeline established in the previous step, if any. If no explicit time and date is given by the media resource, the timeline offset must be set to Not-a-Number (NaN).
   3. ( `現在の再生~位置$, `公式的な再生~位置$ ) ~SET ( `アリな最も早い位置$, `アリな最も早い位置$ ) ◎ Set the current playback position and the official playback position to the earliest possible position.

   4. %要素 の `duration$mM 属性 ~SET %~media時列線 上の，資源の最後の~frameの時刻が［ 既知ならば それ ／ 既知でなければ正な `Infinity^jv （例： 原則的に無限な~stream） ］ ◎ Update the duration attribute with the time of the last frame of the resource, if known, on the media timeline established above. If it is not known (e.g. a stream that is in principle infinite), update the duration attribute to the value positive Infinity.

      注記： ~UAは、 この時点で，`次を行うことになる＠#durationChange$ ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ⇒ `~eventを発火する$( %要素, `durationchange$et ) ◎ The user agent will queue a media element task given the media element to fire an event named durationchange at the element at this point.

   5. ~IF［ %要素 は `video$e 要素である ］： ◎ For video elements,＼

      1. %要素 の［ `videoWidth$mV, `videoHeight$mV ］属性を設定する ◎ set the videoWidth and videoHeight attributes, and＼

      2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `resize$et ) ◎ fire an event named resize at the media element.

      注記： 寸法が後で変化した場合、 更に `resize$et ~eventが発火されることになる。 ◎ Further resize events will be fired if the dimensions subsequently change.

   6. %要素 の `readyState$mM 属性 ~SET `HAVE_METADATA$mM ◎ Set the readyState attribute to HAVE_METADATA.

      注記： この段で `readyState$mM 属性を設定する一部として、 `loadedmetadata$et ~eventが`発火されることになる＠#fire-loadedmetadata$。 ◎ A loadedmetadata DOM event will be fired as part of setting the readyState attribute to a new value.

   7. %~seek済みか ~LET ~F ◎ Let jumped be false.

   8. ~IF［ %要素 の`既定の再生~開始~位置$ ~GT 0 ］：

      1. `~seekする$( その時刻 )
      2. %~seek済みか ~SET ~T
      ◎ If the media element's default playback start position is greater than zero, then seek to that time, and let jumped be true.
   9. %要素 の`既定の再生~開始~位置$ ~SET 0 ◎ Let the media element's default playback start position be zero.
   10. %初期~再生~位置 ~LET 0 ◎ Let the initial playback position be zero.

   11. ~IF［［ %現~media資源 ／ %~URL ］は、 特定0の開始~時刻 %t を指示している ］： ◎ If either the media resource or the URL of the current media resource indicate a particular start time, then＼

       1. %初期~再生~位置 ~SET %t ◎ set the initial playback position to that time and,＼
       2. ~IF［ %~seek済みか ~EQ ~F ］ ⇒ `~seekする$( %t ) ◎ if jumped is still false, seek to that time.

       例えば，~media形式が`~media素片の構文$を~supportする場合、 `素片$urlを利用して，始端~位置を指示できる。 ◎ For example, with media formats that support media fragment syntax, the fragment can be used to indicate a start position.

   12. ~IF［ `可能化されている音声~track$はまだない ］ ⇒ 音声~track 【どの？】 を可能化する — これは、 `change^et ~eventを`発火させる＠#toggle-audio-track$ことになる。 ◎ If there is no enabled audio track, then enable an audio track. This will cause a change event to be fired.
   13. ~IF［ `選択されている動画~track$はなだない ］ ⇒ 動画~track 【どの？】を選択する — これは、 `change^et ~eventを`発火させる＠#toggle-video-track$ことになる。 ◎ If there is no selected video track, then select a video track. This will cause a change event to be fired.

   %要素 の `readyState$mM 属性 `HAVE_CURRENT_DATA$mM に達したときは、 `loadeddata^et ~eventを`発火した後に＠#fire-loadeddata$ ⇒ %要素 の`~load~event遅延-中か$ ~SET ~F ◎ Once the readyState attribute reaches HAVE_CURRENT_DATA, after the loadeddata event has been fired, set the element's delaying-the-load-event flag to false. This stops delaying the load event.

   注記： 各`~media資源$用の~metadataを依然として~fetchしている間， ~network利用量を抑制しようと試みている~UAは、 `前に述べた規則＠#resourceSuspend$に従って，この時点で~bufferするのも停止することになる — それは、 `networkState$mM 属性を `NETWORK_IDLE$mM 値に切替えて， `suspend$et ~eventの発火することを孕む。 ◎ A user agent that is attempting to reduce network usage while still fetching the metadata for each media resource would also stop buffering at this point, following the rules described previously, which involve the networkState attribute switching to the NETWORK_IDLE value and a suspend event firing.

   注記： ~UAには、 再生する前に，`~media資源$の時間長を決定して この段を遂げることが`要求される^em。 ◎ The user agent is required to determine the duration of the media resource and go through this step before playing.

   `~media資源$全体が~fetchされたときは（復号-前にもなり得る）： ◎ Once the entire media resource has been fetched (but potentially before any of it has been decoded)

   1. `~eventを発火する$( %要素, `progress$et ) ◎ Fire an event named progress at the media element.
   2. %要素 の `networkState$mM ~SET `NETWORK_IDLE$mM
   3. `~eventを発火する$( %要素, `suspend$et ) ◎ Set the networkState to NETWORK_IDLE and fire an event named suspend at the media element.

   ~UAは、 `~media~data$の一部でも破棄して，それを再び得するために~network活動を再開する必要が生じた場合、 次を行うモノトスル ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ If the user agent ever discards any media data and then needs to resume the network activity to obtain it again, then it must queue a media element task given the media element to＼

   手続きは ⇒ %要素 の `networkState$mM ~SET `NETWORK_LOADING$mM ◎ set the networkState to NETWORK_LOADING.

   注記： ~UAが読込んだ`~media資源$を保てる場合、 この~algoは`中止-$されることになる。 ◎ If the user agent can keep the media resource loaded, then the algorithm will continue to its final step below, which aborts the algorithm.

   `~media~data$の一部が受信された後，接続は中断されたため、 ~UAは資源を~fetchしようと試行するのをあきらめたときは： ◎ If the connection is interrupted after some media data has been received, causing the user agent to give up trying to fetch the resource

   すなわち、 %現~media資源 は利用-可能かどうか確立された （すなわち， %要素 の`readyState$mM 属性 ~NEQ `HAVE_NOTHING$mM になった） 後に，致命的な~network~errorが生じた場合。 ◎ Fatal network errors that occur after the user agent has established whether the current media resource is usable (i.e. once the media element's readyState attribute is no longer HAVE_NOTHING)＼

   次を実行するモノトスル： ◎ must cause the user agent to execute the following steps:

   1. ~UAは~fetchingを取消すベキである ◎ The user agent should cancel the fetching process.
   2. %要素 の `error$mM 属性 ~SET `新たな~MediaError$( `MEDIA_ERR_NETWORK$mE ) ◎ Set the error attribute to the result of creating a MediaError with MEDIA_ERR_NETWORK.
   3. %要素 の `networkState$mM 属性 ~SET `NETWORK_IDLE$mM ◎ Set the element's networkState attribute to the NETWORK_IDLE value.
   4. %要素 の`~load~event遅延-中か$ ~SET ~F ◎ Set the element's delaying-the-load-event flag to false. This stops delaying the load event.
   5. `~eventを発火する$( %要素, `~errorM$et ) ◎ Fire an event named error at the media element.
   6. この`資源~選定~algo$を`中止-$する ◎ Abort the overall resource selection algorithm.

   `~media~data$は破損しているときは： ◎ If the media data is corrupted

   すなわち、 ~UAが %現~media資源 は利用-可能かどうか確立した （すなわち， %要素 の`readyState$mM 属性は `HAVE_NOTHING$mM でなくなった） 後に，`~media~data$の復号-時に致命的な~errorが生じた場合。 ◎ Fatal errors in decoding the media data that occur after the user agent has established whether the current media resource is usable (i.e. once the media element's readyState attribute is no longer HAVE_NOTHING)＼

   次を実行するモノトスル： ◎ must cause the user agent to execute the following steps:

   1. ~UAは~fetchingを取消すベキである ◎ The user agent should cancel the fetching process.
   2. %要素 の `error$mM 属性 ~SET `新たな~MediaError$( `MEDIA_ERR_DECODE$mE ) ◎ Set the error attribute to the result of creating a MediaError with MEDIA_ERR_DECODE.
   3. %要素 の `networkState$mM 属性 ~SET `NETWORK_IDLE$mM ◎ Set the element's networkState attribute to the NETWORK_IDLE value.
   4. %要素 の`~load~event遅延-中か$ ~SET ~F ◎ Set the element's delaying-the-load-event flag to false. This stops delaying the load event.
   5. `~eventを発火する$( %要素, `~errorM$et ) ◎ Fire an event named error at the media element.
   6. この`資源~選定~algo$を`中止-$する ◎ Abort the overall resource selection algorithm.

   `~media~data$の~fetchingは 利用者により中止されたときは： ◎ If the media data fetching process is aborted by the user

   利用者により~fetchingが中止される例としては、 利用者が “停止-” ~buttonを押したときが挙げられる。 ◎ The fetching process is aborted by the user, e.g. because the user pressed a "stop" button,＼

   ~UAは、 次の手続きを実行するモノトスル。 この手続きは、［ この手続き 【を走らせている手続き？】 が走っている間に `load()$mM ~method自身が呼出された場合 ］には生じない — 上の手続き【どれ？】がその種の中止-を取扱うので。 ◎ the user agent must execute the following steps. These steps are not followed if the load() method itself is invoked while these steps are running, as the steps above handle that particular kind of abort.

   1. ~UAは~fetchingを取消すベキである ◎ The user agent should cancel the fetching process.
   2. `error$mM 属性 ~SET `新たな~MediaError$( `MEDIA_ERR_ABORTED$mE ) ◎ Set the error attribute to the result of creating a MediaError with MEDIA_ERR_ABORTED.
   3. `~eventを発火する$( %要素, `abort$et ) ◎ Fire an event named abort at the media element.

   4. ~IF［ %要素 の`readyState$mM 属性~値 ~EQ `HAVE_NOTHING$mM ］： ◎ If the media element's readyState attribute has a value equal to HAVE_NOTHING,＼

      1. %要素 の `networkState$mM 属性 ~SET `NETWORK_EMPTY$mM ◎ set the element's networkState attribute to the NETWORK_EMPTY value,＼
      2. %要素 の`~posterを示すか$ ~SET ~T ◎ set the element's show poster flag to true, and＼
      3. `~eventを発火する$( %要素, `emptied$et ) ◎ fire an event named emptied at the element.
   5. ~ELSE ⇒ %要素 の`networkState$mM 属性 ~SET `NETWORK_IDLE$mM ◎ Otherwise, set the element's networkState attribute to the NETWORK_IDLE value.
   6. %要素 の`~load~event遅延-中か$ ~SET ~F ◎ Set the element's delaying-the-load-event flag to false. This stops delaying the load event.
   7. この`資源~選定~algo$を`中止-$する ◎ Abort the overall resource selection algorithm.

   `~media~data$を~fetchできたが，その一部に具現化できないものがあるときは： ◎ If the media data can be fetched but＼

   すなわち，次のいずれかに該当するが、 それでも再生はできるとき： ◎ ＼

   • ~fetchできたが、 致命的でない~errorまたは利用が生じた ◎ has non-fatal errors or uses, in part,＼
   • ~dataの一部に~UAが~supportしない ~codecs ~parameterがあるため、 ~UAは内容を完全に正しく具現化できない ◎ codecs that are unsupported, preventing the user agent from rendering the content completely correctly but not preventing playback altogether
   • ~serverは、 部分的には利用-可能だが最適には具現化できない~dataを返している ◎ The server returning data that is partially usable but cannot be optimally rendered＼

   ~UAは、 自身が取扱える~dataだけ具現化して，残りは無視するモノトスル。 ◎ must cause the user agent to render just the bits it can handle, and ignore the rest.

   `~media資源$が［ ~UAが~supportする，`~media資源に特有な~tT$ ］を宣言していることが見出されたときは： ◎ If the media resource is found to declare a media-resource-specific text track that the user agent supports

   ~IF［ `~media~data$は`~CORS同一-生成元$である ］ ⇒ 関連な~dataで`~media資源に特有な~tTを公開する手続き$を走らす ◎ If the media data is CORS-same-origin, run the steps to expose a media-resource-specific text track with the relevant data.

   注記： 非同一-生成元の動画は、 その字幕を公開しない — そうすると、 敵対的~siteが，利用者の~intranet上の機密的な動画から字幕を読取るような攻撃を許容することになるので。 ◎ Cross-origin videos do not expose their subtitles, since that would allow attacks such as hostile sites reading subtitles from confidential videos on a user's intranet.

   【！~media~data処理~手続き~list ここまで】
8. `最終-段^i： … 【この訳では、原文のこの段に代えて，`中止-$を利用している。】 ◎ Final step: If the user agent ever reaches this step (which can only happen if the entire resource gets loaded and kept available): abort the overall resource selection algorithm.

`~media資源に特有な~trackを忘れる@ ときは、 所与の ( `~media要素$ %要素 ) に対し，次を走らすモノトスル： ◎ When a media element is to forget the media element's media-resource-specific tracks, the user agent must＼

1. %要素 の`~tT~list$から`~media資源に特有な~tT$すべてを除去する ◎ remove from the media element's list of text tracks all the media-resource-specific text tracks, then＼
2. %要素 の `audioTracks$mM 属性が~~保持する `AudioTrackList$I ~objを空にする ◎ empty the media element's audioTracks attribute's AudioTrackList object, then＼
3. %要素 の `videoTracks$mM 属性が~~保持する `VideoTrackList$I ~objを空にする ◎ empty the media element's videoTracks attribute's VideoTrackList object.＼

~event（特に， `removetrack$et ~event）は、 この手続きの一部として発火されることはない — 代わりに，これを呼出した各種~algoにより発火される［ `~errorM$et, `emptied$et ］~eventを利用できる。 ◎ No events (in particular, no removetrack events) are fired as part of this; the error and emptied events, fired by the algorithms that invoke this one, can be used instead.

`buffered@mM 取得子~手続きは ⇒ ~RET 次を表現する，静的かつ`正規化-済み$な新たな `TimeRanges$I ~obj ⇒ ~UAが現時点で~bufferした`~media資源$の一連の範囲 ◎ The buffered attribute must return a new static normalized TimeRanges object that represents the ranges of the media resource, if any, that the user agent has buffered, at the time the attribute is evaluated.＼

• ~UAは、 ~media~streamに対し，これを手間のかかる検分でしか決定できない場合でも，可用な範囲を正確aに決定するモノトスル。 ◎ Users agents must accurately determine the ranges available, even for media streams where this can only be determined by tedious inspection.

  注記： これは概して， 0 を起点とする単独の範囲になるが、 例えば~UAの~seekingに呼応して ~HTTP `Range^h 要請を利用する場合，複数の範囲にもなり得る。 ◎ Typically this will be a single range anchored at the zero point, but if, e.g. the user agent uses HTTP range requests in response to seeking, then there could be multiple ranges.

• ~UAは、 以前に~bufferした~dataを破棄してヨイ。 ◎ User agents may discard previously buffered data.

  注記： したがって，ある時点で `buffered$mM 属性が返す~objが表現する範囲たちのいずれかに含まれる時刻~位置は、 後の時点で返されるものには含まれないかもしれない。 ◎ Thus, a time position included within a range of the objects return by the buffered attribute at one time can end up being not included in the range(s) of objects returned by the same attribute at later times.

属性~取得子が毎回 新たな~objを返すのは不良な~patternであるが、 今更それを変更するのは高くつくので，そうなっている。 そのようなふるまいは、 新たな~APIには複製されない。 ◎ Returning a new object each time is a bad pattern for attribute getters and is only enshrined here as it would be costly to change it. It is not to be copied to new APIs.

`currentTime$mM 設定子~手続きは： ◎ On setting,＼

1. ~IF［ コレの`readyState$mM ~EQ `HAVE_NOTHING$mM ］ ⇒ コレの`既定の再生~開始~位置$ ~SET 所与の値 ◎ if the media element's readyState is HAVE_NOTHING, then it must set the media element's default playback start position to the new value;＼

2. ~ELSE：

   1. コレの`公式的な再生~位置$ ~SET 所与の値
   2. `~seekする$( 所与の値を秒数として解釈した結果 )
   ◎ otherwise, it must set the official playback position to the new value and then seek to the new value. The new value must be interpreted as being in seconds.

%要素 の`アリな最も早い位置$が変化したときは、 次を走らすモノトスル： ◎ When the earliest possible position changes, then:＼

• ~IF［ `現在の再生~位置$は`アリな最も早い位置$より前 ］ ⇒ `~seekする$( `アリな最も早い位置$ ) ◎ if the current playback position is before the earliest possible position, the user agent must seek to the earliest possible position;＼

• ~ELIF［ %要素 向けの `timeupdate$et ~eventは、［ 過去 15ms 〜 250ms においては発火されていない ］~AND［ それ用の~event~handlerは現在~走っていない ］］ ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ otherwise, if the user agent has not fired a timeupdate event at the element in the past 15 to 250ms and is not still running event handlers for such an event, then the user agent must queue a media element task given the media element to＼

  手続きは ⇒ `~eventを発火する$( %要素, `timeupdate$et ) ◎ fire an event named timeupdate at the element.

注記： 上の要件と［ `~clipの~metadataが既知になった＠#getting-media-metadata$ときから効き始める，`~media資源~fetch~algo$における要件 ］があるので、［ `現在の再生~位置$ ~LT `アリな最も早い位置$ ］になることは、 決してない。 ◎ Because of the above requirement and the requirement in the resource fetch algorithm that kicks in when the metadata of the clip becomes known, the current playback position can never be less than the earliest possible position.

~UAは、 どの時点であれ，［ ある［ 音声／動画 ］~track %~track は終止した ］かつ［ %~track に関係しているすべての`~media~data$は、 `~media時列線$を成す［ `アリな最も早い位置$`より前^emにある部分 ］に対応する ］ことが~~判明したときは、 次を行ってヨイ： ◎ If at any time the user agent learns that an audio or video track has ended and all media data relating to that track corresponds to parts of the media timeline that are before the earliest possible position, the user agent may＼

1. ~Assert： %~track は、 ある`~media要素$ %要素 の［ `audioTracks$mM ／ `videoTracks$mM ］属性が返す［ `AudioTrackList$I ／ `VideoTrackList$I ］~obj %~track~list 内のある［ `AudioTrack$I ／ `VideoTrack$I ］~objで表現されている ◎ ↓

2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to run these steps:

   手続きは：

   1. %~track~list から %~track を除去する ◎ Remove the track from the audioTracks attribute's AudioTrackList object or the videoTracks attribute's VideoTrackList object as appropriate.
   2. `~eventを発火する$( %~track~list, `removetrack$et, `TrackEvent$I ) — 次のように初期化して ⇒ `track$m 属性 ~SET %~track ◎ Fire an event named removetrack at the media element's aforementioned AudioTrackList or VideoTrackList object, using TrackEvent, with the track attribute initialized to the AudioTrack or VideoTrack object representing the track.

`duration@mM 取得子~手続きは：

1. ~IF［ コレに可用な`~media~data$はない ］ ⇒ ~RET `NaN^jv
2. ~IF［ `~media資源$は有限界と既知でない （例： ~streaming~radio／終了~時刻は公告されていない~live-event） ］ ⇒ ~RET 正な `Infinity^jv
3. ~RET 秒数による，コレの`~media時列線$上のコレの`~media資源$の終了~時刻

`~media要素$ %要素 の`~media資源$ %資源 の長さが既知な値に変化したとき （例：未知から既知へ／以前に確立された長さから新たな長さへ変化したとき） は、 ~UAは次を走らすモノトスル： ◎ When the length of the media resource changes to a known value (e.g. from being unknown to known, or from a previously established length to a new length) the user agent must＼

1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

   手続きは ⇒ `~eventを発火する$( %要素, `durationchange$et ) （この~eventは、 新たな~media資源の読込n時の一環として，時間長が設定し直されたときは発火されない。） ◎ fire an event named durationchange at the media element. (The event is not fired when the duration is reset as part of loading a new media resource.)＼
2. %終端 ~LET %資源 の終端の時刻 ◎ ＼
3. ~IF［ 時間長の変化により［ `現在の再生~位置$ ~GT %終端 ］になった ］ ⇒ `~seekする$( %終端 ) ◎ If the duration is changed such that the current playback position ends up being greater than the time of the end of the media resource, then the user agent must also seek to the time of the end of the media resource.

`~media要素$ %要素 の準備状態が %旧~状態 から %新~状態 へ変化したときは、 次の手続きに従うモノトスル： ◎ When the ready state of a media element whose networkState is not NETWORK_EMPTY changes, the user agent must follow the steps given below: ◎ Apply the first applicable set of substeps from the following list:

1. ~IF［ %要素 の `networkState$mM ~EQ `NETWORK_EMPTY$mM ］ ⇒ ~RET ◎ ↑

2. ~IF［ %旧~状態 ~EQ `HAVE_NOTHING$mM ］~AND［ %新~状態 ~EQ `HAVE_METADATA$mM ］： ◎ If the previous ready state was HAVE_NOTHING, and the new ready state is HAVE_METADATA

   1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `loadedmetadata$et ) ◎ fire an event named loadedmetadata at the element.

      注記： この~taskを走らす前に，適切になるなら、 `video$e 要素は，`~event~loop$の仕組みの一部として，具現化-時に~resizeされるよう更新されることになる。 ◎ Before this task is run, as part of the event loop mechanism, the rendering will have been updated to resize the video element if appropriate.

   2. ~RET

3. ~IF［ %旧~状態 ~EQ `HAVE_METADATA$mM ］~AND［ %新~状態 ~GTE `HAVE_CURRENT_DATA$mM ］： ◎ If the previous ready state was HAVE_METADATA and the new ready state is HAVE_CURRENT_DATA or greater

   1. ~IF［ %要素 に対し生じたのは `load()$mM ~algoが最後に呼出されてから初回である ］ ⇒ `~media~taskを~queueする$( %要素, 次の手続き )

      手続きは ⇒ `~eventを発火する$( %要素, `loadeddata$et )
      ◎ If this is the first time this occurs for this media element since the load() algorithm was last invoked, the user agent must queue a media element task given the media element to fire an event named loadeddata at the element.
   2. ~IF［ %新~状態 ~EQ `HAVE_CURRENT_DATA$mM ］ ⇒ ~RET ◎ If the new ready state is HAVE_FUTURE_DATA or HAVE_ENOUGH_DATA, then the relevant steps below must then be run also.

4. ~IF［ %旧~状態 ~GTE `HAVE_FUTURE_DATA$mM ］~AND［ %新~状態 ~LTE `HAVE_CURRENT_DATA$mM ］： ◎ If the previous ready state was HAVE_FUTURE_DATA or more, and the new ready state is HAVE_CURRENT_DATA or less

   1. ~IF［ `readyState$mM 属性が変化する前は， %要素 は`再生-中になり得る$であった ］： ◎ If the media element was potentially playing before its readyState attribute changed to a value lower than HAVE_FUTURE_DATA, and＼

      1. ~IF［ %要素 は ~OR↓ を満たしている ］…

         • `再生は終止して$いる
         • `~errorに因り停止され$ている
         • `利用者-ヤリトリ用に静止され$ている
         • `帯域内~内容~用に静止され$ている

         …ならば ⇒ ~RET

         ◎ the element has not ended playback, and playback has not stopped due to errors, paused for user interaction, or paused for in-band content, the user agent must＼

      2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `timeupdate$et ) ◎ fire an event named timeupdate at the element, and＼

      3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `waiting$et ) ◎ fire an event named waiting at the element.
   2. ~RET

5. ~IF［ %旧~状態 ~LTE `HAVE_CURRENT_DATA$mM ］~AND［ %新~状態 ~EQ `HAVE_FUTURE_DATA$mM ］： ◎ If the previous ready state was HAVE_CURRENT_DATA or less, and the new ready state is HAVE_FUTURE_DATA

   1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ The user agent must queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `canplay$et ) ◎ fire an event named canplay at the element.
   2. ~IF［ %要素 の`paused$mM 属性 ~EQ ~F ］ ⇒ `再生-中について通知する$( %要素 ) ◎ If the element's paused attribute is false, the user agent must notify about playing for the element.
   3. ~RET

6. ~IF［ %新~状態 ~EQ `HAVE_ENOUGH_DATA$mM ］： ◎ If the new ready state is HAVE_ENOUGH_DATA

   1. ~IF［ %旧~状態 ~LTE `HAVE_CURRENT_DATA$mM ］： ◎ If the previous ready state was HAVE_CURRENT_DATA or less, the user agent must＼

      1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `canplay$et ) ◎ fire an event named canplay at the element, and,＼
      2. ~IF［ %要素 の`paused$mM 属性 ~EQ ~F ］ ⇒ `再生-中について通知する$( %要素 ) ◎ if the element's paused attribute is false, notify about playing for the element.

   2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ The user agent must queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `canplaythrough$et ) ◎ fire an event named canplaythrough at the element.
   3. ~IF［ %要素 は`自動再生に適格$でない ］ ⇒ ~RET ◎ If the element is not eligible for autoplay, then the user agent must abort these substeps.

   4. 任意選択で、 次のいずれか一つを行う：

      • ~RET （何もしない）
      • 下の手続き (A) を走らす
      • ~IF［ %要素 は `video$e 要素である ］ ⇒ %要素 が`表示域に交差-$しているかどうか観測し始めた上で，下の規則 (B) に従う

      ◎ The user agent may run the following substeps: ◎ ↓

      手続き (A) は、 次で与えられる：

      1. `paused$mM 属性 ~SET ~F ◎ Set the paused attribute to false.

      2. ~IF［ %要素 の`~posterを示すか$ ~EQ ~T ］：

         1. %要素 の`~posterを示すか$ ~SET ~F
         2. `~tTを時間に合わせる$( %要素 )
         ◎ If the element's show poster flag is true, set it to false and run the time marches on steps.

      3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `play$et ) ◎ fire an event named play at the element.
      4. `再生-中について通知する$( %要素 ) ◎ Notify about playing for the element.

      規則 (B) は、 次で与えられる： ◎ Alternatively, if the element is a video element,＼

      • %要素 が`表示域に交差-$し始めたときは ⇒ ~IF［ その時点で， %要素 は`自動再生に適格$である ］ ⇒ 上の手続き (A) を走らす ◎ the user agent may start observing whether the element intersects the viewport. When the element starts intersecting the viewport, if the element is still eligible for autoplay, run the substeps above.＼
      • %要素 は`表示域に交差-$しなくなったときは、 任意選択で ⇒ ~IF［ その時点で，［ %要素 の`自動再生~可能か$ ~EQ ~T ］~AND［ %要素 は `autoplay$aM 属性を有する ］］ ⇒ 下の手続き (C) を走らす ◎ Optionally, when the element stops intersecting the viewport, if the can autoplay flag is still true and the autoplay attribute is still specified, run the following substeps:

      手続き (C) は、 次で与えられる：

      1. `内部~静止-手続き$( %要素 ) ◎ Run the internal pause steps and＼
      2. `自動再生~可能か$ ~SET ~T ◎ set the can autoplay flag to true.

      3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the element to＼

         手続きは ⇒ `~eventを発火する$( %要素, `pause$et ) ◎ fire an event named pause at the element.

      注記： ［ `自動再生~可能か$ ~EQ ~T ］の間は、 %要素 が`表示域に交差-$［ し始める／しなくなる ］たびに，［ 再生する／静止する ］ための手続きも走らされ得る。 ◎ The substeps for playing and pausing can run multiple times as the element starts or stops intersecting the viewport, as long as the can autoplay flag is true.

      注記： ~UAは、 自動再生を~supportする必要はない。 また、 ~UAには，そのことに関する利用者-選好を尊守することが示唆される。 作者には、 ~scriptを利用して動画~再生-を強制するのでなく、 `autoplay$aM 属性を利用して，利用者が欲する挙動に上書きできるようにすることが督促される。 ◎ User agents do not need to support autoplay, and it is suggested that user agents honor user preferences on the matter. Authors are urged to use the autoplay attribute rather than using script to force the video to play, so as to allow the user to override the behavior if so desired.

注記： ~media要素の準備状態は、 これらの状態を不連続に~~飛び移ることもあり得る。 例えば， `HAVE_METADATA$mM から — `HAVE_CURRENT_DATA$mM, `HAVE_FUTURE_DATA$mM を~~飛ばして — `HAVE_ENOUGH_DATA$mM へ~~直に~~飛ぶなど。 ◎ It is possible for the ready state of a media element to jump between these states discontinuously. For example, the state of a media element can jump straight from HAVE_METADATA to HAVE_ENOUGH_DATA without passing through the HAVE_CURRENT_DATA and HAVE_FUTURE_DATA states.

`~media要素$は、 ~OR↓ を満たしている間は， `阻まれて@ いるとされる：

• `readyState$mM 属性 ~IN { `HAVE_NOTHING$mM, `HAVE_METADATA$mM, `HAVE_CURRENT_DATA$mM }
• `利用者-ヤリトリ用に静止され$ている
• `帯域内~内容~用に静止され$ている

注記： `再生-中になり得る$要素は、［ その `readyState$mM 属性が `HAVE_FUTURE_DATA$mM 未満の値に変化した ］ことに因る結果，再生を停止したときには， `waiting$et ~eventが `発火され得る＠#fire-waiting-when-waiting$。 ◎ A waiting DOM event can be fired as a result of an element that is potentially playing stopping playback due to its readyState attribute changing to a value lower than HAVE_FUTURE_DATA.

`~media要素$は、 ~AND↓ を満たしている間は， `自動再生に適格@ とされる： ◎ A media element is said to be eligible for autoplay when all of the following are true:

• `自動再生~可能か$ ~EQ ~T ◎ its can autoplay flag is true;
• `paused$mM 属性 ~EQ ~T ◎ its paused attribute is true;
• `autoplay$aM 属性を有している ◎ it has an autoplay attribute specified;
• `閲覧~文脈~sandbox化( 自動的な特能 )~flag$ ~NIN 要素の`~node文書$の`作動中な~sandbox法~flag集合$ ◎ its node document's active sandboxing flag set does not have the sandboxed automatic features browsing context flag set; and
• 要素の`~node文書$には `autoplay$l 特能の`利用は許容されて$いる ◎ its node document is allowed to use the "autoplay" feature.

`~media要素$は、［ ~UA, および~systemが現在の文脈において~media再生を許容する ］ならば， `再生は許容されて@ いるとされる。 ◎ A media element is said to be allowed to play if the user agent and the system allow media playback in the current context.

注記： 例えば~UAは、 `~media要素$の `Window^I は`一過な作動化を有して$いるときに限り， 再生を許容することもできるが、 `消音-$されている間は，例外的に再生を許容することもできる。 ◎ For example, a user agent could allow playback only when the media element's Window object has transient activation, but an exception could be made to allow playback while muted.

`~media要素$は、 ~AND↓ を満たしている間は， `再生は終止して@ いるとされる： ◎ A media element is said to have ended playback when:

• `readyState$mM 属性 ~GTE `HAVE_METADATA$mM ◎ The element's readyState attribute is HAVE_METADATA or greater, and

• ~OR↓： ◎ Either:

  • ~AND↓：

    • `現在の再生~位置$は`~media資源$の終端にある ◎ The current playback position is the end of the media resource, and
    • `再生~方向$ ~EQ 順方向 ◎ The direction of playback is forwards, and
    • `loop$aM 属性を有していない ◎ The media element does not have a loop attribute specified.

  • ~AND↓： ◎ Or:

    • `現在の再生~位置$は`アリな最も早い位置$である ◎ The current playback position is the earliest possible position, and
    • `再生~方向$ ~EQ 逆方向 ◎ The direction of playback is backwards.

`~media要素$は、 ~AND↓ を満たしている間は， `~errorに因り停止され@ ているとされる：

• `readyState$mM 属性 ~GTE `HAVE_METADATA$mM
• ~UAは要素の`~media~data$の処理している間に `致命的でない~errorに遭遇した＠#non-fatal-media-error$
• その~errorに因り，`現在の再生~位置$にある内容を再生できなくなった

`~media要素$は、 ~AND↓ を満たしている間は， `利用者-ヤリトリ用に静止され@ ているとされる：

• `paused$mM 属性 ~EQ ~F
• `readyState$mM 属性 ~IN { `HAVE_FUTURE_DATA$mM, `HAVE_ENOUGH_DATA$mM }
• `~media資源$内の［ 利用者が再生を継続するかどうか選択する必要がある ］地点に達した

`再生-中になり得る$`~media要素$ %要素 が`利用者-ヤリトリ用に静止され$たため，再生-を停止したときは、 次を行うモノトスル ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ When a media element that is potentially playing stops playing because it has paused for user interaction, the user agent must queue a media element task given the media element to＼

`~media要素$は、 ~AND↓ を満たしている間は， `帯域内~内容~用に静止され@ ているとされる：

• `paused$mM 属性 ~EQ ~F
• `readyState$mM 属性 ~IN { `HAVE_FUTURE_DATA$mM, `HAVE_ENOUGH_DATA$mM }

• ~UAは、 次のいずれかを再生するために，`~media資源$の再生を休止している：

  • `~media資源$に一時的に留められた，長さ 0 でない内容
  • `~media資源$のある区分に一時的に留められた，その区分より長い内容

`~media要素$ %要素 の［ `再生~方向$ ~EQ 順方向 ］の下で， %要素 の`現在の再生~位置$が`~media資源$の終端に達したときは、 次の手続きに従うモノトスル： ◎ When the current playback position reaches the end of the media resource when the direction of playback is forwards, then the user agent must follow these steps:

1. ~IF［ %要素 は `loop$aM 属性を有する ］：

   1. `~seekする$( `~media資源$の`アリな最も早い位置$ )
   2. ~RET
   ◎ If the media element has a loop attribute specified, then seek to the earliest possible position of the media resource and return.
2. ~Assert： 上で定義したように， %要素 の `ended$mM ~IDL属性は、 `~event~loop$が`最初の段$に戻った時点から ~T を返すようになる。 ◎ As defined above, the ended IDL attribute starts returning true once the event loop returns to step 1.

3. `~media~taskを~queueする$( %要素, 次の手続き )： ◎ Queue a media element task given the media element and the following steps:

   手続きは：

   1. `~eventを発火する$( %要素, `timeupdate$et ) ◎ Fire an event named timeupdate at the media element.

   2. ~IF［ %要素 の`再生は終止して$いる ］~AND［ %要素 の`再生~方向$ ~EQ 順方向 ］~AND［ %要素 の `paused$mM ~EQ ~F ］： ◎ If the media element has ended playback, the direction of playback is forwards, and paused is false, then:

      1. %要素 の `paused$mM 属性 ~SET ~T ◎ Set the paused attribute to true.
      2. `~eventを発火する$( %要素, `pause$et ) ◎ Fire an event named pause at the media element.
      3. `再生待ち~promiseたちを却下する$( %要素 の`再生待ち~promiseたちを取り出す$, `AbortError$E 例外 ) ◎ Take pending play promises and reject pending play promises with the result and an "AbortError" DOMException.
   3. `~eventを発火する$( %要素, `ended$et ) ◎ Fire an event named ended at the media element.

［ `再生~方向$ ~EQ 逆方向 ］の下で，`現在の再生~位置$が`~media資源$ %要素 の`アリな最も早い位置$に達した†ときは、 次を行うモノトスル ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ When the current playback position reaches the earliest possible position of the media resource when the direction of playback is backwards, then the user agent must only queue a media element task given the media element to＼

注記†： この “達した” は、 通常の再生によるものに限られない。 一例として、 `~seeking$を介しても達し得る。 ◎ The word "reaches" here does not imply that the current playback position needs to have changed during normal playback; it could be via seeking, for instance.

`played@mM 取得子~手続きは ⇒ ~RET 次を表現する，静的かつ`正規化-済み$な新たな `TimeRanges$I ~obj ⇒ 現時点における，コレの`~media資源$の`~media時列線$上の［ 通常の再生の間に、 通例的に`現在の再生~位置$が単調に増加して達した，一連の範囲 ］ ◎ The played attribute must return a new static normalized TimeRanges object that represents the ranges of points on the media timeline of the media resource reached through the usual monotonic increase of the current playback position during normal playback, if any, at the time the attribute is evaluated.

属性~取得子が毎回 新たな~objを返すのは不良な~patternであるが、 今更それを変更するのは高くつくので，そうなっている。 そのようなふるまいは、 新たな~APIには複製されない。 ◎ Returning a new object each time is a bad pattern for attribute getters and is only enshrined here as it would be costly to change it. It is not to be copied to new APIs.

`~media要素$ %要素 の `再生待ち~promiseたちを取り出す@ ときは、 次を走らすモノトスル： ◎ To take pending play promises for a media element, the user agent must run the following steps:

1. %~promise~list ~LET %要素 の`再生待ち~promise~list$の複製 ◎ Let promises be an empty list of promises. ◎ Copy the media element's list of pending play promises to promises.
2. %要素 の`再生待ち~promise~list$を空にする ◎ Clear the media element's list of pending play promises.
3. ~RET %~promise~list ◎ Return promises.

`~media要素$用の `再生待ち~promiseたちを解決する@ ときは、 所与の ( ~promise~list %~promise~list ) に対し，次を走らすモノトスル ⇒ %~promise~list を成す ~EACH( %~promise ) に対し ⇒ `undefined^jv で %~promise を解決する ◎ To resolve pending play promises for a media element with a list of promises promises, the user agent must resolve each promise in promises with undefined.

`~media要素$用の `再生待ち~promiseたちを却下する@ ときは、 所与の ( ~promise~list %~promise~list, 例外~名 %~error ) に対し，次を走らすモノトスル ⇒ %~promise~list を成す ~EACH( %~promise ) に対し ⇒ %~error 例外で %~promise を却下する ◎ To reject pending play promises for a media element with a list of promise promises and an exception name error, the user agent must reject each promise in promises with error.

`再生-中について通知する@ ときは、 所与の ( `~media要素$ %要素 ) に対し，次を走らすモノトスル： ◎ To notify about playing for a media element, the user agent must run the following steps:

1. %~promise~list ~LET %要素 の`再生待ち~promiseたちを取り出す$ ◎ Take pending play promises and let promises be the result.

2. `~media~taskを~queueする$( %要素, 次の手続き )： ◎ Queue a media element task given the element and the following steps:

   手続きは：

   1. `~eventを発火する$( %要素, `playing$et ) ◎ Fire an event named playing at the element.
   2. `再生待ち~promiseたちを解決する$( %~promise~list ) ◎ Resolve pending play promises with promises.

`play()@mM ~method~手続きは： ◎ When the play() method on a media element is invoked, the user agent must run the following steps.

1. ~IF［ コレの`再生は許容されて$いない ］ ⇒ ~RET `却下される~promise$( `NotAllowedError$E 例外 ) ◎ If the media element is not allowed to play, then return a promise rejected with a "NotAllowedError" DOMException.
2. %error ~LET コレの `error$mM 属性~値

3. ~IF［ %error ~NEQ ~NULL ］~AND［ %error の`~code$ ~EQ `MEDIA_ERR_SRC_NOT_SUPPORTED$mE ］ ⇒ ~RET `却下される~promise$( `NotSupportedError$E 例外 ) ◎ If the media element's error attribute is not null and its code is MEDIA_ERR_SRC_NOT_SUPPORTED, then return a promise rejected with a "NotSupportedError" DOMException.

   注記： これは、 `専用の~media~source失敗~手続き$を走らせたことを意味する。 再生は、［ `~media要素~読込n~algo$により `error$mM 属性が ~NULL にされる ］まで，アリでない。 ◎ This means that the dedicated media source failure steps have run. Playback is not possible until the media element load algorithm clears the error attribute.

4. %~promise ~LET 新たな~promise ◎ Let promise be a new promise and＼
5. `再生待ち~promise~list$に %~promise を付加する ◎ append promise to the list of pending play promises.
6. `内部~再生-手続き$( コレ ) ◎ Run the internal play steps for the media element.
7. ~RET %~promise ◎ Return promise.

`内部~再生-手続き@ は、 所与の ( `~media要素$ %要素【！ media element → 要素 】 ) に対し，次を走らす： ◎ The internal play steps for a media element are as follows:

1. ~IF［ %要素 の `networkState$mM 属性~値 ~EQ `NETWORK_EMPTY$mM ］ ⇒ %要素 の`資源~選定~algo$を呼出す ◎ If the media element's networkState attribute has the value NETWORK_EMPTY, invoke the media element's resource selection algorithm.

2. ~IF［ %要素 の`再生は終止して$いる ］~AND［ %要素 の`再生~方向$ ~EQ 順方向 ］ ⇒ `~seekする$( %要素 の`~media資源$の`アリな最も早い位置$ ) ◎ If the playback has ended and the direction of playback is forwards, seek to the earliest possible position of the media resource.

   注記： これは、 ~UAに`次を行わせることになる＠#seekUpdate$ ⇒ %要素 に向けて `timeupdate$et ~eventを発火する~taskを~queueする ◎ This will cause the user agent to queue a media element task given the media element to fire an event named timeupdate at the media element.

3. %準備状態 ~LET %要素 の `readyState$mM 属性~値

4. ~IF［ %要素 の `paused$mM 属性~値 ~EQ ~T ］： ◎ If the media element's paused attribute is true, then:

   1. %要素 の `paused$mM 属性 ~SET ~F ◎ Change the value of paused to false.

   2. ~IF［ %要素 の`~posterを示すか$ ~EQ ~T ］： ◎ If the show poster flag is true,＼

      1. %要素 の`~posterを示すか$ ~SET ~F ◎ set the element's show poster flag to false and＼
      2. `~tTを時間に合わせる$( %要素 ) ◎ run the time marches on steps.

   3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `play$et ) ◎ fire an event named play at the element.

   4. ~IF［ %準備状態 ~IN { `HAVE_NOTHING$mM, `HAVE_METADATA$mM, `HAVE_CURRENT_DATA$mM } ］ ⇒ `~media~taskを~queueする$( %要素, 次の手続き ) ◎ If the media element's readyState attribute has the value HAVE_NOTHING, HAVE_METADATA, or HAVE_CURRENT_DATA, queue a media element task given the media element to＼

      手続きは ⇒ `~eventを発火する$( %要素, `waiting$et ) ◎ fire an event named waiting at the element.
   5. ~ELSE （ %準備状態 ~IN { `HAVE_FUTURE_DATA$mM, `HAVE_ENOUGH_DATA$mM } ） ⇒ `再生-中について通知する$( %要素 ) ◎ Otherwise, the media element's readyState attribute has the value HAVE_FUTURE_DATA or HAVE_ENOUGH_DATA: notify about playing for the element.

5. ~ELIF［ %準備状態 ~IN { `HAVE_FUTURE_DATA$mM, `HAVE_ENOUGH_DATA$mM } ］： ◎ Otherwise, if the media element's readyState attribute has the value HAVE_FUTURE_DATA or HAVE_ENOUGH_DATA,＼

   1. %~promise~list ~LET %要素 の`再生待ち~promiseたちを取り出す$ ◎ take pending play promises and＼

   2. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

      手続きは ⇒ `再生待ち~promiseたちを解決する$( %~promise~list ) ◎ resolve pending play promises with the result.

   注記： %要素 はすでに再生-中にあるが、 ~queueされた~taskが走る前に，再生待ち~promiseが却下されることもあり得る。 ◎ The media element is already playing. However, it's possible that promise will be rejected before the queued task is run.

6. %要素 の`自動再生~可能か$ ~SET ~F ◎ Set the media element's can autoplay flag to false.

`pause()@mM ~method~手続きは： ◎ ↑

1. ~IF［ コレの`networkState$mM 属性~値 ~EQ `NETWORK_EMPTY$mM ］ ⇒ コレの`資源~選定~algo$を呼出す ◎ If the media element's networkState attribute has the value NETWORK_EMPTY, invoke the media element's resource selection algorithm.
2. `内部~静止-手続き$( コレ ) ◎ Run the internal pause steps for the media element.

`内部~静止-手続き@ は、 所与の ( `~media要素$ %要素 ) に対し，次に従う： ◎ The internal pause steps for a media element are as follows:

1. %要素 の`自動再生~可能か$ ~SET ~F ◎ Set the media element's can autoplay flag to false.
2. ~IF［ %要素 の`paused$mM 属性 ~EQ ~T ］ ⇒ ~RET ◎ If the media element's paused attribute is false, run the following steps:
3. %要素 の`paused$mM 属性 ~SET ~T ◎ Change the value of paused to true.
4. %~promise~list ~LET %要素 の`再生待ち~promiseたちを取り出す$ ◎ Take pending play promises and let promises be the result.

5. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element and the following steps:

   手続きは：

   1. `~eventを発火する$( %要素, `timeupdate$et ) ◎ Fire an event named timeupdate at the element.
   2. `~eventを発火する$( %要素, `pause$et ) ◎ Fire an event named pause at the element.
   3. %要素 の`再生待ち~promiseたちを却下する$( %~promise~list, `AbortError$E 例外 ) ◎ Reject pending play promises with promises and an "AbortError" DOMException.
6. %要素 の`公式的な再生~位置$ ~SET `現在の再生~位置$ ◎ Set the official playback position to the current playback position.

`~media要素$ %要素 が`文書から除去され$たときは、 次を走らすモノトスル： ◎ When a media element is removed from a Document, the user agent must run the following steps:

1. 次の手続きを`同期区間$として，`安定~状態を待受ける$ （これは、 %要素 を除去した`~task$を継続できるようにする）： ◎ Await a stable state, allowing the task that removed the media element from the Document to continue. The synchronous section consists of all the remaining steps of this algorithm. (Steps in the synchronous section are marked with ⌛.)

   1. ~IF［ %要素 は`文書~内$にない ］ ⇒ ~RET ◎ ⌛ If the media element is in a document, return.
   2. `内部~静止-手続き$( %要素 ) ◎ ⌛ Run the internal pause steps for the media element.

`~media要素$ %要素 の`~media資源$ %資源 内の特定0の再生~位置へ `~seekする@ ときは、 所与の ( %新たな再生~位置, 真偽値 %速度優先か（省略時は ~F ） ) に対し，次を走らすモノトスル： ◎ When the user agent is required to seek to a particular new playback position in the media resource, optionally with the approximate-for-speed flag set, it means that the user agent must run the following steps. This algorithm interacts closely with the event loop mechanism; in particular, it has a synchronous section (which is triggered as part of the event loop algorithm). Steps in that section are marked with ⌛.

1. %要素 の`~posterを示すか$ ~SET ~F ◎ Set the media element's show poster flag to false.
2. ~IF［ %要素 の`readyState$mM ~EQ `HAVE_NOTHING$mM ］ ⇒ ~RET ◎ If the media element's readyState is HAVE_NOTHING, return.
3. ~IF［ %要素 の `seeking$mM 属性 ~EQ ~T ］ ⇒ この~algoの別の~instanceがすでに走っている — その~instanceを，それが完了するのを待機せずに中止する ◎ If the element's seeking IDL attribute is true, then another instance of this algorithm is already running. Abort that other instance of the algorithm without waiting for the step that it is running to complete.
4. %要素 の `seeking$mM 属性 ~SET ~T ◎ Set the seeking IDL attribute to true.
5. ~IF［ この~algoは、 ~scriptによる ~IDL［ ~method~call ／ 属性の設定子 ］に呼応して呼出されている ］ ⇒ ~RET （その~scriptを継続させる） — ただし ⇒ この手続きの以降も`並列的$に走らす — ただし ⇒ この~algoの以下に現れる，`安定~状態を待受ける$箇所は、 この~algoの別の~instanceが呼出された場合，それにより いつでも中止され得る。 ◎ If the seek was in response to a DOM method call or setting of an IDL attribute, then continue the script. The remainder of these steps must be run in parallel. With the exception of the steps marked with ⌛, they could be aborted at any time by another instance of this algorithm being invoked.
6. ~IF［ %新たな再生~位置 ~GT %資源 の終端 ］ ⇒ %新たな再生~位置 ~SET %資源 の終端 ◎ If the new playback position is later than the end of the media resource, then let it be the end of the media resource instead.
7. ~IF［ %新たな再生~位置 ~LT `アリな最も早い位置$ ］ ⇒ %新たな再生~位置 ~SET `アリな最も早い位置$ ◎ If the new playback position is less than the earliest possible position, let it be that position instead.
8. %現~位置 ~LET `現在の再生~位置$ ◎ ↓
9. %範囲~list ~LET %要素 の `seekable$mM 属性~値 ◎ ↓

10. ~IF［ %範囲~list は空である ］：

    1. %要素 の `seeking$mM ~SET ~F
    2. ~RET
    ◎ ↓

11. ~IF［ 【！ (possibly now changed)】 %新たな再生~位置 は %範囲~list 内のどの範囲にも入らない ］ ⇒ %新たな再生~位置 ~SET ［［ %範囲~list 内の各 範囲の始端, 終端 ］のうち， %新たな再生~位置 に最も近いもの† ］のうち， %現~位置 に最も近い位置

    （† 一意に決まるとは限らない — %新たな再生~位置 がある範囲の終端と次の範囲の始端のちょうど真中にある場合、 その終端, 始端の 2 つがこの条件を満たす ）

    ◎ If the (possibly now changed) new playback position is not in one of the ranges given in the seekable attribute, then let it be the position in one of the ranges given in the seekable attribute that is the nearest to the new playback position. If two positions both satisfy that constraint (i.e. the new playback position is exactly in the middle between two ranges in the seekable attribute) then use the position that is closest to the current playback position. If there are no ranges given in the seekable attribute then set the seeking IDL attribute to false and return.

12. ~IF［ %速度優先か ~EQ ~T ］ ⇒ %新たな再生~位置 を調整する — 再生を速やかに再開できる, かつ 結果の %調整-済み位置 が次を満すように： ◎ If the approximate-for-speed flag is set, adjust the new playback position to a value that will allow for playback to resume promptly.＼

    • %新たな再生~位置 ~LT %現~位置 のときは ⇒ %調整-済み位置 ~LT %現~位置 ◎ If new playback position before this step is before current playback position, then the adjusted new playback position must also be before the current playback position.＼
    • %新たな再生~位置 ~GT %現~位置 のときは ⇒ %調整-済み位置 ~GT %現~位置 ◎ Similarly, if the new playback position before this step is after current playback position, then the adjusted new playback position must also be after the current playback position.

    例えば~UAは — 復号する時刻を費やさずに済むよう — ~key~frame近くに留めて、 再生を再開する前に，中間の~frameを破棄することもできる。 ◎ For example, the user agent could snap to a nearby key frame, so that it doesn't have to spend time decoding then discarding intermediate frames before resuming playback.

13. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ Queue a media element task given the media element to＼

    手続きは ⇒ `~eventを発火する$( %要素, `seeking$et ) ◎ fire an event named seeking at the element.

14. `現在の再生~位置$ ~SET %新たな再生~位置 ◎ Set the current playback position to the new playback position.

    注記： %要素 は~seekingを開始する直前では`再生-中になり得る$であったが，~seekingにより %要素 の `readyState$mM 属性が `HAVE_FUTURE_DATA$mM 未満の値に変化した場合、 %要素 に向けて， `waiting$et ~eventが`発火される＠#fire-waiting-when-waiting$ことになる。 ◎ If the media element was potentially playing immediately before it started seeking, but seeking caused its readyState attribute to change to a value lower than HAVE_FUTURE_DATA, then a waiting event will be fired at the element.

    注記： この段は，`現在の再生~位置$を設定するので、 即時に他の条件を誘発し得る — 再生において “`~media資源の終端に達した＠#reaches-the-end$” ときに関する規則（~loopingを取扱う~logicの一部）など — ~UAが実際には その位置（次の段にて決定される）用の~media~dataを具現化できるとしても，その前に。 ◎ This step sets the current playback position, and thus can immediately trigger other conditions, such as the rules regarding when playback "reaches the end of the media resource" (part of the logic that handles looping), even before the user agent is actually able to render the media data for that position (as determined in the next step).

    注記： `currentTime$mM 属性は、 `現在の再生~位置$ではなく，`公式的な再生~位置$を返す。 したがって、 この~algoとは別に，~script実行の前に更新される。 ◎ The currentTime attribute returns the official playback position, not the current playback position, and therefore gets updated before script execution, separate from this algorithm.

15. ~UAが，［ %新たな再生~位置 に対する`~media~data$が可用かどうかを確立して，その位置を再生するに十分な~dataを復号する ］まで、 待機する ◎ Wait until the user agent has established whether or not the media data for the new playback position is available, and, if it is, until it has decoded enough data to play back that position.

16. 次の一連の段を`同期区間$として，`安定~状態を待受ける$： ◎ Await a stable state. The synchronous section consists of all the remaining steps of this algorithm. (Steps in the synchronous section are marked with ⌛.)

    1. %要素 の `seeking$mM ~IDL属性 ~SET ~F ◎ ⌛ Set the seeking IDL attribute to false.
    2. `~tTを時間に合わせる$( %要素 ) ◎ ⌛ Run the time marches on steps.

    3. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ ⌛ Queue a media element task given the media element to＼

       手続きは ⇒ `~eventを発火する$( %要素, `timeupdate$et ) ◎ fire an event named timeupdate at the element.

    4. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ ⌛ Queue a media element task given the media element to＼

       手続きは ⇒ `~eventを発火する$( %要素, `seeked$et ) ◎ fire an event named seeked at the element.

`seekable@mM 取得子~手続きは ⇒ ~RET 次を表現する，静的かつ`正規化-済み$な新たな `TimeRanges$I ~obj ⇒ 現時点で~UAが~seekできるような，コレの`~media資源$の一連の範囲 ◎ The seekable attribute must return a new static normalized TimeRanges object that represents the ranges of the media resource, if any, that the user agent is able to seek to, at the time the attribute is evaluated.

注記： ~UAは、 `~media資源$内のどこへでも~seekできる場合 — 例えば単純な映画~fileで，~UA, ~serverとも ~HTTP `Range^h 要請を~supportする場合 — この属性は、 次のような 1 個の範囲からなる~objを返すことになる： 始端 ~EQ 最初の~frameの時刻（`アリな最も早い位置$, 概して 0 ）, 終端 ~EQ ［ 始端 ~PLUS `duration$mM 属性の値 ］（最後の~frameの時刻に等しくなり，正な `Infinity^jv にもなり得る）。 ◎ If the user agent can seek to anywhere in the media resource, e.g. because it is a simple movie file and the user agent and the server support HTTP Range requests, then the attribute would return an object with one range, whose start is the time of the first frame (the earliest possible position, typically zero), and whose end is the same as the time of the first frame plus the duration attribute's value (which would equal the time of the last frame, and might be positive Infinity).

注記： 範囲は、 変化し続けるかもしれない。 例えば、 ~UAが無限~streamにて~sliding-windowを~bufferしている場合。 これは、 一例を挙げれば，~live TV を~~流している DVR に見られる挙動である。 ◎ The range might be continuously changing, e.g. if the user agent is buffering a sliding window on an infinite stream. This is the behavior seen with DVRs viewing live TV, for instance.

属性~取得子が毎回 新たな~objを返すのは不良な~patternであるが、 今更それを変更するのは高くつくので，そうなっている。 そのようなふるまいは、 新たな~APIには複製されない。 ◎ Returning a new object each time is a bad pattern for attribute getters and is only enshrined here as it would be costly to change it. It is not to be copied to new APIs.

`volume$mM 設定子~手続きは：

1. ~IF［ 0.0 ~LTE 所与の値 ~LTE 1.0 ］ ⇒ コレの`再生~音量$ ~SET 所与の値
2. ~ELSE ⇒ ~THROW `IndexSizeError$E 例外

`muted@mM 取得子~手続きは、 最後に設定された値を返す。 `~media要素$の作成-時には，要素が `muted$aM 内容~属性を有するならば ~T に設定されるベキである。 他の場合、 ~UAは値を利用者が選好する値に設定してヨイ （例えば，~siteごとなどに基づく複数~sessionにまたがって最後に設定された値を覚えておくなど）。 この属性が ~T に設定されている間は、 `~media要素$を`消音-$するモノトスル。 ◎ The muted IDL attribute must return the value to which it was last set. When a media element is created, if the element has a muted content attribute specified, then the muted IDL attribute should be set to true; otherwise, the user agents may set the value to the user's preferred value (e.g. remembering the last set value across sessions, on a per-site basis or otherwise). While the muted IDL attribute is set to true, the media element must be muted.

`~media要素$ %要素 の［ `volume$mM ／ `muted$mM ］~IDL属性が返す値が変化したときは、 ~UAは次を走らすモノトスル： ◎ Whenever either of the values that would be returned by the volume and muted IDL attributes change, the user agent must＼

1. `~media~taskを~queueする$( %要素, 次の手続き ) ◎ queue a media element task given the media element to＼

   手続きは ⇒ `~eventを発火する$( %要素, `volumechange$et ) ◎ fire an event named volumechange at the media element.＼
2. ~IF［ %要素 には`再生は許容されて$いない ］ ⇒ `内部~静止-手続き$( %要素 ) ◎ Then, if the media element is not allowed to play, the user agent must run the internal pause steps for the media element.

`~media要素$ %要素 の `実効~media音量@ は、 次に従って決定される： ◎ An element's effective media volume is determined as follows:

1. ~IF［ %要素 の音量を上書きするよう，利用者から指示されている ］ ⇒ ~RET 利用者から欲された音量 ◎ If the user has indicated that the user agent is to override the volume of the element, then return the volume desired by the user.
2. ~IF［ ~UAの`音量は~lockされたか$ ~EQ ~T ］ ⇒ ~RET ~system【~UAが稼働している~OSの】音量 ◎ If the user agent's volume locked is true, then return the system volume.
3. ~IF［ %要素 の音声~出力は`消音-$されている ］ ⇒ ~RET 0 ◎ If the element's audio output is muted, then return zero.
4. ~RET %要素 の音声~部の`再生~音量$ ◎ Let volume be the playback volume of the audio portions of the media element, in range 0.0 (silent) to 1.0 (loudest).

［ `start(index)@m ／ `end(index)@m ］~method~手続きは：

1. ~IF［ %index ~GTE コレが表現する範囲~listの~size ］ ⇒ ~THROW `IndexSizeError$E
2. %位置 ~LET コレが表現する範囲~list内の %index 番の範囲の［ `start()$m に対しては始端 ／ `end()$m に対しては終端 ］
3. ~RET コレが受持つ時列線の始端から，秒数で %位置 を測定した結果