This resolves according to the readout the monthly tab for the active traders chart of the Manifold stats page at the end of 2027. An "active trader" is described as of market creation as

An active trader is a user who has traded in, commented on, or created a question.

If that definition changes, I will do my best to either get an accurate number in the spirit of the original meaning, or N/A the market.