許可施策 — Permissions Policy

`新たな宣言-済み施策@ は、 次を遂行する ⇒ ~RET 新たな`宣言-済み施策$ — その ⇒＃ `宣言~群$dP ~SET 新たな`有順序~map$, `報告用~環境設定$dP ~SET 新たな`有順序~map$

`許容listは生成元に合致するか？@ は、 所与の ( `許容list$ %許容list, 生成元 %生成元 ) に対し，次の手続きを走らす： ◎ To determine whether an allowlist matches an origin origin, run these steps:

1. ~IF［ %許容list ~EQ `全~生成元$i ］ ⇒ ~RET ~T ◎ If the allowlist is the special value *, then return true.

   注記： ~CSPによる~wildcard照合の変種は利用しない — それには，~HTTPS~schemeが要求されるので。 ◎ Note: We are not using the CSP variant of wildcard matching as it requires the HTTPS scheme.

2. ~IF［ %許容list の`自己-生成元$AL ~NEQ ~NULL ］~AND［ ( %許容list の`自己-生成元$AL, %生成元 ) は`同じ生成元~domain$である ］ ⇒ ~RET ~T ◎ If the allowlist’s self-origin is not null and it is same origin-domain with origin, then return true.
3. ~IF［ %許容list の`~src生成元$AL ~NEQ ~NULL ］~AND［ ( %許容list の`~src生成元$AL, %生成元 ) は`同じ生成元~domain$である ］ ⇒ ~RET ~T ◎ If the allowlist’s src-origin is not null and it is same origin-domain with origin, then return true.
4. ~IF［ %生成元 は`不透明な生成元$である ］ ⇒ ~RET ~F ◎ If origin is an opaque origin, return false.
5. %~URL ~LET `~URL構文解析する$( `生成元を直列化する$( %生成元 ) ) ◎ Let url be the result of calling the url parser on the serialization of origin.
6. %許容list の`式~群$ALを成す ~EACH( %式 ) に対し ⇒ ~IF［ `~URLは ( 生成元, ~redirect回数 ) について式に合致するか？$( %~URL, %式, %生成元, 0 ) の結果 ~EQ ~T ］ ⇒ ~RET ~T ◎ For each permissions-source-expression item in the allowlist’s expressions: • If the result of running Does url match expression in origin with redirect count? on url, item, origin, and 0 is true then return true.
7. ~RET ~F ◎ Return false.

[`Exposed$=Window]
interface `PermissionsPolicy@I {
  `boolean$ `allowsFeature$m(`DOMString$ %feature, optional `DOMString$ %origin);
  `sequence$<`DOMString$> `features$m();
  `sequence$<`DOMString$> `allowedFeatures$m();
  `sequence$<`DOMString$> `getAllowlistForFeature$m(`DOMString$ %feature);
};

partial interface `Document$I {
    [`SameObject$] readonly attribute `PermissionsPolicy$I `~permissionsPolicyD$m;
};

partial interface `HTMLIFrameElement$I {
    [`SameObject$] readonly attribute `PermissionsPolicy$I `~permissionsPolicyF$m;
};

`Document$I の `~permissionsPolicyD@m 取得子~手続きは ⇒ ~RET コレの`施策~obj$doc ◎ A Document’s permissionsPolicy IDL attribute, on getting, must return the Document’s policy object.

`HTMLIFrameElement$I （すなわち `iframe$e ）の `~permissionsPolicyF@m 取得子~手続きは ⇒ ~RET コレの`施策~obj$iF ◎ An iframe’s permissionsPolicy IDL attribute, on getting, must return the iframe’s policy object.

`allowsFeature(feature, origin)@m ~method手続きは： ◎ The allowsFeature(feature, origin) method must run the following steps:

1. ~IF［ %origin ~EQ ε ］ ⇒ %origin ~SET コレの`既定の生成元$ ◎ If origin is omitted, set origin to this PermissionsPolicy object’s default origin.
2. %施策 ~LET コレに`結付けられた~node$用の`観測-可能な施策$ ◎ Let policy be the observable policy for this PermissionsPolicy object’s associated node.
3. ~IF［ %施策 により， %特能 は %origin 用に許容される 【具体的な~algoは指定されていない】 ］ ⇒ ~RET ~T ◎ If feature is allowed by policy for origin, return true.
4. ~RET ~F ◎ Otherwise, return false.

`features()@m ~method手続きは： ◎ The features() method must run the following steps:

1. %結果 ~LET 新たな`有順序~集合$ ◎ Set result to an empty ordered set.
2. ~EACH( `~support済み特能$ %特能 ) に対し ⇒ %特能 を %結果 に`付加する$set ◎ For each supported feature feature: • Append feature to result.
3. ~RET %結果 ◎ return result

`allowedFeatures()@m ~method手続きは： ◎ The allowedFeatures() method must run the following steps:

