許可施策 — Permissions Policy

`許容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.
2. %許容list 内の ~EACH( %~item ) に対し ⇒ ~IF［ ( %~item, %生成元 ) は`同じ生成元~domain$である ］ ⇒ ~RET ~T ◎ Otherwise, for each item in the allowlist: • If item is same origin-domain with origin, then return true.
3. ~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 %施策 の宣言-済み施策[ %特能 ] ◎ Let allowlist be policy’s declared policy[feature]
6. ~IF［ %許容list ~EQ `全~生成元$i ］ ⇒ %結果 に`全~生成元$iを`付加する$set ◎ If allowlist is the special value *, append "*" to result
7. ~ELSE ⇒ %許容list 内の ~EACH( %生成元 ) に対し ⇒ %結果 に次の結果を`付加する$set ⇒ `生成元を直列化する$( %生成元 ) ◎ Otherwise, for each origin in allowlist: • Append the serialization of origin to result
8. ~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 a new ordered map.
3. %宣言-済み施策 ~LET 新たな有順序~map ◎ Let declared policy be a new ordered map.
4. ~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.
5. ~RET 次のようにされた新たな`許可~施策$ ⇒＃ `継承した施策$ ~SET %継承した施策, `宣言-済み施策$ ~SET %宣言-済み施策 ◎ Return a new permissions policy with inherited policy inherited policy and declared policy declared policy.

所与の ( `要素$ %要素 ) 用に `宣言された生成元@ を取得するときは、 次を走らす： ◎ 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 unique 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 unique 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^a 属性を有する ］： ◎ If node’s src attribute is set:

   1. %~URL ~LET `相対的に~URL構文解析する$( %要素 の `src$aF 属性の値, %文書 ) ◎ 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) and an origin (origin), this algorithm returns a declared permissions policy.

1. %構文解析した~header ~LET %応答 の`~header~list$rsから`有構造~field値を取得する$( `Permissions-Policy$h, `辞書^i ) ◎ Let parsed header be the result of executing get a structured field value given "Permissions-Policy" and "dictionary" from response’s header list.
2. ~IF［ %構文解析した~header ~EQ ~NULL ］ ⇒ ~RET 新たな`有順序~map$ 【原文は，この場合に何も返していないが、空な`宣言-済み施策$を表現する値を返すべきであろう。】 ◎ If parsed header is null, abort these steps.
3. ~RET `辞書と生成元から施策を構築する$( %構文解析した~header, %生成元 ) ◎ Let policy be the result of executing Construct policy from dictionary and origin on parsed header and origin. ◎ Return policy.

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

1. %施策 ~LET 新たな`有順序~map$ ◎ Let policy be an empty ordered map.

