Editorial: Eliminate monkey-patching from "The [[IsHTMLDDA]] Internal Slot"

Author: jmdyck

spec.html

@@ -4847,7 +4847,7 @@ <h1>
       </emu-clause>
     </emu-clause>
 
-    <emu-clause id="sec-toboolean" oldids="table-toboolean-conversions" type="abstract operation">
+    <emu-clause id="sec-toboolean" oldids="table-toboolean-conversions,sec-IsHTMLDDA-internal-slot-to-boolean" type="abstract operation">
       <h1>
         ToBoolean (
           _argument_: an ECMAScript language value,
@@ -4860,7 +4860,8 @@ <h1>
       <emu-alg>
         1. If _argument_ is a Boolean, return _argument_.
         1. If _argument_ is any of *undefined*, *null*, *+0*<sub>𝔽</sub>, *-0*<sub>𝔽</sub>, *NaN*, *0*<sub>ℤ</sub>, or the empty String, return *false*.
-        1. [id="step-to-boolean-web-compat-insertion-point"] NOTE: This step is replaced in section <emu-xref href="#sec-IsHTMLDDA-internal-slot-to-boolean"></emu-xref>.
+        1. [id="step-to-boolean-web-compat-insertion-point"] If <ins normative-optional>the host supports <emu-xref href="#sec-IsHTMLDDA-internal-slot" title></emu-xref></ins>, then
+          1. If _argument_ is an Object and _argument_ has an [[IsHTMLDDA]] internal slot, return *false*.
         1. Return *true*.
       </emu-alg>
     </emu-clause>
@@ -5983,7 +5984,7 @@ <h1>
       </emu-note>
     </emu-clause>
 
-    <emu-clause id="sec-islooselyequal" type="abstract operation" oldids="sec-abstract-equality-comparison">
+    <emu-clause id="sec-islooselyequal" type="abstract operation" oldids="sec-abstract-equality-comparison,sec-IsHTMLDDA-internal-slot-aec">
       <h1>
         IsLooselyEqual (
           _x_: an ECMAScript language value,
@@ -5999,7 +6000,9 @@ <h1>
           1. Return IsStrictlyEqual(_x_, _y_).
         1. If _x_ is *null* and _y_ is *undefined*, return *true*.
         1. If _x_ is *undefined* and _y_ is *null*, return *true*.
-        1. [id="step-abstract-equality-comparison-web-compat-insertion-point"] NOTE: This step is replaced in section <emu-xref href="#sec-IsHTMLDDA-internal-slot-aec"></emu-xref>.
+        1. [id="step-abstract-equality-comparison-web-compat-insertion-point"] If <ins normative-optional>the host supports <emu-xref href="#sec-IsHTMLDDA-internal-slot" title></emu-xref></ins>, then
+          1. If _x_ is an Object, _x_ has an [[IsHTMLDDA]] internal slot, and _y_ is either *null* or *undefined*, return *true*.
+          1. If _x_ is either *null* or *undefined*, _y_ is an Object, and _y_ has an [[IsHTMLDDA]] internal slot, return *true*.
         1. If _x_ is a Number and _y_ is a String, return ! IsLooselyEqual(_x_, ! ToNumber(_y_)).
         1. If _x_ is a String and _y_ is a Number, return ! IsLooselyEqual(! ToNumber(_x_), _y_).
         1. If _x_ is a BigInt and _y_ is a String, then
@@ -19580,7 +19583,7 @@ <h1>Runtime Semantics: Evaluation</h1>
     <emu-clause id="sec-typeof-operator">
       <h1>The `typeof` Operator</h1>
 
-      <emu-clause id="sec-typeof-operator-runtime-semantics-evaluation" oldids="table-typeof-operator-results" type="sdo">
+      <emu-clause id="sec-typeof-operator-runtime-semantics-evaluation" oldids="table-typeof-operator-results,sec-IsHTMLDDA-internal-slot-typeof" type="sdo">
         <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>UnaryExpression : `typeof` UnaryExpression</emu-grammar>
         <emu-alg>
@@ -19596,7 +19599,8 @@ <h1>Runtime Semantics: Evaluation</h1>
           1. If _val_ is a Number, return *"number"*.
           1. If _val_ is a BigInt, return *"bigint"*.
           1. Assert: _val_ is an Object.
-          1. [id="step-typeof-web-compat-insertion-point"] NOTE: This step is replaced in section <emu-xref href="#sec-IsHTMLDDA-internal-slot-typeof"></emu-xref>.
+          1. [id="step-typeof-web-compat-insertion-point"] If <ins normative-optional>the host supports <emu-xref href="#sec-IsHTMLDDA-internal-slot" title></emu-xref></ins>, then
+            1. If _val_ has an [[IsHTMLDDA]] internal slot, return *"undefined"*.
           1. If _val_ has a [[Call]] internal slot, return *"function"*.
           1. Return *"object"*.
         </emu-alg>
@@ -48041,32 +48045,12 @@ <h1>The [[IsHTMLDDA]] Internal Slot</h1>
       <emu-note>
         <p>Objects with an [[IsHTMLDDA]] internal slot are never created by this specification. However, the <a href="https://html.spec.whatwg.org/multipage/obsolete.html#dom-document-all"><code>document.all</code> object</a> in web browsers is a host-defined exotic object with this slot that exists for web compatibility purposes. There are no other known examples of this type of object and implementations should not create any with the exception of `document.all`.</p>
       </emu-note>
-
-      <emu-annex id="sec-IsHTMLDDA-internal-slot-to-boolean">
-        <h1>Changes to ToBoolean</h1>
-        <p>The following step replaces step <emu-xref href="#step-to-boolean-web-compat-insertion-point"></emu-xref> of ToBoolean:</p>
-        <emu-alg replaces-step="step-to-boolean-web-compat-insertion-point">
-          1. If _argument_ is an Object and _argument_ has an [[IsHTMLDDA]] internal slot, return *false*.
-        </emu-alg>
-      </emu-annex>
-
-      <emu-annex id="sec-IsHTMLDDA-internal-slot-aec">
-        <h1>Changes to IsLooselyEqual</h1>
-        <p>The following steps replace step <emu-xref href="#step-abstract-equality-comparison-web-compat-insertion-point"></emu-xref> of IsLooselyEqual:</p>
-        <emu-alg replaces-step="step-abstract-equality-comparison-web-compat-insertion-point">
-          1. Perform the following steps:
-            1. If _x_ is an Object, _x_ has an [[IsHTMLDDA]] internal slot, and _y_ is either *null* or *undefined*, return *true*.
-            1. If _x_ is either *null* or *undefined*, _y_ is an Object, and _y_ has an [[IsHTMLDDA]] internal slot, return *true*.
-        </emu-alg>
-      </emu-annex>
-
-      <emu-annex id="sec-IsHTMLDDA-internal-slot-typeof">
-        <h1>Changes to the `typeof` Operator</h1>
-        <p>The following step replaces step <emu-xref href="#step-typeof-web-compat-insertion-point"></emu-xref> of <emu-xref href="#sec-typeof-operator-runtime-semantics-evaluation">the evaluation semantics for `typeof`</emu-xref>:</p>
-        <emu-alg replaces-step="step-typeof-web-compat-insertion-point">
-          1. If _val_ has an [[IsHTMLDDA]] internal slot, return *"undefined"*.
-        </emu-alg>
-      </emu-annex>
+      <p>This feature involves special semantics at the following points:</p>
+      <ul>
+        <li>step <emu-xref href="#step-to-boolean-web-compat-insertion-point"></emu-xref> in ToBoolean</li>
+        <li>step <emu-xref href="#step-abstract-equality-comparison-web-compat-insertion-point"></emu-xref> in IsLooselyEqual</li>
+        <li>step <emu-xref href="#step-typeof-web-compat-insertion-point"></emu-xref> in the evaluation semantics for `typeof`</li>
+      </ul>
     </emu-annex>
 
     <emu-annex id="sec-web-compat-host-make-job-callback">