From bda0e68e9613436e5a4b4c6d20df71ff274a0e12 Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Wed, 12 Mar 2025 17:49:21 +0000 Subject: [PATCH 1/7] Add step in navigate algo --- spec.bs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/spec.bs b/spec.bs index ece6f53..3f0b8c2 100644 --- a/spec.bs +++ b/spec.bs @@ -3419,6 +3419,10 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le
Modify [[HTML]]'s [=navigate=] algorithm to include an extra parameter: an optional [=string=] sharedStorageContext (default null). + + Add a step after step 5 that reads: + + 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to include the following condition: From 5a21a1fd9137c182fd6d90f452ec85ff854c369c Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Wed, 12 Mar 2025 17:49:29 +0000 Subject: [PATCH 2/7] Formatted --- spec.bs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spec.bs b/spec.bs index 3f0b8c2..56dde94 100644 --- a/spec.bs +++ b/spec.bs @@ -3422,7 +3422,8 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Add a step after step 5 that reads: - 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. + 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to include the following condition: From c90b37d19c31605a9114e2b081486df2d764e80e Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Wed, 12 Mar 2025 17:52:06 +0000 Subject: [PATCH 3/7] Add navigate ref --- spec.bs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.bs b/spec.bs index 56dde94..f6b11bc 100644 --- a/spec.bs +++ b/spec.bs @@ -3420,7 +3420,7 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Modify [[HTML]]'s [=navigate=] algorithm to include an extra parameter: an optional [=string=] sharedStorageContext (default null). - Add a step after step 5 that reads: + Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads: 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. From b15d0332eb6cade3b339a1cd2228122d1f5ecb06 Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Mon, 17 Mar 2025 14:15:18 +0000 Subject: [PATCH 4/7] Mark run in parallel --- spec.bs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.bs b/spec.bs index f6b11bc..7c6cf48 100644 --- a/spec.bs +++ b/spec.bs @@ -3422,7 +3422,7 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads: - 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to From f789d9b9cab235d03bf4b6b13472048c85ef5fe8 Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Mon, 17 Mar 2025 14:15:27 +0000 Subject: [PATCH 5/7] Formatted --- spec.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.bs b/spec.bs index 7c6cf48..9ae9eb4 100644 --- a/spec.bs +++ b/spec.bs @@ -3422,8 +3422,8 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads: - 6. [=In parallel=], if the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. + 6. [=In parallel=], if the result of running [=determine if a navigable has revoked network for + itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to include the following condition: From 43cec72f9f6f356d693f67957d1d7f9ade118ad4 Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Mon, 24 Mar 2025 18:44:28 +0000 Subject: [PATCH 6/7] Remove in parallel --- spec.bs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/spec.bs b/spec.bs index 9ae9eb4..b3f9acf 100644 --- a/spec.bs +++ b/spec.bs @@ -3422,8 +3422,7 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads: - 6. [=In parallel=], if the result of running [=determine if a navigable has revoked network for - itself=] given sourceDocument's [=node navigable=] is true, then return. + 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to include the following condition: From 616e77459a51027279ae18b8a7e98bd8bbd53340 Mon Sep 17 00:00:00 2001 From: Xiaochen Zhou Date: Mon, 24 Mar 2025 18:44:41 +0000 Subject: [PATCH 7/7] Specfmt --- spec.bs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spec.bs b/spec.bs index b3f9acf..f6b11bc 100644 --- a/spec.bs +++ b/spec.bs @@ -3422,7 +3422,8 @@ CORP violation report=] algorithm, as leaving it unfenced may cause a privacy le Add a step after step 5 of [[HTML]]'s [=navigate=] algorithm that reads: - 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. + 6. If the result of running [=determine if a navigable has revoked network for itself=] given sourceDocument's [=node navigable=] is true, then return. Modify step 13 of [[HTML]]'s [=navigate=] algorithm ("If all of the following are true:") to include the following condition: