FA-97836 / Knitting and sewing pattern grading / Open access
Top-down sock fit calculator: gusset pick-up · case 01
A hole forms at the gusset corner.
ROOT CAUSE
The extra corner stitch is not picked up.
VERIFIED REPAIR
Pick up one per slipped edge stitch plus one.
Unsuccessful approach: Picking up per row doubles the gusset.
Case contract
Leg stitches = foot_circ*(1 - neg_ease/100)*gauge/10 rounded to the nearest multiple of `multiple` (half-up). Heel flap = half the stitches; flap rows = heel stitches; gusset pick-up per side = flap rows/2 + 1. Return {cast_on, heel_sts, flap_rows, pickup}.
Why this case matters
Sock patterns size with negative ease and derive heel flap and gusset counts.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(foot_circ, sts_per_10cm, neg_ease_pct, multiple):
raw = Fraction(str(foot_circ)) * (1 - Fraction(str(neg_ease_pct)) / 100) * Fraction(sts_per_10cm) / 10
cast = multiple * math.floor(raw / multiple + Fraction(1, 2))
heel = cast // 2
flap = heel
pickup = flap // 2
return {'cast_on': cast, 'heel_sts': heel, 'flap_rows': flap, 'pickup': pickup}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [24, '28', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 1', [21.5, '30', 5, 1], {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 2', [25.5, '28', 12.5, 4],
{'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [22, '30', 5, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['repair check: gusset pick-up', [24, '36', 5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [23, '36', 10, 1], {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 2', [23, '28', 0, 2], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [21.5, '32', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}]],
[['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['regression: gusset pick-up', [25.5, '32', 12.5, 4],
{'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['repair check: gusset pick-up', [25.5, '36', 12.5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [25.5, '36', 10, 1],
{'cast_on': 83, 'flap_rows': 41, 'heel_sts': 41, 'pickup': 21}],
['generated control 2', [20, '28', 12.5, 4],
{'cast_on': 48, 'flap_rows': 24, 'heel_sts': 24, 'pickup': 13}],
['generated control 3', [25.5, '36', 5, 4],
{'cast_on': 88, 'flap_rows': 44, 'heel_sts': 44, 'pickup': 23}]],
[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [25.5, '30', 12.5, 1],
{'cast_on': 67, 'flap_rows': 33, 'heel_sts': 33, 'pickup': 17}],
['repair check: gusset pick-up', [22, '32', 12.5, 4],
{'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 1', [24, '32', 10, 3], {'cast_on': 69, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['generated control 2', [22, '28', 0, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}],
['generated control 3', [22, '30', 10, 3], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [25.5, '28', 5, 4],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [22, '28', 5, 1],
{'cast_on': 59, 'flap_rows': 29, 'heel_sts': 29, 'pickup': 15}],
['generated control 1', [24, '30', 0, 1], {'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['generated control 2', [24, '36', 10, 4], {'cast_on': 76, 'flap_rows': 38, 'heel_sts': 38, 'pickup': 20}],
['generated control 3', [20, '30', 0, 2], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| standard sock | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 16} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Failed |
| no ease | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 14} | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15} | Failed |
| wide foot | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 20} | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21} | Failed |
| regression: gusset pick-up | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 17} | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18} | Failed |
| repair check: gusset pick-up | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 18} | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19} | Failed |
| generated control 1 | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 15} | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16} | Failed |
| generated control 2 | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 16} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Failed |
| generated control 3 | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 15} | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16} | Failed |
SHA-256 / c43fb300721a27c3e7e7938139b1373b240c05c08225d7c6993e1f4e24cf7d2e
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(foot_circ, sts_per_10cm, neg_ease_pct, multiple):
raw = Fraction(str(foot_circ)) * (1 - Fraction(str(neg_ease_pct)) / 100) * Fraction(sts_per_10cm) / 10
cast = multiple * math.floor(raw / multiple + Fraction(1, 2))
heel = cast // 2
flap = heel
pickup = flap + 1
return {'cast_on': cast, 'heel_sts': heel, 'flap_rows': flap, 'pickup': pickup}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [24, '28', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 1', [21.5, '30', 5, 1], {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 2', [25.5, '28', 12.5, 4],
{'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [22, '30', 5, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['repair check: gusset pick-up', [24, '36', 5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [23, '36', 10, 1], {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 2', [23, '28', 0, 2], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [21.5, '32', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}]],
[['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['regression: gusset pick-up', [25.5, '32', 12.5, 4],
{'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['repair check: gusset pick-up', [25.5, '36', 12.5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [25.5, '36', 10, 1],
{'cast_on': 83, 'flap_rows': 41, 'heel_sts': 41, 'pickup': 21}],
['generated control 2', [20, '28', 12.5, 4],
{'cast_on': 48, 'flap_rows': 24, 'heel_sts': 24, 'pickup': 13}],
['generated control 3', [25.5, '36', 5, 4],
{'cast_on': 88, 'flap_rows': 44, 'heel_sts': 44, 'pickup': 23}]],
[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [25.5, '30', 12.5, 1],
{'cast_on': 67, 'flap_rows': 33, 'heel_sts': 33, 'pickup': 17}],
['repair check: gusset pick-up', [22, '32', 12.5, 4],
{'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 1', [24, '32', 10, 3], {'cast_on': 69, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['generated control 2', [22, '28', 0, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}],
['generated control 3', [22, '30', 10, 3], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [25.5, '28', 5, 4],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [22, '28', 5, 1],
{'cast_on': 59, 'flap_rows': 29, 'heel_sts': 29, 'pickup': 15}],
['generated control 1', [24, '30', 0, 1], {'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['generated control 2', [24, '36', 10, 4], {'cast_on': 76, 'flap_rows': 38, 'heel_sts': 38, 'pickup': 20}],
['generated control 3', [20, '30', 0, 2], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| standard sock | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 33} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Failed |
| no ease | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 29} | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15} | Failed |
| wide foot | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 41} | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21} | Failed |
| regression: gusset pick-up | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 35} | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18} | Failed |
| repair check: gusset pick-up | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 38} | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19} | Failed |
| generated control 1 | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 31} | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16} | Failed |
| generated control 2 | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 33} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Failed |
| generated control 3 | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 32} | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16} | Failed |
SHA-256 / 1e35c279fd9b422e5b58229f89679e9f0109e72091eccfd9aa66c1b50a05826d
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(foot_circ, sts_per_10cm, neg_ease_pct, multiple):
raw = Fraction(str(foot_circ)) * (1 - Fraction(str(neg_ease_pct)) / 100) * Fraction(sts_per_10cm) / 10
cast = multiple * math.floor(raw / multiple + Fraction(1, 2))
heel = cast // 2
flap = heel
pickup = flap // 2 + 1
return {'cast_on': cast, 'heel_sts': heel, 'flap_rows': flap, 'pickup': pickup}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [24, '28', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 1', [21.5, '30', 5, 1], {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 2', [25.5, '28', 12.5, 4],
{'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [22, '30', 5, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [23, '32', 0, 3],
{'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['repair check: gusset pick-up', [24, '36', 5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [23, '36', 10, 1], {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19}],
['generated control 2', [23, '28', 0, 2], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['generated control 3', [21.5, '32', 0, 2],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}]],
[['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['regression: gusset pick-up', [25.5, '32', 12.5, 4],
{'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['repair check: gusset pick-up', [25.5, '36', 12.5, 3],
{'cast_on': 81, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['generated control 1', [25.5, '36', 10, 1],
{'cast_on': 83, 'flap_rows': 41, 'heel_sts': 41, 'pickup': 21}],
['generated control 2', [20, '28', 12.5, 4],
{'cast_on': 48, 'flap_rows': 24, 'heel_sts': 24, 'pickup': 13}],
['generated control 3', [25.5, '36', 5, 4],
{'cast_on': 88, 'flap_rows': 44, 'heel_sts': 44, 'pickup': 23}]],
[['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['regression: gusset pick-up', [25.5, '30', 12.5, 1],
{'cast_on': 67, 'flap_rows': 33, 'heel_sts': 33, 'pickup': 17}],
['repair check: gusset pick-up', [22, '32', 12.5, 4],
{'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}],
['generated control 1', [24, '32', 10, 3], {'cast_on': 69, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['generated control 2', [22, '28', 0, 3], {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16}],
['generated control 3', [22, '30', 10, 3], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]],
[['no ease', [20, '28', 0, 2], {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15}],
['wide foot', [25.5, '36', 12.5, 4], {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21}],
['standard sock', [22, '32', 10, 4], {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17}],
['regression: gusset pick-up', [25.5, '28', 5, 4],
{'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18}],
['repair check: gusset pick-up', [22, '28', 5, 1],
{'cast_on': 59, 'flap_rows': 29, 'heel_sts': 29, 'pickup': 15}],
['generated control 1', [24, '30', 0, 1], {'cast_on': 72, 'flap_rows': 36, 'heel_sts': 36, 'pickup': 19}],
['generated control 2', [24, '36', 10, 4], {'cast_on': 76, 'flap_rows': 38, 'heel_sts': 38, 'pickup': 20}],
['generated control 3', [20, '30', 0, 2], {'cast_on': 60, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16}]]]
for label, args, expected in fixtures[N - 1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| standard sock | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Passed |
| no ease | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15} | {'cast_on': 56, 'flap_rows': 28, 'heel_sts': 28, 'pickup': 15} | Passed |
| wide foot | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21} | {'cast_on': 80, 'flap_rows': 40, 'heel_sts': 40, 'pickup': 21} | Passed |
| regression: gusset pick-up | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18} | {'cast_on': 68, 'flap_rows': 34, 'heel_sts': 34, 'pickup': 18} | Passed |
| repair check: gusset pick-up | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19} | {'cast_on': 75, 'flap_rows': 37, 'heel_sts': 37, 'pickup': 19} | Passed |
| generated control 1 | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16} | {'cast_on': 61, 'flap_rows': 30, 'heel_sts': 30, 'pickup': 16} | Passed |
| generated control 2 | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | {'cast_on': 64, 'flap_rows': 32, 'heel_sts': 32, 'pickup': 17} | Passed |
| generated control 3 | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16} | {'cast_on': 63, 'flap_rows': 31, 'heel_sts': 31, 'pickup': 16} | Passed |
SHA-256 / 0c9829b298fba24ec0f2fad5abd36e9cf9c7ddc868ff0d2efd71d24609ddf75a
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:52:36.050562+00:00.
Case digest / fca807654758f1c90cc93cd1bbbfd8fede7b71489f0de670fb2c2f22e23082fd