{
  "ok": true,
  "source": "memory",
  "count": 0,
  "all_invariants_hold": false,
  "latest": null,
  "reports": []
}