FAILURE MAP
← Case archive

FA-97366 / Knitting and sewing pattern grading / Open access

Evenly spaced increase row: flat segment count · case 01

A flat row ends with an increase in the selvedge stitch.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Flat rows use one segment per increase, placing the last increase at the edge.

THE FAILURE

Flat rows use one segment per increase, placing the last increase at the edge.

Unsuccessful approach: Always adding a segment leaves rounds one increase short.

Case contract

Distribute increases (m1) evenly over stitches. Flat rows use increases+1 segments with no increase at the edges; rounds use `increases` segments each followed by m1. Segment length is stitches // segments; the remainder adds one stitch to segments in order: rounds from the start, flat rows alternating from the outside in (first, last, second, second-last...). Segments must hold at least one stitch, else "error: too many increases". 0 increases -> "k<n>"; negative counts or no stitches -> "error: counts". Output "k4, m1, k5, ...".

Why this case matters

Yoke, cuff-to-body and hem transitions ask knitters to increase evenly across a row.

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(stitches, increases, flat):
    if stitches <= 0 or increases < 0:
        return 'error: counts'
    if increases == 0:
        return 'k%d' % stitches
    segs = increases
    if segs > stitches:
        return 'error: too many increases'
    base, extra = divmod(stitches, segs)
    lens = [base] * segs
    if flat:
        order = []
        i, j = 0, segs - 1
        while i <= j:
            order.append(i)
            if i != j:
                order.append(j)
            i += 1
            j -= 1
    else:
        order = list(range(segs))
    for idx in order[:extra]:
        lens[idx] += 1
    parts = []
    for n in lens:
        parts.append('k%d' % n)
        parts.append('m1')
    if flat:
        parts.pop()
    return ', '.join(parts)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['no increases', [17, 0, True], 'k17'],
  ['regression: flat segment count', [48, 10, True],
   'k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5'],
  ['repair check: flat segment count', [48, 8, False],
   'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1'],
  ['generated control 1', [9, 10, True], 'error: too many increases'],
  ['generated control 2', [72, 71, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['generated control 3', [9, 1, True], 'k5, m1, k4']],
 [['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['no increases', [17, 0, True], 'k17'],
  ['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['regression: flat segment count', [23, 9, True],
   'k3, m1, k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k3'],
  ['repair check: flat segment count', [9, 9, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'],
  ['generated control 2', [72, 10, True],
   'k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],
  ['generated control 3', [6, 4, True], 'k2, m1, k1, m1, k1, m1, k1, m1, k1']],
 [['no increases', [17, 0, True], 'k17'],
  ['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['regression: flat segment count', [61, 4, True], 'k13, m1, k12, m1, k12, m1, k12, m1, k12'],
  ['repair check: flat segment count', [17, 10, False],
   'k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [9, 10, True], 'error: too many increases'],
  ['generated control 2', [40, 1, False], 'k40, m1'],
  ['generated control 3', [48, 10, False],
   'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1']],
 [['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['regression: flat segment count', [61, 60, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['repair check: flat segment count', [40, 40, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1'],
  ['generated control 1', [6, 8, True], 'error: too many increases'],
  ['generated control 2', [6, 8, False], 'error: too many increases'],
  ['generated control 3', [17, 8, False], 'k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1']],
 [['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['regression: flat segment count', [9, 2, True], 'k3, m1, k3, m1, k3'],
  ['repair check: flat segment count', [48, 48, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [6, 1, True], 'k3, m1, k3'],
  ['generated control 2', [6, 5, False], 'k2, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 3', [48, 8, True],
   'k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k6']]]
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 fixtureActualExpectedOutcome
round even splitk5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1Passed
flat with remainderk8, m1, k7, m1, k8k6, m1, k6, m1, k5, m1, k6Failed
no increasesk17k17Passed
regression: flat segment countk5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k5, m1, k5, m1, k5, m1, k5k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5Failed
repair check: flat segment countk6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1Passed
generated control 1error: too many increaseserror: too many increasesPassed
generated control 2k2, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1Failed
generated control 3k9k5, m1, k4Failed

SHA-256 / f92b74176c016af2b3ac7510629a643ce73153c3c9e8ca34cc5071dd0fe04425

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(stitches, increases, flat):
    if stitches <= 0 or increases < 0:
        return 'error: counts'
    if increases == 0:
        return 'k%d' % stitches
    segs = increases + 1
    if segs > stitches:
        return 'error: too many increases'
    base, extra = divmod(stitches, segs)
    lens = [base] * segs
    if flat:
        order = []
        i, j = 0, segs - 1
        while i <= j:
            order.append(i)
            if i != j:
                order.append(j)
            i += 1
            j -= 1
    else:
        order = list(range(segs))
    for idx in order[:extra]:
        lens[idx] += 1
    parts = []
    for n in lens:
        parts.append('k%d' % n)
        parts.append('m1')
    if flat:
        parts.pop()
    return ', '.join(parts)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['no increases', [17, 0, True], 'k17'],
  ['regression: flat segment count', [48, 10, True],
   'k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5'],
  ['repair check: flat segment count', [48, 8, False],
   'k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1'],
  ['generated control 1', [9, 10, True], 'error: too many increases'],
  ['generated control 2', [72, 71, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['generated control 3', [9, 1, True], 'k5, m1, k4']],
 [['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['no increases', [17, 0, True], 'k17'],
  ['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['regression: flat segment count', [23, 9, True],
   'k3, m1, k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k3'],
  ['repair check: flat segment count', [9, 9, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [61, 2, False], 'k31, m1, k30, m1'],
  ['generated control 2', [72, 10, True],
   'k7, m1, k7, m1, k7, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k7, m1, k7, m1, k7'],
  ['generated control 3', [6, 4, True], 'k2, m1, k1, m1, k1, m1, k1, m1, k1']],
 [['no increases', [17, 0, True], 'k17'],
  ['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['regression: flat segment count', [61, 4, True], 'k13, m1, k12, m1, k12, m1, k12, m1, k12'],
  ['repair check: flat segment count', [17, 10, False],
   'k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [9, 10, True], 'error: too many increases'],
  ['generated control 2', [40, 1, False], 'k40, m1'],
  ['generated control 3', [48, 10, False],
   'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1']],
 [['flat maximum', [10, 9, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['regression: flat segment count', [61, 60, True],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1'],
  ['repair check: flat segment count', [40, 40, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1'],
  ['generated control 1', [6, 8, True], 'error: too many increases'],
  ['generated control 2', [6, 8, False], 'error: too many increases'],
  ['generated control 3', [17, 8, False], 'k3, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1, k2, m1']],
 [['flat over maximum', [10, 10, True], 'error: too many increases'],
  ['round even split', [40, 8, False], 'k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1'],
  ['flat with remainder', [23, 3, True], 'k6, m1, k6, m1, k5, m1, k6'],
  ['regression: flat segment count', [9, 2, True], 'k3, m1, k3, m1, k3'],
  ['repair check: flat segment count', [48, 48, False],
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, '
   'k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 1', [6, 1, True], 'k3, m1, k3'],
  ['generated control 2', [6, 5, False], 'k2, m1, k1, m1, k1, m1, k1, m1, k1, m1'],
  ['generated control 3', [48, 8, True],
   'k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k6']]]
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 fixtureActualExpectedOutcome
round even splitk5, m1, k5, m1, k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1Failed
flat with remainderk6, m1, k6, m1, k5, m1, k6k6, m1, k6, m1, k5, m1, k6Passed
no increasesk17k17Passed
regression: flat segment countk5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5k5, m1, k5, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k4, m1, k5, m1, k5Passed
repair check: flat segment countk6, m1, k6, m1, k6, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1, k5, m1k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1, k6, m1Failed
generated control 1error: too many increaseserror: too many increasesPassed
generated control 2k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1, m1, k1Passed
generated control 3k5, m1, k4k5, m1, k4Passed

SHA-256 / 91e57feb09842a69c7f4f75ad3fc99a67c3aef893b8dd4e1e3042528cdea0c58

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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:31.469562+00:00.

Case digest / 349d919105aa82140d95cb48965f9c9f91fe850a184ea688c77edc9b8540c0e4