2. %辞書 を成す ~EACH( %特能~名 → %値 ) に対し： ◎ For each feature-name → value 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. %施策[ %特能 ] ~SET ［ 次の手続きを走らせた結果 ］として与えられる新たな`許容list$： ◎ Let allowlist be a new allowlist.

      1. ~IF［ %値 ~EQ `全~生成元$i ］ ⇒ ~RET `全~生成元$i ◎ If value is the token *, or＼
      2. ~IF［ %値 は`~list$である ］~AND［ `全~生成元$i ~IN %値 ］ ⇒ ~RET `全~生成元$i ◎ if value is a list which contains the token *, set allowlist to the special value *. ◎ Otherwise:
      3. %許容list ~SET 新たな`有順序~集合$ ◎ Set allowlist to an new ordered set.
      4. ~IF［ %値 ~EQ `self$P ］ ⇒＃ %許容list に %生成元 を`付加する$set； ~RET %許容list ◎ If value is the token self, append origin to allowlist.
      5. ~IF［ %値 は`~list$でない ］ ⇒ ~RET %許容list ◎ If value is a list, then＼

      6. %値 を成す ~EACH( %~item ) に対し： ◎ for each element in value:

         1. ~IF［ %~item ~EQ `self$P ］ ⇒＃ %許容list に %生成元 を`付加する$set； ~CONTINUE ◎ If element is the token self, append origin to allowlist. ◎ Otherwise,＼
         2. %結果 ~LET `~URL構文解析する$( %~item ) ◎ let result be the result of executing the URL parser on element.
         3. ~IF［ %結果 ~EQ `失敗^i ］ ⇒ ~CONTINUE ◎ If result is not failure:
         4. %~target ~LET %結果 の`生成元$url ◎ Let target be the origin of result.
         5. ~IF［ %~target は`不透明な生成元$でない ］ ⇒ %許容list に %~target を`付加する$set ◎ If target is not an opaque origin, append target to allowlist.
      7. ~RET %許容list ◎ Set policy[feature] to allowlist.
3. ~RET %施策 ◎ Return policy.

この~algoは、 所与の ( 文字列 %値, `生成元$ %容器~生成元, `生成元$ %~target生成元（省略時は ε ） ) に対し，`施策~指令$を返す： ◎ 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~list ~LET `~ASCII空白で分割する$( %直列形の宣言 ) ◎ Let tokens be the result of splitting serialized-declaration on ASCII whitespace.
   2. ~IF［ %~token~list は空である ］ ⇒ ~CONTINUE ◎ If tokens is an empty list, then continue.
   3. %特能~名 ~LET %~token~list[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~list から最初の~itemを除去して得られる~list ◎ Let targetlist be the remaining elements, if any, of tokens.
   7. %許容list ~LET `全~生成元$i ◎ ↓

   8. ~IF［ `全~生成元$i ~NIN %~target~list ］ ◎ Let allowlist be a new allowlist. ◎ If any element of targetlist is the string "*", set allowlist to the special value *. ◎ Otherwise:

      1. %許容list ~SET 新たな`有順序~集合$ ◎ Set allowlist to an new ordered set.
      2. ~IF［ %~target~list は空である ］~AND［ %~target生成元 ~NEQ ε ］ ⇒ %許容list に %~target生成元 を`付加する$set ◎ If targetlist is empty and target origin is given, append target origin to allowlist.

      3. %~target~list 内の ~EACH( %~target ) に対し： ◎ For each element in targetlist:

         1. ~IF［ %~target は `'self'^l に`~ASCII大小無視$で合致する ］ ⇒ %~target ~SET %容器~生成元 ◎ If element is an ASCII case-insensitive match for "'self'", let result be container origin.
         2. ~ELIF［ %~target は `'src'^l に`~ASCII大小無視$で合致する ］~AND［ %~target生成元 ~NEQ ε ］ ⇒ %~target ~SET %~target生成元 ◎ If target origin is given, and element is an ASCII case-insensitive match for "'src'", let result be target origin.

         3. ~ELSE：

            1. %~target ~SET `~URL構文解析する$( %~target ) ◎ Otherwise, let result be the result of executing the URL parser on element.
            2. ~IF［ %~target ~EQ `失敗^i ］ ⇒ ~CONTINUE ◎ If result is not failure:
            3. %~target ~SET %~target の`生成元$url ◎ Let target be the origin of result.
         4. ~IF［ %~target は`不透明な生成元$でない ］ ⇒ %許容list に %~target を`付加する$set ◎ If target is not an opaque origin, append target to allowlist.
   9. %指令[ %特能 ] ~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. %容器~施策 ~LET `施策~指令を構文解析する$( %要素 の `allow$aF 属性の値, %要素 の`~node文書$の`生成元$doc, %要素 用に`宣言された生成元$ ) ◎ Let container policy be the result of running Parse policy directive on the value of element’s allow attribute, with container origin set to the origin of element’s node document, and target origin set to element’s declared origin.
2. ~IF［ %要素 は `iframe$e 要素でない ］ ⇒ ~RET %容器~施策 【 `allow^a 属性が定義されているのは `iframe^e しかないので、この記述はおかしい。】 ◎ If element is an iframe element:
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 allowlist for fullscreen: • Let declaration be a new declaration for fullscreen, whose allowlist is the special value *. • Add declaration to container policy.
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. %宣言-済み施策 ~LET 新たな`有順序~map$ ◎ Let declared policy be a new ordered map.
4. ~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.
5. %施策 ~LET 次のようにされた新たな`許可~施策$ ⇒＃ `継承した施策$ ~SET %継承した施策, `宣言-済み施策$ ~SET %宣言-済み施策 ◎ Let policy be a new permissions policy, with inherited policy inherited policy and declared policy declared policy.
6. ~RET %施策 ◎ Return policy.

