{"abstract":"Ten flat increases over ten stitches produce a \"k0\" segment.","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, ...\".","evaluation_group":"w2-knitting_and_sewing_pattern_grading-even-increases","failed_approach":"Rejecting equality refuses the legitimate one-stitch-per-segment case.","family":"w2-knitting_and_sewing_pattern_grading-even-increases-segment-capacity","id":"FA-97381","implementations":{"attempt":{"sha256":"b2ca7ba1802867ac405da493b6e3ddb7cb473af07c4f9be2618411e95792df3a","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 if flat else 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: segment capacity', [10, 10, True], 'error: too many increases'],\n  ['repair check: segment capacity', [17, 16, 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'],\n  ['generated control 1', [48, 7, True], 'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6'],\n  ['generated control 2', [17, 10, True],\n   'k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [23, 23, True], 'error: too many increases'],\n  ['generated control 1', [61, 8, True],\n   'k7, m1, k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],\n  ['generated control 2', [23, 8, False], 'k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k2, m1'],\n  ['generated control 3', [72, 5, True], 'k12, m1, k12, m1, k12, m1, k12, m1, k12, m1, k12'],\n  ['generated control 4', [72, 7, True], 'k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9']],\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: segment capacity', [9, 9, True], 'error: too many increases'],\n  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'], ['generated control 2', [6, 0, True], 'k6'],\n  ['generated control 3', [23, 3, False], 'k8, m1, k8, m1, k7, m1'],\n  ['generated control 4', [23, 1, False], 'k23, 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: segment capacity', [61, 61, True], 'error: too many increases'],\n  ['repair check: segment capacity', [23, 23, 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'],\n  ['generated control 1', [10, 4, True], 'k2, m1, k2, m1, k2, m1, k2, m1, k2'],\n  ['generated control 2', [6, 10, True], 'error: too many increases'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [17, 17, True], 'error: too many increases'],\n  ['repair check: segment capacity', [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, 8, False], 'k8, m1, k8, m1, k8, m1, k8, m1, k8, m1, k7, m1, k7, m1, k7, m1'],\n  ['generated control 2', [72, 2, True], 'k24, m1, k24, m1, k24'],\n  ['generated control 3', [17, 0, False], 'k17']]]\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":"965a07501295d81a48330bcc727820d80deb8f33124407df784f52efa44f206b","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 if flat else increases\n    if increases > 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: segment capacity', [10, 10, True], 'error: too many increases'],\n  ['repair check: segment capacity', [17, 16, 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'],\n  ['generated control 1', [48, 7, True], 'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6'],\n  ['generated control 2', [17, 10, True],\n   'k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [23, 23, True], 'error: too many increases'],\n  ['generated control 1', [61, 8, True],\n   'k7, m1, k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],\n  ['generated control 2', [23, 8, False], 'k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k2, m1'],\n  ['generated control 3', [72, 5, True], 'k12, m1, k12, m1, k12, m1, k12, m1, k12, m1, k12'],\n  ['generated control 4', [72, 7, True], 'k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9']],\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: segment capacity', [9, 9, True], 'error: too many increases'],\n  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'], ['generated control 2', [6, 0, True], 'k6'],\n  ['generated control 3', [23, 3, False], 'k8, m1, k8, m1, k7, m1'],\n  ['generated control 4', [23, 1, False], 'k23, 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: segment capacity', [61, 61, True], 'error: too many increases'],\n  ['repair check: segment capacity', [23, 23, 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'],\n  ['generated control 1', [10, 4, True], 'k2, m1, k2, m1, k2, m1, k2, m1, k2'],\n  ['generated control 2', [6, 10, True], 'error: too many increases'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [17, 17, True], 'error: too many increases'],\n  ['repair check: segment capacity', [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, 8, False], 'k8, m1, k8, m1, k8, m1, k8, m1, k8, m1, k7, m1, k7, m1, k7, m1'],\n  ['generated control 2', [72, 2, True], 'k24, m1, k24, m1, k24'],\n  ['generated control 3', [17, 0, False], 'k17']]]\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"},"fixed":{"sha256":"edea0343d4e9fc1e41e51405ca7d339adee89209cfcb12a0c378905f87762143","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 if flat else 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: segment capacity', [10, 10, True], 'error: too many increases'],\n  ['repair check: segment capacity', [17, 16, 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'],\n  ['generated control 1', [48, 7, True], 'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6'],\n  ['generated control 2', [17, 10, True],\n   'k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [23, 23, True], 'error: too many increases'],\n  ['generated control 1', [61, 8, True],\n   'k7, m1, k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],\n  ['generated control 2', [23, 8, False], 'k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k3, m1, k2, m1'],\n  ['generated control 3', [72, 5, True], 'k12, m1, k12, m1, k12, m1, k12, m1, k12, m1, k12'],\n  ['generated control 4', [72, 7, True], 'k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9, m1, k9']],\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: segment capacity', [9, 9, True], 'error: too many increases'],\n  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'], ['generated control 2', [6, 0, True], 'k6'],\n  ['generated control 3', [23, 3, False], 'k8, m1, k8, m1, k7, m1'],\n  ['generated control 4', [23, 1, False], 'k23, 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: segment capacity', [61, 61, True], 'error: too many increases'],\n  ['repair check: segment capacity', [23, 23, 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'],\n  ['generated control 1', [10, 4, True], 'k2, m1, k2, m1, k2, m1, k2, m1, k2'],\n  ['generated control 2', [6, 10, True], 'error: too many increases'],\n  ['generated control 3', [9, 2, True], 'k3, m1, k3, m1, k3']],\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: segment capacity', [17, 17, True], 'error: too many increases'],\n  ['repair check: segment capacity', [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, 8, False], 'k8, m1, k8, m1, k8, m1, k8, m1, k8, m1, k7, m1, k7, m1, k7, m1'],\n  ['generated control 2', [72, 2, True], 'k24, m1, k24, m1, k24'],\n  ['generated control 3', [17, 0, False], 'k17']]]\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-segment-capacity","generated_at":"2026-09-29T14:52:31.653092+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.","repair":"Reject when segments exceed stitches.","root_cause":"The capacity check compares increases, not segments, to the stitch count.","sha256":"68c7d65ec63a19b1488a8906ffa19d1f705c6013082721edeed366e895110a76","title":"Evenly spaced increase row: segment capacity · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.738,"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":"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":"error: too many increases","check":"regression: segment capacity","expected":"error: too many increases","passed":true},{"actual":"error: too many increases","check":"repair check: segment capacity","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","passed":false},{"actual":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","check":"generated control 1","expected":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","passed":true},{"actual":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","check":"generated control 2","expected":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","passed":true},{"actual":"k3, m1, k3, m1, k3","check":"generated control 3","expected":"k3, m1, k3, m1, k3","passed":true}],"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\": \"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: segment capacity\", \"actual\": \"error: too many increases\", \"expected\": \"error: too many increases\", \"passed\": true}, {\"check\": \"repair check: segment capacity\", \"actual\": \"error: too many increases\", \"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\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"expected\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"expected\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"k3, m1, k3, m1, k3\", \"expected\": \"k3, m1, k3, m1, k3\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.464,"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":"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":"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k0, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1","check":"regression: segment capacity","expected":"error: too many increases","passed":false},{"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","check":"repair check: segment capacity","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","passed":true},{"actual":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","check":"generated control 1","expected":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","passed":true},{"actual":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","check":"generated control 2","expected":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","passed":true},{"actual":"k3, m1, k3, m1, k3","check":"generated control 3","expected":"k3, m1, k3, m1, k3","passed":true}],"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\": \"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: segment capacity\", \"actual\": \"k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k0, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1\", \"expected\": \"error: too many increases\", \"passed\": false}, {\"check\": \"repair check: segment capacity\", \"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\", \"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\", \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"expected\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"expected\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"k3, m1, k3, m1, k3\", \"expected\": \"k3, m1, k3, m1, k3\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.925,"exit_code":0,"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":"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":"error: too many increases","check":"regression: segment capacity","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","check":"repair check: segment capacity","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","passed":true},{"actual":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","check":"generated control 1","expected":"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6","passed":true},{"actual":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","check":"generated control 2","expected":"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2","passed":true},{"actual":"k3, m1, k3, m1, k3","check":"generated control 3","expected":"k3, m1, k3, m1, k3","passed":true}],"passed":true,"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\": \"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: segment capacity\", \"actual\": \"error: too many increases\", \"expected\": \"error: too many increases\", \"passed\": true}, {\"check\": \"repair check: segment capacity\", \"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\", \"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\", \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"expected\": \"k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"expected\": \"k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k2, m1, k2, m1, k2\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"k3, m1, k3, m1, k3\", \"expected\": \"k3, m1, k3, m1, k3\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}