What does a 'data contract' actually look like in practice? · Lakebench