Ops.json format