{"abstract":"The body ends on a right-side row.","category":"Knitting and sewing pattern grading","checks":8,"contract":"A swatch of sts x rows measured before and after washing. Use post-wash dimensions: cast on = half-up target_w*sts/w_post; rows = target_h*rows/h_post rounded to the nearest even number (ties up); width change % = (w_post/w_pre - 1)*100 half-up to 0.1. Return [cast_on, rows, width_change].","contract_signature":"sts, rows, w_pre, w_post, h_pre, h_post, target_w, target_h","evaluation_group":"w2-knitting_and_sewing_pattern_grading-post-wash-gauge","failed_approach":"Always rounding up to even adds rows.","family":"w2-knitting_and_sewing_pattern_grading-post-wash-gauge-even-row-rounding","id":"FA-97726","implementations":{"attempt":{"sha256":"5f6a71852e2ee42569f84c180f3bd075f6121a2c12d79ef07f321281a26461e4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(sts, rows, w_pre, w_post, h_pre, h_post, target_w, target_h):\n    wpo = Fraction(w_post)\n    hpo = Fraction(h_post)\n    cast = math.floor(target_w * sts / wpo + Fraction(1, 2))\n    rr = target_h * rows / hpo\n    row_count = 2 * math.ceil(rr / 2)\n    change = (wpo / Fraction(w_pre) - 1) * 100\n    return [cast, row_count, math.floor(change * 10 + Fraction(1, 2)) / 10]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['regression: even row rounding', [20, 30, '10', '10.5', '10.2', '10.4', 50, 30], [95, 86, 5.0]],\n  ['repair check: even row rounding', [20, 40, '10', '11', '10', '9.5', 50, 60], [91, 252, 10.0]],\n  ['generated control 1', [30, 28, '10', '10.8', '10.2', '10', 40, 30], [111, 84, 8.0]],\n  ['generated control 2', [20, 28, '10', '11', '10', '9', 40, 45], [73, 140, 10.0]],\n  ['generated control 3', [30, 28, '10.5', '10.5', '10', '10', 40, 60], [114, 168, 0.0]]],\n [['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['regression: even row rounding', [30, 28, '10', '10.5', '10', '10.4', 55, 45], [157, 122, 5.0]],\n  ['repair check: even row rounding', [30, 28, '10.5', '10.8', '10', '9.5', 50, 45], [139, 132, 2.9]],\n  ['generated control 1', [20, 30, '10', '11', '10.2', '10.4', 55, 45], [100, 130, 10.0]],\n  ['generated control 2', [22, 40, '10.5', '11', '10.2', '9', 50, 60], [100, 266, 4.8]],\n  ['generated control 3', [20, 30, '10', '10.8', '10.2', '10', 55, 45], [102, 136, 8.0]]],\n [['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['regression: even row rounding', [22, 32, '10', '10.5', '10', '9.5', 50, 30], [105, 102, 5.0]],\n  ['repair check: even row rounding', [22, 30, '10', '10', '10', '9.5', 40, 30], [88, 94, 0.0]],\n  ['generated control 1', [20, 40, '10.5', '10.8', '10', '10', 40, 60], [74, 240, 2.9]],\n  ['generated control 2', [20, 32, '10', '10.8', '10.2', '9', 55, 45], [102, 160, 8.0]],\n  ['generated control 3', [22, 28, '10', '9.5', '10', '10', 40, 60], [93, 168, -5.0]]],\n [['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['regression: even row rounding', [30, 30, '10', '11', '10', '9.5', 40, 60], [109, 190, 10.0]],\n  ['repair check: even row rounding', [22, 32, '10', '10.8', '10', '9.5', 40, 60], [81, 202, 8.0]],\n  ['generated control 1', [24, 30, '10', '10', '10', '9', 55, 60], [132, 200, 0.0]],\n  ['generated control 2', [24, 40, '10.5', '10.8', '10.2', '10', 50, 30], [111, 120, 2.9]],\n  ['generated control 3', [30, 30, '10', '10.5', '10.2', '9', 40, 60], [114, 200, 5.0]]],\n [['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['regression: even row rounding', [22, 30, '10', '10.8', '10', '10', 40, 45], [81, 136, 8.0]],\n  ['repair check: even row rounding', [20, 40, '10.5', '10.5', '10.2', '9.5', 50, 30], [95, 126, 0.0]],\n  ['generated control 1', [20, 30, '10', '11', '10', '10', 50, 60], [91, 180, 10.0]],\n  ['generated control 2', [24, 30, '10', '10.8', '10', '9', 40, 45], [89, 150, 8.0]],\n  ['generated control 3', [24, 30, '10.5', '10.5', '10.2', '10.4', 40, 60], [91, 174, 0.0]]]]\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":"f7e36c84dd511a04ee423b3b7441fad14bf7218de61218a285489d20bd0c18d2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(sts, rows, w_pre, w_post, h_pre, h_post, target_w, target_h):\n    wpo = Fraction(w_post)\n    hpo = Fraction(h_post)\n    cast = math.floor(target_w * sts / wpo + Fraction(1, 2))\n    rr = target_h * rows / hpo\n    row_count = math.floor(rr + Fraction(1, 2))\n    change = (wpo / Fraction(w_pre) - 1) * 100\n    return [cast, row_count, math.floor(change * 10 + Fraction(1, 2)) / 10]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['regression: even row rounding', [20, 30, '10', '10.5', '10.2', '10.4', 50, 30], [95, 86, 5.0]],\n  ['repair check: even row rounding', [20, 40, '10', '11', '10', '9.5', 50, 60], [91, 252, 10.0]],\n  ['generated control 1', [30, 28, '10', '10.8', '10.2', '10', 40, 30], [111, 84, 8.0]],\n  ['generated control 2', [20, 28, '10', '11', '10', '9', 40, 45], [73, 140, 10.0]],\n  ['generated control 3', [30, 28, '10.5', '10.5', '10', '10', 40, 60], [114, 168, 0.0]]],\n [['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['regression: even row rounding', [30, 28, '10', '10.5', '10', '10.4', 55, 45], [157, 122, 5.0]],\n  ['repair check: even row rounding', [30, 28, '10.5', '10.8', '10', '9.5', 50, 45], [139, 132, 2.9]],\n  ['generated control 1', [20, 30, '10', '11', '10.2', '10.4', 55, 45], [100, 130, 10.0]],\n  ['generated control 2', [22, 40, '10.5', '11', '10.2', '9', 50, 60], [100, 266, 4.8]],\n  ['generated control 3', [20, 30, '10', '10.8', '10.2', '10', 55, 45], [102, 136, 8.0]]],\n [['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['regression: even row rounding', [22, 32, '10', '10.5', '10', '9.5', 50, 30], [105, 102, 5.0]],\n  ['repair check: even row rounding', [22, 30, '10', '10', '10', '9.5', 40, 30], [88, 94, 0.0]],\n  ['generated control 1', [20, 40, '10.5', '10.8', '10', '10', 40, 60], [74, 240, 2.9]],\n  ['generated control 2', [20, 32, '10', '10.8', '10.2', '9', 55, 45], [102, 160, 8.0]],\n  ['generated control 3', [22, 28, '10', '9.5', '10', '10', 40, 60], [93, 168, -5.0]]],\n [['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['regression: even row rounding', [30, 30, '10', '11', '10', '9.5', 40, 60], [109, 190, 10.0]],\n  ['repair check: even row rounding', [22, 32, '10', '10.8', '10', '9.5', 40, 60], [81, 202, 8.0]],\n  ['generated control 1', [24, 30, '10', '10', '10', '9', 55, 60], [132, 200, 0.0]],\n  ['generated control 2', [24, 40, '10.5', '10.8', '10.2', '10', 50, 30], [111, 120, 2.9]],\n  ['generated control 3', [30, 30, '10', '10.5', '10.2', '9', 40, 60], [114, 200, 5.0]]],\n [['growth', [22, 30, '10', '11', '10', '10.4', 50, 60], [100, 174, 10.0]],\n  ['shrink', [24, 32, '10.5', '9.5', '10.2', '9', 40, 30], [101, 106, -9.5]],\n  ['no change', [20, 28, '10', '10', '10', '10', 50, 45], [100, 126, 0.0]],\n  ['regression: even row rounding', [22, 30, '10', '10.8', '10', '10', 40, 45], [81, 136, 8.0]],\n  ['repair check: even row rounding', [20, 40, '10.5', '10.5', '10.2', '9.5', 50, 30], [95, 126, 0.0]],\n  ['generated control 1', [20, 30, '10', '11', '10', '10', 50, 60], [91, 180, 10.0]],\n  ['generated control 2', [24, 30, '10', '10.8', '10', '9', 40, 45], [89, 150, 8.0]],\n  ['generated control 3', [24, 30, '10.5', '10.5', '10.2', '10.4', 40, 60], [91, 174, 0.0]]]]\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-post-wash-gauge-even-row-rounding","generated_at":"2026-09-29T14:52:35.043807+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Knitters block swatches because many fibres grow or shrink after washing.","root_cause":"Rows are rounded to any integer instead of the nearest even count.","sha256":"f074de62db0d5708299b58ac32aee817cdd8fbec5d5a1134ba16b4a338f97f20","title":"Post-wash swatch gauge: even row rounding · 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":44.164,"exit_code":1,"observations":[{"actual":[100,126,0.0],"check":"no change","expected":[100,126,0.0],"passed":true},{"actual":[100,174,10.0],"check":"growth","expected":[100,174,10.0],"passed":true},{"actual":[101,108,-9.5],"check":"shrink","expected":[101,106,-9.5],"passed":false},{"actual":[95,88,5.0],"check":"regression: even row rounding","expected":[95,86,5.0],"passed":false},{"actual":[91,254,10.0],"check":"repair check: even row rounding","expected":[91,252,10.0],"passed":false},{"actual":[111,84,8.0],"check":"generated control 1","expected":[111,84,8.0],"passed":true},{"actual":[73,140,10.0],"check":"generated control 2","expected":[73,140,10.0],"passed":true},{"actual":[114,168,0.0],"check":"generated control 3","expected":[114,168,0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"no change\", \"actual\": [100, 126, 0.0], \"expected\": [100, 126, 0.0], \"passed\": true}, {\"check\": \"growth\", \"actual\": [100, 174, 10.0], \"expected\": [100, 174, 10.0], \"passed\": true}, {\"check\": \"shrink\", \"actual\": [101, 108, -9.5], \"expected\": [101, 106, -9.5], \"passed\": false}, {\"check\": \"regression: even row rounding\", \"actual\": [95, 88, 5.0], \"expected\": [95, 86, 5.0], \"passed\": false}, {\"check\": \"repair check: even row rounding\", \"actual\": [91, 254, 10.0], \"expected\": [91, 252, 10.0], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [111, 84, 8.0], \"expected\": [111, 84, 8.0], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [73, 140, 10.0], \"expected\": [73, 140, 10.0], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [114, 168, 0.0], \"expected\": [114, 168, 0.0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.789,"exit_code":1,"observations":[{"actual":[100,126,0.0],"check":"no change","expected":[100,126,0.0],"passed":true},{"actual":[100,173,10.0],"check":"growth","expected":[100,174,10.0],"passed":false},{"actual":[101,107,-9.5],"check":"shrink","expected":[101,106,-9.5],"passed":false},{"actual":[95,87,5.0],"check":"regression: even row rounding","expected":[95,86,5.0],"passed":false},{"actual":[91,253,10.0],"check":"repair check: even row rounding","expected":[91,252,10.0],"passed":false},{"actual":[111,84,8.0],"check":"generated control 1","expected":[111,84,8.0],"passed":true},{"actual":[73,140,10.0],"check":"generated control 2","expected":[73,140,10.0],"passed":true},{"actual":[114,168,0.0],"check":"generated control 3","expected":[114,168,0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"no change\", \"actual\": [100, 126, 0.0], \"expected\": [100, 126, 0.0], \"passed\": true}, {\"check\": \"growth\", \"actual\": [100, 173, 10.0], \"expected\": [100, 174, 10.0], \"passed\": false}, {\"check\": \"shrink\", \"actual\": [101, 107, -9.5], \"expected\": [101, 106, -9.5], \"passed\": false}, {\"check\": \"regression: even row rounding\", \"actual\": [95, 87, 5.0], \"expected\": [95, 86, 5.0], \"passed\": false}, {\"check\": \"repair check: even row rounding\", \"actual\": [91, 253, 10.0], \"expected\": [91, 252, 10.0], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [111, 84, 8.0], \"expected\": [111, 84, 8.0], \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": [73, 140, 10.0], \"expected\": [73, 140, 10.0], \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": [114, 168, 0.0], \"expected\": [114, 168, 0.0], \"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."}}