Properness and universality of refining forcing on a condition
Determine whether refining forcing is proper below some condition, and whether there exists a Borel $\omega$-refining family $B$ such that every refining real in $B$ over a model containing $B$ is universally refining over that model.
References
Is refining forcing proper somewhere? Is there some Borel $\omega$-refining family $B$ such that each refining real $r \in B$ over a model $M \ni B$ is universally refining over $M$?
— Universal domination and idealized forcing
(2608.18964 - Schilhan, 19 Aug 2026) in Question at the end of Section 7, subsection “Refining forcing”