A market asking whether a company 'releases' something has to say what counts, and in software almost nothing is clean: a limited preview, a staged rollout to 1% of users, a research paper with no weights, a paid early-access tier. Version numbering is equally slippery — companies ship point releases and renamed variants specifically to avoid a headline number. You read the definition and trade markets whose price assumes a looser one than the rules allow.
Markets on Polymarket where version-numbering & release-definition rules is the natural play: