Update of TR report from new reffy run

Using reffy commit 18.1.2.
w3c · Jan 16, 2025 · 27caad5 · 27caad5
1 parent 1f3f30b
commit 27caad5
Show file tree

Hide file tree

Showing 7 changed files with 978 additions and 678 deletions.
diff --git a/tr/algorithms/webdriver-bidi.json b/tr/algorithms/webdriver-bidi.json
diff --git a/tr/cddl/webdriver-bidi-all.cddl b/tr/cddl/webdriver-bidi-all.cddl
@@ -193,6 +193,7 @@ session.Subscription = text
 session.SubscriptionRequest = {
   events: [+text],
   ? contexts: [+browsingContext.BrowsingContext],
+  ? userContexts: [+browser.UserContext],
 }
 
 session.UnsubscribeByIDRequest = {

diff --git a/tr/cddl/webdriver-bidi-remote.cddl b/tr/cddl/webdriver-bidi-remote.cddl
@@ -111,6 +111,7 @@ session.Subscription = text
 session.SubscriptionRequest = {
   events: [+text],
   ? contexts: [+browsingContext.BrowsingContext],
+  ? userContexts: [+browser.UserContext],
 }
 
 session.UnsubscribeByIDRequest = {

diff --git a/tr/dfns/webdriver-bidi.json b/tr/dfns/webdriver-bidi.json
@@ -942,6 +942,27 @@
       },
       "definedIn": "prose"
     },
+    {
+      "id": "subscription-user-context-ids",
+      "href": "https://www.w3.org/TR/webdriver-bidi/#subscription-user-context-ids",
+      "linkingText": [
+        "user context ids"
+      ],
+      "localLinkingText": [],
+      "type": "dfn",
+      "for": [
+        "subscription"
+      ],
+      "access": "private",
+      "informative": false,
+      "heading": {
+        "id": "events",
+        "href": "https://www.w3.org/TR/webdriver-bidi/#events",
+        "title": "Events",
+        "number": "3.6"
+      },
+      "definedIn": "prose"
+    },
     {
       "id": "subscription-global",
       "href": "https://www.w3.org/TR/webdriver-bidi/#subscription-global",
@@ -1731,6 +1752,25 @@
       },
       "definedIn": "prose"
     },
+    {
+      "id": "remove-user-context-subscriptions",
+      "href": "https://www.w3.org/TR/webdriver-bidi/#remove-user-context-subscriptions",
+      "linkingText": [
+        "remove user context subscriptions"
+      ],
+      "localLinkingText": [],
+      "type": "dfn",
+      "for": [],
+      "access": "public",
+      "informative": false,
+      "heading": {
+        "id": "user-contexts",
+        "href": "https://www.w3.org/TR/webdriver-bidi/#user-contexts",
+        "title": "User Contexts",
+        "number": "6"
+      },
+      "definedIn": "prose"
+    },
     {
       "id": "get-user-context",
       "href": "https://www.w3.org/TR/webdriver-bidi/#get-user-context",

diff --git a/tr/ids/webdriver-bidi.json b/tr/ids/webdriver-bidi.json
diff --git a/tr/index.json b/tr/index.json
@@ -1,7 +1,7 @@
 {
   "type": "crawl",
   "title": "Reffy crawl",
-  "date": "2025-01-15T01:34:47.994Z",
+  "date": "2025-01-16T01:34:26.933Z",
   "options": {
     "fallback": "tr/index.json",
     "output": "report",
@@ -723,7 +723,7 @@
         "https://aomediacodec.github.io/av1-spec/"
       ],
       "crawled": "https://aomediacodec.github.io/av1-spec/av1-spec.pdf",
-      "date": "15 January 2025",
+      "date": "16 January 2025",
       "links": "links/av1-spec.json",
       "cddl": []
     },
@@ -11555,10 +11555,10 @@
       ],
       "crawled": "https://www.w3.org/TR/html-aam-1.0/",
       "crawlCacheInfo": {
-        "lastModified": "Fri, 10 Jan 2025 23:32:32 GMT"
+        "lastModified": "Wed, 15 Jan 2025 17:54:36 GMT"
       },
       "generator": "respec",
-      "date": "10 January 2025",
+      "date": "15 January 2025",
       "revision": "e5a0eb2d50829e98168edf296e8bda2b5983b83a",
       "algorithms": "algorithms/html-aam-1.0.json",
       "links": "links/html-aam-1.0.json",
@@ -21026,11 +21026,11 @@
       ],
       "crawled": "https://www.w3.org/TR/webdriver-bidi/",
       "crawlCacheInfo": {
-        "lastModified": "Mon, 13 Jan 2025 08:45:18 GMT"
+        "lastModified": "Wed, 15 Jan 2025 12:06:45 GMT"
       },
       "generator": "bikeshed",
-      "date": "13 January 2025",
-      "revision": "e25f510a6ce923e6655db7cf1c0bf96473970e9a",
+      "date": "15 January 2025",
+      "revision": "1f2b39e82e8cec71c35f720f3e8098f182ec6275",
       "algorithms": "algorithms/webdriver-bidi.json",
       "links": "links/webdriver-bidi.json",
       "refs": "refs/webdriver-bidi.json",

diff --git a/tr/links/webdriver-bidi.json b/tr/links/webdriver-bidi.json
@@ -448,6 +448,7 @@
           "struct",
           "list-contain",
           "iteration-continue",
+          "list-iterate",
           "set-intersection",
           "list-empty",
           "set-append",
@@ -459,19 +460,19 @@
           "map-exists",
           "serialize-an-infra-value-to-json-bytes",
           "map-size",
-          "list-iterate",
           "list-remove",
           "map-getting-the-values",
           "map-clear",
           "convert-a-json-derived-javascript-value-to-an-infra-value",
           "set-union",
           "set-create",
           "list-size",
+          "list-append",
           "set-difference",
           "map-sort-in-ascending-order",
-          "list-append",
           "list-clone",
           "map-remove",
+          "set-equal",
           "forgiving-base64-encode",
           "list-extend",
           "code-point-substring",