Does sequentially separable imply F-separable for C_p(X)?

Determine whether the function space C_p(X), consisting of all real-valued continuous functions on a Tychonoff space X endowed with the topology of pointwise convergence, is F-separable under the assumption that C_p(X) is sequentially separable.

Background

The paper shows that σ-separability coincides with sequential separability for C_p(X), and studies F-separability and its hereditary variants. While σ-separability and sequential separability coincide, it remains unresolved whether sequential separability implies F-separability in C_p(X).

F-separability requires the existence of a countable set whose F-closure is the entire space, a stronger structural condition than σ-separability.

References

Suppose that $C_p(X)$ is a sequentially separable space. Is it true that $C_p(X)$ is $F$-separable?

Velichko's notions close to sequentially separability and their hereditary variants in $C_p$-theory (2406.03014 - Osipov, 5 Jun 2024) in Section 4 (Open questions), Question 4.3