{"abstract":"Front, back and sleeves add up to four more stitches than cast on.","category":"Knitting and sewing pattern grading","checks":8,"contract":"neck_sts < 16 -> \"error: neck too small\". Reserve 4 raglan seam stitches; rem = neck-4; front = rem//3; sleeves share rem - 2*front, each sleeve half of that, and an odd leftover goes to the back (back = front + leftover%2). Each increase round adds 2 to front (and back); rounds = max(0, ceiling((underarm_body_sts//2 - front)/2)). yoke_total = neck + 8*rounds.","evaluation_group":"w2-knitting_and_sewing_pattern_grading-raglan-yoke","failed_approach":"Reserving two stitches assumes two seam lines instead of four.","family":"w2-knitting_and_sewing_pattern_grading-raglan-yoke-raglan-seam-reserve","id":"FA-97766","implementations":{"attempt":{"sha256":"d391454862e15db0106b2d50ad37416f4d840ea12ce2935c96fa71cc73d285e9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(neck_sts, underarm_body_sts):\n    if neck_sts < 16:\n        return 'error: neck too small'\n    rem = neck_sts - 2\n    front = rem // 3\n    sleeves_total = rem - 2 * front\n    sleeve = sleeves_total // 2\n    back = front + sleeves_total % 2\n    target = underarm_body_sts // 2\n    incs = max(0, math.ceil(Fraction(target - front, 2)))\n    return {'front': front, 'back': back, 'sleeve': sleeve, 'raglan': 4, 'increase_rounds': incs,\n            'yoke_total': neck_sts + 8 * incs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [110, 220],\n   {'back': 35, 'front': 35, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 18, 'yoke_total': 414}],\n  ['repair check: raglan seam reserve', [120, 200],\n   {'back': 38, 'front': 38, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 20, 'yoke_total': 368}],\n  ['generated control 1', [100, 80],\n   {'back': 32, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 132}],\n  ['generated control 2', [80, 200],\n   {'back': 25, 'front': 25, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 13, 'yoke_total': 384}],\n  ['generated control 3', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}]],\n [['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['regression: raglan seam reserve', [101, 160],\n   {'back': 33, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 293}],\n  ['repair check: raglan seam reserve', [16, 160],\n   {'back': 4, 'front': 4, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 2, 'yoke_total': 320}],\n  ['generated control 1', [12, 180], 'error: neck too small'],\n  ['generated control 2', [12, 201], 'error: neck too small'],\n  ['generated control 3', [88, 160],\n   {'back': 28, 'front': 28, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 14, 'yoke_total': 296}]],\n [['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['regression: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['repair check: raglan seam reserve', [16, 220],\n   {'back': 4, 'front': 4, 'increase_rounds': 53, 'raglan': 4, 'sleeve': 2, 'yoke_total': 440}],\n  ['generated control 1', [12, 220], 'error: neck too small'],\n  ['generated control 2', [120, 180],\n   {'back': 38, 'front': 38, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 20, 'yoke_total': 328}],\n  ['generated control 3', [16, 180],\n   {'back': 4, 'front': 4, 'increase_rounds': 43, 'raglan': 4, 'sleeve': 2, 'yoke_total': 360}]],\n [['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['regression: raglan seam reserve', [88, 180],\n   {'back': 28, 'front': 28, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 14, 'yoke_total': 336}],\n  ['repair check: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['generated control 1', [12, 201], 'error: neck too small'],\n  ['generated control 2', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}],\n  ['generated control 3', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}]],\n [['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [101, 80],\n   {'back': 33, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 133}],\n  ['repair check: raglan seam reserve', [101, 201],\n   {'back': 33, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 373}],\n  ['generated control 1', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}],\n  ['generated control 2', [110, 180],\n   {'back': 35, 'front': 35, 'increase_rounds': 28, 'raglan': 4, 'sleeve': 18, 'yoke_total': 334}],\n  ['generated control 3', [96, 60],\n   {'back': 30, 'front': 30, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 16, 'yoke_total': 96}]]]\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":"80445ebee486017ae71ba564b8553bef475ab92c74a116b3aa19de512501998a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(neck_sts, underarm_body_sts):\n    if neck_sts < 16:\n        return 'error: neck too small'\n    rem = neck_sts\n    front = rem // 3\n    sleeves_total = rem - 2 * front\n    sleeve = sleeves_total // 2\n    back = front + sleeves_total % 2\n    target = underarm_body_sts // 2\n    incs = max(0, math.ceil(Fraction(target - front, 2)))\n    return {'front': front, 'back': back, 'sleeve': sleeve, 'raglan': 4, 'increase_rounds': incs,\n            'yoke_total': neck_sts + 8 * incs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [110, 220],\n   {'back': 35, 'front': 35, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 18, 'yoke_total': 414}],\n  ['repair check: raglan seam reserve', [120, 200],\n   {'back': 38, 'front': 38, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 20, 'yoke_total': 368}],\n  ['generated control 1', [100, 80],\n   {'back': 32, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 132}],\n  ['generated control 2', [80, 200],\n   {'back': 25, 'front': 25, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 13, 'yoke_total': 384}],\n  ['generated control 3', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}]],\n [['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['regression: raglan seam reserve', [101, 160],\n   {'back': 33, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 293}],\n  ['repair check: raglan seam reserve', [16, 160],\n   {'back': 4, 'front': 4, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 2, 'yoke_total': 320}],\n  ['generated control 1', [12, 180], 'error: neck too small'],\n  ['generated control 2', [12, 201], 'error: neck too small'],\n  ['generated control 3', [88, 160],\n   {'back': 28, 'front': 28, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 14, 'yoke_total': 296}]],\n [['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['regression: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['repair check: raglan seam reserve', [16, 220],\n   {'back': 4, 'front': 4, 'increase_rounds': 53, 'raglan': 4, 'sleeve': 2, 'yoke_total': 440}],\n  ['generated control 1', [12, 220], 'error: neck too small'],\n  ['generated control 2', [120, 180],\n   {'back': 38, 'front': 38, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 20, 'yoke_total': 328}],\n  ['generated control 3', [16, 180],\n   {'back': 4, 'front': 4, 'increase_rounds': 43, 'raglan': 4, 'sleeve': 2, 'yoke_total': 360}]],\n [['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['regression: raglan seam reserve', [88, 180],\n   {'back': 28, 'front': 28, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 14, 'yoke_total': 336}],\n  ['repair check: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['generated control 1', [12, 201], 'error: neck too small'],\n  ['generated control 2', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}],\n  ['generated control 3', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}]],\n [['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [101, 80],\n   {'back': 33, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 133}],\n  ['repair check: raglan seam reserve', [101, 201],\n   {'back': 33, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 373}],\n  ['generated control 1', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}],\n  ['generated control 2', [110, 180],\n   {'back': 35, 'front': 35, 'increase_rounds': 28, 'raglan': 4, 'sleeve': 18, 'yoke_total': 334}],\n  ['generated control 3', [96, 60],\n   {'back': 30, 'front': 30, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 16, 'yoke_total': 96}]]]\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":"3677793d1790ec53a0ae09f8d346508d39d7865ad393e8a6c84068eac3b0dc2e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(neck_sts, underarm_body_sts):\n    if neck_sts < 16:\n        return 'error: neck too small'\n    rem = neck_sts - 4\n    front = rem // 3\n    sleeves_total = rem - 2 * front\n    sleeve = sleeves_total // 2\n    back = front + sleeves_total % 2\n    target = underarm_body_sts // 2\n    incs = max(0, math.ceil(Fraction(target - front, 2)))\n    return {'front': front, 'back': back, 'sleeve': sleeve, 'raglan': 4, 'increase_rounds': incs,\n            'yoke_total': neck_sts + 8 * incs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [110, 220],\n   {'back': 35, 'front': 35, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 18, 'yoke_total': 414}],\n  ['repair check: raglan seam reserve', [120, 200],\n   {'back': 38, 'front': 38, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 20, 'yoke_total': 368}],\n  ['generated control 1', [100, 80],\n   {'back': 32, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 132}],\n  ['generated control 2', [80, 200],\n   {'back': 25, 'front': 25, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 13, 'yoke_total': 384}],\n  ['generated control 3', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}]],\n [['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['regression: raglan seam reserve', [101, 160],\n   {'back': 33, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 293}],\n  ['repair check: raglan seam reserve', [16, 160],\n   {'back': 4, 'front': 4, 'increase_rounds': 38, 'raglan': 4, 'sleeve': 2, 'yoke_total': 320}],\n  ['generated control 1', [12, 180], 'error: neck too small'],\n  ['generated control 2', [12, 201], 'error: neck too small'],\n  ['generated control 3', [88, 160],\n   {'back': 28, 'front': 28, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 14, 'yoke_total': 296}]],\n [['tiny neck', [12, 100], 'error: neck too small'],\n  ['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['regression: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['repair check: raglan seam reserve', [16, 220],\n   {'back': 4, 'front': 4, 'increase_rounds': 53, 'raglan': 4, 'sleeve': 2, 'yoke_total': 440}],\n  ['generated control 1', [12, 220], 'error: neck too small'],\n  ['generated control 2', [120, 180],\n   {'back': 38, 'front': 38, 'increase_rounds': 26, 'raglan': 4, 'sleeve': 20, 'yoke_total': 328}],\n  ['generated control 3', [16, 180],\n   {'back': 4, 'front': 4, 'increase_rounds': 43, 'raglan': 4, 'sleeve': 2, 'yoke_total': 360}]],\n [['already wide', [120, 60],\n   {'back': 38, 'front': 38, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 20, 'yoke_total': 120}],\n  ['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['regression: raglan seam reserve', [88, 180],\n   {'back': 28, 'front': 28, 'increase_rounds': 31, 'raglan': 4, 'sleeve': 14, 'yoke_total': 336}],\n  ['repair check: raglan seam reserve', [110, 80],\n   {'back': 35, 'front': 35, 'increase_rounds': 3, 'raglan': 4, 'sleeve': 18, 'yoke_total': 134}],\n  ['generated control 1', [12, 201], 'error: neck too small'],\n  ['generated control 2', [120, 220],\n   {'back': 38, 'front': 38, 'increase_rounds': 36, 'raglan': 4, 'sleeve': 20, 'yoke_total': 408}],\n  ['generated control 3', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}]],\n [['standard neck', [100, 200],\n   {'back': 32, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 372}],\n  ['odd leftover', [101, 180],\n   {'back': 33, 'front': 32, 'increase_rounds': 29, 'raglan': 4, 'sleeve': 16, 'yoke_total': 333}],\n  ['tiny neck', [12, 100], 'error: neck too small'],\n  ['regression: raglan seam reserve', [101, 80],\n   {'back': 33, 'front': 32, 'increase_rounds': 4, 'raglan': 4, 'sleeve': 16, 'yoke_total': 133}],\n  ['repair check: raglan seam reserve', [101, 201],\n   {'back': 33, 'front': 32, 'increase_rounds': 34, 'raglan': 4, 'sleeve': 16, 'yoke_total': 373}],\n  ['generated control 1', [100, 160],\n   {'back': 32, 'front': 32, 'increase_rounds': 24, 'raglan': 4, 'sleeve': 16, 'yoke_total': 292}],\n  ['generated control 2', [110, 180],\n   {'back': 35, 'front': 35, 'increase_rounds': 28, 'raglan': 4, 'sleeve': 18, 'yoke_total': 334}],\n  ['generated control 3', [96, 60],\n   {'back': 30, 'front': 30, 'increase_rounds': 0, 'raglan': 4, 'sleeve': 16, 'yoke_total': 96}]]]\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-raglan-yoke-raglan-seam-reserve","generated_at":"2026-09-29T14:52:35.373121+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Top-down raglan sweaters split the neck cast-on among front, back, sleeves and seam stitches.","repair":"Subtract 4 seam stitches first.","root_cause":"The four raglan seam stitches are not reserved before dividing.","sha256":"022782ead73f2f943ab4b66c8590c3641c9c80168f41920223b7606a5b4144a1","title":"Top-down raglan setup: raglan seam reserve · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.629,"exit_code":1,"observations":[{"actual":{"back":32,"front":32,"increase_rounds":34,"raglan":4,"sleeve":17,"yoke_total":372},"check":"standard neck","expected":{"back":32,"front":32,"increase_rounds":34,"raglan":4,"sleeve":16,"yoke_total":372},"passed":false},{"actual":{"back":34,"front":33,"increase_rounds":29,"raglan":4,"sleeve":16,"yoke_total":333},"check":"odd leftover","expected":{"back":33,"front":32,"increase_rounds":29,"raglan":4,"sleeve":16,"yoke_total":333},"passed":false},{"actual":"error: neck too small","check":"tiny neck","expected":"error: neck too small","passed":true},{"actual":{"back":36,"front":36,"increase_rounds":37,"raglan":4,"sleeve":18,"yoke_total":406},"check":"regression: raglan seam reserve","expected":{"back":35,"front":35,"increase_rounds":38,"raglan":4,"sleeve":18,"yoke_total":414},"passed":false},{"actual":{"back":39,"front":39,"increase_rounds":31,"raglan":4,"sleeve":20,"yoke_total":368},"check":"repair check: raglan seam reserve","expected":{"back":38,"front":38,"increase_rounds":31,"raglan":4,"sleeve":20,"yoke_total":368},"passed":false},{"actual":{"back":32,"front":32,"increase_rounds":4,"raglan":4,"sleeve":17,"yoke_total":132},"check":"generated control 1","expected":{"back":32,"front":32,"increase_rounds":4,"raglan":4,"sleeve":16,"yoke_total":132},"passed":false},{"actual":{"back":26,"front":26,"increase_rounds":37,"raglan":4,"sleeve":13,"yoke_total":376},"check":"generated control 2","expected":{"back":25,"front":25,"increase_rounds":38,"raglan":4,"sleeve":13,"yoke_total":384},"passed":false},{"actual":{"back":39,"front":39,"increase_rounds":36,"raglan":4,"sleeve":20,"yoke_total":408},"check":"generated control 3","expected":{"back":38,"front":38,"increase_rounds":36,"raglan":4,"sleeve":20,"yoke_total":408},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standard neck\", \"actual\": {\"front\": 32, \"back\": 32, \"sleeve\": 17, \"raglan\": 4, \"increase_rounds\": 34, \"yoke_total\": 372}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 34, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 372}, \"passed\": false}, {\"check\": \"odd leftover\", \"actual\": {\"front\": 33, \"back\": 34, \"sleeve\": 16, \"raglan\": 4, \"increase_rounds\": 29, \"yoke_total\": 333}, \"expected\": {\"back\": 33, \"front\": 32, \"increase_rounds\": 29, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 333}, \"passed\": false}, {\"check\": \"tiny neck\", \"actual\": \"error: neck too small\", \"expected\": \"error: neck too small\", \"passed\": true}, {\"check\": \"regression: raglan seam reserve\", \"actual\": {\"front\": 36, \"back\": 36, \"sleeve\": 18, \"raglan\": 4, \"increase_rounds\": 37, \"yoke_total\": 406}, \"expected\": {\"back\": 35, \"front\": 35, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 18, \"yoke_total\": 414}, \"passed\": false}, {\"check\": \"repair check: raglan seam reserve\", \"actual\": {\"front\": 39, \"back\": 39, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 31, \"yoke_total\": 368}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 31, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 368}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"front\": 32, \"back\": 32, \"sleeve\": 17, \"raglan\": 4, \"increase_rounds\": 4, \"yoke_total\": 132}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 4, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 132}, \"passed\": false}, {\"check\": \"generated control 2\", \"actual\": {\"front\": 26, \"back\": 26, \"sleeve\": 13, \"raglan\": 4, \"increase_rounds\": 37, \"yoke_total\": 376}, \"expected\": {\"back\": 25, \"front\": 25, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 13, \"yoke_total\": 384}, \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": {\"front\": 39, \"back\": 39, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 36, \"yoke_total\": 408}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 36, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 408}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.826,"exit_code":1,"observations":[{"actual":{"back":33,"front":33,"increase_rounds":34,"raglan":4,"sleeve":17,"yoke_total":372},"check":"standard neck","expected":{"back":32,"front":32,"increase_rounds":34,"raglan":4,"sleeve":16,"yoke_total":372},"passed":false},{"actual":{"back":34,"front":33,"increase_rounds":29,"raglan":4,"sleeve":17,"yoke_total":333},"check":"odd leftover","expected":{"back":33,"front":32,"increase_rounds":29,"raglan":4,"sleeve":16,"yoke_total":333},"passed":false},{"actual":"error: neck too small","check":"tiny neck","expected":"error: neck too small","passed":true},{"actual":{"back":36,"front":36,"increase_rounds":37,"raglan":4,"sleeve":19,"yoke_total":406},"check":"regression: raglan seam reserve","expected":{"back":35,"front":35,"increase_rounds":38,"raglan":4,"sleeve":18,"yoke_total":414},"passed":false},{"actual":{"back":40,"front":40,"increase_rounds":30,"raglan":4,"sleeve":20,"yoke_total":360},"check":"repair check: raglan seam reserve","expected":{"back":38,"front":38,"increase_rounds":31,"raglan":4,"sleeve":20,"yoke_total":368},"passed":false},{"actual":{"back":33,"front":33,"increase_rounds":4,"raglan":4,"sleeve":17,"yoke_total":132},"check":"generated control 1","expected":{"back":32,"front":32,"increase_rounds":4,"raglan":4,"sleeve":16,"yoke_total":132},"passed":false},{"actual":{"back":26,"front":26,"increase_rounds":37,"raglan":4,"sleeve":14,"yoke_total":376},"check":"generated control 2","expected":{"back":25,"front":25,"increase_rounds":38,"raglan":4,"sleeve":13,"yoke_total":384},"passed":false},{"actual":{"back":40,"front":40,"increase_rounds":35,"raglan":4,"sleeve":20,"yoke_total":400},"check":"generated control 3","expected":{"back":38,"front":38,"increase_rounds":36,"raglan":4,"sleeve":20,"yoke_total":408},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standard neck\", \"actual\": {\"front\": 33, \"back\": 33, \"sleeve\": 17, \"raglan\": 4, \"increase_rounds\": 34, \"yoke_total\": 372}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 34, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 372}, \"passed\": false}, {\"check\": \"odd leftover\", \"actual\": {\"front\": 33, \"back\": 34, \"sleeve\": 17, \"raglan\": 4, \"increase_rounds\": 29, \"yoke_total\": 333}, \"expected\": {\"back\": 33, \"front\": 32, \"increase_rounds\": 29, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 333}, \"passed\": false}, {\"check\": \"tiny neck\", \"actual\": \"error: neck too small\", \"expected\": \"error: neck too small\", \"passed\": true}, {\"check\": \"regression: raglan seam reserve\", \"actual\": {\"front\": 36, \"back\": 36, \"sleeve\": 19, \"raglan\": 4, \"increase_rounds\": 37, \"yoke_total\": 406}, \"expected\": {\"back\": 35, \"front\": 35, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 18, \"yoke_total\": 414}, \"passed\": false}, {\"check\": \"repair check: raglan seam reserve\", \"actual\": {\"front\": 40, \"back\": 40, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 30, \"yoke_total\": 360}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 31, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 368}, \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": {\"front\": 33, \"back\": 33, \"sleeve\": 17, \"raglan\": 4, \"increase_rounds\": 4, \"yoke_total\": 132}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 4, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 132}, \"passed\": false}, {\"check\": \"generated control 2\", \"actual\": {\"front\": 26, \"back\": 26, \"sleeve\": 14, \"raglan\": 4, \"increase_rounds\": 37, \"yoke_total\": 376}, \"expected\": {\"back\": 25, \"front\": 25, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 13, \"yoke_total\": 384}, \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": {\"front\": 40, \"back\": 40, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 35, \"yoke_total\": 400}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 36, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 408}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.256,"exit_code":0,"observations":[{"actual":{"back":32,"front":32,"increase_rounds":34,"raglan":4,"sleeve":16,"yoke_total":372},"check":"standard neck","expected":{"back":32,"front":32,"increase_rounds":34,"raglan":4,"sleeve":16,"yoke_total":372},"passed":true},{"actual":{"back":33,"front":32,"increase_rounds":29,"raglan":4,"sleeve":16,"yoke_total":333},"check":"odd leftover","expected":{"back":33,"front":32,"increase_rounds":29,"raglan":4,"sleeve":16,"yoke_total":333},"passed":true},{"actual":"error: neck too small","check":"tiny neck","expected":"error: neck too small","passed":true},{"actual":{"back":35,"front":35,"increase_rounds":38,"raglan":4,"sleeve":18,"yoke_total":414},"check":"regression: raglan seam reserve","expected":{"back":35,"front":35,"increase_rounds":38,"raglan":4,"sleeve":18,"yoke_total":414},"passed":true},{"actual":{"back":38,"front":38,"increase_rounds":31,"raglan":4,"sleeve":20,"yoke_total":368},"check":"repair check: raglan seam reserve","expected":{"back":38,"front":38,"increase_rounds":31,"raglan":4,"sleeve":20,"yoke_total":368},"passed":true},{"actual":{"back":32,"front":32,"increase_rounds":4,"raglan":4,"sleeve":16,"yoke_total":132},"check":"generated control 1","expected":{"back":32,"front":32,"increase_rounds":4,"raglan":4,"sleeve":16,"yoke_total":132},"passed":true},{"actual":{"back":25,"front":25,"increase_rounds":38,"raglan":4,"sleeve":13,"yoke_total":384},"check":"generated control 2","expected":{"back":25,"front":25,"increase_rounds":38,"raglan":4,"sleeve":13,"yoke_total":384},"passed":true},{"actual":{"back":38,"front":38,"increase_rounds":36,"raglan":4,"sleeve":20,"yoke_total":408},"check":"generated control 3","expected":{"back":38,"front":38,"increase_rounds":36,"raglan":4,"sleeve":20,"yoke_total":408},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standard neck\", \"actual\": {\"front\": 32, \"back\": 32, \"sleeve\": 16, \"raglan\": 4, \"increase_rounds\": 34, \"yoke_total\": 372}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 34, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 372}, \"passed\": true}, {\"check\": \"odd leftover\", \"actual\": {\"front\": 32, \"back\": 33, \"sleeve\": 16, \"raglan\": 4, \"increase_rounds\": 29, \"yoke_total\": 333}, \"expected\": {\"back\": 33, \"front\": 32, \"increase_rounds\": 29, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 333}, \"passed\": true}, {\"check\": \"tiny neck\", \"actual\": \"error: neck too small\", \"expected\": \"error: neck too small\", \"passed\": true}, {\"check\": \"regression: raglan seam reserve\", \"actual\": {\"front\": 35, \"back\": 35, \"sleeve\": 18, \"raglan\": 4, \"increase_rounds\": 38, \"yoke_total\": 414}, \"expected\": {\"back\": 35, \"front\": 35, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 18, \"yoke_total\": 414}, \"passed\": true}, {\"check\": \"repair check: raglan seam reserve\", \"actual\": {\"front\": 38, \"back\": 38, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 31, \"yoke_total\": 368}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 31, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 368}, \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": {\"front\": 32, \"back\": 32, \"sleeve\": 16, \"raglan\": 4, \"increase_rounds\": 4, \"yoke_total\": 132}, \"expected\": {\"back\": 32, \"front\": 32, \"increase_rounds\": 4, \"raglan\": 4, \"sleeve\": 16, \"yoke_total\": 132}, \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": {\"front\": 25, \"back\": 25, \"sleeve\": 13, \"raglan\": 4, \"increase_rounds\": 38, \"yoke_total\": 384}, \"expected\": {\"back\": 25, \"front\": 25, \"increase_rounds\": 38, \"raglan\": 4, \"sleeve\": 13, \"yoke_total\": 384}, \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": {\"front\": 38, \"back\": 38, \"sleeve\": 20, \"raglan\": 4, \"increase_rounds\": 36, \"yoke_total\": 408}, \"expected\": {\"back\": 38, \"front\": 38, \"increase_rounds\": 36, \"raglan\": 4, \"sleeve\": 20, \"yoke_total\": 408}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}