Closed I-MED families for Borel ideals

Construct a closed I-maximal eventually different family for every Borel ideal I on omega.

Background

Closed I-maximal eventually different families are known for F-sigma ideals and for the ideals Fin-alpha. The question asks whether the construction extends to all Borel ideals.

References

For all Borel $I$, is there a closed $I$-MED?

— Open Problems in Mathematical Logic  (2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 16