From ec59294551f2bad7b081b0c6a0bffc7d22cbc864 Mon Sep 17 00:00:00 2001
From: Alice Boxhall <95208+alice@users.noreply.github.com>
Date: Tue, 3 Jun 2025 11:07:05 +0200
Subject: [PATCH] Propagate events into the event's source's tree where
 appropriate.

- Add the concept of a "source" for an Event.
- Modify shadow root's "get the parent" algorithm such that events
propagate into the event's source's tree where appropriate.
---
 dom.bs | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/dom.bs b/dom.bs
index 491e2691..ace810a5 100644
--- a/dom.bs
+++ b/dom.bs
@@ -401,6 +401,9 @@ signaling that something has occurred, e.g., that an image has completed downloa
 <p class=note>Other specifications use <a for=Event>relatedTarget</a> to define a
 <code>relatedTarget</code> attribute. [[UIEVENTS]]
 
+<p>An <a>event</a> has an associated <dfn export for=Event>source</dfn> (a
+<a>potential event target</a>). Unless stated otherwise it is null.
+
 <p>An <a>event</a> has an associated <dfn export for=Event>touch target list</dfn> (a
 <a for=/>list</a> of zero or more <a>potential event targets</a>). Unless stated otherwise it is the
 empty list.
@@ -6398,10 +6401,22 @@ is null.
 <hr>
 
 <p>A <a for=/>shadow root</a>'s <a>get the parent</a> algorithm, given an <var>event</var>, returns
-null if <var>event</var>'s <a>composed flag</a> is unset and <a for=/>shadow root</a> is the
-<a for=tree>root</a> of <var>event</var>'s <a for=Event>path</a>'s first struct's
-<a for=Event/path>invocation target</a>; otherwise <a for=/>shadow root</a>'s
-<a for=DocumentFragment>host</a>.
+the result of the following steps:</p>
+
+<ol>
+ <li><p>If <var>event</var>’s <a>composed flag</a> is set, return <a for=/>shadow root</a>’s
+ <a for=DocumentFragment>host</a>.</p></li>
+ <li><p>Let <var>target</var> be <var>event</var>’s <a for=Event>path</a>'s first struct's
+ <a for=Event/path>invocation target</a>.</p></li>
+ <li><p>Let <var>source</var> be <var>event</var>'s <a for=Event>source</a>.</p></li>
+ <li><p>If <a for=/>shadow root</a> is not the <a for=tree>root</a> of <var>target</var>, and either
+ <var>source</var> is null or <a for=/>shadow root</a> is not the <a for=tree>root</a> of
+ <var>source</var>, return <a for=/>shadow root</a>'s <a for=DocumentFragment>host</a>.</p></li>
+ <li><p>If <var>source</var> is not null, and <var>source</var>'s <a for=tree>root</a> is a
+ <a>shadow-including ancestor</a> of <a for=/>shadow root</a>, return the result of
+ <a>retargeting</a> <var>target</var> against <var>source</var>.</p></li>
+ <li><p>Return null.</p></li>
+</ol>
 
 <hr>