They are paying up, just for the "no" outcome.

hn_acc1 · 2026-01-07T22:01:21 1767823281

They ARE, or INTEND to? It's not Jan 31, 2026 yet, so, AFAICT, only the "Yes" option can be short-circuited if it occurs. They can't pay the "No" side until Feb 1, 2026, right?

lxgr · 2026-01-07T22:18:03 1767824283

Good point, so for completeness: They'll pay out either "Yes" or "No", but definitely not nobody or themselves (except if they're also "Yes" or "No" holders).