{"abstract":"A skirt for a larger waist is cut at the hip size and will not close.","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\".","contract_signature":"bust, waist, hip, garment, units","evaluation_group":"w2-knitting_and_sewing_pattern_grading-size-selection","failed_approach":"min() picks the smaller size, which is too tight at the other zone.","family":"w2-knitting_and_sewing_pattern_grading-size-selection-skirt-governing-zone","id":"FA-97536","implementations":{"attempt":{"sha256":"1b9cb9f936e376bce50b5536101013c48bcbe4f9737d1559c45f037f56b5957d","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 min(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: skirt governing zone', [34, 31, 34, 'skirt', 'in'], 'L'],\n  ['repair check: skirt governing zone', [95, 79, 95, 'skirt', 'cm'], 'L'],\n  ['generated control 1', [32, 29, 40, 'coat', 'in'], 'error: garment'],\n  ['generated control 2', [89, 88, 117, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [98, 93, 91, 'skirt', 'cm'], 'out of range']],\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: skirt governing zone', [109, 91, 86, 'skirt', 'cm'], 'XL'],\n  ['repair check: skirt governing zone', [85, 67, 107, 'skirt', 'cm'], 'L'],\n  ['generated control 1', [84, 76, 87, 'top', 'cm'], 'S'],\n  ['generated control 2', [103, 79, 111, 'skirt', 'cm'], 'XL'],\n  ['generated control 3', [91, 71, 105, '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  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['regression: skirt governing zone', [100, 72, 93, 'skirt', 'cm'], 'M'],\n  ['repair check: skirt governing zone', [84, 77, 108, 'skirt', 'cm'], 'XL'],\n  ['generated control 1', [111, 62, 95, 'coat', 'cm'], 'error: garment'],\n  ['generated control 2', [105, 79, 114, 'top', 'cm'], 'XL'],\n  ['generated control 3', [109, 63, 118, '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: skirt governing zone', [93, 85, 91, 'skirt', 'cm'], 'XL'],\n  ['repair check: skirt governing zone', [78, 61, 109, 'skirt', 'cm'], 'XL'],\n  ['generated control 1', [42.5, 34, 36, 'dress', 'in'], 'grade XL to S'],\n  ['generated control 2', [79, 73, 116, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [80, 67, 118, 'skirt', 'cm'], 'out of range']],\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: skirt governing zone', [38, 31, 38, 'skirt', 'in'], 'L'],\n  ['repair check: skirt governing zone', [34, 31, 43, 'skirt', 'in'], 'XL'],\n  ['generated control 1', [87, 94, 94, 'top', 'cm'], 'S'],\n  ['generated control 2', [110, 65, 112, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [85, 71, 101, 'dress', 'cm'], '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":"07ad9da32807d8a9f40c52538ee7fa8f8554cafe67f4752cb09e30ac02aeda3c","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 c\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: skirt governing zone', [34, 31, 34, 'skirt', 'in'], 'L'],\n  ['repair check: skirt governing zone', [95, 79, 95, 'skirt', 'cm'], 'L'],\n  ['generated control 1', [32, 29, 40, 'coat', 'in'], 'error: garment'],\n  ['generated control 2', [89, 88, 117, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [98, 93, 91, 'skirt', 'cm'], 'out of range']],\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: skirt governing zone', [109, 91, 86, 'skirt', 'cm'], 'XL'],\n  ['repair check: skirt governing zone', [85, 67, 107, 'skirt', 'cm'], 'L'],\n  ['generated control 1', [84, 76, 87, 'top', 'cm'], 'S'],\n  ['generated control 2', [103, 79, 111, 'skirt', 'cm'], 'XL'],\n  ['generated control 3', [91, 71, 105, '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  ['out of range dress', [120, 90, 100, 'dress', 'cm'], 'out of range'],\n  ['regression: skirt governing zone', [100, 72, 93, 'skirt', 'cm'], 'M'],\n  ['repair check: skirt governing zone', [84, 77, 108, 'skirt', 'cm'], 'XL'],\n  ['generated control 1', [111, 62, 95, 'coat', 'cm'], 'error: garment'],\n  ['generated control 2', [105, 79, 114, 'top', 'cm'], 'XL'],\n  ['generated control 3', [109, 63, 118, '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: skirt governing zone', [93, 85, 91, 'skirt', 'cm'], 'XL'],\n  ['repair check: skirt governing zone', [78, 61, 109, 'skirt', 'cm'], 'XL'],\n  ['generated control 1', [42.5, 34, 36, 'dress', 'in'], 'grade XL to S'],\n  ['generated control 2', [79, 73, 116, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [80, 67, 118, 'skirt', 'cm'], 'out of range']],\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: skirt governing zone', [38, 31, 38, 'skirt', 'in'], 'L'],\n  ['repair check: skirt governing zone', [34, 31, 43, 'skirt', 'in'], 'XL'],\n  ['generated control 1', [87, 94, 94, 'top', 'cm'], 'S'],\n  ['generated control 2', [110, 65, 112, 'coat', 'cm'], 'error: garment'],\n  ['generated control 3', [85, 71, 101, 'dress', 'cm'], '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-skirt-governing-zone","generated_at":"2026-09-29T14:52:33.097075+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.","root_cause":"Skirts are sized by hip only.","sha256":"f37d96979d5515ac67a90ea1e00c24cc45ceb4f08488ca0faecc4d901b1d047d","title":"Pattern size selector: skirt governing zone · 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":42.841,"exit_code":1,"observations":[{"actual":"M","check":"top within tolerance","expected":"M","passed":true},{"actual":"M","check":"skirt waist governs","expected":"L","passed":false},{"actual":"grade S to L","check":"dress grade","expected":"grade S to L","passed":true},{"actual":"XS","check":"regression: skirt governing zone","expected":"L","passed":false},{"actual":"M","check":"repair check: skirt governing zone","expected":"L","passed":false},{"actual":"error: garment","check":"generated control 1","expected":"error: garment","passed":true},{"actual":"error: garment","check":"generated control 2","expected":"error: garment","passed":true},{"actual":"out of range","check":"generated control 3","expected":"out of range","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"top within tolerance\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"skirt waist governs\", \"actual\": \"M\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"dress grade\", \"actual\": \"grade S to L\", \"expected\": \"grade S to L\", \"passed\": true}, {\"check\": \"regression: skirt governing zone\", \"actual\": \"XS\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"repair check: skirt governing zone\", \"actual\": \"M\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"out of range\", \"expected\": \"out of range\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.254,"exit_code":1,"observations":[{"actual":"M","check":"top within tolerance","expected":"M","passed":true},{"actual":"M","check":"skirt waist governs","expected":"L","passed":false},{"actual":"grade S to L","check":"dress grade","expected":"grade S to L","passed":true},{"actual":"XS","check":"regression: skirt governing zone","expected":"L","passed":false},{"actual":"M","check":"repair check: skirt governing zone","expected":"L","passed":false},{"actual":"error: garment","check":"generated control 1","expected":"error: garment","passed":true},{"actual":"error: garment","check":"generated control 2","expected":"error: garment","passed":true},{"actual":"out of range","check":"generated control 3","expected":"out of range","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"top within tolerance\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"skirt waist governs\", \"actual\": \"M\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"dress grade\", \"actual\": \"grade S to L\", \"expected\": \"grade S to L\", \"passed\": true}, {\"check\": \"regression: skirt governing zone\", \"actual\": \"XS\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"repair check: skirt governing zone\", \"actual\": \"M\", \"expected\": \"L\", \"passed\": false}, {\"check\": \"generated control 1\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 2\", \"actual\": \"error: garment\", \"expected\": \"error: garment\", \"passed\": true}, {\"check\": \"generated control 3\", \"actual\": \"out of range\", \"expected\": \"out of range\", \"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."}}