1. %結果 ~SET 新たな`有順序~集合$ ◎ Set result to an empty ordered set.
2. %生成元 ~LET コレの`既定の生成元$ ◎ Let origin be this PermissionsPolicy object’s default origin.
3. %施策 ~LET コレに`結付けられた~node$用の`観測-可能な施策$ ◎ Let policy be the observable policy for this PermissionsPolicy object’s associated node.
4. ~EACH( `~support済み特能$ %特能 ) に対し ⇒ ~IF［ %施策 により， %特能 は %生成元 用に許容される ］ ⇒ %結果 に %特能 を`付加する$set ◎ For each supported feature feature: • If feature is allowed by policy for origin, append feature to result.
5. ~RET %結果 ◎ return result

`getAllowlistForFeature(feature)@m ~method手続きは： ◎ The getAllowlistForFeature(feature) method must run the following steps:

1. %結果 ~SET 空な~list ◎ Set result to an empty list.
2. %生成元 ~LET コレの`既定の生成元$ ◎ Let origin be this PermissionsPolicy object’s default origin.
3. %施策 ~LET コレに`結付けられた~node$用の`観測-可能な施策$ ◎ Let policy be the observable policy for this PermissionsPolicy object’s associated node.
4. ~IF［ %施策 により， %特能 は %生成元 用には許容されない ］ ⇒ ~RET %結果 ◎ If feature is not allowed in policy for origin, return result
5. %許容list ~LET %施策 の`宣言-済み施策$pPの`宣言~群$dP[ %特能 ] ◎ Let allowlist be policy’s declared policy[feature]'s declarations.

6. ~IF［ %許容list ~EQ `全~生成元$i ］： ◎ If allowlist is the special value *:

   1. %結果 に`全~生成元$iを`付加する$set ◎ Append "*" to result
   2. ~RET %結果 ◎ Return result.
7. ~IF［ %許容list の`自己-生成元$AL ~NEQ ~NULL ］ ⇒ %結果 に次の結果を`付加する$set ⇒ `生成元を直列化する$( %許容list の`自己-生成元$AL ) ◎ If the allowlist’s self-origin is not null, append the serialization of it to result.
8. ~IF［ %許容list の`~src生成元$AL ~NEQ ~NULL ］ ⇒ %結果 に次の結果を付加する ⇒ `生成元を直列化する$( %許容list の`~src生成元$AL ) ◎ If the allowlist’s src-origin is not null, append the serialization of it to result.
9. ~ELSE ⇒ %許容list の`式~群$ALを成す ~EACH( %~item ) に対し ⇒ %結果 に %~item を付加する ◎ Otherwise, for each permissions-source-expression item in allowlist’s expressions: • Append item to result
10. ~RET %結果 ◎ Return result.

所与の［ `要素$／`文書$ ］【！Node】 %~node 用の `観測-可能な施策@ は、［ %~node の`~node~navigable$【！the navigable represented by that Node】内の施策についての情報のうち， %~node の`~node文書$【！現在の文書】から可視なもの ］を包含する`許可~施策$であり， 次を走らせた結果になる： ◎ The observable policy for any Node is a permissions policy, which contains the information about the policy in the navigable represented by that Node which is visible from the current document. ◎ ↓ To get the observable policy for a Document document, return document’s permissions policy. ◎ To get the observable policy for an Element node, run the following steps:

1. ~IF［ %~node は`文書$である ］ ⇒ ~RET %~node の`許可~施策$doc ◎ ↑
2. %継承した施策 ~LET 新たな`有順序~map$ ◎ Let inherited policy be an empty ordered map.
3. ~EACH( `~support済み特能$ %特能 ) に対し ⇒ %継承した施策[ %特能 ] ~SET `生成元に属する容器~内の特能~用に継承される施策を定義する$( %特能, %~node, %~node 用に`宣言された生成元$ ) ◎ For each supported feature feature: • Let isInherited be the result of running Define an inherited policy for feature in container at origin on feature, node and node’s declared origin. • Set inherited policy[feature] to isInherited.

4. ~RET 新たな`許可~施策$ — その ⇒＃ `継承した施策$pP ~SET %継承した施策 `宣言-済み施策$pP ~SET `新たな宣言-済み施策$() ◎ Return a new permissions policy with inherited policy inherited policy, declared policy a struct with both declarations and reporting configuration new ordered maps.

所与の ( `要素$ %要素 ) 用に `宣言された生成元@ を取得するときは、 次を走らす： ◎ To get the declared origin for an Element node, run the following steps:

1. %文書 ~LET %要素 の`~node文書$ ◎ ↓
2. ~IF［ `閲覧~文脈~sandbox化( 生成元 )~flag$ ~IN %文書 にて`作動中な~sandbox法~flag集合$ ］ ⇒ ~RET 新たな`不透明な生成元$ ◎ If node’s node document’s sandboxed origin browsing context flag is set, then return a new opaque origin.
3. ~IF［ %要素 は `sandbox$aF 属性を有していて，その値は `allow-same-origin^v ~keywordを包含しない ］ ⇒ ~RET 新たな`不透明な生成元$ ◎ If node’s sandbox attribute is set, and does not contain the allow-same-origin keyword, then return a new opaque origin.
4. ~IF［ %要素 は `srcdoc$aF 属性を有する ］ ⇒ ~RET %文書 の`生成元$doc ◎ If node’s srcdoc attribute is set, then return node’s node document’s origin.

5. ~IF［ %要素 は `src$aF 属性を有する ］： ◎ If node’s src attribute is set:

   1. %~URL ~LET `~URLを相対的に構文解析する$( %要素 の `src$aF 属性の値, %文書 )

      【 `~HTMLの更新＠https://github.com/whatwg/html/commit/59e75bb5eace7d378c5b52e47790cd8553bb66e7$により、 “~URLを相対的に構文解析する” の挙動は改められ， 元と同じに挙動する “`~URLを符号化法の下で相対的に構文解析する$” が追加されたので、 これは，後者を参照するべきと思われる。 】

      ◎ Let url be the result of parsing node’s src attribute, relative to node’s node document.
   2. ~IF［ %~URL ~NEQ `失敗^i ］ ⇒ ~RET %~URL の`生成元$url ◎ If url is not failure, return url’s origin.
6. ~RET %文書 の`生成元$doc ◎ Return node’s node document’s origin.

注記： `宣言された生成元$の概念は、［ ~pageが~frameの中へ読込もうと意図している文書 ］の生成元を表現することが意図される。 このことは、 一例として，［ `sandbox^a ／ `srcdoc^a ］属性を~supportしない~browserは、［ 宣言された生成元を算出するときには， その属性を織り込まないべきである ］ことを意味する。 ◎ The declared origin concept is intended to represent the origin of the document which the embedding page intends to load into a frame. This means, for instance, that if the browser does not support the sandbox or srcdoc attributes, it should not take those attributes into account when computing the declared origin.

この~algoは、 所与の ( `応答$ %応答, `生成元$ %生成元, 真偽値 %報告のみか ) に対し，`宣言-済み施策$を返す： ◎ Given a response (response), an origin (origin), and a boolean (report-only), this algorithm returns a declared policy.

1. %~header名 ~LET %報告のみか に応じて ⇒＃ ~T ならば `Permissions-Policy-Report-Only^bl ／ ~F ならば `Permissions-Policy^bl ／ ◎ Let header name be "Permissions-Policy-Report-Only" if report-only is True, or "Permissions-Policy" otherwise.
2. %構文解析した~header ~LET %応答 の`~header~list$rsから`有構造~field値を取得する$( %~header名, `辞書^i ) ◎ Let parsed header be the result of executing get a structured field value given header name and "dictionary" from response’s header list.
3. ~IF［ %構文解析した~header ~EQ ~NULL ］ ⇒ ~RET `新たな宣言-済み施策$()【！empty ordered map】 ◎ If parsed header is null, return an empty ordered map.
4. ~RET `辞書と生成元から施策を構築する$( %構文解析した~header, %生成元 ) ◎ Let policy be the result of executing Construct policy from dictionary and origin on parsed header and origin. ◎ Return policy.

この~algoは、 所与の ( `有順序~map$【`辞書$sf】 %辞書, `生成元$ %生成元 ) に対し，`宣言-済み施策$を返す： ◎ Given an ordered map (dictionary) and an origin (origin), this algorithm will return a declared policy.

1. %宣言-済み施策 ~LET `新たな宣言-済み施策$() ◎ Let declarations be an empty ordered map. ◎ Let reporting-config be an empty ordered map.

2. %辞書 を成す ~EACH( %特能~名 → ( %値, %~params ) ) に対し： ◎ For each feature-name → (value, params) of dictionary:

   1. %特能 ~LET ［ %特能~名 は ある`施策により制御される特能$を識別するものであって，~UAは それを認識するならば その特能／ ~ELSE_ ε ］ ◎ If feature-name does not identify any recognized policy-controlled feature, then continue. ◎ Let feature be the policy-controlled feature identified by feature-name.
   2. ~IF［ %特能 ~EQ ε ］ ⇒ ~CONTINUE ◎ ↑
   3. %報告先 ~LET %~params[ `report-to^l ] ◎ ↓
   4. ~IF［ %報告先 は`文字列$sf【！文字列】である ］ ⇒ %宣言-済み施策 の`報告用~環境設定$dP[ %特能 ] ~SET %報告先 ◎ If params["report-to"] exists, and is a string, then set reporting-config[feature] to params["report-to"].
   5. ~IF［ %値 は`~list$でない ］ ⇒ %値 ~SET « %値 » ◎ ↓
   6. ~IF［ `全~生成元$i ~IN %値 ］ ⇒＃ %施策[ %特能 ] ~SET `全~生成元$i； ~CONTINUE ◎ ↓ Let allowlist be a new allowlist. ◎ If value is the token *, or＼ if value is a list which contains the token *, set allowlist to the special value *. ◎ Otherwise: ◎ ↓ If value is the token self, let allowlist’s self-origin be origin.
   7. %許容list ~LET `新たな許容list$ ◎ ↑

   8. %値 を成す ~EACH( %~item ) に対し： ◎ Otherwise if value is a list, then for each element in value:

      1. ~IF［ %~item ~EQ `self$P ］ ⇒ %許容list の`自己-生成元$AL ~SET %生成元 ◎ If element is the token self, let allowlist’s self-origin be origin.
      2. ~ELIF［ %~item は妥当な `permissions-source-expression$P である ］ ⇒ %許容list の`式~群$ALに %~item を`付加する$ ◎ If element is a valid permissions-source-expression, append element to allowlist’s expressions.
   9. %宣言-済み施策 の`宣言~群$dP[ %特能 ] ~SET %許容list ◎ Set declarations[feature] to allowlist.
3. ~RET %宣言-済み施策 ◎ Return «declarations, reporting-config».

この~algoは、 所与の ( 文字列 %値, `生成元$ %容器~生成元, `生成元$ %~target生成元 ~DF ε ) に対し，`施策~指令$を返す： ◎ Given a string (value), an origin (container origin), and an optional origin (target origin), this algorithm returns a policy directive.

1. %指令 ~LET 新たな`有順序~map$ ◎ Let directive be an empty ordered map.

2. `区切子で厳密に分割する$( %値, `003B^U (;) ) の結果を成す ~EACH( %直列形の宣言 ) に対し： ◎ For each serialized-declaration returned by strictly splitting value on the delimiter U+003B (;):

   1. %~token群 ~LET `~ASCII空白で分割する$( %直列形の宣言 ) ◎ Let tokens be the result of splitting serialized-declaration on ASCII whitespace.
   2. ~IF［ %~token群 は空である ］ ⇒ ~CONTINUE ◎ If tokens is an empty list, then continue.
   3. %特能~名 ~LET %~token群[ 0 ] ◎ Let feature-name be the first element of tokens.
   4. %特能 ~LET %特能~名 により識別される`~support済み特能$が［ 在るならば それ ／ 無いならば ε ］ ◎ If feature-name does not identify any recognized policy-controlled feature, then continue.
   5. ~IF［ %特能 ~EQ ε ］ ⇒ ~CONTINUE ◎ Let feature be the policy-controlled feature identified by feature-name.
   6. %~target~list ~LET %~token群 から最初の~itemを除去して得られる~list ◎ Let targetlist be the remaining elements, if any, of tokens.
   7. ~IF［ `全~生成元$i ~IN %~target~list ］ ⇒＃ %指令[ %特能 ] ~SET `全~生成元$i； ~CONTINUE ◎ Let allowlist be a new allowlist. ◎ If any element of targetlist is the string "*", set allowlist to the special value *.
   8. %許容list ~SET `新たな許容list$ ◎ ↑ Otherwise:
   9. ~IF［ %~target~list は空である ］ ⇒ %~target~list に `'src'^l を`付加する$ ◎ ↓ If targetlist is empty and target origin is given, let allowlist’s src-origin be target origin.

   10. %~target~list を成す ~EACH( %~item【！element】 ) に対し： ◎ For each element in targetlist:

       1. ~IF［ %~item は `'self'^l に`~ASCII大小無視$で合致する ］： ◎ If element is an ASCII case-insensitive match for "'self'":

          1. %許容list の`自己-生成元$AL ~SET %容器~生成元 ◎ Let allowlist’s self-origin be container origin.
          2. ~CONTINUE ◎ Continue to the next element.

       2. ~IF［ %~target生成元 ~NEQ ε ］~AND［ %~item は `'src'^l に`~ASCII大小無視$で合致する ］： ◎ If target origin is given, and element is an ASCII case-insensitive match for "'src'":

          1. %許容list の`~src生成元$AL ~SET %~target生成元 ◎ Let allowlist’s src-origin be target origin.
          2. ~CONTINUE ◎ Continue to the next element.
       3. %結果 ~LET `~URL構文解析する$( %~item ) ◎ Let result be the result of executing the URL parser on element.
       4. ~IF［ %結果 ~EQ `失敗^i ］ ⇒ ~CONTINUE ◎ If result is not failure:
       5. %~target ~LET %結果 の`生成元$url ◎ Let target be the origin of result.
       6. ~IF［ %~target は`不透明な生成元$である ］ ⇒ ~CONTINUE ◎ If target is not an opaque origin,＼

       7. %許容list の`式~群$ALに次の結果を`付加する$set【！`付加する$】 ⇒ `生成元を直列化する$( %~target )

          【 結果は `permissions-source-expression$P に合致するはずである。 】

          ◎ append the serialization of target to allowlist’s expressions.
   11. %指令[ %特能 ] ~SET %許容list ◎ Set directive[feature] to allowlist.
3. ~RET %指令 ◎ Return directive

この~algoは、 所与の ( 要素 %要素 ) に対し，`容器~施策$を返す（空にもなり得る）： ◎ Given an element (element), this algorithm returns a container policy, which may be empty.

1. ~IF［ %要素 は `iframe$e 要素でない ］ ⇒ ~RET 空な`容器~施策$ ◎ If element is not an iframe element, then return an empty policy directive.
2. %容器~施策 ~LET `施策~指令を構文解析する$( %要素 の `allow$aF 属性の値, %要素 の`~node文書$の`生成元$doc, %要素 用に`宣言された生成元$ ) ◎ Let container policy be the result of running Parse policy directive given the value of element’s allow attribute, the origin of element’s node document, and element’s declared origin.
3. ~IF［ %要素 は `allowfullscreen$aF 属性を有する ］~AND［ %容器~施策[ `fullscreen^l ] ~EQ ε ］ ⇒ %容器~施策[ `fullscreen^l ] ~SET `全~生成元$i ◎ If element’s allowfullscreen attribute is specified, and container policy does not contain an entry for the fullscreen feature. • Set container policy[fullscreen] = the special value *.
4. ~RET %容器~施策 ◎ Return container policy.

この~algoは、 所与の ( ［ ~NULL ／`要素$ ］ %容器, `生成元$ %生成元 ) に対し，新たな`許可~施策$を返す： ◎ Given null or an element (container) and an origin (origin) this algorithm returns a new Permissions Policy.

1. ~Assert： %容器 ~EQ ~NULL ならば， %容器 は`~navigable容器$である。 ◎ Assert: If not null, container is a navigable container.
2. %継承した施策 ~LET 新たな`有順序~map$ ◎ Let inherited policy be a new ordered map.
3. ~EACH( `~support済み特能$ %特能 ) に対し ⇒ %継承した施策[ %特能 ] ~SET `生成元に属する容器~内の特能~用に継承される施策を定義する$( %特能, %容器, %生成元 ) ◎ For each feature supported, • Let isInherited be the result of running Define an inherited policy for feature in container at origin on feature, container and origin. • Set inherited policy[feature] to isInherited.
4. %施策 ~LET 新たな`許可~施策$ — その ⇒＃ `継承した施策$pP ~SET %継承した施策 `宣言-済み施策$pP ~SET `新たな宣言-済み施策$() ◎ Let policy be a new permissions policy, with inherited policy inherited policy and declared policy «[], []».
5. ~RET %施策 ◎ Return policy.

この~algoは、 所与の ( ［ ~NULL ／ `~navigable容器$ ］ %容器, `生成元$ %生成元, `応答$ %応答, 真偽値 %報告のみか ~DF ~F ) に対し，新たな`許可~施策$を返す： ◎ Given null or a navigable container (container), an origin (origin), a response (response), and an optional boolean (report-only), with a default value of False, this algorithm returns a new permissions policy.

1. %施策 ~LET `~navigable用の許可~施策を作成する$( %容器, %生成元 ) ◎ Let policy be the result of running Create a Permissions Policy for a navigable given container and origin.
2. %応答~施策 ~LET `応答~施策を処理する$( %応答, %生成元, %報告のみか ) ◎ Let d be the result of running Process response policy given response, origin and report-only.
3. %応答~施策 の`宣言~群$dPを成す ~EACH( %特能 → %許容list ) に対し ⇒ ~IF［ %施策 が`継承した施策$pP[ %特能 ] ~EQ `可能化される^i【！~T】 ］ ⇒ %施策 の`宣言-済み施策$pPの`宣言~群$dP[ %特能 ] ~SET %許容list ◎ For each feature → allowlist of d’s declarations: • If policy’s inherited policy[feature] is true, then set policy’s declared policy’s declarations[feature] to allowlist.
4. %施策 の`宣言-済み施策$pPの`報告用~環境設定$dP[ %特能 ] ~SET %応答~施策 の`報告用~環境設定$dP ◎ Set policy’s declared policy[feature]'s reporting configuration to d’s reporting configuration.
5. ~RET %施策 ◎ Return policy.

この~algoは、 所与の ⇒＃ `特能$ %特能, ［ ~NULL ／ `~navigable容器$ ］ %容器, %容器 内の文書【 %容器 の`内容~文書$】用の`生成元$ %内容~生成元, 真偽値 %報告のみか ~DF ~F ◎終 に対し，`特能~用に継承される施策$を返す： ◎ Given a feature (feature), null or a navigable container (container), an origin for a Document in that container (origin), and an optional boolean (report-only), with a default value of False, this algorithm returns the inherited policy value for feature.

1. ~IF［ %容器 ~EQ ~NULL ］ ⇒ ~RET `可能化される^i ◎ If container is null, return "Enabled".
2. %文書 ~LET %容器 の`~node文書$ ◎ ↓
3. « %文書 の`生成元$doc, %内容~生成元 » を成す ~EACH( %生成元 ) に対し ⇒ ~IF［ `生成元~用の特能~値を取得する$( %特能, %文書, %生成元, %報告のみか ) ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If the result of executing Get feature value for origin on feature, container’s node document, container’s node document’s origin, and report-only is "Disabled", return "Disabled". ◎ If the result of executing Get feature value for origin on feature, container’s node document, origin, and report-only is "Disabled", return "Disabled".
4. %容器~施策 ~LET `許可~施策~属性を処理する$( %容器 ) ◎ Let container policy be the result of running Process permissions policy attributes on container.

5. ~IF［ %容器~施策[ %特能 ] ~NEQ ε ］： ◎ If feature exists in container policy:

   1. ~IF［ `許容listは生成元に合致するか？$( %容器~施策[ %特能 ], %内容~生成元 ) ~EQ ~T ］ ⇒ ~RET `可能化される^i ◎ If the allowlist for feature in container policy matches origin, return "Enabled".
   2. ~RET `不能化される^i ◎ Otherwise return "Disabled".
6. ~IF［ %特能 の`既定の許容list$ ~EQ `全~生成元$i ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is *, return "Enabled".
7. ~IF［ %特能 の`既定の許容list$ ~EQ `'self'^l ］~AND［ ( %内容~生成元, %文書 の`生成元$doc ) は`同一-生成元$である ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is 'self', and origin is same origin with container’s node document’s origin, return "Enabled".
8. ~RET `不能化される^i ◎ Otherwise return "Disabled".

この~algoは、 所与の ⇒＃ `特能$ %特能, `文書$ %文書, `生成元$ %生成元, 真偽値 %報告のみか ~DF ~F ◎終 に対し，［ %特能 は不能化されるべきと見なされるならば `不能化される^i ／ ~ELSE_ `可能化される^i ］を返す： ◎ Given a feature (feature), a Document object (document), an origin (origin), and a boolean (report-only), this algorithm returns "Disabled" if feature should be considered disabled, and "Enabled" otherwise.

1. %施策 ~LET %報告のみか に応じて ⇒＃ ~T ならば %文書 の`報告のみの許可~施策$doc／ ~F ならば %文書 の`許可~施策$doc ◎ Let policy be document’s report-only permissions policy if report-only is True, or document’s permissions policy otherwise.
2. ~IF［ %施策 が`継承した施策$pP[ %特能 ] ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If policy’s inherited policy for feature is "Disabled", return "Disabled".
3. %許容list ~LET %施策 の`宣言-済み施策$pPの`宣言~群$dP[ %特能 ] ◎ ↓

4. ~IF［ %許容list ~NEQ ε ］： ◎ If feature is present in policy’s declared policy:

   1. ~IF［ `許容listは生成元に合致するか？$( %許容list, %生成元 ) ~EQ ~T ］ ⇒ ~RET `可能化される^i ◎ If policy’s declared policy’s declarations[feature] matches origin, then return "Enabled".
   2. ~RET `不能化される^i ◎ Otherwise return "Disabled".
5. ~RET `可能化される^i ◎ Return "Enabled".

この~algoは、 所与の ( `許可~施策$ %施策, `特能$ %特能, `生成元$ %生成元, `生成元$ %文書~生成元 ) に対し，［ %特能 は不能化されるべきと見なされるならば `不能化される^i ／ ~ELSE_ `可能化される^i ］を返す： ◎ To check a permissions policy, given permissions policy (policy), a feature (feature), an origin (origin) and another origin (document origin), this algorithm returns "Disabled" if feature should be considered disabled, and "Enabled" otherwise.

1. ~IF［ %施策 が`継承した施策$pP[ %特能 ] ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If policy’s inherited policy for feature is "Disabled", return "Disabled".
2. %許容list ~LET %施策 の`宣言-済み施策$pPの`宣言~群$dP[ %特能 ] ◎ ↓

3. ~IF［ %許容list ~NEQ ε ］： ◎ If feature is present in policy’s declared policy:

   1. ~IF［ `許容listは生成元に合致するか？$( %許容list, %生成元 ) ~EQ ~T ］ ⇒ ~RET `可能化される^i ◎ If policy’s declared policy’s declarations[feature] matches origin, then return "Enabled".
   2. ~RET `不能化される^i ◎ Otherwise return "Disabled".
4. ~IF［ %特能 の`既定の許容list$ ~EQ `全~生成元$i ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is *, return "Enabled".
5. ~IF［ %特能 の`既定の許容list$ ~EQ `'self'^l ］~AND［ ( %生成元, %文書~生成元 ) は`同一-生成元$である ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is 'self', and origin is same origin with document origin, return "Enabled".
6. ~RET `不能化される^i ◎ Return "Disabled".

この~algoは、 所与の ( `特能$ %特能, `文書$ %文書, `生成元$ %生成元, 真偽値 %報告するか ~DF ~T【！True】 ）) に対し： ◎ Given a feature (feature), a Document object (document), an origin (origin), and an optional boolean (report), with a default value of True, this algorithm＼

• ［ %特能 は不能化されるべきと見なされるならば `不能化される^i ／ ~ELSE_ `可能化される^i ］を返す。 ◎ returns "Disabled" if feature should be considered disabled, and "Enabled" otherwise.＼
• %報告するか ~EQ ~T の場合、 %特能 は［ %文書 の`許可~施策$doc ／ %文書 の`報告のみの許可~施策$doc ］いずれかにおいて可能化されない場合に， `報告を生成して~queueする$ことになる。 ◎ If report is True, then it will also generate and queue a report if the feature is not enabled in either document’s permissions policy or document’s report-only permissions policy.

注記： %報告するか 用の既定の値 ~T は、［ ほとんどの許可~施策~検査に対しては、 当の特能が可能化されない場合に，違反~報告を生成することになる ］ことを意味する。 ほとんどの検査は，当の特能の利用を実際に試みるために遂行されるので、 これが期待される結果になる。 そのような試みではなく， ある特能の状態をただ~queryするために この~algoを~callする場合、 %報告するか を ~F に設定するべきである。 ◎ Note: The default value of True for report means that most permissions policy checks will generate a violation report if the feature is not enabled. This is the expected result, as most checks are for an actual attempted use of the feature. If a call to this algorithm is performed just to query the state of a feature, and does not represent an actual attempt to use the feature, then report should be set to False.

1. %施策 ~LET %文書 の`許可~施策$doc ◎ Let policy be document’s permissions policy.
2. %報告のみの施策 ~LET %文書 の`報告のみの許可~施策$doc ◎ Let report-only policy be document’s report-only permissions policy.
3. %結果 ~LET `許可~施策を検査する$( %施策, %特能, %生成元, %文書 の`生成元$doc ) ◎ Let result be the result of calling Check permissions policy, given policy, feature, origin, and document’s origin.
4. %報告のみの結果 ~LET `許可~施策を検査する$( %報告のみの施策, %特能, %生成元, %文書 の`生成元$doc ) ◎ Let report-only result be the result of calling Check permissions policy, given report-only policy, feature, origin, and document’s origin.

5. ~IF［ %報告するか ~EQ ~T ］： ◎ If report is True:

   1. %設定群 ~LET %文書 の`環境~設定群~obj$ ◎ Let settings be document’s environment settings object.

   2. ~IF［ %結果 ~EQ `不能化される^i ］： ◎ If result is "Disabled":

      1. %報告先 ~LET `特能~用の報告用~端点を取得する$( %特能, %施策 ) ◎ Let endpoint be the result of calling Get the reporting endpoint for a feature given feature and policy.
      2. `設定群に対し許可~施策の違反~用に報告を生成する$( %特能, %設定群, `enforce^l【！"Enforce"】, %報告先 ) ◎ Call Generate report for violation of permissions policy on settings given feature, settings, "Enforce", and endpoint.

   3. ~ELIF［ %報告のみの結果 ~EQ `不能化される^i ］： ◎ Else, if report-only result is "Disabled":

      1. %報告のみの報告先 ~LET `特能~用の報告用~端点を取得する$( %特能, %報告のみの施策 ) ◎ Let report-only endpoint be the result of calling Get the reporting endpoint for a feature given feature and report-only policy.
      2. `設定群に対し許可~施策の違反~用に報告を生成する$( %特能, %設定群, `report^l【！"Report"】, %報告のみの報告先 ) ◎ Call Generate report for violation of permissions policy on settings given feature, settings, "Report", and report-only endpoint.
6. ~RET %結果 ◎ Return result

この~algoは、 所与の ( `特能$ %特能, `許可~施策$ %施策 ) に対し，［ 違反~報告の送信-先を与える報告先が %施策 内に宣言されているならば，それを命名している文字列／ 無いならば， ~NULL ］を返す： ◎ Given a feature (feature) and a permissions policy (policy), this algorithm returns a string naming the endpoint to send violation reports to, or null if no such endpoint has been declared in policy.

1. %結果 ~LET %施策 の`宣言-済み施策$pPの`報告用~環境設定$dP[ %特能 ] ◎ Let config be policy’s declared policy’s reporting configuration. ◎ If config[feature] exists, return config[feature].
2. ~IF［ %結果 ~NEQ ε ］ ⇒ ~RET %結果 ◎ ↑
3. ~RET ~NULL ◎ Return null.

この~algoは、 所与の ⇒＃ `~navigable容器$ %容器, ［文字列／~NULL］ %~allow属性, ［文字列／~NULL］ %~src属性 ◎終 に対し，潜在的な違反~報告を送信する： ◎ Given a navigable container (container), a string-or-null (allowAttribute), and a string-or-null (srcAttribute), this algorithm sends potential violation reports.

1. %文書 ~LET %容器 の`~node文書$ ◎ Let document be container’s node document.
2. %設定群 ~LET %文書 の`環境~設定群~obj$ ◎ Let settings be document’s environment settings object.

3. ~EACH( `~support済み特能$ %特能 ) に対し： ◎ For each supported feature feature:

   1. ~IF［ `生成元に属する容器~内の特能~用に継承される施策を定義する$( %特能, %容器, %容器 の`宣言された生成元$ ) ~EQ `不能化される^i ］： ◎ If the result of running Define an inherited policy for feature in container at origin on feature, container and container’s declared origin is "Disabled":

      1. %報告先 ~LET `特能~用の報告用~端点を取得する$( %特能, %文書 の`許可~施策$doc ) ◎ Let endpoint be the result of calling Get the reporting endpoint for a feature given feature and document’s permissions policy.
      2. `設定群に対し許可~施策の潜在的な違反~用の報告を生成する$( ↓ ) ⇒＃ %特能, %設定群, `enforce^l【！"Enforce"】, %報告先, %~allow属性, %~src属性 ◎ Call Generate report for potential violation of permissions policy on settings given feature, settings, "Enforce", endpoint, allowAttribute, and srcAttribute.

   2. ~ELIF［ `生成元に属する容器~内の特能~用に継承される施策を定義する$( %特能, %容器, %容器 の`宣言された生成元$, ~T ) ~EQ `不能化される^i ］： ◎ Else, if the result of running Define an inherited policy for feature in container at origin on feature, container, container’s declared origin and True is "Disabled":

      1. %報告のみの報告先 ~LET `特能~用の報告用~端点を取得する$( %特能, %文書 の`報告のみの許可~施策$doc ) ◎ Let report-only endpoint be the result of calling Get the reporting endpoint for a feature given feature and document’s report-only permissions policy.
      2. `設定群に対し許可~施策の潜在的な違反~用の報告を生成する$( ↓ ) ⇒＃ %特能, %設定群, `report^l【！"Report"】, %報告のみの報告先, %~allow属性, %~src属性 ◎ Call Generate report for potential violation of permissions policy on settings given feature, settings, "Report", report-only endpoint, allowAttribute, and srcAttribute.

この~algoは、 所与の ( `特能$ %特能, `環境~設定群~obj$ %設定群, 文字列 %処置, ［ 文字列／~NULL ］ %報告先 ) に対し，%特能 用の施策に対する`違反$についての`報告$を生成する： ◎ Given a feature (feature), an environment settings object (settings), a string (disposition), and a string-or-null (endpoint), this algorithm generates a report about the violation of the policy for feature.

1. %本体 ~LET 新たな `PermissionsPolicyViolationReportBody$I — その ⇒＃ `featureId$m ~SET %特能 の文字列~表現, `sourceFile$m ~SET ~NULL, `lineNumber$m ~SET ~NULL, `columnNumber$m ~SET ~NULL, `disposition$m ~SET %処置 ◎ Let body be a new PermissionsPolicyViolationReportBody, initialized as follows: ◎ featureId • feature’s string representation. sourceFile • null lineNumber • null columnNumber • null disposition • disposition

2. ~IF［ ~UAは現在~scriptを実行している ］~AND［ %設定群 から~source~fileの［ ~URL, 行番号, 列番号 ］を抽出できる† ］ ⇒ それに則って， %本体 の［ `sourceFile$m, `lineNumber$m, `columnNumber$m ］を設定する

   【† ~URLのみ抽出できる場合もあるかもしれない。 その場合、 `sourceFile^m のみ設定されることになりそうだが， 何もしないようにも読める。 】

   ◎ If the user agent is currently executing script, and can extract the source file’s URL, line number, and column number from settings, then set body’s sourceFile, lineNumber, and columnNumber accordingly.
3. `報告を生成して~queueする$( %設定群 の`大域~obj$enV, `permissions-policy-violation^l, %報告先, %本体 ) ◎ Execute generate and queue a report with body, "permissions-policy-violation", endpoint, and settings.

注記： 許可~施策が`違反-$されたときには、 この~algoが~callされるべきである。 ◎ Note: This algorithm should be called when a permissions policy has been violated.

この~algoは、 所与の ⇒＃ `特能$ %特能, `環境~設定群~obj$ %設定群, 文字列 %処置, ［文字列／~NULL］ %報告先, ［文字列／~NULL］ %~allow属性, ［文字列／~NULL］ %~src属性 ◎終 に対し， %特能 用の施策の`違反$についての`報告$を生成する： ◎ Given a feature (feature), an environment settings object (settings), a string (disposition), a string-or-null (endpoint), a string-or-null (allowAttribute), and a string-or-null (srcAttribute), this algorithm generates a report about the violation of the policy for feature.

1. %本体 ~LET 新たな `PermissionsPolicyViolationReportBody$I — その ⇒＃ `featureId$m ~SET %特能 の文字列~表現, `sourceFile$m ~SET ~NULL, `lineNumber$m ~SET ~NULL, `columnNumber$m ~SET ~NULL, `disposition$m ~SET %処置, `allowAttribute$m ~SET %~allow属性, `srcAttribute$m ~SET %~src属性 ◎ Let body be a new PermissionsPolicyViolationReportBody, initialized as follows: ◎ featureId • feature’s string representation. sourceFile • null lineNumber • null columnNumber • null disposition • disposition allowAttribute • allowAttribute srcAttribute • srcAttribute
2. ~IF［ ~UAは現在~scriptを実行している ］~AND［ %設定群 から~source~fileの［ ~URL, 行番号, 列番号 ］を抽出できる ］ ⇒ それに則って， %本体 の［ `sourceFile$m, `lineNumber$m, `columnNumber$m ］を設定する ◎ If the user agent is currently executing script, and can extract the source file’s URL, line number, and column number from settings, then set body’s sourceFile, lineNumber, and columnNumber accordingly.
3. `報告を生成して~queueする$( %設定群 の`大域~obj$enV, `potential-permissions-policy-violation^l, %報告先, %本体 ) ◎ Execute generate and queue a report with body, "potential-permissions-policy-violation", endpoint, and settings.

この~algoは、 所与の ( 特能 %特能, `要請$ %要請 ) に対し，［ %要請 には %特能 の利用は許容されるべきならば ~T ／ ~ELSE_ ~F ］を返す： ◎ Given a feature (feature) and a request (request), this algorithm returns true if the request should be allowed to use feature, and false otherwise.

1. %~client ~LET %要請 の`~client$rq ◎ Let client be request’s client.
2. ~IF［ %~client ~EQ ~NULL ］ ⇒ ~RET ~F ◎ If client is null, return false.

3. ~IF［ %~client の`大域~obj$enVは `Window$I でない ］ ⇒ ~RET ~F ◎ If client’s global object is not a Window, return false.

   `Window^I でない文脈 （ `WorkerGlobalScope$I ／ `WorkletGlobalScope$I ） の中の許可~施策については、 `課題 #207＠https://github.com/w3c/webappsec-permissions-policy/issues/207$ にて模索中にある。 それが解決されたなら、［ これらの文脈の中で起動される~fetchに，施策により制御される特能の利用を許容する ］よう，この~algoを更新することになる。 `解決されるまでは^em、 施策により制御される特能 （例： 第三者-主体に `Client Hints^en 【`参照＠~HTTPch#client-hint$】を送信するなど） は，これらの文脈においては許容されない。 ◎ Permissions Policy within non-Window contexts (WorkerGlobalScope or WorkletGlobalScope) is being figured out in issue #207. After that’s resolved, update this algorithm to allow fetches initiated within these contexts to use policy-controlled features. Until that’s resolved, disallow all policy-controlled features (e.g., sending Client Hints to third parties) in these contexts.

4. %文書 ~SET %~client の`大域~obj$enVに`結付けられた文書$ ◎ Set document to window’s associated Document.
5. %生成元 ~LET %要請 の`生成元$rq ◎ Let origin be request’s origin.
6. ~RET ~IS［ 次の結果 ~EQ `可能化される^i ］ ⇒ `文書~内の特能は生成元~用に可能化されるか？$( %特能, %文書, %生成元 ) ◎ Let result be the result of executing Is feature enabled in document for origin? on feature, document, and origin. ◎ If result is "Enabled", return true. ◎ Otherwise, return false.