Open an observation

Put one invariant of your live system up for the market to price. You deploy a predicate — a view that states what must always be true — then fund a bounty for breaking it and a premium for the underwriters who stand behind it.