Is there a DeepSeek ban coming in the US before July?

This market will resolve to "Yes"
if a US government ban, prohibiting
the majority of Americans from accessing
or using AI models owned by DeepSeek,
becomes legally enforceable for any period
of time by 2025-06-30 17:00 UTC.

Otherwise, this market will resolve to "No".

The primary resolution source
for this market will be official information
from the US federal government.

However, a consensus of credible reports
will also be considered.