Seems like he's most likely leaving FiveThirtyEight when his contract is up, in the midst of massive layoffs...and that he still owns the model?

General policy for my markets: In the rare event of a conflict between my resolution criteria and the agreed-upon common-sense spirit of the market, I may resolve it according to the market's spirit or N/A, probably after discussion.