{
  "isError" : false,
  "request" : {
    "dryRun" : true,
    "file" : "Maths.ek9",
    "line" : 5
  },
  "response" : {
    "conflicts" : [ ],
    "edits" : [ {
      "after" : "      <- rtn as Integer?\n      require count <> 0\n      rtn :=? total / count",
      "before" : "      <- rtn as Integer: total / count",
      "endLine" : 9,
      "file" : "Maths.ek9",
      "startLine" : 9,
      "type" : "replace"
    } ],
    "meta" : {
      "serverMs" : "<timing>"
    },
    "risk" : {
      "crossesModuleBoundary" : false,
      "estimatedSeverity" : "trivial",
      "fileCount" : 1,
      "lineCount" : 1,
      "touchesPublicApi" : false,
      "touchesTests" : false
    },
    "status" : "ready",
    "summary" : "Add precondition 'require count <> 0' to discharge the division-by-zero.",
    "workspaceHash" : "<workspace-hash>",
    "wouldBeDiagnostics" : [ ],
    "written" : false
  },
  "scenario" : "apply_pure_fn_assign_if_unset",
  "tool" : "apply_symbolic_fix"
}