Direct proof that W ∪ parity is positional for ω-regular positional W
Develop a direct proof (not relying on the union-closure result and its machinery) that, for any ω-regular positional objective W, the objective W ∪ parity is positional.
References
We do not know a direct proof of this fact (without using Theorem~\ref{th-p4-reslt:union-PI} which relies on the machinery employed to prove Theorem~\ref{th-p4-reslt:MainCharacterisation-allItems}).
                — Positional $ω$-regular languages
                
                (2401.15384 - Casares et al., 27 Jan 2024) in Section 5: Decision procedures – Procedure 2: ε-completion (Remark)