US debt ceiling hike by July 1?

This market will resolve to "Yes" if the current debt ceiling for the US federal government is raised or suspended between April 19 and July 1, 2023, 11:59:59 PM ET. Otherwise, this market will resolve to "No". The debt ceiling for the US federal government herein refers to the limit set by Title 31 of the U.S. Code, § 3101. Raising this debt ceiling refers to legislation enacted creating a new debt limit greater than the legal limit in effect as of the creation of this market (4/20/2023). Suspending this debt ceiling refers to legislation enacted that suspends application of the debt limit found in Title 31 U.S. Code § 3101 for any length of time. The primary resolution source for this market will be information from the U.S. federal government (e.g. https://www.congress.gov/), however a consensus of credible reporting will also be used.