Resolves YES as soon as Manifold reaches a 7-day average of at least 5000 DAU (daily active users).

Resolves NO if that threshold has not been reached on or before July 1st 2023.

The data source will be the Manifold stats page! For reference, Manifold DAU as of this market's creation is ~1100 with a peak of 1971.