Jimmy Lai released by January 31?

Hong Kong Businessman Jimmy Lai is in custody after being convicted of conspiracy to collude with foreign forces. You can read more about that here: https://www.reuters.com/world/jimmy-lai-verdict-live-hong-kong-court-rule-after-democracy-activists-landmark-2025-12-14/. This market will resolve to "Yes" if Jimmy Lai is released from custody by January 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No". If Lai is released but remains under house arrest, the market will still resolve to "Yes". If Lai is released on parole, bond, or any other condition that results in them leaving state custody, the market will resolve to "Yes". Transporting Lai to another location of custody (e.g., a different prison, court, or hospital within the correctional system) will not suffice to resolve this market to "Yes". Extradition of Lai to another country where he remains in custody will also not count. Temporary outings from prison for purposes such as testifying in court, while still under the custody of correctional authorities, will not count as a release. The primary resolution source for this market will be official information from relevant government authorities or corrections departments; however, a consensus of credible reporting may also be used.