この~algoは、 所与の ( ［ ~NULL ／ `~navigable容器$ ］ %容器, `生成元$ %生成元, `応答$ %応答 ) に対し，新たな`許可~施策$を返す： ◎ Given null or a navigable container (container), an origin (origin), and a response (response), 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. %d ~LET `応答~施策を処理する$( %応答, %生成元 ) ◎ Let d be the result of running Process response policy on response and origin.
3. %d を成す ~EACH( %特能 → %許容list ) に対し ⇒ ~IF［ %施策 が`継承した施策$[ %特能 ] ~EQ ~T ］ ⇒ %施策 の`宣言-済み施策$[ %特能 ] ~SET %許容list ◎ For each feature → allowlist of d: • If policy’s inherited policy[feature] is true, then set policy’s declared policy[feature] to allowlist.
4. ~RET %施策 ◎ Return policy.

この~algoは、 所与の ( `特能$ %特能, ［ ~NULL ／ `~navigable容器$ ］ %容器, %容器 内の文書~用の`生成元$ %生成元 ) に対し， %容器 が %特能 用に`継承した施策$を返す： ◎ Given a feature (feature), null or a navigable container (container), and an origin for a document in that container (origin), this algorithm returns the inherited policy for that feature.

1. ~IF［ %容器 ~EQ ~NULL ］ ⇒ ~RET `可能化される^i ◎ If container is null, return "Enabled".
2. %文書 ~LET %容器 の`~node文書$ ◎ ↓
3. ~IF［ `文書~内の特能は生成元~用に可能化されるか？$( %特能, %文書, %文書 の`生成元$doc ) ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If the result of executing Is feature enabled in document for origin? on feature, container’s node document, and container’s node document''s origin is "Disabled", return "Disabled".
4. ~IF［ `文書~内の特能は生成元~用に可能化されるか？$( %特能, %文書, %生成元 ) ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If the result of executing Is feature enabled in document for origin? on feature, container’s node document, and origin is "Disabled", return "Disabled".
5. %容器~施策 ~LET `許可~施策~属性を処理する$( %容器 ) ◎ Let container policy be the result of running Process permissions policy attributes on container.

6. ~IF［ %容器~施策[ %特能 ] ~NEQ ε ］： ◎ If feature is a key 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".
7. ~IF［ %特能 の`既定の許容list$ ~EQ `全~生成元$i ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is *, return "Enabled".
8. ~IF［ %特能 の`既定の許容list$ ~EQ `'self'^l ］~AND［ ( %生成元, %容器 の`~node文書$の`生成元$doc ) は`同一-生成元$である ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is 'self', and origin is same origin with container’s node document’s origin, return "Enabled".
9. ~RET `不能化される^i ◎ Otherwise return "Disabled".

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

1. %施策 ~LET %文書 の`許可~施策$ ◎ Let policy be document’s Permissions Policy
2. ~IF［ %施策 が`継承した施策$[ %特能 ] ~EQ `不能化される^i ］ ⇒ ~RET `不能化される^i ◎ If policy’s inherited policy for feature is Disabled, return "Disabled".

3. ~IF［ %施策 の`宣言-済み施策$[ %特能 ] ~NEQ ε ］： ◎ If feature is present in policy’s declared policy:

   1. ~IF［ `許容listは生成元に合致する$( %施策 の`宣言-済み施策$[ %特能 ], %生成元 ) ~EQ ~T ］ ⇒ ~RET `可能化される^i ◎ If the allowlist for feature in policy’s declared policy 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［ ( %生成元, %文書 の`生成元$doc ) は`同一-生成元$である ］ ⇒ ~RET `可能化される^i ◎ If feature’s default allowlist is 'self', and origin is same origin with document’s origin, return "Enabled".
6. ~RET `不能化される^i ◎ Return "Disabled".

この~algoは、 所与の ( `特能$ %特能, `環境~設定群~obj$ %設定群, 文字列 %~group （省略時は `default^l ） ) に対し，%特能 用の施策に対する`違反$についての`報告$を生成する： ◎ Given a feature (feature), an environment settings object (settings), and an optional string (group), 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 `enforce^l ◎ Let body be a new PermissionsPolicyViolationReportBody, initialized as follows: ◎ featureId • feature’s string representation. sourceFile • null lineNumber • null columnNumber • null disposition • "enforce"
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, %~group, %本体 ) ◎ ↑↑If group is omitted, set group to "default". ◎ Execute generate and queue a report with body, "permissions-policy-violation", group, and settings.

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

この~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. %~window ~SET %要請 の`~window$rq ◎ Set window to request’s window.

2. ~IF［ %~window は `Window$I でない ］ ⇒ ~RET ~F ◎ If window 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.

3. %文書 ~SET %~window に`結付けられている文書$ ◎ Set document to window’s associated Document.
4. %生成元 ~LET %要請 の`生成元$rq ◎ Let origin be request’s origin.
5. ~RET ［ 次が満たされるならば ~T ／ ~ELSE_ ~F ］ ⇒ `文書~内の特能は生成元~用に可能化されるか？$( %特能, %文書, %生成元 ) ~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.