{"abstract":"A flat row ends with an increase in the selvedge stitch.","category":"Knitting and sewing pattern grading","checks":8,"contract":"Distribute increases (m1) evenly over stitches. Flat rows use increases+1 segments with no increase at the edges; rounds use `increases` segments each followed by m1. Segment length is stitches // segments; the remainder adds one stitch to segments in order: rounds from the start, flat rows alternating from the outside in (first, last, second, second-last...). Segments must hold at least one stitch, else \"error: too many increases\". 0 increases -> \"k<n>\"; negative counts or no stitches -> \"error: counts\". Output \"k4, m1, k5, ...\".","contract_signature":"stitches, increases, flat","evaluation_group":"w2-knitting_and_sewing_pattern_grading-even-increases","failed_approach":"Always adding a segment leaves rounds one increase short.","family":"w2-knitting_and_sewing_pattern_grading-even-increases-flat-segment-count","id":"FA-97366","implementations":{"attempt":{"sha256":"91e57feb09842a69c7f4f75ad3fc99a67c3aef893b8dd4e1e3042528cdea0c58","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(stitches, increases, flat):\n    if stitches <= 0 or increases < 0:\n        return 'error: counts'\n    if increases == 0:\n        return 'k%d' % stitches\n    segs = increases + 1\n    if segs > stitches:\n        return 'error: too many increases'\n    base, extra = divmod(stitches, segs)\n    lens = [base] * segs\n    if flat:\n        order = []\n        i, j = 0, segs - 1\n        while i <= j:\n            order.append(i)\n            if i != j:\n                order.append(j)\n            i += 1\n            j -= 1\n    else:\n        order = list(range(segs))\n    for idx in order[:extra]:\n        lens[idx] += 1\n    parts = []\n    for n in lens:\n        parts.append('k%d' % n)\n        parts.append('m1')\n    if flat:\n        parts.pop()\n    return ', '.join(parts)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['no increases', [17, 0, True], 'k17'],\n  ['regression: flat segment count', [48, 10, True],\n   'k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5'],\n  ['repair check: flat segment count', [48, 8, False],\n   'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1'],\n  ['generated control 1', [9, 10, True], 'error: too many increases'],\n  ['generated control 2', [72, 71, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['generated control 3', [9, 1, True], 'k5, m1, k4']],\n [['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['no increases', [17, 0, True], 'k17'],\n  ['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['regression: flat segment count', [23, 9, True],\n   'k3, m1, k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k3'],\n  ['repair check: flat segment count', [9, 9, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'],\n  ['generated control 2', [72, 10, True],\n   'k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],\n  ['generated control 3', [6, 4, True], 'k2, m1, k1, m1, k1, m1, k1, m1, k1']],\n [['no increases', [17, 0, True], 'k17'],\n  ['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['regression: flat segment count', [61, 4, True], 'k13, m1, k12, m1, k12, m1, k12, m1, k12'],\n  ['repair check: flat segment count', [17, 10, False],\n   'k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [9, 10, True], 'error: too many increases'],\n  ['generated control 2', [40, 1, False], 'k40, m1'],\n  ['generated control 3', [48, 10, False],\n   'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1']],\n [['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['regression: flat segment count', [61, 60, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['repair check: flat segment count', [40, 40, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1'],\n  ['generated control 1', [6, 8, True], 'error: too many increases'],\n  ['generated control 2', [6, 8, False], 'error: too many increases'],\n  ['generated control 3', [17, 8, False], 'k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1']],\n [['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['regression: flat segment count', [9, 2, True], 'k3, m1, k3, m1, k3'],\n  ['repair check: flat segment count', [48, 48, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [6, 1, True], 'k3, m1, k3'],\n  ['generated control 2', [6, 5, False], 'k2, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 3', [48, 8, True],\n   'k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k6']]]\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":"f92b74176c016af2b3ac7510629a643ce73153c3c9e8ca34cc5071dd0fe04425","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(stitches, increases, flat):\n    if stitches <= 0 or increases < 0:\n        return 'error: counts'\n    if increases == 0:\n        return 'k%d' % stitches\n    segs = increases\n    if segs > stitches:\n        return 'error: too many increases'\n    base, extra = divmod(stitches, segs)\n    lens = [base] * segs\n    if flat:\n        order = []\n        i, j = 0, segs - 1\n        while i <= j:\n            order.append(i)\n            if i != j:\n                order.append(j)\n            i += 1\n            j -= 1\n    else:\n        order = list(range(segs))\n    for idx in order[:extra]:\n        lens[idx] += 1\n    parts = []\n    for n in lens:\n        parts.append('k%d' % n)\n        parts.append('m1')\n    if flat:\n        parts.pop()\n    return ', '.join(parts)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['no increases', [17, 0, True], 'k17'],\n  ['regression: flat segment count', [48, 10, True],\n   'k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5'],\n  ['repair check: flat segment count', [48, 8, False],\n   'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1'],\n  ['generated control 1', [9, 10, True], 'error: too many increases'],\n  ['generated control 2', [72, 71, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['generated control 3', [9, 1, True], 'k5, m1, k4']],\n [['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['no increases', [17, 0, True], 'k17'],\n  ['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['regression: flat segment count', [23, 9, True],\n   'k3, m1, k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k3'],\n  ['repair check: flat segment count', [9, 9, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'],\n  ['generated control 2', [72, 10, True],\n   'k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],\n  ['generated control 3', [6, 4, True], 'k2, m1, k1, m1, k1, m1, k1, m1, k1']],\n [['no increases', [17, 0, True], 'k17'],\n  ['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['regression: flat segment count', [61, 4, True], 'k13, m1, k12, m1, k12, m1, k12, m1, k12'],\n  ['repair check: flat segment count', [17, 10, False],\n   'k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [9, 10, True], 'error: too many increases'],\n  ['generated control 2', [40, 1, False], 'k40, m1'],\n  ['generated control 3', [48, 10, False],\n   'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1']],\n [['flat maximum', [10, 9, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['regression: flat segment count', [61, 60, True],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],\n  ['repair check: flat segment count', [40, 40, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1'],\n  ['generated control 1', [6, 8, True], 'error: too many increases'],\n  ['generated control 2', [6, 8, False], 'error: too many increases'],\n  ['generated control 3', [17, 8, False], 'k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1']],\n [['flat over maximum', [10, 10, True], 'error: too many increases'],\n  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],\n  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],\n  ['regression: flat segment count', [9, 2, True], 'k3, m1, k3, m1, k3'],\n  ['repair check: flat segment count', [48, 48, False],\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '\n   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 1', [6, 1, True], 'k3, m1, k3'],\n  ['generated control 2', [6, 5, False], 'k2, m1, k1, m1, k1, m1, k1, m1, k1, m1'],\n  ['generated control 3', [48, 8, True],\n   'k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k6']]]\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 contract stated in full here; it is a bounded teaching model, not an authoritative reference or standards implementation. 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-knitting_and_sewing_pattern_grading-even-increases-flat-segment-count","generated_at":"2026-09-29T14:52:31.469562+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Yoke, cuff-to-body and hem transitions ask knitters to increase evenly across a row.","root_cause":"Flat rows use one segment per increase, placing the last increase at the edge.","sha256":"349d919105aa82140d95cb48965f9c9f91fe850a184ea688c77edc9b8540c0e4","title":"Evenly spaced increase row: flat segment count · 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":47.208,"exit_code":1,"observations":[{"actual":"k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1","check":"round even split","expected":"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1","passed":false},{"actual":"k6, m1, k6, m1, k5, m1, k6","check":"flat with remainder","expected":"k6, m1, k6, m1, k5, m1, k6","passed":true},{"actual":"k17","check":"no increases","expected":"k17","passed":true},{"actual":"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5","check":"regression: flat segment count","expected":"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5","passed":true},{"actual":"k6, m1, k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1","check":"repair check: flat segment count","expected":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1","passed":false},{"actual":"error: too many increases","check":"generated control 1","expected":"error: too many increases","passed":true},{"actual":"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1","check":"generated control 2","expected":"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1","passed":true},{"actual":"k5, m1, k4","check":"generated control 3","expected":"k5, m1, k4","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"round even split\", \"actual\": \"k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1\", \"expected\": \"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1\", \"passed\": false}, {\"check\": \"flat with remainder\", \"actual\": \"k6, m1, k6, m1, k5, m1, k6\", \"expected\": \"k6, m1, k6, m1, k5, m1, k6\", \"passed\": true}, {\"check\": \"no increases\", \"actual\": \"k17\", \"expected\": \"k17\", \"passed\": true}, {\"check\": \"regression: flat segment count\", \"actual\": \"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5\", \"expected\": \"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5\", \"passed\": true}, {\"check\": \"repair check: flat segment count\", \"actual\": \"k6, m1, k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1\", \"expected\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: too many increases\", \"expected\": \"error: too many increases\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1\", \"expected\": \"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"k5, m1, k4\", \"expected\": \"k5, m1, k4\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.315,"exit_code":1,"observations":[{"actual":"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1","check":"round even split","expected":"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1","passed":true},{"actual":"k8, m1, k7, m1, k8","check":"flat with remainder","expected":"k6, m1, k6, m1, k5, m1, k6","passed":false},{"actual":"k17","check":"no increases","expected":"k17","passed":true},{"actual":"k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k5, m1, k5, m1, k5, m1, k5","check":"regression: flat segment count","expected":"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5","passed":false},{"actual":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1","check":"repair check: flat segment count","expected":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1","passed":true},{"actual":"error: too many increases","check":"generated control 1","expected":"error: too many increases","passed":true},{"actual":"k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1","check":"generated control 2","expected":"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1","passed":false},{"actual":"k9","check":"generated control 3","expected":"k5, m1, k4","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"round even split\", \"actual\": \"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1\", \"expected\": \"k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1\", \"passed\": true}, {\"check\": \"flat with remainder\", \"actual\": \"k8, m1, k7, m1, k8\", \"expected\": \"k6, m1, k6, m1, k5, m1, k6\", \"passed\": false}, {\"check\": \"no increases\", \"actual\": \"k17\", \"expected\": \"k17\", \"passed\": true}, {\"check\": \"regression: flat segment count\", \"actual\": \"k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k5, m1, k5, m1, k5, m1, k5\", \"expected\": \"k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5\", \"passed\": false}, {\"check\": \"repair check: flat segment count\", \"actual\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1\", \"expected\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1\", \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": \"error: too many increases\", \"expected\": \"error: too many increases\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1\", \"expected\": \"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1\", \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": \"k9\", \"expected\": \"k5, m1, k4\", \"passed\": false}], \"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."}}