@Override
  public String toString() {
    var prefix = kind == Kind.CONFLICT ? "?" : kind == Kind.ERROR ? "!" : "";
    return prefix + action + " " + path + ": " + message + " (" + options + ")";
  }
@Override
  public String toString()