{"abstract":"Body length is off by the width-to-height difference of the swatch.","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":"Pre-wash height ignores vertical relaxation.","family":"w2-knitting_and_sewing_pattern_grading-post-wash-gauge-row-gauge-dimension","id":"FA-97721","implementations":{"attempt":{"sha256":"9e88c7e0a0565a89b56eb9b2c26f61a17b0df48eed0e08779c4a036adfefaa99","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 / Fraction(h_pre)\n    row_count = 2 * math.floor(rr / 2 + 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: row gauge dimension', [24, 40, '10.5', '10.5', '10.2', '10.4', 50, 45], [114, 174, 0.0]],\n  ['repair check: row gauge dimension', [24, 40, '10', '11', '10', '10.4', 50, 30], [109, 116, 10.0]],\n  ['generated control 1', [24, 28, '10.5', '10.5', '10.2', '10', 55, 60], [126, 168, 0.0]],\n  ['generated control 2', [20, 32, '10', '10', '10', '9', 50, 30], [100, 106, 0.0]],\n  ['generated control 3', [20, 30, '10', '10', '10', '9.5', 50, 30], [100, 94, 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: row gauge dimension', [20, 28, '10', '10', '10', '10.4', 50, 30], [100, 80, 0.0]],\n  ['repair check: row gauge dimension', [20, 32, '10', '11', '10', '9', 50, 60], [91, 214, 10.0]],\n  ['generated control 1', [20, 28, '10.5', '10', '10', '10', 40, 60], [80, 168, -4.8]],\n  ['generated control 2', [20, 30, '10', '10', '10.2', '10.4', 50, 45], [100, 130, 0.0]],\n  ['generated control 3', [20, 32, '10.5', '10.8', '10', '10', 55, 60], [102, 192, 2.9]]],\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: row gauge dimension', [22, 30, '10.5', '10', '10', '10.4', 55, 60], [121, 174, -4.8]],\n  ['repair check: row gauge dimension', [30, 40, '10.5', '9.5', '10.2', '9.5', 50, 60], [158, 252, -9.5]],\n  ['generated control 1', [20, 32, '10', '10.5', '10', '9.5', 50, 30], [95, 102, 5.0]],\n  ['generated control 2', [24, 30, '10', '10', '10', '9.5', 40, 30], [96, 94, 0.0]],\n  ['generated control 3', [22, 28, '10', '11', '10', '9', 40, 60], [80, 186, 10.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: row gauge dimension', [24, 40, '10.5', '9.5', '10.2', '9', 40, 45], [101, 200, -9.5]],\n  ['repair check: row gauge dimension', [22, 40, '10', '10', '10', '9.5', 40, 60], [88, 252, 0.0]],\n  ['generated control 1', [22, 28, '10', '11', '10', '10', 50, 30], [100, 84, 10.0]],\n  ['generated control 2', [24, 30, '10', '10.5', '10.2', '9', 40, 60], [91, 200, 5.0]],\n  ['generated control 3', [30, 40, '10.5', '10', '10.2', '10', 50, 30], [150, 120, -4.8]]],\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: row gauge dimension', [24, 30, '10', '10.8', '10.2', '10.4', 50, 30], [111, 86, 8.0]],\n  ['repair check: row gauge dimension', [30, 30, '10.5', '10.8', '10', '9.5', 50, 30], [139, 94, 2.9]],\n  ['generated control 1', [24, 28, '10.5', '10', '10', '10', 50, 60], [120, 168, -4.8]],\n  ['generated control 2', [20, 32, '10', '10.5', '10.2', '9', 40, 60], [76, 214, 5.0]],\n  ['generated control 3', [20, 32, '10', '10', '10', '10.4', 55, 60], [110, 184, 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":"dcb81b6fe2235844439f71cace661ad63a2432ed855f8c04abbf097dd24396df","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 / wpo\n    row_count = 2 * math.floor(rr / 2 + 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: row gauge dimension', [24, 40, '10.5', '10.5', '10.2', '10.4', 50, 45], [114, 174, 0.0]],\n  ['repair check: row gauge dimension', [24, 40, '10', '11', '10', '10.4', 50, 30], [109, 116, 10.0]],\n  ['generated control 1', [24, 28, '10.5', '10.5', '10.2', '10', 55, 60], [126, 168, 0.0]],\n  ['generated control 2', [20, 32, '10', '10', '10', '9', 50, 30], [100, 106, 0.0]],\n  ['generated control 3', [20, 30, '10', '10', '10', '9.5', 50, 30], [100, 94, 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: row gauge dimension', [20, 28, '10', '10', '10', '10.4', 50, 30], [100, 80, 0.0]],\n  ['repair check: row gauge dimension', [20, 32, '10', '11', '10', '9', 50, 60], [91, 214, 10.0]],\n  ['generated control 1', [20, 28, '10.5', '10', '10', '10', 40, 60], [80, 168, -4.8]],\n  ['generated control 2', [20, 30, '10', '10', '10.2', '10.4', 50, 45], [100, 130, 0.0]],\n  ['generated control 3', [20, 32, '10.5', '10.8', '10', '10', 55, 60], [102, 192, 2.9]]],\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: row gauge dimension', [22, 30, '10.5', '10', '10', '10.4', 55, 60], [121, 174, -4.8]],\n  ['repair check: row gauge dimension', [30, 40, '10.5', '9.5', '10.2', '9.5', 50, 60], [158, 252, -9.5]],\n  ['generated control 1', [20, 32, '10', '10.5', '10', '9.5', 50, 30], [95, 102, 5.0]],\n  ['generated control 2', [24, 30, '10', '10', '10', '9.5', 40, 30], [96, 94, 0.0]],\n  ['generated control 3', [22, 28, '10', '11', '10', '9', 40, 60], [80, 186, 10.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: row gauge dimension', [24, 40, '10.5', '9.5', '10.2', '9', 40, 45], [101, 200, -9.5]],\n  ['repair check: row gauge dimension', [22, 40, '10', '10', '10', '9.5', 40, 60], [88, 252, 0.0]],\n  ['generated control 1', [22, 28, '10', '11', '10', '10', 50, 30], [100, 84, 10.0]],\n  ['generated control 2', [24, 30, '10', '10.5', '10.2', '9', 40, 60], [91, 200, 5.0]],\n  ['generated control 3', [30, 40, '10.5', '10', '10.2', '10', 50, 30], [150, 120, -4.8]]],\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: row gauge dimension', [24, 30, '10', '10.8', '10.2', '10.4', 50, 30], [111, 86, 8.0]],\n  ['repair check: row gauge dimension', [30, 30, '10.5', '10.8', '10', '9.5', 50, 30], [139, 94, 2.9]],\n  ['generated control 1', [24, 28, '10.5', '10', '10', '10', 50, 60], [120, 168, -4.8]],\n  ['generated control 2', [20, 32, '10', '10.5', '10.2', '9', 40, 60], [76, 214, 5.0]],\n  ['generated control 3', [20, 32, '10', '10', '10', '10.4', 55, 60], [110, 184, 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-row-gauge-dimension","generated_at":"2026-09-29T14:52:34.949995+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":"Row gauge divides by the swatch width instead of its height.","sha256":"10503124d54cbf8d5943b43ffe687e382eb1999a4fb9e8152ba2f5f51385f989","title":"Post-wash swatch gauge: row gauge dimension · 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.593,"exit_code":1,"observations":[{"actual":[100,126,0.0],"check":"no change","expected":[100,126,0.0],"passed":true},{"actual":[100,180,10.0],"check":"growth","expected":[100,174,10.0],"passed":false},{"actual":[101,94,-9.5],"check":"shrink","expected":[101,106,-9.5],"passed":false},{"actual":[114,176,0.0],"check":"regression: row gauge dimension","expected":[114,174,0.0],"passed":false},{"actual":[109,120,10.0],"check":"repair check: row gauge dimension","expected":[109,116,10.0],"passed":false},{"actual":[126,164,0.0],"check":"generated control 1","expected":[126,168,0.0],"passed":false},{"actual":[100,96,0.0],"check":"generated control 2","expected":[100,106,0.0],"passed":false},{"actual":[100,90,0.0],"check":"generated control 3","expected":[100,94,0.0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"no change\", \"actual\": [100, 126, 0.0], \"expected\": [100, 126, 0.0], \"passed\": true}, {\"check\": \"growth\", \"actual\": [100, 180, 10.0], \"expected\": [100, 174, 10.0], \"passed\": false}, {\"check\": \"shrink\", \"actual\": [101, 94, -9.5], \"expected\": [101, 106, -9.5], \"passed\": false}, {\"check\": \"regression: row gauge dimension\", \"actual\": [114, 176, 0.0], \"expected\": [114, 174, 0.0], \"passed\": false}, {\"check\": \"repair check: row gauge dimension\", \"actual\": [109, 120, 10.0], \"expected\": [109, 116, 10.0], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [126, 164, 0.0], \"expected\": [126, 168, 0.0], \"passed\": false}, {\"check\": \"generated control 2\", \"actual\": [100, 96, 0.0], \"expected\": [100, 106, 0.0], \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": [100, 90, 0.0], \"expected\": [100, 94, 0.0], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.456,"exit_code":1,"observations":[{"actual":[100,126,0.0],"check":"no change","expected":[100,126,0.0],"passed":true},{"actual":[100,164,10.0],"check":"growth","expected":[100,174,10.0],"passed":false},{"actual":[101,102,-9.5],"check":"shrink","expected":[101,106,-9.5],"passed":false},{"actual":[114,172,0.0],"check":"regression: row gauge dimension","expected":[114,174,0.0],"passed":false},{"actual":[109,110,10.0],"check":"repair check: row gauge dimension","expected":[109,116,10.0],"passed":false},{"actual":[126,160,0.0],"check":"generated control 1","expected":[126,168,0.0],"passed":false},{"actual":[100,96,0.0],"check":"generated control 2","expected":[100,106,0.0],"passed":false},{"actual":[100,90,0.0],"check":"generated control 3","expected":[100,94,0.0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"no change\", \"actual\": [100, 126, 0.0], \"expected\": [100, 126, 0.0], \"passed\": true}, {\"check\": \"growth\", \"actual\": [100, 164, 10.0], \"expected\": [100, 174, 10.0], \"passed\": false}, {\"check\": \"shrink\", \"actual\": [101, 102, -9.5], \"expected\": [101, 106, -9.5], \"passed\": false}, {\"check\": \"regression: row gauge dimension\", \"actual\": [114, 172, 0.0], \"expected\": [114, 174, 0.0], \"passed\": false}, {\"check\": \"repair check: row gauge dimension\", \"actual\": [109, 110, 10.0], \"expected\": [109, 116, 10.0], \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": [126, 160, 0.0], \"expected\": [126, 168, 0.0], \"passed\": false}, {\"check\": \"generated control 2\", \"actual\": [100, 96, 0.0], \"expected\": [100, 106, 0.0], \"passed\": false}, {\"check\": \"generated control 3\", \"actual\": [100, 90, 0.0], \"expected\": [100, 94, 0.0], \"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."}}