{"abstract":"A dress for a bust beyond the chart prints \"grade None to L\".","category":"Knitting and sewing pattern grading","checks":8,"contract":"Chart (cm) XS 80/62/86, S 86/68/92, M 92/74/98, L 100/82/106, XL 108/90/114 (bust/waist/hip). Inches convert at 2.54. A size fits a measurement when chart + 1 cm >= body; pick the smallest fitting size. top: by bust; skirt: the larger of waist size and hip size; dress: bust size and hip size, same -> that size, else \"grade A to B\" (bust size to hip size). No fitting size -> \"out of range\"; other garments -> \"error: garment\".","evaluation_group":"w2-knitting_and_sewing_pattern_grading-size-selection","failed_approach":"Checking only the bust misses hips beyond the chart.","family":"w2-knitting_and_sewing_pattern_grading-size-selection-dress-range-check","id":"FA-97541","implementations":{"attempt":{"sha256":"5d46f3efea68cc1a30a63aa19b40004b41687bdbc7917e99d1504f4efb291f42","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(bust, waist, hip, garment, units):\n    CHART = [['XS', 80, 62, 86], ['S', 86, 68, 92], ['M', 92, 74, 98], ['L', 100, 82, 106], ['XL', 108, 90, 114]]\n    ORDER = [row[0] for row in CHART]\n    k = Fraction(254, 100) if units == 'in' else Fraction(1)\n    b, w, h = (Fraction(str(v)) * k for v in (bust, waist, hip))\n    def pick(col, v):\n        for row in CHART:\n            if row[col] + 1 >= v:\n                return row[0]\n        return None\n    if garment == 'top':\n        s = pick(1, b)\n        return s if s else 'out of range'\n    if garment == 'skirt':\n        a, c = pick(2, w), pick(3, h)\n        if not a or not c:\n            return 'out of range'\n        return max(a, c, key=ORDER.index)\n    if garment == 'dress':\n        a, c = pick(1, b), pick(3, h)\n        if not a:\n            return 'out of range'\n        return a if a == c else 'grade %s to %s' % (a, c)\n    return 'error: garment' \ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['regression: dress range check', [110, 90, 109, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [84, 90, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [105, 69, 100, 'coat', 'cm'], 'error: garment'],\n  ['generated control 2', [93, 87, 106, 'dress', 'cm'], 'grade M to L'],\n  ['generated control 3', [79, 83, 108, 'top', 'cm'], 'XS']],\n [['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['regression: dress range check', [95, 93, 118, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [90, 84, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [92, 77, 85, 'dress', 'cm'], 'grade M to XS'],\n  ['generated control 2', [81, 83, 96, 'dress', 'cm'], 'grade XS to M'],\n  ['generated control 3', [40, 27, 40, 'dress', 'in'], 'grade XL to L']],\n [['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['regression: dress range check', [85, 85, 116, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [87, 74, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [42.5, 34, 43, 'dress', 'in'], 'XL'],\n  ['generated control 2', [82, 62, 118, 'top', 'cm'], 'S'],\n  ['generated control 3', [101, 67, 106, 'coat', 'cm'], 'error: garment']],\n [['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['regression: dress range check', [95, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [98, 91, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [99, 89, 115, 'skirt', 'cm'], 'XL'],\n  ['generated control 2', [32, 29, 36, 'dress', 'in'], 'S'],\n  ['generated control 3', [97, 70, 99, 'dress', 'cm'], 'grade L to M']],\n [['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['regression: dress range check', [86, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [85, 83, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [100, 86, 117, 'top', 'cm'], 'L'],\n  ['generated control 2', [81, 79, 93, 'dress', 'cm'], 'grade XS to S'],\n  ['generated control 3', [32, 25, 40, 'dress', 'in'], 'grade S to L']]]\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":"6fc077da471500bc878d5cae73f55dedccc01d6e22d11493a9bbf452ccf4ed0f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(bust, waist, hip, garment, units):\n    CHART = [['XS', 80, 62, 86], ['S', 86, 68, 92], ['M', 92, 74, 98], ['L', 100, 82, 106], ['XL', 108, 90, 114]]\n    ORDER = [row[0] for row in CHART]\n    k = Fraction(254, 100) if units == 'in' else Fraction(1)\n    b, w, h = (Fraction(str(v)) * k for v in (bust, waist, hip))\n    def pick(col, v):\n        for row in CHART:\n            if row[col] + 1 >= v:\n                return row[0]\n        return None\n    if garment == 'top':\n        s = pick(1, b)\n        return s if s else 'out of range'\n    if garment == 'skirt':\n        a, c = pick(2, w), pick(3, h)\n        if not a or not c:\n            return 'out of range'\n        return max(a, c, key=ORDER.index)\n    if garment == 'dress':\n        a, c = pick(1, b), pick(3, h)\n        if not a and not c:\n            return 'out of range'\n        return a if a == c else 'grade %s to %s' % (a, c)\n    return 'error: garment' \ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['regression: dress range check', [110, 90, 109, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [84, 90, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [105, 69, 100, 'coat', 'cm'], 'error: garment'],\n  ['generated control 2', [93, 87, 106, 'dress', 'cm'], 'grade M to L'],\n  ['generated control 3', [79, 83, 108, 'top', 'cm'], 'XS']],\n [['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['regression: dress range check', [95, 93, 118, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [90, 84, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [92, 77, 85, 'dress', 'cm'], 'grade M to XS'],\n  ['generated control 2', [81, 83, 96, 'dress', 'cm'], 'grade XS to M'],\n  ['generated control 3', [40, 27, 40, 'dress', 'in'], 'grade XL to L']],\n [['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['regression: dress range check', [85, 85, 116, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [87, 74, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [42.5, 34, 43, 'dress', 'in'], 'XL'],\n  ['generated control 2', [82, 62, 118, 'top', 'cm'], 'S'],\n  ['generated control 3', [101, 67, 106, 'coat', 'cm'], 'error: garment']],\n [['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['regression: dress range check', [95, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [98, 91, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [99, 89, 115, 'skirt', 'cm'], 'XL'],\n  ['generated control 2', [32, 29, 36, 'dress', 'in'], 'S'],\n  ['generated control 3', [97, 70, 99, 'dress', 'cm'], 'grade L to M']],\n [['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['regression: dress range check', [86, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [85, 83, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [100, 86, 117, 'top', 'cm'], 'L'],\n  ['generated control 2', [81, 79, 93, 'dress', 'cm'], 'grade XS to S'],\n  ['generated control 3', [32, 25, 40, 'dress', 'in'], 'grade S to L']]]\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":"a40af80ecdb74551e719c229b39a566dd66d3e42e19874f4bfd5caa3a502b5d3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(bust, waist, hip, garment, units):\n    CHART = [['XS', 80, 62, 86], ['S', 86, 68, 92], ['M', 92, 74, 98], ['L', 100, 82, 106], ['XL', 108, 90, 114]]\n    ORDER = [row[0] for row in CHART]\n    k = Fraction(254, 100) if units == 'in' else Fraction(1)\n    b, w, h = (Fraction(str(v)) * k for v in (bust, waist, hip))\n    def pick(col, v):\n        for row in CHART:\n            if row[col] + 1 >= v:\n                return row[0]\n        return None\n    if garment == 'top':\n        s = pick(1, b)\n        return s if s else 'out of range'\n    if garment == 'skirt':\n        a, c = pick(2, w), pick(3, h)\n        if not a or not c:\n            return 'out of range'\n        return max(a, c, key=ORDER.index)\n    if garment == 'dress':\n        a, c = pick(1, b), pick(3, h)\n        if not a or not c:\n            return 'out of range'\n        return a if a == c else 'grade %s to %s' % (a, c)\n    return 'error: garment' \ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['regression: dress range check', [110, 90, 109, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [84, 90, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [105, 69, 100, 'coat', 'cm'], 'error: garment'],\n  ['generated control 2', [93, 87, 106, 'dress', 'cm'], 'grade M to L'],\n  ['generated control 3', [79, 83, 108, 'top', 'cm'], 'XS']],\n [['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['regression: dress range check', [95, 93, 118, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [90, 84, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [92, 77, 85, 'dress', 'cm'], 'grade M to XS'],\n  ['generated control 2', [81, 83, 96, 'dress', 'cm'], 'grade XS to M'],\n  ['generated control 3', [40, 27, 40, 'dress', 'in'], 'grade XL to L']],\n [['dress grade', [86, 70, 104, 'dress', 'cm'], 'grade S to L'],\n  ['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['regression: dress range check', [85, 85, 116, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [87, 74, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [42.5, 34, 43, 'dress', 'in'], 'XL'],\n  ['generated control 2', [82, 62, 118, 'top', 'cm'], 'S'],\n  ['generated control 3', [101, 67, 106, 'coat', 'cm'], 'error: garment']],\n [['inches top', [36, 28, 38, 'top', 'in'], 'M'],\n  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['regression: dress range check', [95, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [98, 91, 116, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [99, 89, 115, 'skirt', 'cm'], 'XL'],\n  ['generated control 2', [32, 29, 36, 'dress', 'in'], 'S'],\n  ['generated control 3', [97, 70, 99, 'dress', 'cm'], 'grade L to M']],\n [['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['top within tolerance', [93, 70, 95, 'top', 'cm'], 'M'],\n  ['skirt waist governs', [90, 80, 95, 'skirt', 'cm'], 'L'],\n  ['regression: dress range check', [86, 80, 117, 'dress', 'cm'], 'out of range'],\n  ['repair check: dress range check', [85, 83, 117, 'dress', 'cm'], 'out of range'],\n  ['generated control 1', [100, 86, 117, 'top', 'cm'], 'L'],\n  ['generated control 2', [81, 79, 93, 'dress', 'cm'], 'grade XS to S'],\n  ['generated control 3', [32, 25, 40, 'dress', 'in'], 'grade S to L']]]\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-size-selection-dress-range-check","generated_at":"2026-09-29T14:52:33.206663+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Sewists choose a pattern size per body zone and grade between sizes.","repair":"Report out of range when either zone has no size.","root_cause":"Out of range is reported only when both zones are off the chart.","sha256":"5526483147c4db79b30b8e08f5bc518b8f7b5e70b2290d524e806fc1ef0817f5","title":"Pattern size selector: dress range check · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.985,"exit_code":1,"observations":[{"actual":"M","check":"top within tolerance","expected":"M","passed":true},{"actual":"L","check":"skirt waist governs","expected":"L","passed":true},{"actual":"grade S to L","check":"dress grade","expected":"grade S to L","passed":true},{"actual":"out of range","check":"regression: dress range check","expected":"out of range","passed":true},{"actual":"grade S to None","check":"repair check: dress range check","expected":"out of range","passed":false},{"actual":"error: garment","check":"generated control 1","expected":"error: garment","passed":true},{"actual":"grade M to L","check":"generated control 2","expected":"grade M to L","passed":true},{"actual":"XS","check":"generated control 3","expected":"XS","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"top within tolerance\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"skirt waist governs\", \"actual\": \"L\", \"expected\": \"L\", \"passed\": true}, {\"check\": \"dress grade\", \"actual\": \"grade S to L\", \"expected\": \"grade S to L\", \"passed\": true}, {\"check\": \"regression: dress range check\", \"actual\": \"out of range\", \"expected\": \"out of range\", \"passed\": true}, {\"check\": \"repair check: dress range check\", \"actual\": \"grade S to None\", \"expected\": \"out of range\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"grade M to L\", \"expected\": \"grade M to L\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"XS\", \"expected\": \"XS\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.651,"exit_code":1,"observations":[{"actual":"M","check":"top within tolerance","expected":"M","passed":true},{"actual":"L","check":"skirt waist governs","expected":"L","passed":true},{"actual":"grade S to L","check":"dress grade","expected":"grade S to L","passed":true},{"actual":"grade None to XL","check":"regression: dress range check","expected":"out of range","passed":false},{"actual":"grade S to None","check":"repair check: dress range check","expected":"out of range","passed":false},{"actual":"error: garment","check":"generated control 1","expected":"error: garment","passed":true},{"actual":"grade M to L","check":"generated control 2","expected":"grade M to L","passed":true},{"actual":"XS","check":"generated control 3","expected":"XS","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"top within tolerance\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"skirt waist governs\", \"actual\": \"L\", \"expected\": \"L\", \"passed\": true}, {\"check\": \"dress grade\", \"actual\": \"grade S to L\", \"expected\": \"grade S to L\", \"passed\": true}, {\"check\": \"regression: dress range check\", \"actual\": \"grade None to XL\", \"expected\": \"out of range\", \"passed\": false}, {\"check\": \"repair check: dress range check\", \"actual\": \"grade S to None\", \"expected\": \"out of range\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"grade M to L\", \"expected\": \"grade M to L\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"XS\", \"expected\": \"XS\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.147,"exit_code":0,"observations":[{"actual":"M","check":"top within tolerance","expected":"M","passed":true},{"actual":"L","check":"skirt waist governs","expected":"L","passed":true},{"actual":"grade S to L","check":"dress grade","expected":"grade S to L","passed":true},{"actual":"out of range","check":"regression: dress range check","expected":"out of range","passed":true},{"actual":"out of range","check":"repair check: dress range check","expected":"out of range","passed":true},{"actual":"error: garment","check":"generated control 1","expected":"error: garment","passed":true},{"actual":"grade M to L","check":"generated control 2","expected":"grade M to L","passed":true},{"actual":"XS","check":"generated control 3","expected":"XS","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"top within tolerance\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"skirt waist governs\", \"actual\": \"L\", \"expected\": \"L\", \"passed\": true}, {\"check\": \"dress grade\", \"actual\": \"grade S to L\", \"expected\": \"grade S to L\", \"passed\": true}, {\"check\": \"regression: dress range check\", \"actual\": \"out of range\", \"expected\": \"out of range\", \"passed\": true}, {\"check\": \"repair check: dress range check\", \"actual\": \"out of range\", \"expected\": \"out of range\", \"passed\": true}, {\"check\": \"generated control 1\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"grade M to L\", \"expected\": \"grade M to L\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"XS\", \"expected\": \"XS\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}