Update of TR report from new reffy run

Using reffy commit 17.1.1.

tr/algorithms/WGSL.json

@@ -53,7 +53,7 @@
           "html": "<p>For each candidate <var>C</var>, enumerate conversion ranks for subexpressions in the syntactic phrase.\nThe candidate’s preconditions have been met, and so for the <var>i</var>’th subexpression in the <var>P</var>:</p>\n     <ul>\n      <li data-md=\"\">\n       <p>Its static type has been computed.</p>\n      </li><li data-md=\"\">\n       <p>There is a <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion③\">feasible automatic conversion</a> from the expression’s static type to the type required by the corresponding type assertion in the preconditions.\nLet <var>C</var>.<var>R</var>(i) be the <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#conversionrank\" id=\"ref-for-conversionrank②\">ConversionRank</a> of that conversion.</p>\n     </li></ul>"
         },
         {
-          "html": "<p>Eliminate any candidate where one of its subexpressions resolves to an <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#type-abstract\" id=\"ref-for-type-abstract②\">abstract</a> type after <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion④\">feasible automatic conversions</a>, but another\nof the candidate’s subexpressions is not a <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#const-expressions\" id=\"ref-for-const-expressions③\">const-expression</a>.</p>"
+          "html": "<p>Eliminate any candidate where one of its subexpressions resolves to an <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#type-abstract\" id=\"ref-for-type-abstract②\">abstract</a> type after <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#feasible-automatic-conversion\" id=\"ref-for-feasible-automatic-conversion④\">feasible automatic conversions</a>, but another\nof the candidate’s subexpressions is not a <a data-link-type=\"dfn\" href=\"https://www.w3.org/TR/WGSL/#const-expressions\" id=\"ref-for-const-expressions④\">const-expression</a>.</p>"
         },
         {
           "html": "<p>Rank candidates: Given two overload candidates <var>C1</var> and <var>C2</var>, <var>C1</var> is <dfn class=\"dfn-paneled has-dfn-panel\" data-dfn-type=\"dfn\" data-lt=\"preferable candidate\" data-noexport=\"\" id=\"preferable-candidate\" role=\"button\" aria-expanded=\"false\" tabindex=\"0\">preferred</dfn> over <var>C2</var> if:</p>\n     <ul>\n      <li data-md=\"\">\n       <p>For each expression position <var>i</var> in <var>P</var>, <var>C1</var>.<var>R</var>(i) ≤ <var>C2</var>.<var>R</var>(i).</p>\n       <ul>\n        <li data-md=\"\">\n         <p>That is, each expression conversion required to apply <var>C1</var> to <var>P</var> is at least as preferable as the corresponding expression conversion required to apply <var>C2</var> to <var>P</var>.</p>\n       </li></ul>\n      </li><li data-md=\"\">\n       <p>There is at least one expression position <var>i</var> where <var>C1</var>.<var>R</var>(i) &lt; <var>C2</var>.<var>R</var>(i).</p>\n       <ul>\n        <li data-md=\"\">\n         <p>That is, there is at least one expression conversion required to apply <var>C1</var> that is strictly more preferable than the corresponding conversion required to apply <var>C2</var>.</p>\n       </li></ul>\n     </li></ul>"

tr/algorithms/vc-data-integrity.json

@@ -5,7 +5,7 @@
   },
   "algorithms": [
     {
-      "html": "The processing model used by a <a data-link-type=\"dfn|abstract-op\" href=\"https://www.w3.org/TR/vc-data-integrity/#dfn-conforming-processor\" class=\"internalDFN\" id=\"ref-for-dfn-conforming-processor-2\">conforming processor</a> and its\napplication-specific software is described in this section. When software\nis to ensure information is tamper-evident, it performs the following steps:",
+      "html": "The processing model used by a <a data-link-type=\"dfn|abstract-op\" href=\"https://www.w3.org/TR/vc-data-integrity/#dfn-conforming-processor\" class=\"internalDFN\" id=\"ref-for-dfn-conforming-processor-4\">conforming processor</a> and its\napplication-specific software is described in this section. When software\nis to ensure information is tamper-evident, it performs the following steps:",
       "rationale": "if",
       "steps": [
         {
@@ -198,7 +198,7 @@
           "html": "Let <var>contextValue</var> be the value of the <code>@context</code> property of <var>result</var>.<var>document</var>,\nwhich might be undefined."
         },
         {
-          "html": "If <var>contextValue</var> does not deeply equal <var>expectedContext</var>, then if any subtree in\n<var>result</var>.<var>document</var> contains an <code>@context</code> property or any URI in\n<var>contextValue</var> dereferences to a JSON-LD Context file that does not match a\nknown good value or cryptographic hash, then perform the applicable action:",
+          "html": "If <var>contextValue</var> does not deeply equal <var>expectedContext</var>, any subtree in\n<var>result</var>.<var>document</var> contains an <code>@context</code> property, or any URI in\n<var>contextValue</var> dereferences to a JSON-LD Context file that does not match a\nknown good value or cryptographic hash, then perform the applicable action:",
           "rationale": ".algorithm",
           "steps": [
             {