Update of ED report from new reffy run

Using reffy commit 17.2.7.

Author: reffy-bot

ed/algorithms/private-aggregation-api.json

@@ -12444,6 +12444,25 @@
       },
       "definedIn": "prose"
     },
+    {
+      "id": "finite-range",
+      "href": "https://gpuweb.github.io/gpuweb/wgsl/#finite-range",
+      "linkingText": [
+        "finite range"
+      ],
+      "localLinkingText": [],
+      "type": "dfn",
+      "for": [],
+      "access": "private",
+      "informative": false,
+      "heading": {
+        "id": "overview-of-ieee-754",
+        "href": "https://gpuweb.github.io/gpuweb/wgsl/#overview-of-ieee-754",
+        "title": "Overview of IEEE-754",
+        "number": "14.6.1"
+      },
+      "definedIn": "prose"
+    },
     {
       "id": "ieee754-binary16",
       "href": "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-binary16",

ed/dfns/WGSL.json

@@ -1284,6 +1284,25 @@
       },
       "definedIn": "prose"
     },
+    {
+      "id": "obtain-the-private-aggregation-coordinator",
+      "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#obtain-the-private-aggregation-coordinator",
+      "linkingText": [
+        "obtain the Private Aggregation coordinator"
+      ],
+      "localLinkingText": [],
+      "type": "dfn",
+      "for": [],
+      "access": "public",
+      "informative": false,
+      "heading": {
+        "id": "exported-algorithms",
+        "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#exported-algorithms",
+        "title": "Exported algorithms",
+        "number": "9.1"
+      },
+      "definedIn": "prose"
+    },
     {
       "id": "set-the-aggregation-coordinator-for-a-batching-scope",
       "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#set-the-aggregation-coordinator-for-a-batching-scope",
@@ -2913,29 +2932,10 @@
       "definedIn": "prose"
     },
     {
-      "id": "obtain-the-private-aggregation-coordinator",
-      "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#obtain-the-private-aggregation-coordinator",
-      "linkingText": [
-        "obtain the Private Aggregation coordinator"
-      ],
-      "localLinkingText": [],
-      "type": "dfn",
-      "for": [],
-      "access": "private",
-      "informative": false,
-      "heading": {
-        "id": "protected-audience-api-specific-new-algorithms",
-        "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#protected-audience-api-specific-new-algorithms",
-        "title": "New algorithms",
-        "number": "11.5"
-      },
-      "definedIn": "prose"
-    },
-    {
-      "id": "obtain-the-private-aggregation-coordinator-from-a-string",
-      "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#obtain-the-private-aggregation-coordinator-from-a-string",
+      "id": "obtain-the-coordinator-from-a-private-aggregation-config",
+      "href": "https://patcg-individual-drafts.github.io/private-aggregation-api/#obtain-the-coordinator-from-a-private-aggregation-config",
       "linkingText": [
-        "obtain the Private Aggregation coordinator from a string"
+        "obtain the coordinator from a Private Aggregation config"
       ],
       "localLinkingText": [],
       "type": "dfn",

ed/dfns/private-aggregation-api.json

@@ -4946,18 +4946,23 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-trailing-significand-field",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-exponent-bias",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-field",
+    "https://gpuweb.github.io/gpuweb/wgsl/#finite-range",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-interval",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-binary16",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-field%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-trailing-significand-field",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-bias",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-binary32",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-field%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-trailing-significand-field%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-bias%E2%91%A0",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-binary64",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-field%E2%91%A2",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-trailing-significand-field%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-bias%E2%91%A1",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-extended-real%E2%91%A0%E2%93%AA",
     "https://gpuweb.github.io/gpuweb/wgsl/#floating-point-interpretation-of-bits",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-exponent-bias%E2%91%A2",
@@ -4987,6 +4992,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#rounding",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-extended-real%E2%91%A0%E2%91%A2",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-overflow",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A2",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-rounding-mode",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-nan%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-nan%E2%91%A2",
@@ -4997,6 +5003,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-division-by-zero",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-overflow",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-intermediate-result",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A3",
     "https://gpuweb.github.io/gpuweb/wgsl/#ieee754-underflow",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-intermediate-result%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-subnormal%E2%91%A1",
@@ -5038,6 +5045,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-f16%E2%91%A0%E2%91%A6",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-intermediate-result%E2%91%A7",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-intermediate-result%E2%91%A8",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A4",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-const-expressions%E2%91%A5%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-shader-creation-error%E2%91%A1%E2%91%A2%E2%93%AA",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-override-expressions%E2%91%A2%E2%91%A5",
@@ -5049,13 +5057,15 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-rounding%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-rounding-mode%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ulp",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A5",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-correctly-rounded",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ulp",
     "https://gpuweb.github.io/gpuweb/wgsl/#inherited-from",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-rounding%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-overflow%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-reassociation",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-flush-to-zero",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A6",
     "https://gpuweb.github.io/gpuweb/wgsl/#concrete-float-accuracy",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-subnormal%E2%91%A4",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-subnormal%E2%91%A5",
@@ -5104,6 +5114,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#numeric-scalar-conversion-to-floating-point",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-numeric-scalar%E2%91%A6",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-integer-scalar%E2%91%A0%E2%91%A6",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A7",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-shader-creation-error%E2%91%A1%E2%91%A2%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-const-expressions%E2%91%A5%E2%91%A1",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-pipeline-creation-error%E2%91%A2%E2%93%AA",
@@ -5711,6 +5722,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#quantizeToF16-builtin",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-binary16%E2%91%A3",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-binary32%E2%91%A3",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A8",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-shader-creation-error%E2%91%A1%E2%91%A3%E2%91%A4",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-const-expressions%E2%91%A5%E2%91%A7",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-pipeline-creation-error%E2%91%A2%E2%91%A5",
@@ -6237,6 +6249,7 @@
     "https://gpuweb.github.io/gpuweb/wgsl/#pack2x16unorm-builtin",
     "https://gpuweb.github.io/gpuweb/wgsl/#pack2x16float-builtin",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-ieee754-binary16%E2%91%A4",
+    "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-finite-range%E2%91%A0%E2%93%AA",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-shader-creation-error%E2%91%A1%E2%91%A7%E2%91%A0",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-const-expressions%E2%91%A6%E2%91%A8",
     "https://gpuweb.github.io/gpuweb/wgsl/#ref-for-pipeline-creation-error%E2%91%A2%E2%91%A7",