It sounds like a useful primitive and a logical fit. BitVM seems to be a method of expressing an inviable proof of a contract outcome. An immutable ledger that knows only truth is an ideal place for such a proof.