{
  "id": "row-too-wide",
  "title": "A row clue is wider than the board",
  "input": {
    "path": "formats/nonogram/cases/row-too-wide/input.txt",
    "text": "title \"Hand-made invalid clue\"\nwidth 5\nheight 5\nrows\n6\n1,1\n1\n1,1\n1,1\ncolumns\n1,1\n1,1\n1\n1,1\n1,1\n"
  },
  "params": [],
  "commands": {
    "readJson": "iris read formats/nonogram/nonogram.iris formats/nonogram/cases/row-too-wide/input.txt --json",
    "readDzn": "iris read formats/nonogram/nonogram.iris formats/nonogram/cases/row-too-wide/input.txt --dzn",
    "readSummary": "iris read formats/nonogram/nonogram.iris formats/nonogram/cases/row-too-wide/input.txt --summary",
    "errorJson": "iris-driver read formats/nonogram/nonogram.iris formats/nonogram/cases/row-too-wide/input.txt --params '{}'"
  },
  "result": {
    "kind": "error",
    "json": "{\"code\":\"E-CHECK-FAILED\",\"message\":\"check failed for record 1 of 'row': the clues of a row do not fit into the width of the board\",\"input_location\":{\"origin\":\"formats/nonogram/cases/row-too-wide/input.txt\",\"line\":5,\"column\":1},\"spec_location\":{\"origin\":\"formats/nonogram/nonogram.iris\",\"line\":24,\"column\":null},\"context\":null,\"record_path\":[0]}",
    "diagnostic": "formats/nonogram/cases/row-too-wide/input.txt:5:1: check failed for record 1 of 'row': the clues of a row do not fit into the width of the board\n     5 | 6\n       | ^\nspec: formats/nonogram/nonogram.iris:24\n"
  },
  "catalog": null,
  "downloads": {
    "input": "/examples/formats/nonogram/cases/row-too-wide/input.txt",
    "spec": "/examples/formats/nonogram/nonogram.iris",
    "error.json": "/examples/formats/nonogram/cases/row-too-wide/error.json",
    "error.txt": "/examples/formats/nonogram/cases/row-too-wide/error.txt",
    "case": "/examples/formats/nonogram/cases/row-too-wide/case.json"
  },
  "spec": {
    "path": "formats/nonogram/nonogram.iris",
    "text": "format nonogram\n\nseparators \",\"\nsections skip other {\n  \"width {width:1..}\"\n  \"height {height:1..}\"\n  \"rows\" {\n    repeat height {\n      list row: 0.. until eol\n    }\n  }\n  \"columns\" {\n    repeat width {\n      list col: 0.. until eol\n    }\n  }\n}\n\ncheck height <= 1000000 / width \"the board must have at most a million fields\"\ncheck size(row) == height && size(col) == width\n  \"the numbers of rows and columns differ from the board size\"\ncheck count(row) <= 1 || min(row) > 0 \"a 0 must be the only clue of its row\"\ncheck count(col) <= 1 || min(col) > 0 \"a 0 must be the only clue of its column\"\ncheck sum(row) + count(row) - 1 <= width \"the clues of a row do not fit into the width of the board\"\ncheck sum(col) + count(col) - 1 <= height\n  \"the clues of a column do not fit into the height of the board\"\n"
  }
}