Content Security Policy Level 3

6.1.1.1. `child-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `child-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, child-src and policy is "No", return "Allowed".
3. %指令 ~LET `指令$( %名前, この指令の`値$ ) ◎ ↓
4. ~RET %指令 の`要請前~検査$A( %要請, %施策, %自己-生成元 ) ◎ Return the result of executing the pre-request check for the directive whose name is name on request, policy, and self-origin using this directive’s value for the comparison.

6.1.1.2. `child-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `child-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, child-src and policy is "No", return "Allowed".
3. %指令 ~LET `指令$( %名前, この指令の`値$ ) ◎ ↓
4. ~RET %指令 の`要請後~検査$A( %要請, %応答, %施策, %自己-生成元 ) ◎ Return the result of executing the post-request check for the directive whose name is name on request, response, policy, and self-origin, using this directive’s value for the comparison.

6.1.2.1. `connect-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `connect-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, connect-src and policy is "No", return "Allowed".
3. %~source~list ~LET この指令の`値$ ◎ Let source list be directive’s value.

4. ~IF［ %要請 の`~mode$rq ~EQ `webtransport^l ］~AND［ %要請 の`~WebTransport~hash~list$rqは`空$でない ］： ◎ If request’s mode is "webtransport" and request’s WebTransport-hash list is not empty:

   1. ~IF［ `unsafe-webtransport-hashes$pl ~IN`大小無視$sub %~source~list ］ ⇒ ~RET `許容される^i ◎ If source list contains a source expression which is an ASCII case-insensitive match for the keyword-source "'unsafe-webtransport-hashes'", return "Allowed".
   2. ~RET `阻止される^i ◎ Return "Blocked".
5. ~IF［ `要請は~source~listに合致するか？$A( %要請, %~source~list, %自己-生成元 ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, source list, and self-origin, is "Matches", return "Allowed".
6. ~RET `阻止される^i ◎ Return "Blocked".

6.1.2.2. `connect-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `connect-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, connect-src and policy is "No", return "Allowed".
3. %~source~list ~LET この指令の`値$ ◎ Let source list be directive’s value.

4. ~IF［ %要請 の`~mode$rq ~EQ `webtransport^l ］~AND［ %要請 の`~WebTransport~hash~list$rqは`空$でない ］： ◎ If request’s mode is "webtransport" and request’s WebTransport-hash list is not empty:

   1. ~IF［ `unsafe-webtransport-hashes$pl ~IN`大小無視$sub %~source~list ］ ⇒ ~RET `許容される^i ◎ If source list contains a source expression which is an ASCII case-insensitive match for the keyword-source "'unsafe-webtransport-hashes'", return "Allowed".
   2. ~RET `阻止される^i ◎ Return "Blocked".
5. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, %~source~list, %自己-生成元 ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, source list, and self-origin, is "Matches", return "Allowed".
6. ~RET `阻止される^i ◎ Return "Blocked". Return "Allowed".

6.1.3.1. `default-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `default-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, default-src and policy is "No", return "Allowed".
3. %指令 ~LET `指令$( %名前, この指令の`値$ ) ◎ ↓
4. ~RET %指令 の`要請前~検査$A( %要請, %施策, %自己-生成元 ) ◎ Return the result of executing the pre-request check for the directive whose name is name on request, policy, and self-origin, using this directive’s value for the comparison.

6.1.3.2. `default-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `default-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, default-src and policy is "No", return "Allowed".
3. %指令 ~LET `指令$( %名前, この指令の`値$ ) ◎ ↓
4. ~RET %指令 の`要請後~検査$A( %要請, %応答, %施策, %自己-生成元 ) ◎ Return the result of executing the post-request check for the directive whose name is name on request, response, policy, and self-origin, using this directive’s value for the comparison.

6.1.3.3. `default-src^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `default-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, default-src and policy is "No", return "Allowed".
3. %指令 ~LET `指令$( %名前, この指令の`値$ ) ◎ ↓
4. ~RET %指令 の`~inline検査$A( %要素, %型, %施策, %~source ) ◎ Otherwise, return the result of executing the inline check for the directive whose name is name on element, type, policy and source, using this directive’s value for the comparison.

6.1.4.1. `font-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `font-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, font-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.4.2. `font-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `font-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, font-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.5.1. `frame-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `frame-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, frame-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.5.2. `frame-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `frame-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, frame-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.6.1. `img-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `img-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, img-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.6.2. `img-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `img-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, img-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.7.1. `manifest-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `manifest-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, manifest-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.7.2. `manifest-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `manifest-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, manifest-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.8.1. `media-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `media-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, media-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.8.2. `media-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `media-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, media-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.9.1. `object-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `object-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, object-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.9.2. `object-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `object-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, object-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.10.1. `script-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src and policy is "No", return "Allowed".
3. ~RET `~script指令の要請前~検査$A( %要請, この指令, %施策, %自己-生成元 ) ◎ Return the result of executing § 6.7.1.1 Script directives pre-request check on request, this directive, policy, and self-origin.

6.1.10.2. `script-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src and policy is "No", return "Allowed".
3. ~RET `~script指令の要請後~検査$A( %要請, %応答, この指令, %施策, %自己-生成元 ) ◎ Return the result of executing § 6.7.1.2 Script directives post-request check on request, response, this directive, policy, and self-origin.

6.1.10.3. `script-src^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. ~Assert： ［ %要素 ~NEQ ~NULL ］~OR［ %型 ~EQ `navigation^l ］ ◎ Assert: element is not null or type is "navigation".
2. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
3. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src and policy is "No", return "Allowed".
4. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.11.1. `script-src-elem^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src-elem and policy is "No", return "Allowed".
3. ~RET `~script指令の要請前~検査$A( %要請, この指令, %施策, %自己-生成元 ) ◎ Return the result of executing § 6.7.1.1 Script directives pre-request check on request, this directive, policy, and self-origin.

6.1.11.2. `script-src-elem^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src-elem and policy is "No", return "Allowed".
3. ~RET `~script指令の要請後~検査$A( %要請, %応答, この指令, %施策, %自己-生成元 ) ◎ Return the result of executing § 6.7.1.2 Script directives post-request check on request, response, this directive, policy, and self-origin.

6.1.11.3. `script-src-elem^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. ~Assert： ［ %要素 ~NEQ ~NULL ］~OR［ %型 ~EQ `navigation^l ］ ◎ Assert: element is not null or type is "navigation".
2. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
3. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src-elem, and policy is "No", return "Allowed".
4. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.12.1. `script-src-attr^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. ~Assert： ［ %要素 ~NEQ ~NULL ］~OR［ %型 ~EQ `navigation^l ］ ◎ Assert: element is not null or type is "navigation".
2. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
3. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `script-src-attr$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, script-src-attr and policy is "No", return "Allowed".
4. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.13.1. `style-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src and policy is "No", return "Allowed".
3. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, この指令の`値$ ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
4. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.13.2. `style-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src and policy is "No", return "Allowed".
3. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, この指令の`値$ ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
4. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.13.3. `style-src^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src and policy is "No", return "Allowed".
3. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.13.4. `style-src^dir 初期化

この指令の`初期化$Aは： ◎ This directive’s initialization algorithm is as follows:

1. CSSOM の~algoを監禁するために，実行~文脈に関わる何かをする。 CSSOM がこのための~hookを与えることは見込めないので、 【！＊】 `let’s work with them to put something reasonable together.^en ◎ Do something interesting to the execution context in order to lock down interesting CSSOM algorithms. I don’t think CSSOM gives us any hooks here, so let’s work with them to put something reasonable together.

【 この節は，原文では前~節の一部を成しているが、 他所と一貫させるため，独立な節に分けている。 】

6.1.14.1. `style-src-elem^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src-elem and policy is "No", return "Allowed".
3. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, この指令の`値$ ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
4. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.14.2. `style-src-elem^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src-elem and policy is "No", return "Allowed".
3. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, この指令の`値$ ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
4. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
5. ~RET `許容される^i ◎ Return "Allowed".

6.1.14.3. `style-src-elem^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src-elem$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src-elem and policy is "No", return "Allowed".
3. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.1.15.1. `style-src-attr^dir ~inline検査

この指令の`~inline検査$Aは、 所与の ( `要素$ %要素, 文字列 %型, `施策$ %施策, 文字列 %~source ) に対し： ◎ This directive’s inline check algorithm is as follows: ◎ Given an Element element, a string type, a policy policy and a string source:

1. %名前 ~LET `~inline検査~用に有効果な指令を取得する$A( %型 ) ◎ Let name be the result of executing § 6.8.2 Get the effective directive for inline checks on type.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `style-src-attr$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, style-src-attr and policy is "No", return "Allowed".
3. ~IF［ `要素 は ( 型, ~source ) について~source~listに合致するか？$A( %要素, この指令の`値$, %型, %~source ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.3.3 Does element match source list for type and source? on element, this directive’s value, type, and source, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.2.1.1. `webrtc^dir 接続前~検査

この指令の`~WebRTC接続前~検査$Aは、 所与の ( `施策$ %施策 ) に対し： ◎ This directive’s webrtc pre-connect check is as follows:

【 %施策 引数は、 この指令においては利用されていない。 】

1. ~RET ［ 次が満たされるならば `許容される^i／ ~ELSE_ `阻止される^i ］ ⇒ ［ この指令の`値$は単独の~item %~item のみからなる ］~AND［ %~item ~EQ`大小無視$sub "`allow$pl" ］ ◎ If this directive’s value contains a single item which is an ASCII case-insensitive match for the string "'allow'", return "Allowed". ◎ Return "Blocked".

6.2.2.1. `worker-src^dir 要請前~検査

この指令の`要請前~検査$Aは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s pre-request check is as follows: ◎ Given a request request, a policy policy, and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `worker-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, worker-src and policy is "No", return "Allowed".
3. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.2.2.2. `worker-src^dir 要請後~検査

この指令の`要請後~検査$Aは、 所与の ( `要請$ %要請, `応答$ %応答, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a policy policy and an origin self-origin:

1. %名前 ~LET `要請~用に有効果な指令を取得する$A( %要請 ) ◎ Let name be the result of executing § 6.8.1 Get the effective directive for request on request.
2. ~IF［ `~fetch指令を実行するべきか？$A( %名前, `worker-src$dir, %施策 ) ~EQ `~No^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.8.4 Should fetch directive execute on name, worker-src and policy is "No", return "Allowed".
3. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.3.1.1. 文書に対する基底は許容されるか？

次の~algoは、 所与の ( `~URL$ %基底, `文書$ %文書 ) に対し，［ %基底 を `base$e 要素の `href$a 属性の値として利用できるならば `許容される^i ／ ~ELSE_ `阻止される^i ］を返す： ◎ Given a URL base, and a Document document, this algorithm returns "Allowed" if base may be used as the value of a base element’s href attribute, and "Blocked" otherwise:

1. %~CSP~list ~LET %文書 の`大域~obj$が`有する~CSP~list$ 【 %文書 が`有する~CSP~list$？】 ◎ Let CSP list be document’s global object’s csp list

2. %~CSP~list の`施策~群$cspを成す ~EACH( %施策 ) に対し： ◎ For each policy of CSP list’s policies:

   1. %~source~list ~LET ~NULL ◎ Let source list be null.
   2. ~IF［ %施策 の`指令~集合$内に［ `名前$ `base-uri^l を伴う`指令$ ］は在る ］ ⇒ %~source~list ~SET その`指令$の`値$ ◎ If a directive whose name is "base-uri" is present in policy’s directive set, set source list to that directive’s value.
   3. ~IF［ %~source~list ~EQ ~NULL ］ ⇒ ~CONTINUE ◎ If source list is null, skip to the next policy.

   4. ~IF［ `~URLは ( 生成元, ~redirect回数 ) について~source~listに合致するか？$A( %基底, %~source~list, %~CSP~list の`自己-生成元$csp, 0 ) の結果 ~EQ `合致しない^i ］： ◎ If the result of executing § 6.7.2.7 Does url match source list in origin with redirect count? on base, source list, CSP list’s self-origin, and 0 is "Does Not Match":

      1. %違反 ~LET `新たな違反~obj$A1( %文書 の`大域~obj$, %施策, `base-uri$dir ) ◎ Let violation be the result of executing § 2.4.1 Create a violation object for global, policy, and directive on document’s global object, policy, and "base-uri".
      2. %違反 の`資源$vr ~SET `inline^l ◎ Set violation’s resource to "inline".
      3. `違反を報告する$A( %違反 ) ◎ Execute § 5.5 Report a violation on violation.
      4. ~IF［ %施策 の`処置先$ ~EQ `enforce^l ］ ⇒ ~RET `阻止される^i ◎ If policy’s disposition is "enforce", return "Blocked".

   注記： ここで %~CSP~list の`自己-生成元$csp~FNと比較するのは、 不透明な生成元の中へ~sandbox化された`~iframe-srcdoc文書$などに正しく~~対処するためである。 【~FN 原文には “`fallback base URL^en （`~fallback基底~URL＠~HTMLurl#fallback-base-url$）” と記されているが、（自己-生成元が導入される前の）古い記述の更新漏れと見受けられる。】 ◎ Note: We compare against the fallback base URL in order to deal correctly with things like an iframe srcdoc Document which has been sandboxed into an opaque origin.

3. ~RET `許容される^i ◎ Return "Allowed".

6.3.2.1. `sandbox^dir 初期化

この指令の`初期化$Aは、 その施策~内に `sandbox$dir 値が在るかどうかに則って， ~workerを走らすのは許容されるかどうか検査する責を負う： ◎ This directive’s initialization algorithm is responsible for checking whether a worker is allowed to run according to the sandbox values present in its policies as follows:

注記： `sandbox$dir 指令は、 `~CSPから導出される~sandbox法~flag群$を介して `文書$にて`作動中な~sandbox法~flag集合$を調整する責も負う。 ◎ Note: The sandbox directive is also responsible for adjusting a Document’s active sandboxing flag set via the CSP-derived sandboxing flags.

所与の ( `文書$または`大域~obj$ %文脈, `施策$ %施策 ) に対し： ◎ Given a Document or global object context and a policy policy:

1. ~IF［ %施策 の`処置先$ ~NEQ `enforce^l ］~OR［ %文脈 は `WorkerGlobalScope$I でない ］ ⇒ ~RET ◎ If policy’s disposition is not "enforce", or context is not a WorkerGlobalScope, then abort this algorithm.
2. %~sandbox法~flag集合 ~LET 新たな`~sandbox法~flag集合$ ◎ Let sandboxing flag set be a new sandboxing flag set.
3. `~sandbox法~指令を構文解析する$( この指令の`値$, %~sandbox法~flag集合 ) ◎ Parse a sandboxing directive using this directive’s value as the input, and sandboxing flag set as the output.

4. ~IF［ `閲覧~文脈~sandbox化( ~script )~flag$ ~IN %~sandbox法~flag集合 ］~OR［ `閲覧~文脈~sandbox化( 生成元 )~flag$ ~IN %~sandbox法~flag集合 ］ ⇒ ~RET `阻止される^i ◎ If sandboxing flag set contains either the sandboxed scripts browsing context flag or the sandboxed origin browsing context flag flags, return "Blocked".

   注記： この段は、 ~workerを一意な生成元【！＊】の中へ~sandbox化することを許容した場合には， 変更する必要がある。 そうするのは、 相当に適理と見受けられる。 ◎ Note: This will need to change if we allow Workers to be sandboxed into unique origins, which seems like a pretty reasonable thing to do.

5. ~RET `許容される^i ◎ Return "Allowed".

6.4.1.1. `form-action^dir ~navi前~検査

この指令の`~navi前~検査$Aは、 所与の ( `要請$ %要請, 文字列 %~navi種別, `施策$ %施策, `生成元$ %自己-生成元 ) に対し，［ ~form提出が `form-action^dir 指令による拘束に違反するならば `阻止される^i ／ ~ELSE_ `許容される^i ］を返す： ◎ Given a request request, a string navigation type ("form-submission" or "other"), a policy policy, and an origin self-origin, this algorithm returns "Blocked" if a form submission violates the form-action directive’s constraints, and "Allowed" otherwise. This constitutes the form-action directive’s pre-navigation check:

1. ~Assert： %~navi種別 ~IN { `form-submission^l, `other^l } ◎ ↑
2. ~Assert： %施策 は、 この~algoには利用されない。 ◎ Assert: policy is unused in this algorithm.

3. ~IF［ %~navi種別 ~EQ `form-submission^l ］： ◎ If navigation type is "form-submission":

   1. ~IF［ `要請は~source~listに合致するか？$A( %要請, この指令の`値$, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, this directive’s value, and self-origin, is "Does Not Match", return "Blocked".
4. ~RET `許容される^i ◎ Return "Allowed".

6.4.2.1. `frame-ancestors^dir ~navi応答~検査

この指令の`~navi応答~検査$Aは、 所与の ( `要請$ %要請, 文字列 %~navi種別, `応答$ %~navi応答, `~navigable$ %~target, 文字列 %検査~種別, `施策$ %施策, `生成元$ %自己-生成元 ) に対し，［ %~target のいずれかの先祖が応答に伴って送達されてきた `frame-ancestors^dir 指令に違反するならば `阻止される^i ／ ~ELSE_ `許容される^i ］を返す： ◎ Given a request request, a string navigation type ("form-submission" or "other"), a response navigation response, a navigable target, a string check type ("source" or "response"), a policy policy, and an origin self-origin, this algorithm returns "Blocked" if one or more of the ancestors of target violate the frame-ancestors directive delivered with the response, and "Allowed" otherwise. This constitutes the frame-ancestors directive’s navigation response check:

1. ~Assert ⇒＃ %~navi種別 ~IN { `form-submission^l, `other^l }, %検査~種別 ~IN { `source^l, `response^l } ◎ ↑
2. ~IF［ %~navi応答 の`~URL$rsは`局所的$urlである ］ ⇒ ~RET `許容される^i ◎ If navigation response’s URL is local, return "Allowed".
3. ~Assert： ［ %要請, %~navi応答, %~navi種別 ］は、 この~algoの以降では利用されない — `frame-ancestors^dir が懸念するのは、 %~navi応答 の `frame-ancestors$dir `指令$に限られるので。 ◎ Assert: request, navigation response, and navigation type, are unused from this point forward in this algorithm, as frame-ancestors is concerned only with navigation response’s frame-ancestors directive.

4. ~IF［ %検査~種別 ~EQ `source^l ］ ⇒ ~RET `許容される^i ◎ If check type is "source", return "Allowed".

   注記： `frame-ancestors^dir `指令$が関連するのは、 %~target `~navigable$に限られる — %要請 の文脈に対する影響iはない。 ◎ Note: The 'frame-ancestors' directive is relevant only to the target navigable and it has no impact on the request’s context.

5. ~WHILE［ %~target は`子~navigable$である ］： ◎ If target is not a child navigable, return "Allowed". ◎ Let current be target. ◎ While current is a child navigable:

   1. %文書 ~LET %~target の`容器~文書$nav ◎ Let document be current’s container document.
   2. %生成元 ~LET `~URL構文解析する$( `生成元を直列化する$( %文書 の`生成元$doc ) ) ◎ Let origin be the result of executing the URL parser on the ASCII serialization of document’s origin.
   3. ~IF［ `~URLは ( 生成元, ~redirect回数 ) について~source~listに合致するか？$A( %生成元, この指令の`値$, %自己-生成元, 0 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If § 6.7.2.7 Does url match source list in origin with redirect count? returns Does Not Match when executed upon origin, this directive’s value, self-origin, and 0, return "Blocked".
   4. %~target ~SET %文書 の`~node~navigable$ ◎ Set current to document’s node navigable.
6. ~RET `許容される^i ◎ Return "Allowed".

6.4.2.2. `X-Frame-Options^h との関係

この指令は、 `X-Frame-Options$h ~HTTP応答~header `HTML$r に類似する。 この~header用の値［ `DENY^bl ／ `SAMEORIGIN^bl ］と`~source式$［ `none$pl ／ `self$pl ］は、 概ね等価になる。 ◎ This directive is similar to the ``X-Frame-Options`` HTTP response header. The 'none' source expression is roughly equivalent to that header’s `DENY`, and 'self' to that header’s `SAMEORIGIN`. [HTML]

後方-互換な配備を可能にするため、 `frame-ancestors$dir 指令は， `X-Frame-Options$h ~headerを上書きする。 ある資源が［ 名前 `frame-ancestors$dir の`指令$を含む`施策$ ］を伴って送達され，かつ［ その`処置先$ ~EQ `enforce^l ］の場合、 `X-Frame-Options$h ~headerは， ~HTMLの処理~modelに従って無視されることになる。 ◎ In order to allow backwards-compatible deployment, the frame-ancestors directive overrides the ``X-Frame-Options`` header. If a resource is delivered with a policy that includes a directive named frame-ancestors and whose disposition is "enforce", then the ``X-Frame-Options`` header will be ignored, per HTML’s processing model.

6.7.1.1. ~script指令の要請前~検査

所与の ( `要請$ %要請, `指令$ %指令, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ Given a request request, a directive directive, a policy policy, and an origin self-origin:

1. %~list ~LET %指令 の`値$ ◎ ↓

2. ~IF［ %要請 の`行先$rqは`~scriptに類する$ ］： ◎ If request’s destination is script-like:

   1. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, %~list ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
   2. ~IF［ `完全性~metadataは~source~listに合致するか？$A( %要請 の`完全性~metadata$rq, %~list ) ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.4 Does integrity metadata match source list? on request’s integrity metadata and this directive’s value is "Matches", return "Allowed".

   3. ~IF［ `strict-dynamic$pl ~IN`大小無視$sub %~list ］ ⇒ ~RET ［ 次が満たされるならば `許容される^i ／ ~ELSE_ `阻止される^i ］ ⇒ %要請 の`構文解析器~metadata$rq ~NEQ `parser-inserted$l ◎ If directive’s value contains a source expression that is an ASCII case-insensitive match for the "'strict-dynamic'" keyword-source: • If the request’s parser metadata is "parser-inserted", return "Blocked". • Otherwise, return "Allowed".

      注記： `strict-dynamic$pl についての詳細は、 `§ ~strict-dynamic の用法$ にて。 ◎ Note: "'strict-dynamic'" is explained in more detail in § 8.2 Usage of "'strict-dynamic'".

   4. ~IF［ `要請は~source~listに合致するか？$A( %要請, %~list, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.5 Does request match source list? on request, directive’s value, and self-origin, is "Does Not Match", return "Blocked".
3. ~RET `許容される^i ◎ Return "Allowed".

6.7.1.2. ~script指令の要請後~検査

所与の ( `要請$ %要請, `応答$ %応答, `指令$ %指令, `施策$ %施策, `生成元$ %自己-生成元 ) に対し： ◎ This directive’s post-request check is as follows: ◎ Given a request request, a response response, a directive directive, a policy policy, and an origin self-origin:

注記： この検査には，入力~parameterとして［ %要請, %応答 ］どちらも必要になる — %要請 の［ `暗号用~nonce~metadata$rq ／ `完全性~metadata$rq ］が合致する場合、 当の~scriptを読込むことは許容され， %応答 の`~URL$rsが`~source~list$に合致するかどうかかの検査は飛ばされるので。 ◎ Note: This check needs both request and response as input parameters since if request’s cryptographic nonce metadata or integrity metadata matches, then the script is allowed to load and the check of whether response’s url matches the source list is skipped.

1. %~list ~LET %指令 の`値$ ◎ ↓

2. ~IF［ %要請 の`行先$rqは`~scriptに類する$ ］： ◎ If request’s destination is script-like:

   1. `必要なら~hashを報告する$A( %応答, %要請, %指令, %施策 ) ◎ Call potentially report hash with response, request, directive and policy.
   2. ~IF［ `~nonceは~source~listに合致するか？$A( %要請 の`暗号用~nonce~metadata$rq, %~list ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.3 Does nonce match source list? on request’s cryptographic nonce metadata and this directive’s value is "Matches", return "Allowed".
   3. ~IF［ `完全性~metadataは~source~listに合致するか？$A( %要請 の`完全性~metadata$rq, %~list ) ~EQ `合致する^i ］ ⇒ ~RET `許容される^i ◎ If the result of executing § 6.7.2.4 Does integrity metadata match source list? on request’s integrity metadata and this directive’s value is "Matches", return "Allowed".

   4. ~IF［ `strict-dynamic$pl ~IN`大小無視$sub %~list ］ ⇒ ~RET ［ 次が満たされるならば `許容される^i ／ ~ELSE_ `阻止される^i ］ ⇒ %要請 の`構文解析器~metadata$rq ~NEQ `parser-inserted$l ◎ If directive’s value contains a source expression that is an ASCII case-insensitive match for the "'strict-dynamic'" keyword-source: • If the request’s parser metadata is "parser-inserted", return "Blocked". • Otherwise, return "Allowed".

      注記： `strict-dynamic$pl についての詳細は、 `§ ~strict-dynamic の用法$ にて。 ◎ Note: "'strict-dynamic'" is explained in more detail in § 8.2 Usage of "'strict-dynamic'".

   5. ~IF［ `要請に対する応答は~source~listに合致するか？$A( %応答, %要請, %~list, %自己-生成元 ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `阻止される^i ◎ If the result of executing § 6.7.2.6 Does response to request match source list? on response, request, directive’s value, and self-origin, is "Does Not Match", return "Blocked".
3. ~RET `許容される^i ◎ Return "Allowed".

6.7.2.1. 要請は施策に違反するか？

次の~algoは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し，［ %要請 が %施策 に違反するならば 違反された`指令$ ／ 違反しないならば ε ］を返す： ◎ Given a request request, a policy policy, and an origin self-origin, this algorithm returns the violated directive if the request violates the policy, and "Does Not Violate" otherwise.

1. ~IF［ %要請 の`起動元$rq ~EQ `prefetch^l ］ ⇒ ~RET `資源~hint要請は施策に違反するか？$A( %要請, %施策, %自己-生成元 ) ◎ If request’s initiator is "prefetch", then return the result of executing § 6.7.2.2 Does resource hint request violate policy? on request, policy, and self-origin.
2. %違反された指令 ~LET ε ◎ Let violates be "Does Not Violate".

3. %施策 の`指令~集合$を成す ~EACH( %指令 ) に対し： ◎ For each directive of policy:

   1. %結果 ~LET %指令 の`要請前~検査$A( %要請, %施策, %自己-生成元 ) ◎ Let result be the result of executing directive’s pre-request check on request, policy, and self-origin.
   2. ~IF［ %結果 ~EQ `阻止される^i ］ ⇒ %違反された指令 ~LET %指令 ◎ If result is "Blocked", then let violates be directive.
4. ~RET %違反された指令 ◎ Return violates.

6.7.2.2. 資源~hint要請は施策に違反するか？

次の~algoは、 所与の ( `要請$ %要請, `施策$ %施策, `生成元$ %自己-生成元 ) に対し，［ 当の資源~hint要請が すべての施策に違反する場合は既定の`指令$／ ~ELSE_ ε ］を返す： ◎ Given a request request,a policy policy, and an origin self-origin, this algorithm returns the default directive if the resource-hint request violates all the policies, and "Does Not Violate" otherwise.

1. %既定の指令 ~LET ε ◎ ↓
2. %施策 を成す ~EACH( %指令 ) に対し ⇒ ~IF［ %指令 の`名前$ ~EQ `default-src^l ］ ⇒＃ %既定の指令 ~SET %指令； ~BREAK ◎ Let defaultDirective be policy’s first directive whose name is "default-src".
3. ~IF［ %既定の指令 ~EQ ε ］ ⇒ ~RET ε ◎ If defaultDirective does not exist, return "Does Not Violate".

4. %施策 を成す ~EACH( %指令 ) に対し： ◎ For each directive of policy:

   1. ~IF［ %指令 の`名前$ ~NIN { `child-src^l, `connect-src^l, `font-src^l, `frame-src^l, `img-src^l, `manifest-src^l, `media-src^l, `object-src^l, `script-src^l, `script-src-elem^l, `style-src^l, `style-src-elem^l, `worker-src^l } ］ ⇒ ~CONTINUE ◎ If directive’s name is not one of the following: • child-src • connect-src • font-src • frame-src • img-src • manifest-src • media-src • object-src • script-src • script-src-elem • style-src • style-src-elem • worker-src then continue.
   2. ~Assert： %指令 の`値$は`~source~list$である。 ◎ Assert: directive’s value is a source list.
   3. %結果 ~LET `要請は~source~listに合致するか？$A( %要請, %指令 の`値$, %自己-生成元 ) ◎ Let result be the result of executing § 6.7.2.5 Does request match source list? on request, directive’s value, and self-origin.
   4. ~IF［ %結果 ~EQ `許容される^i ］ ⇒ ~RET ε ◎ If result is "Allowed", then return "Does Not Violate".
5. ~RET %既定の指令 ◎ Return defaultDirective.

6.7.2.3. ~nonceは~source~listに合致するか？

次の~algoは、 所与の ( `要請$の`暗号用~nonce~metadata$rq %~nonce, `~source~list$ %~source~list ) に対し，［ %~nonce が %~source~list 内のいずれかの式に合致するならば `合致する^i ／ 合致しないならば `合致しない^i ］を返す： ◎ Given a request’s cryptographic nonce metadata nonce and a source list source list, this algorithm returns "Matches" if the nonce matches one or more source expressions in the list, and "Does Not Match" otherwise:

1. ~Assert： %~source~list ~NEQ ~NULL ◎ Assert: source list is not null.
2. ~IF［ %~nonce ~EQ 空~文字列 ］ ⇒ ~RET `合致しない^i ◎ If nonce is the empty string, return "Does Not Match".

3. %~source~list を成す ~EACH( %式 ) に対し： ◎ For each expression of source list:

   1. ~IF［ %式 は `nonce-source$p 文法に合致する ］~AND［ %~nonce ~EQ %式 の `base64-value$p 成分 ］ ⇒ ~RET `合致する^i ◎ If expression matches the nonce-source grammar, and nonce is identical to expression’s base64-value part, return "Matches".
4. ~RET `合致しない^i ◎ Return "Does Not Match".

6.7.2.4. 完全性~metadataは~source~listに合致するか？

次の~algoは、 所与の ( `要請$の`完全性~metadata$rq %完全性~metadata, `~source~list$ %~source~list ) に対し，［ %完全性~metadata が %~source~list 内のいずれかの式に合致するならば `合致する^i ／ 合致しないならば `合致しない^i ］を返す： ◎ Given a request’s integrity metadata integrity metadata and a source list source list, this algorithm returns "Matches" if the integrity metadata matches one or more source expressions in the list, and "Does Not Match" otherwise:

1. ~Assert： %~source~list ~NEQ ~NULL ◎ Assert: source list is not null.
2. %完全性~式~群 ~LET %~source~list 内の `hash-source$p 文法に合致する`~source式$たちが成す集合 ◎ Let integrity expressions be the set of source expressions in source list that match the hash-source grammar. ◎ ↓ If integrity expressions is empty, return "Does Not Match".
3. %完全性~source群 ~LET `完全性~metadataを構文解析する$( %完全性~metadata ) `SRI$r ◎ Let integrity sources be the result of parsing metadata given integrity metadata. [SRI]
4. 【！ "no metadata" は廃された】 %完全性~source群 を成す ~EACH( %~source ) に対し ⇒ %完全性~式~群 を成す ~EACH( %式 ) に対し ⇒ ~IF［ %式 の `hash-algorithm$p 成分 ~EQ`大小無視$sub %~source の`~algo$iM【！hash-algorithm】 ］~AND［ %式 の `base64-value$p 成分 ~EQ %~source の`値$iM【！base64-value】 ］ ⇒ ~RET `合致する^i ◎ If integrity sources is "no metadata" or an empty set, return "Does Not Match". ◎ For each source of integrity sources: • If integrity expressions does not contain a source expression whose hash-algorithm is an ASCII case-insensitive match for source’s hash-algorithm, and whose base64-value is identical to source’s base64-value, return "Does Not Match". ◎ Return "Matches".
5. ~RET `合致しない^i ◎ ↑

注記： ここで検証yするのは、 【！%完全性~metadata は %~source~list 内の `hash-source$p たちが成す空でない下位集合であるかどうか】 ［ %完全性~metadata と %~source~list 内の `hash-source$p たちが成す集合 ］の交差集合は空でないかどうかに限られる。 これは、 応答において合致しない資源を阻止する際に， ~browserによる `SRI$r の施行nに依拠している。 ◎ Note: Here, we verify only whether the integrity metadata is a non-empty subset of the hash-source sources in source list. We rely on the browser’s enforcement of Subresource Integrity [SRI] to block non-matching resources upon response.

6.7.2.5. 要請は~source~listに合致するか？

この~algoは、 所与の ( `要請$ %要請, `~source~list$ %~source~list, `生成元$ %自己-生成元 ) に対し ⇒ ~RET `~URLは ( 生成元, ~redirect回数 ) について~source~listに合致するか？$A( %要請 の`現在の~URL$rq, %~source~list, %自己-生成元, %要請 の`~redirect回数$rq ) ◎ Given a request request, a source list source list, and an origin self-origin, this algorithm returns the result of executing § 6.7.2.7 Does url match source list in origin with redirect count? on request’s current url, source list, self-origin, and request’s redirect count.

注記： これは，一般に、 所与の`要請$が適理かどうか検証yするために `指令$の`要請前~検査$A~algoから利用される。 ◎ Note: This is generally used in directives' pre-request check algorithms to verify that a given request is reasonable.

6.7.2.6. 要請に対する応答は~source~listに合致するか？

この~algoは、 所与の ( `応答$ %応答, `要請$ %要請, `~source~list$ %~source~list, `生成元$ %自己-生成元 ) に対し ⇒ ~RET `~URLは ( 生成元, ~redirect回数 ) について~source~listに合致するか？$A( %応答 の`~URL$rs, %~source~list, %自己-生成元, %要請 の`~redirect回数$rq ) ◎ Given a response response, a request request, a source list source list, and an origin self-origin, this algorithm returns the result of executing § 6.7.2.7 Does url match source list in origin with redirect count? on response’s url, source list, self-origin, and request’s redirect count.

注記： これは，一般に、 所与の`応答$が適理かどうか検証yするために `指令$の`要請後~検査$A~algoから利用される。 ◎ Note: This is generally used in directives' post-request check algorithms to verify that a given response is reasonable.

6.7.2.7. ~URLは ( 生成元, ~redirect回数 ) について~source~listに合致するか？

次の~algoは、 所与の ( `~URL$ %~URL, `~source~list$ %~source~list, `生成元$ %生成元, 整数 %~redirect回数 ) に対し， %~URL は %~source~list 内のいずれかの`~source式$に［ 合致するならば `合致する^i ／ 合致しないならば `合致しない^i ］を返す： ◎ Given a URL url, a source list source list, an origin origin, and a number redirect count, this algorithm returns "Matches" if the URL matches one or more source expressions in source list, or "Does Not Match" otherwise:

1. ~Assert： %~source~list ~NEQ ~NULL ◎ Assert: source list is not null.
2. ~IF［ %~source~list は`空$である ］ ⇒ ~RET `合致しない^i ◎ If source list is empty, return "Does Not Match".

3. ~IF［ %~source~list の`~size$ ~EQ 1 ］~AND［ %~source~list[ 0 ] ~EQ`大小無視$sub "`none$pl" ］ ⇒ ~RET `合致しない^i ◎ If source list’s size is 1, and source list[0] is an ASCII case-insensitive match for the string "'none'", return "Does Not Match".

   注記： 空な %~source~list （すなわち、 （ `script-src^dir host1 とは対照的に） 値を伴わない指令 `script-src$dir ） は、 `none$pl を包含している %~source~list に等価になり，どの~URLにも合致しない。 ◎ Note: An empty source list (that is, a directive without a value: script-src, as opposed to script-src host1) is equivalent to a source list containing 'none', and will not match any URL.

   注記： ~keyword `none^pl は、 他の~source式が在るときには，効果は無い。 すなわち、 ~list « "`none^pl" » は，どの~URLにも合致しない。 他方、 ~list « "`none^pl", `https://example.com^l » は， `https://example.com/^l に合致することになる。 ◎ Note: The 'none' keyword has no effect when other source expressions are present. That is, the list « 'none' » does not match any URL. A list consisting of « 'none', https://example.com », on the other hand, would match https://example.com/.

4. %~source~list を成す ~EACH( %式 ) に対し： ◎ For each expression of source list:

   1. ~IF［ `~URLは ( 生成元, ~redirect回数 ) について式に合致するか？$A( %~URL, %式, %生成元, %~redirect回数 ) の結果 ~EQ `合致する^i ］ ⇒ ~RET `合致する^i ◎ If § 6.7.2.8 Does url match expression in origin with redirect count? returns "Matches" when executed upon url, expression, origin, and redirect count, return "Matches".
5. ~RET `合致しない^i ◎ Return "Does Not Match".

6.7.2.8. ~URL は ( 生成元, ~redirect回数 ) について式に合致するか？

次の~algoは、 所与の ( `~URL$ %~URL, `~source式$ %式, `生成元$ %生成元, 整数 %~redirect回数 ) に対し， %~URL が %式 に［ 合致するならば `合致する^i ／ 合致しないならば `合致しない^i ］を返す： ◎ Given a URL url, a source expression expression, an origin origin, and a number redirect count, this algorithm returns "Matches" if url matches expression, and "Does Not Match" otherwise.

注記： %生成元 は［ %式 が相対的に解決されるべき資源 ］の`生成元$である — 一例として， "`self$pl" は、 文脈の その一片に依存して別個な意味になる。 ◎ Note: origin is the origin of the resource relative to which the expression should be resolved. "'self'", for instance, will have distinct meaning depending on that bit of context.

1. ( %~URL~scheme, %~URL~host, %~URL~port ) ~LET ( %~URL の`~scheme$url, %~URL の`~host$url, %~URL の`~port$url ) ◎ ↓

2. ( %生成元~scheme, %生成元~host, %生成元~port ) ~LET ( %生成元 の`~scheme$o, %生成元 の`~host$o, %生成元 の`~port$o )

   【 この~algoは、 %生成元 が`不透明な生成元$である場合を［ これらの変数が利用される各所 ］で取扱っていない。 】

   ◎ ↓

3. ~IF［ %式 ~EQ `~asterisk$ ］~AND［ %~URL~scheme ~IN { `~HTTP_S~scheme$, %生成元~scheme } ］ ⇒ ~RET `合致する^i ◎ If expression is the string "*", return "Matches" if one or more of the following conditions is met: • url’s scheme is an HTTP(S) scheme. • url’s scheme is the same as origin’s scheme.

   注記： この~logicは、 非`~HTTP_S~scheme$からの資源を許容するためには，［ 明示的にそう指定するか（例： `default-src * data: custom-scheme-1: custom-scheme-2:^s ），または 保護される資源は同じ~schemeから読込まれなければナラナイ ］ことを意味する。 ◎ Note: This logic means that in order to allow a resource from a non-HTTP(S) scheme, it has to be either explicitly specified (e.g. default-src * data: custom-scheme-1: custom-scheme-2:), or the protected resource must be loaded from the same scheme.

4. ~IF［ %式 は `scheme-source$p 文法に合致する ］ ⇒ ~RET `~scheme成分は合致するか？$A( %式 の `scheme-part$p, %~URL~scheme ) ◎ If expression matches the scheme-source＼ ↓ or host-source grammar: • If expression has a scheme-part, and it does not scheme-part match url’s scheme, return "Does Not Match". • If expression matches the scheme-source grammar, return "Matches". ◎ ↓

5. ~IF［ %式 は `host-source$p 文法に合致する ］： ◎ If expression matches the host-source grammar:

   1. ~IF［ %~URL~host ~EQ ~NULL ］ ⇒ ~RET `合致しない^i ◎ If url’s host is null, return "Does Not Match".

   2. %~scheme成分 ~LET ［ %式 は `scheme-part$p を含むならば それ ／ ~ELSE_ %生成元~scheme ］

      注記： ~schemeを伴わない `host-source$p 式は、 ~schemeを伴うときと同様に， ~secureでない~schemeから~secureな~schemeへの昇格を許容する。

      ◎ ↑↓
   3. ~IF［ `~scheme成分は合致するか？$A( %~scheme成分, %~URL~scheme ) ~EQ `合致しない^i ］ ⇒ ~RET `合致しない^i ◎ If expression does not have a scheme-part, and origin’s scheme does not scheme-part match url’s scheme, return "Does Not Match". ◎ Note: As with scheme-part above, we allow schemeless host-source expressions to be upgraded from insecure schemes to secure schemes.
   4. ~IF［ `~host成分は合致するか？$A( %式 の `host-part$p, %~URL~host ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `合致しない^i ◎ If expression’s host-part does not host-part match url’s host, return "Does Not Match".
   5. %~port成分 ~LET ［ %式 は `port-part$p を含むならば それ ／ ~ELSE_ ~NULL ］ ◎ Let port-part be expression’s port-part if present, and null otherwise.
   6. ~IF［ `~port成分は合致するか？$A( %~port成分, %~URL ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `合致しない^i ◎ If port-part does not port-part match url, return "Does Not Match".

   7. ~IF［ %式 は［ 空でない `path-part$p ］を含む ］~AND［ %~redirect回数 ~EQ 0 ］： ◎ If expression contains a non-empty path-part, and redirect count is 0, then:

      1. %~path ~LET `~URL~pathを直列化する$( %~URL ) ◎ Let path be the result of running the URL path serializer on url.
      2. ~IF［ `~path成分は合致するか？$A( %式 の `path-part$p, %~path ) の結果 ~EQ `合致しない^i ］ ⇒ ~RET `合致しない^i ◎ If expression’s path-part does not path-part match path, return "Does Not Match".
   8. ~RET `合致する^i ◎ Return "Matches".

6. ~IF［ %式 ~EQ`大小無視$sub "`self$pl" ］： ◎ If expression is an ASCII case-insensitive match for "'self'", return "Matches" if one or more of the following conditions is met:

   1. ~IF［ ( %生成元, %~URL の`生成元$url ) は`同一-生成元$である ］ ⇒ ~RET `合致する^i ◎ origin and url’s origin are same origin

   2. ~IF［ %生成元~host ~EQ %~URL~host ］：

      1. ~IF［ %生成元~port ~EQ ~NULL ］ ⇒ %生成元~port ~SET %生成元~scheme 用の`既定~port$
      2. ~IF［ %~URL~port ~EQ ~NULL ］ ⇒ %~URL~port ~SET %~URL~scheme 用の`既定~port$

      3. ~IF［ %生成元~port ~EQ %~URL~port ］~AND［ ~OR↓ ］…

         • %~URL~scheme ~IN { `https^l, `wss^l }
         • ［ %~URL~scheme ~IN { `http^l, `ws^l } ］~AND［ %生成元~scheme ~EQ `http^l ］

         …ならば ⇒ ~RET `合致する^i：

      ◎ origin’s host is the same as url’s host, origin’s port and url’s port are either the same or the default ports for their respective schemes, and one or more of the following conditions is met: • url’s scheme is "https" or "wss" • origin’s scheme is "http" and url’s scheme is "http" or "ws"

   注記： 上の `scheme-part$p の~logicと同様に、 "`self$pl" 照合~algoは、 そうするのが安全なときには， ~secureな~schemeへの昇格を許容する。 これらの昇格は、［ 特定0の~scheme用の既定~port ／ 保護される資源の生成元に合致する~port ］上で稼働中の報告先に，制限される — 昇格の成功-が適理に期待されるものに~~対処するには、 これで十分と見受けられるので。 ◎ Note: Like the scheme-part logic above, the "'self'" matching algorithm allows upgrades to secure schemes when it is safe to do so. We limit these upgrades to endpoints running on the default port for a particular scheme or a port that matches the origin of the protected resource, as this seems sufficient to deal with upgrades that can be reasonably expected to succeed.

7. ~RET `合致しない^i ◎ Return "Does Not Match".

6.7.2.9. `scheme-part^p の照合-法

`~scheme成分は合致するか？@A ( %A, %B ) （いずれも`~ASCII文字列$）は、 ~CSP~source式の `scheme-part$p %A が ~URLの`~scheme$url %B に合致するかどうかを検査する： ◎ An ASCII string scheme-part matches another ASCII string if a CSP source expression that contained the first as a scheme-part could potentially match a URL containing the latter as a scheme. For example, we say that "http" scheme-part matches "https".

6.7.2.10. `host-part^p の照合-法

`~host成分は合致するか？@A ( `~ASCII文字列$ %~pattern, `~host$ %~host ) は、 ~CSP~source式の `host-part$p %~pattern が %~host に合致するかどうかを検査する： ◎ An ASCII string host-part matches a host if a CSP source expression that contained the first as a host-part could potentially match the latter. For example, we say that "www.example.com" host-part matches "www.example.com". ◎ More formally, ASCII string pattern and host host are said to host-part match if the following algorithm returns "Matches":

注記： この関係は非対称であり、 【 %~host が~ASCII文字列であっても，】 %~pattern, %~host を入れ替えた結果は同じになるとは限らない。 例えば、 ( %~pattern, %~host ) に対する ( `*.example.com^s, `www.example.com^s ) の結果は `合致する^i になるが， ( `www.example.com^s, `*.example.com^s ) の結果は `合致しない^i になる。 ◎ Note: The matching relation is asymmetric. That is, pattern matching host does not mean that host will match pattern. For example, *.example.com host-part matches www.example.com, but www.example.com does not host-part match *.example.com.

注記： この仕様の将来~versionは、 利用度や需要に依存して，~literalによる［ ~IPv6 ／ ~IPv4 ］~addressを許容するかもしれない。 しかしながら、 ~IP~addressの~security上の特質は，名前を有する~hostに比して弱いので、 作者には，アリな所では~hostを選好することが奨励される。 ◎ Note: A future version of this specification may allow literal IPv6 and IPv4 addresses, depending on usage and demand. Given the weak security properties of IP addresses in relation to named hosts, however, authors are encouraged to prefer the latter whenever possible.

1. ~IF［ %~host は`~domain$でない ］ ⇒ ~RET `合致しない^i ◎ If host is not a domain, return "Does Not Match".
2. ~IF［ %~pattern ~EQ `*^l ］ ⇒ ~RET `合致する^i ◎ If pattern is "*", return "Matches".
3. %~pattern ~SET `~ASCII小文字~化する$( %~pattern ) ◎ ↓
4. %~host ~SET `~ASCII小文字~化する$( %~host ) ◎ ↓
5. ~IF［ %~pattern は `*.^l `から開始して$いる ］ ⇒ ~RET ［ 次が満たされるならば `合致する^i ／ ~ELSE_ `合致しない^i ］ ⇒ %~host は［ %~pattern の 1 から`終端までを成す符号単位~部分文字列$ ］`で終端して$いる ◎ If pattern starts with "*.": • Let remaining be pattern with the leading U+002A (*) removed and ASCII lowercased. • If host to ASCII lowercase ends with remaining, then return "Matches". • Return "Does Not Match".
6. ~RET ［ 次が満たされるならば `合致する^i ／ ~ELSE_ `合致しない^i ］ ⇒ %~pattern ~EQ %~host ◎ If pattern is not an ASCII case-insensitive match for host, return "Does Not Match". ◎ Return "Matches".

6.7.2.11. `port-part^p の照合-法

`~port成分は合致するか？@A ( ［ `~ASCII文字列$／ ~NULL ］ %入力, `~URL$ %~URL ) は、 %入力 として与えられた［ ~CSP~source式の `port-part$p ］が %~URL の［ `~port$url, `~scheme$url ］に合致するかどうかを検査する： ◎ An ASCII string or null input port-part matches URL url if a CSP source expression that contained the first as a port-part could potentially match a URL containing the latter’s port and scheme. For example, "80" port-part matches matches http://example.com.

1. ~Assert： %入力 は， ~NULL でないならば次に挙げるいずれかである ⇒＃ `~asterisk$／ 1 個以上の`~ASCII数字$たちが成す連列 ◎ Assert: input is null, "*", or a sequence of one or more ASCII digits.
2. ~IF［ %入力 ~EQ `~asterisk$ ］ ⇒ ~RET `合致する^i ◎ If input is equal to "*", return "Matches".
3. %正規化-済み入力 ~LET %入力 に応じて ⇒＃ ~NULL ならば ~NULL ／ ~ELSE_ %入力 を 10 進数として解釈した結果 ◎ Let normalizedInput be null if input null; otherwise input interpreted as decimal number.
4. ~IF［ %正規化-済み入力 ~EQ %~URL の`~port$url ］ ⇒ ~RET `合致する^i ◎ If normalizedInput equals url’s port, return "Matches".

5. ~IF［ %~URL の`~port$url ~EQ ~NULL ］~AND［ %正規化-済み入力 ~EQ %~URL の`~scheme$url用の`既定~port$ ］ ⇒ ~RET `合致する^i ◎ If url’s port is null: • Let defaultPort be the default port for url’s scheme. • If normalizedInput equals defaultPort, return "Matches".

6. ~RET `合致しない^i ◎ Return "Does Not Match".

6.7.2.12. `path-part^p の照合-法

`~path成分は合致するか？@A ( %A, %B ) （いずれも`~ASCII文字列$）は、 ~CSP~source式の `path-part$p %A が ~URLの`~path$url %B に合致するかどうかを検査する： ◎ An ASCII string path A path-part matches another ASCII string path B if a CSP source expression that contained the first as a path-part could potentially match a URL containing the latter as a path. For example, we say that "/subdirectory/" path-part matches "/subdirectory/file".

注記： この関係は非対称であり、 %A, %B を入れ替えた結果は同じになるとは限らない。 ◎ Note: The matching relation is asymmetric. That is, path A matching path B does not mean that path B will match path A.

1. ~IF［ %A ~EQ 空~文字列 ］ ⇒ ~RET `合致する^i ◎ If path A is the empty string, return "Matches".
2. ~IF［ %A ~EQ `~slash$ ］~AND［ %B ~EQ 空~文字列 ］ ⇒ ~RET `合致する^i ◎ If path A consists of one character that is equal to the U+002F SOLIDUS character (/) and path B is the empty string, return "Matches".
3. ( %listA, %listB ) ~LET ( `区切子で厳密に分割する$( %A, `~slash$ ), `区切子で厳密に分割する$( %B, `~slash$ ) ) ◎ Let exact match be false if the final character of path A is the U+002F SOLIDUS character (/), and true otherwise. ◎ Let path list A and path list B be the result of strictly splitting path A and path B respectively on the U+002F SOLIDUS character (/).
4. ( %LA, %LB ) ~LET ( %listA の`~size$, %listB の`~size$ ) ◎ ↓
5. ~IF［ %LA ~GT %LB ］ ⇒ ~RET `合致しない^i ◎ If path list A has more items than path list B, return "Does Not Match".
6. ~IF［ %listA[ %LA − 1 ] ~EQ 空~文字列 ］ ⇒ %LA ~DECBY 1 ◎ ↓
7. ~ELIF［ %LA ~NEQ %LB ］ ⇒ ~RET `合致しない^i ◎ If exact match is true, and path list A does not have the same number of items as path list B, return "Does Not Match". ◎ If exact match is false: • Assert: the final item in path list A is the empty string. • Remove the final item from path list A.
8. ~EACH( 整数 %i ~IN { 0 〜 %LA − 1 } ) に対し ⇒ ~IF［ `文字列を~byte列に~percent-復号する$( %listA[ %i ] ) の結果 ~NEQ `文字列を~byte列に~percent-復号する$( %listB[ %i ] ) の結果 ］ ⇒ ~RET `合致しない^i ◎ For each piece A of path list A: • Let piece B be the next item in path list B. • Let decoded piece A be the percent-decoding of piece A. • Let decoded piece B be the percent-decoding of piece B. • If decoded piece A is not decoded piece B, return "Does Not Match".
9. ~RET `合致する^i ◎ Return "Matches".

6.7.3.1. 要素は~nonce可能か？

この~algoは、 所与の ( `要素$ %要素 ) に対し， `nonce-source$p 式を［ 適用できるならば（ `§ ~nonceの乗取り＠#security-nonce-hijacking$ を見よ） `~nonce可能^i ／ 適用すべきでないならば `~nonce可能でない^i ］を返す： ◎ Given an Element element, this algorithm returns "Nonceable" if a nonce-source expression can match the element (as discussed in § 7.2 Nonce Hijacking), and "Not Nonceable" if such expressions should not be applied.

1. ~IF［ %要素 は 名前 `nonce^l の属性を有さない ］ ⇒ ~RET `~nonce可能でない^i ◎ If element does not have an attribute named "nonce", return "Not Nonceable".

2. ~IF［ %要素 は `script$e 要素である ］ ⇒ %要素 の`属性~list$を成す ~EACH( %属性 ) に対し： ◎ If element is a script element, then for each attribute of element’s attribute list:

   1. ~IF［ %属性 の名前は `~ASCII大小無視$で［ `<script^l, `<style^l ］いずれかに合致する文字列を包含している ］ ⇒ ~RET `~nonce可能でない^i ◎ If attribute’s name contains an ASCII case-insensitive match for "<script" or "<style", return "Not Nonceable".
   2. ~IF［ %属性 の値は `~ASCII大小無視$で［ `<script^l, `<style^l ］いずれかに合致する文字列を包含している ］ ⇒ ~RET `~nonce可能でない^i ◎ If attribute’s value contains an ASCII case-insensitive match for "<script" or "<style", return "Not Nonceable".

3. ~IF［ %要素 を~token化したときに， `構文解析-~error＠~HTMLparsing#parse-errors$【！~HEimages#concept-microsyntax-parse-error】( `duplicate-attribute＠~HTMLparsing#parse-error-duplicate-attribute$i 【重複な属性】 ) が生じた ］ ⇒ ~RET `~nonce可能でない^i ◎ If element had a duplicate-attribute parse error during tokenization, return "Not Nonceable".

   何らかの類の［ この~errorを記録するための~hook ］が~HTMLにおいて必要である — それをここで利用するよう計画しているならば。 [`whatwg/html 課題 #3257＠~HTMLissue/3257$] ◎ We need some sort of hook in HTML to record this error if we’re planning on using it here. [whatwg/html Issue #3257]

4. ~RET `~nonce可能^i ◎ Return "Nonceable".

この処理には、 ~dangling-markup攻撃 — ~scriptを読込ませるために，既存の要素から~nonceを盗用して どこかへ注入する攻撃 — の~riskを軽減することが意味されている。 しかしながら、［ ~scriptを実行すべきかどうか決定するときに，すべての属性, それらの値を走査することになる ］ので，高価でもある。 ここでは、 この検査を［ 要素が~nonceを有していて `script$e 要素であるとき ］に限り走査することにより，その影響iをできるだけ抑えようとしているが、 その影響iを知るまでは，この~algoは “~risk下にある” ものと見なすべきであろう。 [`98$issue] ◎ This processing is meant to mitigate the risk of dangling markup attacks that steal the nonce from an existing element in order to load injected script. It is fairly expensive, however, as it requires that we walk through all attributes and their values in order to determine whether the script should execute. Here, we try to minimize the impact by doing this check only for script elements when a nonce is present, but we should probably consider this algorithm as "at risk" until we know its impact. [w3c/webappsec-csp Issue #98]

6.7.3.2. %~source~list は ある型~用の~inlineな挙動をすべて許容するか？

`~source~list$は、 次を満たすならば，所与の ( %型 ) 用の `~inlineな挙動をすべて許容する@ とされる ⇒ `keyword-source$p 式 `unsafe-inline^pl を包含する, かつ — 次の~algoにて述べられるとおり — その式を上書きしない ◎ A source list allows all inline behavior of a given type if it contains the keyword-source expression 'unsafe-inline', and does not override that expression as described in the following algorithm:

次の~algoは、 所与の ( `~source~list$ %~list, 文字列 %型 ) に対し，［ %型 の~inlineな内容すべてが許容されるならば `許容する^i ／ ~ELSE_ `許容しない^i ］を返す： ◎ Given a source list list and a string type, the following algorithm returns "Allows" if all inline content of a given type is allowed and "Does Not Allow" otherwise.

1. %~inlineをすべて許容するか ~LET ~F ◎ Let allow all inline be false.

2. %~list を成す ~EACH( %式 ) に対し： ◎ For each expression of list:

   1. ~IF［ %式 は［ `nonce-source$p ／ `hash-source$p ］文法に合致する ］ ⇒ ~RET `許容しない^i ◎ If expression matches the nonce-source or hash-source grammar, return "Does Not Allow".

   2. ~IF［ %型 ~IN { `script^l, `script attribute^l, `navigation^l } ］~AND［ %式 ~EQ `strict-dynamic$pl ］ ⇒ ~RET `許容しない^i ◎ If type is "script", "script attribute" or "navigation" and expression matches the keyword-source "'strict-dynamic'", return "Does Not Allow".

      注記： `strict-dynamic$pl が適用される資源~型は~scriptに限られる。 詳細は、 `§ ~strict-dynamic の用法$ にて。 ◎ Note: 'strict-dynamic' only applies to scripts, not other resource types. Usage is explained in more detail in § 8.2 Usage of "'strict-dynamic'".

   3. ~IF［ %式 ~EQ`大小無視$sub `unsafe-inline$pl ］ ⇒ %~inlineをすべて許容するか ~SET ~T ◎ If expression is an ASCII case-insensitive match for the keyword-source "'unsafe-inline'", set allow all inline to true.
3. ~RET ［ %~inlineをすべて許容するか ~EQ ~T ならば `許容する^i ／ ~ELSE_ `許容しない^i ］ ◎ If allow all inline is true, return "Allows". Otherwise, return "Does Not Allow".

'unsafe-inline' http://a.com http://b.com
'unsafe-inline'

'sha512-321cba' 'nonce-abc'
http://example.com 'unsafe-inline' 'nonce-abc'

'unsafe-inline' 'strict-dynamic'
http://example.com 'strict-dynamic' 'unsafe-inline'

6.7.3.3. 要素は ( 型, ~source ) について~source~listに合致するか？

次の~algoは、 所与の ( `要素$ %要素, `~source~list$ %~list, 文字列 %型, 文字列 %~source ) に対し，［ `合致する^i または `合致しない^i ］を返す： ◎ Given an Element element, a source list list, a string type, and a string source, this algorithm returns "Matches" or "Does Not Match".

注記： 文書の符号化法に関わらず、 %~source は，~hash用~algoを適用する前に~UTF-8に変換されることになる。 ◎ Note: Regardless of the encoding of the document, source will be converted to UTF-8 before applying any hashing algorithms.

1. ~IF［ `~source~listは型~用の~inlineな挙動をすべて許容するか？$A( %~list, %型 ) の結果 ~EQ `許容する^i ］ ⇒ ~RET `合致する^i ◎ If § 6.7.3.2 Does a source list allow all inline behavior for type? returns "Allows" given list and type, return "Matches".

2. ~IF［ %型 ~IN { `script^l, `style^l } ］~AND［ `要素は~nonce可能か？$A( %要素 ) ~EQ `~nonce可能^i ］： ◎ If type is "script" or "style", and § 6.7.3.1 Is element nonceable? returns "Nonceable" when executed upon element:

   1. %~list を成す ~EACH( %式 ) に対し： ◎ For each expression of list:

      1. ~IF［ %式 は `nonce-source$p 文法に合致する ］~AND［ %要素 は `nonce$a 属性を有していて［ その値 ~EQ %式 の `base64-value$p 成分 ］］ ⇒ ~RET `合致する^i ◎ If expression matches the nonce-source grammar, and element has a nonce attribute whose value is expression’s base64-value part, return "Matches".

      注記： ~nonceが適用されるのは、 ~inlineな［ `script$e ／ `style$e ］要素であり，これらの要素の属性でも `javascript_^sc ~naviでもない。 ◎ Note: Nonces only apply to inline script and inline style, not to attributes of either element or to javascript: navigations.

3. %安全でない~hashか ~LET ~F ◎ Let unsafe-hashes flag be false.

4. %~list を成す ~EACH( %式 ) に対し： ◎ For each expression of list:

   1. ~IF［ %式 ~EQ`大小無視$sub `unsafe-hashes$pl ］ ⇒＃ %安全でない~hashか ~SET ~T； ~BREAK ◎ If expression is an ASCII case-insensitive match for the keyword-source "'unsafe-hashes'", set unsafe-hashes flag to true. Break out of the loop.

5. ~IF［ %型 ~IN { `script^l, `style^l } ］~OR［ %安全でない~hashか ~EQ ~T ］： ◎ If type is "script" or "style", or unsafe-hashes flag is true:

   1. %~source ~SET `~UTF-8符号化する$( `~scalar値~文字列に変換する$( %~source ) ) ◎ Set source to the result of executing UTF-8 encode on the result of executing JavaScript string converting on source.

   2. %~list を成す ~EACH( %式 ) に対し： ◎ For each expression of list:

      1. ~IF［ %式 ~EQ `strict-dynamic$pl ］~AND［ %型 ~EQ `script^l ］~AND［ %要素 は`構文解析-時に挿入され$たものでない ］ ⇒ ~RET `合致する^i ◎ If expression is the "'strict-dynamic'" keyword-source: • If type is "script", and element is not parser-inserted, return "Matches".
      2. ~IF［ %式 は `hash-source$p 文法に合致しない ］ ⇒ ~CONTINUE ◎ If expression matches the hash-source grammar:
      3. %~algo ~LET ［ `~ASCII小文字~化する$( %式 の`hash-algorithm$p 成分 ) の結果 ］に応じて，次で与えられる~algo ⇒ `sha256^l ならば SHA-256 ／ `sha384^l ならば SHA-384 ／ `sha512^l ならば SHA-512 ／ ~ELSE_ ~NULL ◎ Let algorithm be null. ◎ If expression’s hash-algorithm part is an ASCII case-insensitive match for "sha256", set algorithm to SHA-256. ◎ If expression’s hash-algorithm part is an ASCII case-insensitive match for "sha384", set algorithm to SHA-384. ◎ If expression’s hash-algorithm part is an ASCII case-insensitive match for "sha512", set algorithm to SHA-512.
      4. ~IF［ %~algo ~EQ ~NULL ］ ⇒ ~CONTINUE ◎ If algorithm is not null:

      5. ~IF［ 次の 2 つは一致する ］…

         • %~source に %~algo を適用した結果を `base64$p に符号化した結果（実際の値）
         • %式 の `base64-value$p 成分を，その中の各~文字［ `-^l ／ `_^l ］を［ `+^l ／ `/^l ］に置換した結果（期待される値）

         …ならば ⇒ ~RET `合致する^i

         注記： この置換は、 `base64url$p に符号化された~hashを正規化して， `base64$p 符号化-法の下で照合できるようにする。

         ◎ Let actual be the result of base64 encoding the result of applying algorithm to source. ◎ Let expected be expression’s base64-value part, with all '-' characters replaced with '+', and all '_' characters replaced with '/'. ◎ Note: This replacement normalizes hashes expressed in base64url encoding into base64 encoding for matching. ◎ If actual is identical to expected, return "Matches".

   注記： ~hashは、 ~inlineな［ `script$e ／ `style$e ］に適用される。 ~source式 `unsafe-hashes$pl が在る場合、 それも［ ~event~handler ／ ~style属性 ／ `javascript_^sc ~navi ］に適用される。 ◎ Note: Hashes apply to inline script and inline style. If the "'unsafe-hashes'" source expression is present, they will also apply to event handlers, style attributes and javascript: navigations.

6. ~RET `合致しない^i ◎ Return "Does Not Match".