From caab6e1830ce5292cf2485a8f7d88947a4955eb3 Mon Sep 17 00:00:00 2001
From: Dominic Farolino <domfarolino@gmail.com>
Date: Tue, 15 Oct 2024 16:23:00 -0400
Subject: [PATCH] Tighten up pre-move checks

---
 dom.bs | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

diff --git a/dom.bs b/dom.bs
index 56ece284..2e1e574f 100644
--- a/dom.bs
+++ b/dom.bs
@@ -2652,12 +2652,30 @@ of a <var>node</var> into a <var>parent</var> before a <var>child</var>, run the
  <!-- Technically this is post-insert. -->
 </ol>
 
+<p>To <dfn export for=Node id=concept-node-ensure-pre-move-validity>ensure pre-move validity</dfn>
+of a <var>node</var> into a <var>parent</var> before a <var>child</var>, run these steps:
+
+<ol>
+ <li><p><a>Assert</a>: <var>node</var> is either an {{Element}} or {{CharacterData}}.</p></li>
+
+ <li><p>If <var>parent</var> is not an {{Element}} <a for=/>node</a>, then <a>throw</a> a
+ "{{HierarchyRequestError!!exception}}" {{DOMException}}.
+
+ <li><p>If <var>node</var> is a <a>host-including inclusive ancestor</a> of <var>parent</var>, then
+ <a>throw</a> a "{{HierarchyRequestError!!exception}}" {{DOMException}}.
+
+ <li><p>If <var>child</var> is non-null and its <a for=tree>parent</a> is not <var>parent</var>,
+ then <a>throw</a> a "{{NotFoundError!!exception}}" {{DOMException}}.
+</ol>
+
+<p class=note>The <a>ensure pre-move validity</a> steps are a similar, but slightly stricter version
+of the <a>ensure pre-insertion validity</a> steps.</p>
+
 <p>To <dfn export id=concept-node-pre-move>pre-move</dfn> a <var>node</var> into a
 <var>parent</var> before a <var>child</var>, run these steps:
 
 <ol>
- <!-- domfarolino: Is this right? -->
- <li><p><a>Ensure pre-insertion validity</a> of <var>node</var> into <var>parent</var> before
+ <li><p><a>Ensure pre-move validity</a> of <var>node</var> into <var>parent</var> before
  <var>child</var>.
 
  <li><p>Let <var>referenceChild</var> be <var>child</var>.