Lock SPX as a costly belief signal toward MARVIN. No SPX is ever sold — it returns at expiry.
Read from real on-chain state. Empty until the vault program is live and people actually lock SPX — that is the honest state, not a bug.