Update of ED report from new reffy run

Using reffy commit 19.2.2.

Author: reffy-bot

ed/algorithms/html.json

@@ -1418,6 +1418,12 @@ InputCommand = (
   input.SetFiles
 )
 
+InputResult = (
+  input.PerformActionsResult /
+  input.ReleaseActionsResult /
+  input.SetFilesResult
+)
+
 input.ElementOrigin = {
   type: "element",
   element: script.SharedReference
@@ -3042,6 +3048,12 @@ InputCommand = (
   input.SetFiles
 )
 
+InputResult = (
+  input.PerformActionsResult /
+  input.ReleaseActionsResult /
+  input.SetFilesResult
+)
+
 input.ElementOrigin = {
   type: "element",
   element: script.SharedReference
@@ -3274,8 +3286,10 @@ ErrorResponse = {
 }
 
 ResultData = (
+  BrowserResult /
   BrowsingContextResult /
-  EmptyResult /
+  EmulationResult /
+  InputResult /
   NetworkResult /
   ScriptResult /
   SessionResult /
@@ -3337,9 +3351,11 @@ ErrorCode = "invalid argument" /
             "unsupported operation"
 
 SessionResult = (
-   session.NewResult /
-   session.StatusResult /
-   session.SubscribeResult
+  session.EndResult /
+  session.NewResult /
+  session.StatusResult /
+  session.SubscribeResult /
+  session.UnsubscribeResult
 )
 
 session.CapabilitiesRequest = {
@@ -3434,13 +3450,22 @@ session.NewResult = {
   }
 }
 
+session.EndResult = EmptyResult
+
 session.SubscribeResult = {
   subscription: session.Subscription,
 }
 
+session.UnsubscribeResult = EmptyResult
+
 BrowserResult = (
-   browser.CreateUserContextResult /
-   browser.GetUserContextsResult
+  browser.CloseResult /
+  browser.CreateUserContextResult /
+  browser.GetClientWindowsResult /
+  browser.GetUserContextsResult /
+  browser.RemoveUserContextResult /
+  browser.SetClientWindowStateResult /
+  browser.SetDownloadBehaviorResult
 )
 
 browser.ClientWindow = text;
@@ -3461,6 +3486,8 @@ browser.UserContextInfo = {
   userContext: browser.UserContext
 }
 
+browser.CloseResult = EmptyResult
+
 browser.CreateUserContextResult = browser.UserContextInfo
 
 browser.GetClientWindowsResult = {
@@ -3471,13 +3498,24 @@ browser.GetUserContextsResult = {
   userContexts: [ + browser.UserContextInfo]
 }
 
+browser.RemoveUserContextResult = EmptyResult
+
+browser.SetClientWindowStateResult = browser.ClientWindowInfo
+
+browser.SetDownloadBehaviorResult = EmptyResult
+
 BrowsingContextResult = (
+  browsingContext.ActivateResult /
   browsingContext.CaptureScreenshotResult /
+  browsingContext.CloseResult /
   browsingContext.CreateResult /
   browsingContext.GetTreeResult /
+  browsingContext.HandleUserPromptResult /
   browsingContext.LocateNodesResult /
   browsingContext.NavigateResult /
   browsingContext.PrintResult /
+  browsingContext.ReloadResult /
+  browsingContext.SetViewportResult /
   browsingContext.TraverseHistoryResult
 )
 
@@ -3568,10 +3606,14 @@ browsingContext.NavigationInfo = {
 
 browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";
 
+browsingContext.ActivateResult = EmptyResult
+
 browsingContext.CaptureScreenshotResult = {
   data: text
 }
 
+browsingContext.CloseResult = EmptyResult
+
 browsingContext.CreateResult = {
   context: browsingContext.BrowsingContext
 }
@@ -3580,6 +3622,8 @@ browsingContext.GetTreeResult = {
   contexts: browsingContext.InfoList
 }
 
+browsingContext.HandleUserPromptResult = EmptyResult
+
 browsingContext.LocateNodesResult = {
     nodes: [ * script.NodeRemoteValue ]
 }
@@ -3593,8 +3637,11 @@ browsingContext.PrintResult = {
   data: text
 }
 
-browsingContext.TraverseHistoryResult = {
-}
+browsingContext.ReloadResult = browsingContext.NavigateResult
+
+browsingContext.SetViewportResult = EmptyResult
+
+browsingContext.TraverseHistoryResult = EmptyResult
 
 browsingContext.ContextCreated = (
  method: "browsingContext.contextCreated",
@@ -3710,8 +3757,44 @@ browsingContext.UserPromptOpenedParameters = {
   ? defaultValue: text
 }
 
+EmulationResult = (
+  emulation.SetForcedColorsModeThemeOverrideResult /
+  emulation.SetGeolocationOverrideResult /
+  emulation.SetLocaleOverrideResult /
+  emulation.SetScreenOrientationOverrideResult /
+  emulation.SetScriptingEnabledResult /
+  emulation.SetTimezoneOverrideResult /
+  emulation.SetUserAgentOverrideResult
+)
+
+emulation.SetForcedColorsModeThemeOverrideResult = EmptyResult
+
+emulation.SetGeolocationOverrideResult = EmptyResult
+
+emulation.SetLocaleOverrideResult = EmptyResult
+
+emulation.SetScreenOrientationOverrideResult = EmptyResult
+
+emulation.SetUserAgentOverrideResult = EmptyResult
+
+emulation.SetScriptingEnabledResult = EmptyResult
+
+emulation.SetTimezoneOverrideResult = EmptyResult
+
 NetworkResult = (
-   network.AddInterceptResult
+  network.AddDataCollectorResult /
+  network.AddInterceptResult /
+  network.ContinueRequestResult /
+  network.ContinueResponseResult /
+  network.ContinueWithAuthResult /
+  network.DisownDataResult /
+  network.FailRequestResult /
+  network.GetDataResult /
+  network.ProvideResponseResult /
+  network.RemoveDataCollectorResult /
+  network.RemoveInterceptResult /
+  network.SetCacheBehaviorResult /
+  network.SetExtraHeadersResult
 )
 
 NetworkEvent = (
@@ -3843,10 +3926,30 @@ network.AddInterceptResult = {
   intercept: network.Intercept
 }
 
+network.ContinueRequestResult = EmptyResult
+
+network.ContinueResponseResult = EmptyResult
+
+network.ContinueWithAuthResult = EmptyResult
+
+network.DisownDataResult = EmptyResult
+
+network.FailRequestResult = EmptyResult
+
 network.GetDataResult = {
   bytes: network.BytesValue,
 }
 
+network.ProvideResponseResult = EmptyResult
+
+network.RemoveDataCollectorResult = EmptyResult
+
+network.RemoveInterceptResult = EmptyResult
+
+network.SetCacheBehaviorResult = EmptyResult
+
+network.SetExtraHeadersResult = EmptyResult
+
 network.AuthRequired = (
   method: "network.authRequired",
   params: network.AuthRequiredParameters
@@ -3899,9 +4002,11 @@ network.ResponseStartedParameters = {
 
 ScriptResult = (
   script.AddPreloadScriptResult /
+  script.CallFunctionResult /
+  script.DisownResult /
   script.EvaluateResult /
   script.GetRealmsResult /
-  script.CallFunctionResult
+  script.RemovePreloadScriptResult
 )
 
 ScriptEvent = (
@@ -4328,12 +4433,16 @@ script.AddPreloadScriptResult = {
   script: script.PreloadScript
 }
 
+script.DisownResult = EmptyResult
+
 script.CallFunctionResult = script.EvaluateResult
 
 script.GetRealmsResult = {
   realms: [*script.RealmInfo]
 }
 
+script.RemovePreloadScriptResult = EmptyResult
+
 script.Message = (
   method: "script.message",
   params: script.MessageParameters
@@ -4430,6 +4539,12 @@ InputEvent = (
   input.FileDialogOpened
 )
 
+input.PerformActionsResult = EmptyResult
+
+input.ReleaseActionsResult = EmptyResult
+
+input.SetFilesResult = EmptyResult
+
 input.FileDialogOpened = (
    method: "input.fileDialogOpened",
    params: input.FileDialogInfo
@@ -4442,11 +4557,14 @@ input.FileDialogInfo = {
 }
 
 WebExtensionResult = (
-  webExtension.InstallResult
+  webExtension.InstallResult /
+  webExtension.UninstallResult
 )
 
 webExtension.Extension = text
 
 webExtension.InstallResult = {
   extension: webExtension.Extension
 }
+
+webExtension.UninstallResult = EmptyResult

ed/cddl/webdriver-bidi-all.cddl

@@ -90644,10 +90644,10 @@
       "links": []
     },
     {
-      "id": "read-ua-inline",
-      "href": "https://html.spec.whatwg.org/multipage/document-lifecycle.html#read-ua-inline",
+      "id": "navigate-ua-inline",
+      "href": "https://html.spec.whatwg.org/multipage/document-lifecycle.html#navigate-ua-inline",
       "linkingText": [
-        "Loading a document for inline content that doesn't have a DOM"
+        "create a document to display a user agent page or PDF viewer inline"
       ],
       "localLinkingText": [],
       "type": "dfn",
@@ -90660,7 +90660,7 @@
         "title": "Loading a document for inline content that doesn't have a DOM",
         "number": "7.5.7"
       },
-      "definedIn": "heading",
+      "definedIn": "prose",
       "links": []
     },
     {