{"abstract":"Text beside the drop cap touches the cap.","category":"Typography line breaking","checks":8,"contract":"Input [word widths, width, cap lines, cap width, gap, indent]. With a drop cap its first letter moves into the cap (first word loses one unit) and the first cap-lines lines are narrowed by cap width + gap; the first-line indent applies only without a cap. Greedy fill with unit spaces; a word too wide for an empty line is set alone. Return [[words on line, used width]].","contract_signature":"x","evaluation_group":"w2-typography-line-breaking-drop-cap","failed_approach":"Subtracting only the larger of the two still ignores one.","family":"w2-typography-line-breaking-drop-cap-cap-gutter","id":"FA-80101","implementations":{"attempt":{"sha256":"c653393803f572e0f36b5d66628e54112175c44e1a0ccd9623a23ae527f16618","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    words, width, cap_lines, cap_width, gap, indent = x\n    lens = list(words)\n    if cap_lines > 0:\n        lens[0] = lens[0] - 1\n    def avail(li):\n        base = width\n        if li < cap_lines:\n            base -= max(cap_width, gap)\n        elif cap_lines == 0 and li == 0:\n            base -= indent\n        return base\n    lines = []\n    cur = []\n    used = 0\n    for w in lens:\n        li = len(lines)\n        need = w if not cur else used + 1 + w\n        if need <= avail(li) or not cur:\n            cur.append(w)\n            used = need\n        else:\n            lines.append([len(cur), used])\n            cur = [w]\n            used = w\n    if cur:\n        lines.append([len(cur), used])\n    return lines\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('regression: cap gutter', [[7, 8, 2, 1, 6, 2, 5, 7, 8], 20, 2, 2, 2, 4], [[2, 15], [4, 14], [2, 13], [1, 8]]), ('regression: cap gutter', [[3, 8, 7, 8], 19, 3, 3, 1, 3], [[2, 11], [1, 7], [1, 8]]), ('regression: cap gutter', [[5, 4, 2, 7, 7, 7, 5, 8, 6, 5], 16, 3, 3, 2, 1], [[2, 9], [2, 10], [1, 7], [2, 13], [2, 15], [1, 5]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[6, 7, 3, 2], 19, 0, 3, 2, 1], [[3, 18], [1, 2]]), ('control layout', [[7, 6, 6, 1, 1, 8, 2, 5, 4], 20, 3, 4, 2, 4], [[2, 13], [3, 10], [2, 11], [2, 10]]), ('control layout', [[6, 5, 2, 2, 3, 7, 2, 7, 8, 6, 7, 1], 23, 3, 4, 2, 3], [[4, 17], [3, 14], [2, 16], [3, 16]])], [('regression: cap gutter', [[1, 4, 3, 7, 8, 2, 8, 8], 15, 3, 4, 2, 4], [[3, 9], [1, 7], [1, 8], [2, 11], [1, 8]]), ('regression: cap gutter', [[1, 3, 4, 7, 7, 7, 1, 1, 1, 4, 2], 22, 3, 2, 2, 2], [[4, 17], [3, 17], [4, 11]]), ('regression: cap gutter', [[2, 5, 5, 4, 5, 2, 4, 4, 2, 8, 6, 4], 18, 3, 5, 1, 2], [[2, 7], [2, 10], [2, 8], [3, 12], [2, 15], [1, 4]]), ('regression: cap gutter', [[4, 5, 1, 5, 7, 8, 1, 3], 13, 3, 2, 1, 3], [[2, 9], [2, 7], [1, 7], [2, 10], [1, 3]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[6, 4, 7, 6, 5, 1, 7, 7, 5], 18, 0, 2, 2, 3], [[2, 11], [2, 14], [3, 15], [2, 13]]), ('control layout', [[4, 1, 2, 2, 2, 1], 21, 0, 5, 2, 3], [[6, 17]])], [('regression: cap gutter', [[2, 2, 5, 2, 3, 8, 2, 4, 3, 6], 13, 3, 4, 2, 1], [[2, 4], [1, 5], [2, 6], [2, 11], [2, 8], [1, 6]]), ('regression: cap gutter', [[3, 8, 3, 4, 4, 5, 4, 6, 8, 5], 22, 3, 2, 2, 3], [[3, 15], [3, 15], [2, 11], [2, 14]]), ('regression: cap gutter', [[4, 4, 1, 2, 5, 2], 13, 3, 5, 1, 1], [[1, 3], [2, 6], [1, 2], [2, 8]]), ('regression: cap gutter', [[7, 1, 4, 6, 4, 3, 7, 5], 13, 2, 5, 2, 3], [[1, 6], [2, 6], [2, 11], [2, 11], [1, 5]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[7, 7, 8, 3], 23, 2, 4, 1, 2], [[2, 14], [2, 12]]), ('control layout', [[6, 1, 1, 6], 17, 0, 3, 2, 4], [[3, 10], [1, 6]])], [('regression: cap gutter', [[6, 5, 8, 7, 1, 3], 24, 2, 3, 2, 4], [[2, 11], [3, 18], [1, 3]]), ('regression: cap gutter', [[2, 2, 5, 2, 3, 8, 2, 4, 3, 6], 13, 3, 4, 2, 1], [[2, 4], [1, 5], [2, 6], [2, 11], [2, 8], [1, 6]]), ('regression: cap gutter', [[8, 7, 3, 4, 5, 1, 3, 2, 4, 2], 19, 2, 2, 2, 1], [[2, 15], [3, 14], [5, 16]]), ('regression: cap gutter', [[7, 1, 4, 6, 4, 3, 7, 5], 13, 2, 5, 2, 3], [[1, 6], [2, 6], [2, 11], [2, 11], [1, 5]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('control layout', [[5, 5, 5, 5, 7, 7, 7, 2], 23, 2, 4, 1, 3], [[3, 16], [2, 13], [3, 18]]), ('control layout', [[5, 2, 5, 8, 3], 18, 0, 5, 2, 4], [[3, 14], [2, 12]])], [('regression: cap gutter', [[6, 6, 2, 2, 1], 12, 3, 5, 1, 3], [[1, 5], [1, 6], [2, 5], [1, 1]]), ('regression: cap gutter', [[8, 4, 3, 2, 5, 7, 4], 15, 2, 4, 1, 1], [[1, 7], [2, 8], [2, 8], [2, 12]]), ('regression: cap gutter', [[5, 8, 5, 4, 1, 5, 5, 1, 1, 5, 5, 2], 24, 2, 2, 2, 3], [[3, 19], [5, 20], [4, 16]]), ('regression: cap gutter', [[2, 6, 1, 2, 2, 2, 8, 2, 2, 8, 6, 1], 18, 2, 2, 1, 3], [[4, 13], [3, 14], [3, 14], [2, 8]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('control layout', [[7, 8, 5, 2, 5, 8, 3], 15, 3, 4, 1, 3], [[1, 6], [1, 8], [2, 8], [2, 14], [1, 3]]), ('control layout', [[3, 8, 3, 6, 6, 8, 4], 13, 0, 3, 1, 2], [[1, 3], [2, 12], [2, 13], [2, 13]])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"b3a93a1807e4441b4194f6053ee137dd1a5f9eb1cd52acb6c09f7138c8f67c41","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    words, width, cap_lines, cap_width, gap, indent = x\n    lens = list(words)\n    if cap_lines > 0:\n        lens[0] = lens[0] - 1\n    def avail(li):\n        base = width\n        if li < cap_lines:\n            base -= cap_width\n        elif cap_lines == 0 and li == 0:\n            base -= indent\n        return base\n    lines = []\n    cur = []\n    used = 0\n    for w in lens:\n        li = len(lines)\n        need = w if not cur else used + 1 + w\n        if need <= avail(li) or not cur:\n            cur.append(w)\n            used = need\n        else:\n            lines.append([len(cur), used])\n            cur = [w]\n            used = w\n    if cur:\n        lines.append([len(cur), used])\n    return lines\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('regression: cap gutter', [[7, 8, 2, 1, 6, 2, 5, 7, 8], 20, 2, 2, 2, 4], [[2, 15], [4, 14], [2, 13], [1, 8]]), ('regression: cap gutter', [[3, 8, 7, 8], 19, 3, 3, 1, 3], [[2, 11], [1, 7], [1, 8]]), ('regression: cap gutter', [[5, 4, 2, 7, 7, 7, 5, 8, 6, 5], 16, 3, 3, 2, 1], [[2, 9], [2, 10], [1, 7], [2, 13], [2, 15], [1, 5]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[6, 7, 3, 2], 19, 0, 3, 2, 1], [[3, 18], [1, 2]]), ('control layout', [[7, 6, 6, 1, 1, 8, 2, 5, 4], 20, 3, 4, 2, 4], [[2, 13], [3, 10], [2, 11], [2, 10]]), ('control layout', [[6, 5, 2, 2, 3, 7, 2, 7, 8, 6, 7, 1], 23, 3, 4, 2, 3], [[4, 17], [3, 14], [2, 16], [3, 16]])], [('regression: cap gutter', [[1, 4, 3, 7, 8, 2, 8, 8], 15, 3, 4, 2, 4], [[3, 9], [1, 7], [1, 8], [2, 11], [1, 8]]), ('regression: cap gutter', [[1, 3, 4, 7, 7, 7, 1, 1, 1, 4, 2], 22, 3, 2, 2, 2], [[4, 17], [3, 17], [4, 11]]), ('regression: cap gutter', [[2, 5, 5, 4, 5, 2, 4, 4, 2, 8, 6, 4], 18, 3, 5, 1, 2], [[2, 7], [2, 10], [2, 8], [3, 12], [2, 15], [1, 4]]), ('regression: cap gutter', [[4, 5, 1, 5, 7, 8, 1, 3], 13, 3, 2, 1, 3], [[2, 9], [2, 7], [1, 7], [2, 10], [1, 3]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[6, 4, 7, 6, 5, 1, 7, 7, 5], 18, 0, 2, 2, 3], [[2, 11], [2, 14], [3, 15], [2, 13]]), ('control layout', [[4, 1, 2, 2, 2, 1], 21, 0, 5, 2, 3], [[6, 17]])], [('regression: cap gutter', [[2, 2, 5, 2, 3, 8, 2, 4, 3, 6], 13, 3, 4, 2, 1], [[2, 4], [1, 5], [2, 6], [2, 11], [2, 8], [1, 6]]), ('regression: cap gutter', [[3, 8, 3, 4, 4, 5, 4, 6, 8, 5], 22, 3, 2, 2, 3], [[3, 15], [3, 15], [2, 11], [2, 14]]), ('regression: cap gutter', [[4, 4, 1, 2, 5, 2], 13, 3, 5, 1, 1], [[1, 3], [2, 6], [1, 2], [2, 8]]), ('regression: cap gutter', [[7, 1, 4, 6, 4, 3, 7, 5], 13, 2, 5, 2, 3], [[1, 6], [2, 6], [2, 11], [2, 11], [1, 5]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('control layout', [[7, 7, 8, 3], 23, 2, 4, 1, 2], [[2, 14], [2, 12]]), ('control layout', [[6, 1, 1, 6], 17, 0, 3, 2, 4], [[3, 10], [1, 6]])], [('regression: cap gutter', [[6, 5, 8, 7, 1, 3], 24, 2, 3, 2, 4], [[2, 11], [3, 18], [1, 3]]), ('regression: cap gutter', [[2, 2, 5, 2, 3, 8, 2, 4, 3, 6], 13, 3, 4, 2, 1], [[2, 4], [1, 5], [2, 6], [2, 11], [2, 8], [1, 6]]), ('regression: cap gutter', [[8, 7, 3, 4, 5, 1, 3, 2, 4, 2], 19, 2, 2, 2, 1], [[2, 15], [3, 14], [5, 16]]), ('regression: cap gutter', [[7, 1, 4, 6, 4, 3, 7, 5], 13, 2, 5, 2, 3], [[1, 6], [2, 6], [2, 11], [2, 11], [1, 5]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('control layout', [[5, 5, 5, 5, 7, 7, 7, 2], 23, 2, 4, 1, 3], [[3, 16], [2, 13], [3, 18]]), ('control layout', [[5, 2, 5, 8, 3], 18, 0, 5, 2, 4], [[3, 14], [2, 12]])], [('regression: cap gutter', [[6, 6, 2, 2, 1], 12, 3, 5, 1, 3], [[1, 5], [1, 6], [2, 5], [1, 1]]), ('regression: cap gutter', [[8, 4, 3, 2, 5, 7, 4], 15, 2, 4, 1, 1], [[1, 7], [2, 8], [2, 8], [2, 12]]), ('regression: cap gutter', [[5, 8, 5, 4, 1, 5, 5, 1, 1, 5, 5, 2], 24, 2, 2, 2, 3], [[3, 19], [5, 20], [4, 16]]), ('regression: cap gutter', [[2, 6, 1, 2, 2, 2, 8, 2, 2, 8, 6, 1], 18, 2, 2, 1, 3], [[4, 13], [3, 14], [3, 14], [2, 8]]), ('no cap uses indent', [[5, 3, 4, 6, 2], 12, 0, 3, 1, 3], [[2, 9], [2, 11], [1, 2]]), ('three-line drop cap', [[5, 3, 4, 6, 2, 5, 4, 3], 14, 3, 3, 1, 2], [[2, 8], [1, 4], [2, 9], [3, 14]]), ('control layout', [[7, 8, 5, 2, 5, 8, 3], 15, 3, 4, 1, 3], [[1, 6], [1, 8], [2, 8], [2, 14], [1, 3]]), ('control layout', [[3, 8, 3, 6, 6, 8, 4], 13, 0, 3, 1, 2], [[1, 3], [2, 12], [2, 13], [2, 13]])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy typesetting model with integer widths and a stipulated rule set; it does not claim conformance to any engine. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-typography-line-breaking-drop-cap-cap-gutter","generated_at":"2026-09-29T14:49:50.845224+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Line breaking decides where paragraphs wrap on screen and in print; a wrong decision point shifts every following line.","root_cause":"The narrowed width subtracts the cap width but not the gutter.","sha256":"b372f6d8228c3f6f002db537214699df2dac9af8430d01d6045ca28d115d8991","title":"Drop cap shaped paragraph: cap gutter · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.128,"exit_code":1,"observations":[{"actual":[[2,8],[2,11],[2,8],[2,8]],"check":"three-line drop cap","expected":[[2,8],[1,4],[2,9],[3,14]],"passed":false},{"actual":[[3,18],[4,17],[2,16]],"check":"regression: cap gutter","expected":[[2,15],[4,14],[2,13],[1,8]],"passed":false},{"actual":[[2,11],[2,16]],"check":"regression: cap gutter","expected":[[2,11],[1,7],[1,8]],"passed":false},{"actual":[[3,12],[1,7],[1,7],[2,13],[2,15],[1,5]],"check":"regression: cap gutter","expected":[[2,9],[2,10],[1,7],[2,13],[2,15],[1,5]],"passed":false},{"actual":[[2,9],[2,11],[1,2]],"check":"no cap uses indent","expected":[[2,9],[2,11],[1,2]],"passed":true},{"actual":[[3,18],[1,2]],"check":"control layout","expected":[[3,18],[1,2]],"passed":true},{"actual":[[2,13],[3,10],[2,11],[2,10]],"check":"control layout","expected":[[2,13],[3,10],[2,11],[2,10]],"passed":true},{"actual":[[4,17],[3,14],[2,16],[3,16]],"check":"control layout","expected":[[4,17],[3,14],[2,16],[3,16]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"three-line drop cap\", \"actual\": [[2, 8], [2, 11], [2, 8], [2, 8]], \"expected\": [[2, 8], [1, 4], [2, 9], [3, 14]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[3, 18], [4, 17], [2, 16]], \"expected\": [[2, 15], [4, 14], [2, 13], [1, 8]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[2, 11], [2, 16]], \"expected\": [[2, 11], [1, 7], [1, 8]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[3, 12], [1, 7], [1, 7], [2, 13], [2, 15], [1, 5]], \"expected\": [[2, 9], [2, 10], [1, 7], [2, 13], [2, 15], [1, 5]], \"passed\": false}, {\"check\": \"no cap uses indent\", \"actual\": [[2, 9], [2, 11], [1, 2]], \"expected\": [[2, 9], [2, 11], [1, 2]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[3, 18], [1, 2]], \"expected\": [[3, 18], [1, 2]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[2, 13], [3, 10], [2, 11], [2, 10]], \"expected\": [[2, 13], [3, 10], [2, 11], [2, 10]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[4, 17], [3, 14], [2, 16], [3, 16]], \"expected\": [[4, 17], [3, 14], [2, 16], [3, 16]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.997,"exit_code":1,"observations":[{"actual":[[2,8],[2,11],[2,8],[2,8]],"check":"three-line drop cap","expected":[[2,8],[1,4],[2,9],[3,14]],"passed":false},{"actual":[[3,18],[4,17],[2,16]],"check":"regression: cap gutter","expected":[[2,15],[4,14],[2,13],[1,8]],"passed":false},{"actual":[[2,11],[2,16]],"check":"regression: cap gutter","expected":[[2,11],[1,7],[1,8]],"passed":false},{"actual":[[3,12],[1,7],[1,7],[2,13],[2,15],[1,5]],"check":"regression: cap gutter","expected":[[2,9],[2,10],[1,7],[2,13],[2,15],[1,5]],"passed":false},{"actual":[[2,9],[2,11],[1,2]],"check":"no cap uses indent","expected":[[2,9],[2,11],[1,2]],"passed":true},{"actual":[[3,18],[1,2]],"check":"control layout","expected":[[3,18],[1,2]],"passed":true},{"actual":[[2,13],[3,10],[2,11],[2,10]],"check":"control layout","expected":[[2,13],[3,10],[2,11],[2,10]],"passed":true},{"actual":[[4,17],[3,14],[2,16],[3,16]],"check":"control layout","expected":[[4,17],[3,14],[2,16],[3,16]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"three-line drop cap\", \"actual\": [[2, 8], [2, 11], [2, 8], [2, 8]], \"expected\": [[2, 8], [1, 4], [2, 9], [3, 14]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[3, 18], [4, 17], [2, 16]], \"expected\": [[2, 15], [4, 14], [2, 13], [1, 8]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[2, 11], [2, 16]], \"expected\": [[2, 11], [1, 7], [1, 8]], \"passed\": false}, {\"check\": \"regression: cap gutter\", \"actual\": [[3, 12], [1, 7], [1, 7], [2, 13], [2, 15], [1, 5]], \"expected\": [[2, 9], [2, 10], [1, 7], [2, 13], [2, 15], [1, 5]], \"passed\": false}, {\"check\": \"no cap uses indent\", \"actual\": [[2, 9], [2, 11], [1, 2]], \"expected\": [[2, 9], [2, 11], [1, 2]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[3, 18], [1, 2]], \"expected\": [[3, 18], [1, 2]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[2, 13], [3, 10], [2, 11], [2, 10]], \"expected\": [[2, 13], [3, 10], [2, 11], [2, 10]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[4, 17], [3, 14], [2, 16], [3, 16]], \"expected\": [[4, 17], [3, 14], [2, 16], [3, 16]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}