Update of TR report from new reffy run

Using reffy commit 18.4.0.

tr/algorithms/event-timing.json

@@ -116,7 +116,7 @@
           "html": "<p>Let <var>type</var> be <var>event</var>’s <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://dom.spec.whatwg.org/#dom-event-type\" id=\"ref-for-dom-event-type⑦\">type</a></code> attribute value.</p>"
         },
         {
-          "html": "<p>If <var>type</var> is not one among <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-keyup\" id=\"ref-for-event-type-keyup②\">keyup</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-compositionstart\" id=\"ref-for-event-type-compositionstart①\">compositionstart</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-input\" id=\"ref-for-event-type-input①\">input</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointercancel-event\" id=\"ref-for-the-pointercancel-event①\">pointercancel</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointermove-event\" id=\"ref-for-the-pointermove-event①\">pointermove</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event③\">pointerup</a></code>, or <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-click\" id=\"ref-for-event-type-click③\">click</a></code>, return 0.</p>"
+          "html": "<p>If <var>type</var> is not one among <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-keyup\" id=\"ref-for-event-type-keyup②\">keyup</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-compositionstart\" id=\"ref-for-event-type-compositionstart①\">compositionstart</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-input\" id=\"ref-for-event-type-input①\">input</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointercancel-event\" id=\"ref-for-the-pointercancel-event①\">pointercancel</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event③\">pointerup</a></code>, or <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-click\" id=\"ref-for-event-type-click③\">click</a></code>, return 0.</p>"
         },
         {
           "html": "<p>Let <var>window</var> be <var>event</var>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#concept-relevant-global\" id=\"ref-for-concept-relevant-global⑤\">relevant global object</a>.</p>"
@@ -127,9 +127,6 @@
         {
           "html": "<p>Let <var>pointerMap</var> be <var>window</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#pointer-interaction-value-map\" id=\"ref-for-pointer-interaction-value-map\">pointer interaction value map</a>.</p>"
         },
-        {
-          "html": "<p>Let <var>pointerIsDragSet</var> be <var>window</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#pointer-is-drag-set\" id=\"ref-for-pointer-is-drag-set\">pointer is drag set</a>.</p>"
-        },
         {
           "html": "<p>Let <var>pendingPointerDowns</var> be <var>window</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#pending-pointer-downs\" id=\"ref-for-pending-pointer-downs\">pending pointer downs</a>.</p>"
         },
@@ -209,11 +206,11 @@
           ]
         },
         {
-          "html": "Otherwise (<var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointercancel-event\" id=\"ref-for-the-pointercancel-event②\">pointercancel</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointermove-event\" id=\"ref-for-the-pointermove-event②\">pointermove</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event④\">pointerup</a></code>, or <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-click\" id=\"ref-for-event-type-click④\">click</a></code>):",
+          "html": "Otherwise (<var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointercancel-event\" id=\"ref-for-the-pointercancel-event②\">pointercancel</a></code>, <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event④\">pointerup</a></code>, or <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-click\" id=\"ref-for-event-type-click④\">click</a></code>):",
           "rationale": "let",
           "steps": [
             {
-              "html": "<p>Let <var>pointerId</var> be <var>event</var>’s <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://www.w3.org/TR/pointerevents3/#dom-pointerevent-pointerid\" id=\"ref-for-dom-pointerevent-pointerid\">pointerId</a></code> attribute value.</p>"
+              "html": "<p>Let <var>pointerId</var> be <var>event</var>’s <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://www.w3.org/TR/pointerevents4/#dom-pointerevent-pointerid\" id=\"ref-for-dom-pointerevent-pointerid\">pointerId</a></code> attribute value.</p>"
             },
             {
               "html": "If <var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/uievents/#event-type-click\" id=\"ref-for-event-type-click⑤\">click</a></code>:",
@@ -228,26 +225,11 @@
                 {
                   "html": "<p>Remove <var>pointerMap</var>[<var>pointerId</var>].</p>"
                 },
-                {
-                  "html": "<p>Remove [<var>pointerId</var>] from <var>pointerIsDragSet</var>.</p>"
-                },
                 {
                   "html": "<p>Return <var>value</var>.</p>"
                 }
               ]
             },
-            {
-              "html": "If <var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointermove-event\" id=\"ref-for-the-pointermove-event③\">pointermove</a></code>:",
-              "rationale": "add",
-              "steps": [
-                {
-                  "html": "<p>Add <var>pointerId</var> to <var>pointerIsDragSet</var>.</p>"
-                },
-                {
-                  "html": "<p>Return 0.</p>"
-                }
-              ]
-            },
             {
               "html": "<p>Assert that <var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event⑤\">pointerup</a></code> or <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointercancel-event\" id=\"ref-for-the-pointercancel-event③\">pointercancel</a></code>.</p>"
             },
@@ -262,14 +244,8 @@
             },
             {
               "html": "If <var>type</var> is <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://w3c.github.io/pointerevents/#the-pointerup-event\" id=\"ref-for-the-pointerup-event⑥\">pointerup</a></code>:",
-              "rationale": "let",
+              "rationale": "increase",
               "steps": [
-                {
-                  "html": "<p>Let <var>interactionType</var> be <code class=\"highlight\"><c- u=\"\">\"tap\"</c-></code>.</p>"
-                },
-                {
-                  "html": "<p>If <var>pointerIsDragSet</var> contains [<var>pointerId</var>] exists, set <var>interactionType</var> to <code class=\"highlight\"><c- u=\"\">\"drag\"</c-></code>.</p>"
-                },
                 {
                   "html": "<p><a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#increase-interaction-count\" id=\"ref-for-increase-interaction-count②\">Increase interaction count</a> on <var>window</var>.</p>"
                 },
@@ -367,7 +343,7 @@
               "html": "<p>Let <var>pendingPointerDowns</var> be <var>relevantGlobal</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#pending-pointer-downs\" id=\"ref-for-pending-pointer-downs①\">pending pointer downs</a>.</p>"
             },
             {
-              "html": "<p>Let <var>pointerId</var> be <var>event</var>’s <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://www.w3.org/TR/pointerevents3/#dom-pointerevent-pointerid\" id=\"ref-for-dom-pointerevent-pointerid①\">pointerId</a></code>.</p>"
+              "html": "<p>Let <var>pointerId</var> be <var>event</var>’s <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://www.w3.org/TR/pointerevents4/#dom-pointerevent-pointerid\" id=\"ref-for-dom-pointerevent-pointerid①\">pointerId</a></code>.</p>"
             },
             {
               "html": "<p>If <var>pendingPointerDowns</var>[<var>pointerId</var>] exists, append <var>pendingPointerDowns</var>[<var>pointerId</var>] to <var>relevantGlobal</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/event-timing/#entries-to-be-queued\" id=\"ref-for-entries-to-be-queued④\">entries to be queued</a>.</p>"

tr/algorithms/paint-timing.json

@@ -14,7 +14,7 @@
           "html": "<p>Let <var>boundingRect</var> be the result of running the <code class=\"idl\"><a data-link-type=\"idl\" href=\"https://www.w3.org/TR/cssom-view-1/#dom-element-getboundingclientrect\" id=\"ref-for-dom-element-getboundingclientrect\">getBoundingClientRect()</a></code> on <var>target</var>.</p>"
         },
         {
-          "html": "<p>Clip <var>boundingRect</var> with the <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-document\" id=\"ref-for-concept-document\">document</a>'s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/cssom-view#scrolling-area\" id=\"ref-for-scrolling-area\">scrolling area</a>.</p>"
+          "html": "<p>Clip <var>boundingRect</var> with the <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#clone-a-node-document\" id=\"ref-for-clone-a-node-document\">document</a>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/cssom-view#scrolling-area\" id=\"ref-for-scrolling-area\">scrolling area</a>.</p>"
         },
         {
           "html": "<p>Return <var>boundingRect</var>.</p>"
@@ -47,7 +47,7 @@
     {
       "name": "Should report first contentful paint",
       "href": "https://www.w3.org/TR/paint-timing/#should-report-first-contentful-paint",
-      "html": "To know whether <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-document\" id=\"ref-for-concept-document②\">Document</a> <var>document</var> <dfn class=\"dfn-paneled has-dfn-panel\" data-dfn-type=\"dfn\" data-noexport=\"\" id=\"should-report-first-contentful-paint\" role=\"button\" aria-expanded=\"false\" tabindex=\"0\">should report first contentful paint</dfn>, perform the following steps:",
+      "html": "To know whether <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#clone-a-node-document\" id=\"ref-for-clone-a-node-document②\">Document</a> <var>document</var> <dfn class=\"dfn-paneled has-dfn-panel\" data-dfn-type=\"dfn\" data-noexport=\"\" id=\"should-report-first-contentful-paint\" role=\"button\" aria-expanded=\"false\" tabindex=\"0\">should report first contentful paint</dfn>, perform the following steps:",
       "rationale": ".algorithm",
       "steps": [
         {
@@ -63,11 +63,11 @@
     },
     {
       "name": "Mark paint timing",
-      "html": "When asked to <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#mark-paint-timing\" id=\"ref-for-mark-paint-timing①\">mark paint timing</a> given a <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-document\" id=\"ref-for-concept-document③\">Document</a> <var>document</var> as input, perform the following steps:",
+      "html": "When asked to <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#mark-paint-timing\" id=\"ref-for-mark-paint-timing①\">mark paint timing</a> given a <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#clone-a-node-document\" id=\"ref-for-clone-a-node-document③\">Document</a> <var>document</var> as input, perform the following steps:",
       "rationale": ".algorithm",
       "steps": [
         {
-          "html": "<p>If the <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-document\" id=\"ref-for-concept-document④\">document</a>'s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/document-sequences.html#concept-document-bc\" id=\"ref-for-concept-document-bc\">browsing context</a> is not <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#paint-timing-eligible\" id=\"ref-for-paint-timing-eligible①\">paint-timing eligible</a>, return.</p>"
+          "html": "<p>If the <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#clone-a-node-document\" id=\"ref-for-clone-a-node-document④\">document</a>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/document-sequences.html#concept-document-bc\" id=\"ref-for-concept-document-bc\">browsing context</a> is not <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#paint-timing-eligible\" id=\"ref-for-paint-timing-eligible①\">paint-timing eligible</a>, return.</p>"
         },
         {
           "html": "<p>Let <var>paintTimingInfo</var> be a new <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#paint-timing-info\" id=\"ref-for-paint-timing-info②\">paint timing info</a>, whose <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#paint-timing-info-rendering-update-end-time\" id=\"ref-for-paint-timing-info-rendering-update-end-time②\">rendering update end time</a> is the <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/hr-time-3/#dfn-current-high-resolution-time\" id=\"ref-for-dfn-current-high-resolution-time①\">current high resolution time</a> given <var>document</var>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#concept-relevant-global\" id=\"ref-for-concept-relevant-global①\">relevant global object</a>.</p>"
@@ -117,6 +117,12 @@
         {
           "html": "<p>Let <var>reportedPaints</var> be the <var>document</var>’s <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#set-of-previously-reported-paints\" id=\"ref-for-set-of-previously-reported-paints①\">set of previously reported paints</a>.</p>"
         },
+        {
+          "html": "<p>Let <var>frameTimingInfo</var> be <var>document</var>’s <a data-link-type=\"dfn\" href=\"https://w3c.github.io/long-animation-frames/#current-frame-timing-info\" id=\"ref-for-current-frame-timing-info\">current frame timing info</a>.</p>"
+        },
+        {
+          "html": "<p>Set <var>document</var>’s <a data-link-type=\"dfn\" href=\"https://w3c.github.io/long-animation-frames/#current-frame-timing-info\" id=\"ref-for-current-frame-timing-info①\">current frame timing info</a> to null.</p>"
+        },
         {
           "html": "Let <var>flushPaintTimings</var> be the following steps:",
           "rationale": "if",
@@ -138,6 +144,9 @@
             },
             {
               "html": "<p><a data-link-type=\"dfn\" href=\"https://wicg.github.io/element-timing/#report-element-timing\" id=\"ref-for-report-element-timing\">Report element timing</a> given <var>document</var>, <var>paintTimingInfo</var>, <var>paintedImages</var> and <var>paintedTextNodes</var>.</p>"
+            },
+            {
+              "html": "<p>If <var>frameTimingInfo</var> is not null, then <a data-link-type=\"dfn\" href=\"https://w3c.github.io/long-animation-frames/#queue-a-long-animation-frame-entry\" id=\"ref-for-queue-a-long-animation-frame-entry\">queue a long animation frame entry</a> given <var>document</var>, <var>frameTimingInfo</var>, and <var>paintTimingInfo</var>.</p>"
             }
           ]
         },
@@ -209,14 +218,14 @@
     },
     {
       "name": "Exposed for paint timing",
-      "html": "To determine whether an <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-element\" id=\"ref-for-concept-element⑧\">Element</a> <var>element</var> is <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#exposed-for-paint-timing\" id=\"ref-for-exposed-for-paint-timing①\">exposed for paint timing</a>, given a <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-document\" id=\"ref-for-concept-document⑧\">Document</a> or null <var>document</var>, perform the following steps:",
+      "html": "To determine whether an <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#concept-element\" id=\"ref-for-concept-element⑧\">Element</a> <var>element</var> is <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/paint-timing/#exposed-for-paint-timing\" id=\"ref-for-exposed-for-paint-timing①\">exposed for paint timing</a>, given a <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#clone-a-node-document\" id=\"ref-for-clone-a-node-document⑧\">Document</a> or null <var>document</var>, perform the following steps:",
       "rationale": ".algorithm",
       "steps": [
         {
           "html": "<p>If <var>element</var> is not <a data-link-type=\"dfn\" href=\"https://dom.spec.whatwg.org/#connected\" id=\"ref-for-connected\">connected</a>, return false.</p>"
         },
         {
-          "html": "<p>If <var>document</var> is null, let <var>document</var> be <var>element</var>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#relevant-settings-object\" id=\"ref-for-relevant-settings-object\">relevant settings object</a>'s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#concept-relevant-global\" id=\"ref-for-concept-relevant-global④\">relevant global object</a>'s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/nav-history-apis.html#concept-document-window\" id=\"ref-for-concept-document-window\">associated document</a>.</p>"
+          "html": "<p>If <var>document</var> is null, let <var>document</var> be <var>element</var>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#relevant-settings-object\" id=\"ref-for-relevant-settings-object\">relevant settings object</a>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/webappapis.html#concept-relevant-global\" id=\"ref-for-concept-relevant-global④\">relevant global object</a>’s <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/nav-history-apis.html#concept-document-window\" id=\"ref-for-concept-document-window\">associated document</a>.</p>"
         },
         {
           "html": "<p>If <var>document</var> is not <a data-link-type=\"dfn\" href=\"https://html.spec.whatwg.org/multipage/document-sequences.html#fully-active\" id=\"ref-for-fully-active\">fully active</a>, return false.</p>"

tr/algorithms/rdf12-semantics.json

@@ -0,0 +1,25 @@
+{
+  "spec": {
+    "title": "RDF 1.2 Semantics",
+    "url": "https://www.w3.org/TR/rdf12-semantics/"
+  },
+  "algorithms": [
+    {
+      "name": "substitution mapping",
+      "href": "https://www.w3.org/TR/rdf12-semantics/#dfn-substitution-mapping",
+      "html": "For RDF terms t, x, and y, we define the <dfn id=\"dfn-substitution-mapping\" tabindex=\"0\" aria-haspopup=\"dialog\" data-dfn-type=\"dfn\">substitution mapping</dfn> t[x/y] inductively, as follows:",
+      "rationale": "if",
+      "steps": [
+        {
+          "html": "If t = x, then t[x/y] = y."
+        },
+        {
+          "html": "Otherwise, if t = (s, p, o), then t[x/y] = (s[x/y], p[x/y], o[x/y])."
+        },
+        {
+          "html": "Otherwise, t[x/y] = t."
+        }
+      ]
+    }
+  ]
+}