FA-80046 / Typography line breaking / Open access
Box-glue-penalty breakpoints: forced break threshold · case 01
Explicit forced breaks are ignored.
ROOT CAUSE
The forced test uses < -10000 so the canonical -10000 does not force.
VERIFIED REPAIR
Force a break for cost <= -10000.
Unsuccessful approach: Forcing at -1000 turns strong encouragements into forced breaks.
Case contract
Input [items, width]; items are ["b",w], ["g",w] or ["p",w,cost,flag]. Legal breaks: glue immediately after a box; penalty with cost < 10000 (width counted only if broken there); cost <= -10000 forces a break. Discardable glue/penalties at a line start are dropped. First-fit: when the running width exceeds the measure, break at the last legal breakpoint. Return [[line width, break kind]] with kinds glue/penalty/forced/end.
Why this case matters
Line breaking decides where paragraphs wrap on screen and in print; a wrong decision point shifts every following line.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
items, width = x
lines = []
start = 0
n = len(items)
while start < n:
while start < n and items[start][0] != 'b':
start += 1
if start >= n:
break
total = 0
last = None
result = None
i = start
while i < n:
it = items[i]
if it[0] == 'p':
if it[2] < -10000:
result = (i, total + it[1], 'forced')
break
if it[2] < 10000:
last = (i, total + it[1], 'penalty')
elif it[0] == 'g':
if items[i - 1][0] == 'b':
last = (i, total, 'glue')
total += it[1]
else:
total += it[1]
if total > width and last is not None:
result = last
break
i += 1
if result is None:
lines.append([total, 'end'])
break
lines.append([result[1], result[2]])
start = result[0] + 1
return lines
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('regression: forced break threshold', [[['b', 2], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 5], ['p', 0, 900, False], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 17], [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('regression: forced break threshold', [[['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 0, 9999, False], ['g', 1], ['b', 2], ['g', 2]], 18], [[12, 'forced'], [12, 'glue'], [11, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 8], [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['g', 1], ['b', 3], ['g', 1], ['g', 1]], 8], [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: forced break threshold', [[['b', 1], ['p', 0, -5000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 10], [[9, 'glue'], [9, 'forced'], [5, 'penalty'], [7, 'glue'], [5, 'glue'], [6, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1]], 11], [[11, 'glue'], [2, 'forced'], [10, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['g', 2], ['b', 5], ['g', 2]], 15], [[12, 'glue'], [14, 'penalty'], [10, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 2]], 18], [[6, 'glue'], [14, 'glue'], [12, 'end']]), ('control layout', [[['b', 7], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 16], [[17, 'penalty'], [5, 'end']])], [('regression: forced break threshold', [[['b', 6], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['g', 1], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2]], 16], [[13, 'glue'], [15, 'glue'], [12, 'forced'], [6, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['g', 2]], 18], [[12, 'forced'], [17, 'end']]), ('partial-repair probe', [[['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 2], ['g', 1]], 6], [[1, 'penalty'], [7, 'glue'], [1, 'glue'], [7, 'penalty'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 7], ['g', 2], ['b', 5], ['p', 0, 10000, False], ['g', 2]], 6], [[5, 'glue'], [5, 'glue'], [4, 'glue'], [3, 'glue'], [6, 'glue'], [6, 'glue'], [2, 'penalty'], [7, 'glue'], [7, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 7], ['g', 2], ['b', 2], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['g', 1]], 15], [[16, 'penalty'], [10, 'glue'], [14, 'glue'], [4, 'end']]), ('control layout', [[['b', 3], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['g', 2]], 14], [[12, 'penalty'], [6, 'glue'], [9, 'glue'], [8, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 0, -10000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 16], [[7, 'forced'], [15, 'glue'], [10, 'end']]), ('regression: forced break threshold', [[['b', 6], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 2]], 7], [[6, 'glue'], [7, 'forced'], [3, 'glue'], [7, 'penalty']]), ('regression: forced break threshold', [[['b', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['p', 0, 9999, False], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 7], [[7, 'glue'], [4, 'glue'], [6, 'glue'], [1, 'forced'], [7, 'glue'], [4, 'penalty'], [6, 'penalty'], [5, 'end']]), ('partial-repair probe', [[['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 5], ['g', 2]], 7], [[7, 'penalty'], [5, 'glue'], [7, 'penalty'], [7, 'glue'], [4, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 4], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 2], ['g', 2]], 12], [[12, 'glue'], [9, 'glue'], [12, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 2], ['b', 5], ['g', 2], ['b', 5], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 2], ['b', 2], ['g', 2], ['b', 5], ['g', 2]], 8], [[6, 'glue'], [8, 'glue'], [5, 'glue'], [5, 'glue'], [7, 'glue'], [7, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 1]], 15], [[15, 'glue'], [5, 'forced'], [8, 'glue'], [13, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1]], 8], [[3, 'penalty'], [8, 'glue'], [8, 'glue'], [7, 'penalty'], [9, 'penalty'], [6, 'forced'], [2, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1]], 12], [[9, 'forced'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2]], 6], [[2, 'glue'], [6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'penalty'], [4, 'penalty'], [6, 'glue'], [5, 'glue'], [6, 'penalty']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['g', 1]], 16], [[13, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 2]], 18], [[16, 'penalty'], [14, 'glue'], [17, 'end']])]]
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 |
|---|---|---|---|
| forced break | [[8, 'end']] | [[5, 'forced'], [3, 'end']] | Failed |
| regression: forced break threshold | [[10, 'glue'], [11, 'glue'], [15, 'penalty'], [6, 'end']] | [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']] | Failed |
| partial-repair probe | [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']] | [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']] | Passed |
| regression: forced break threshold | [[12, 'penalty'], [12, 'glue'], [11, 'end']] | [[12, 'forced'], [12, 'glue'], [11, 'end']] | Failed |
| inhibited penalty | [[9, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | Passed |
| control layout | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | Passed |
SHA-256 / f9fd12b0eb097914d87be6dc98631b11f0e08d28bec429e25ba62499b39d43c4
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
items, width = x
lines = []
start = 0
n = len(items)
while start < n:
while start < n and items[start][0] != 'b':
start += 1
if start >= n:
break
total = 0
last = None
result = None
i = start
while i < n:
it = items[i]
if it[0] == 'p':
if it[2] <= -1000:
result = (i, total + it[1], 'forced')
break
if it[2] < 10000:
last = (i, total + it[1], 'penalty')
elif it[0] == 'g':
if items[i - 1][0] == 'b':
last = (i, total, 'glue')
total += it[1]
else:
total += it[1]
if total > width and last is not None:
result = last
break
i += 1
if result is None:
lines.append([total, 'end'])
break
lines.append([result[1], result[2]])
start = result[0] + 1
return lines
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('regression: forced break threshold', [[['b', 2], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 5], ['p', 0, 900, False], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 17], [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('regression: forced break threshold', [[['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 0, 9999, False], ['g', 1], ['b', 2], ['g', 2]], 18], [[12, 'forced'], [12, 'glue'], [11, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 8], [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['g', 1], ['b', 3], ['g', 1], ['g', 1]], 8], [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: forced break threshold', [[['b', 1], ['p', 0, -5000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 10], [[9, 'glue'], [9, 'forced'], [5, 'penalty'], [7, 'glue'], [5, 'glue'], [6, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1]], 11], [[11, 'glue'], [2, 'forced'], [10, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['g', 2], ['b', 5], ['g', 2]], 15], [[12, 'glue'], [14, 'penalty'], [10, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 2]], 18], [[6, 'glue'], [14, 'glue'], [12, 'end']]), ('control layout', [[['b', 7], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 16], [[17, 'penalty'], [5, 'end']])], [('regression: forced break threshold', [[['b', 6], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['g', 1], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2]], 16], [[13, 'glue'], [15, 'glue'], [12, 'forced'], [6, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['g', 2]], 18], [[12, 'forced'], [17, 'end']]), ('partial-repair probe', [[['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 2], ['g', 1]], 6], [[1, 'penalty'], [7, 'glue'], [1, 'glue'], [7, 'penalty'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 7], ['g', 2], ['b', 5], ['p', 0, 10000, False], ['g', 2]], 6], [[5, 'glue'], [5, 'glue'], [4, 'glue'], [3, 'glue'], [6, 'glue'], [6, 'glue'], [2, 'penalty'], [7, 'glue'], [7, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 7], ['g', 2], ['b', 2], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['g', 1]], 15], [[16, 'penalty'], [10, 'glue'], [14, 'glue'], [4, 'end']]), ('control layout', [[['b', 3], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['g', 2]], 14], [[12, 'penalty'], [6, 'glue'], [9, 'glue'], [8, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 0, -10000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 16], [[7, 'forced'], [15, 'glue'], [10, 'end']]), ('regression: forced break threshold', [[['b', 6], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 2]], 7], [[6, 'glue'], [7, 'forced'], [3, 'glue'], [7, 'penalty']]), ('regression: forced break threshold', [[['b', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['p', 0, 9999, False], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 7], [[7, 'glue'], [4, 'glue'], [6, 'glue'], [1, 'forced'], [7, 'glue'], [4, 'penalty'], [6, 'penalty'], [5, 'end']]), ('partial-repair probe', [[['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 5], ['g', 2]], 7], [[7, 'penalty'], [5, 'glue'], [7, 'penalty'], [7, 'glue'], [4, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 4], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 2], ['g', 2]], 12], [[12, 'glue'], [9, 'glue'], [12, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 2], ['b', 5], ['g', 2], ['b', 5], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 2], ['b', 2], ['g', 2], ['b', 5], ['g', 2]], 8], [[6, 'glue'], [8, 'glue'], [5, 'glue'], [5, 'glue'], [7, 'glue'], [7, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 1]], 15], [[15, 'glue'], [5, 'forced'], [8, 'glue'], [13, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1]], 8], [[3, 'penalty'], [8, 'glue'], [8, 'glue'], [7, 'penalty'], [9, 'penalty'], [6, 'forced'], [2, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1]], 12], [[9, 'forced'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2]], 6], [[2, 'glue'], [6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'penalty'], [4, 'penalty'], [6, 'glue'], [5, 'glue'], [6, 'penalty']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['g', 1]], 16], [[13, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 2]], 18], [[16, 'penalty'], [14, 'glue'], [17, 'end']])]]
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 |
|---|---|---|---|
| forced break | [[5, 'forced'], [3, 'end']] | [[5, 'forced'], [3, 'end']] | Passed |
| regression: forced break threshold | [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']] | [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']] | Passed |
| partial-repair probe | [[7, 'glue'], [8, 'forced'], [4, 'glue'], [10, 'glue'], [9, 'end']] | [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']] | Failed |
| regression: forced break threshold | [[12, 'forced'], [8, 'forced'], [16, 'end']] | [[12, 'forced'], [12, 'glue'], [11, 'end']] | Failed |
| inhibited penalty | [[9, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | Passed |
| control layout | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | Passed |
SHA-256 / db1b4ed4789423038e6ad87e2f6aa285b1dd560990923b0a49e47ec4591f5e1e
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
items, width = x
lines = []
start = 0
n = len(items)
while start < n:
while start < n and items[start][0] != 'b':
start += 1
if start >= n:
break
total = 0
last = None
result = None
i = start
while i < n:
it = items[i]
if it[0] == 'p':
if it[2] <= -10000:
result = (i, total + it[1], 'forced')
break
if it[2] < 10000:
last = (i, total + it[1], 'penalty')
elif it[0] == 'g':
if items[i - 1][0] == 'b':
last = (i, total, 'glue')
total += it[1]
else:
total += it[1]
if total > width and last is not None:
result = last
break
i += 1
if result is None:
lines.append([total, 'end'])
break
lines.append([result[1], result[2]])
start = result[0] + 1
return lines
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('regression: forced break threshold', [[['b', 2], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 5], ['p', 0, 900, False], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 17], [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('regression: forced break threshold', [[['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 0, 9999, False], ['g', 1], ['b', 2], ['g', 2]], 18], [[12, 'forced'], [12, 'glue'], [11, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 8], [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['g', 1], ['b', 3], ['g', 1], ['g', 1]], 8], [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: forced break threshold', [[['b', 1], ['p', 0, -5000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 10], [[9, 'glue'], [9, 'forced'], [5, 'penalty'], [7, 'glue'], [5, 'glue'], [6, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1]], 11], [[11, 'glue'], [2, 'forced'], [10, 'end']]), ('partial-repair probe', [[['b', 7], ['g', 2], ['b', 3], ['g', 2], ['b', 3], ['p', 0, -5000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['g', 1]], 11], [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 1], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['g', 2], ['b', 5], ['g', 2]], 15], [[12, 'glue'], [14, 'penalty'], [10, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 2]], 18], [[6, 'glue'], [14, 'glue'], [12, 'end']]), ('control layout', [[['b', 7], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 1]], 16], [[17, 'penalty'], [5, 'end']])], [('regression: forced break threshold', [[['b', 6], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['g', 1], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 4], ['g', 2]], 16], [[13, 'glue'], [15, 'glue'], [12, 'forced'], [6, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['g', 2]], 18], [[12, 'forced'], [17, 'end']]), ('partial-repair probe', [[['b', 1], ['p', 0, -5000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 2], ['g', 1]], 6], [[1, 'penalty'], [7, 'glue'], [1, 'glue'], [7, 'penalty'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 7], ['g', 2], ['b', 5], ['p', 0, 10000, False], ['g', 2]], 6], [[5, 'glue'], [5, 'glue'], [4, 'glue'], [3, 'glue'], [6, 'glue'], [6, 'glue'], [2, 'penalty'], [7, 'glue'], [7, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 5], ['g', 1], ['b', 4], ['g', 2], ['b', 7], ['g', 2], ['b', 2], ['g', 2], ['b', 1], ['g', 1], ['b', 3], ['g', 1]], 15], [[16, 'penalty'], [10, 'glue'], [14, 'glue'], [4, 'end']]), ('control layout', [[['b', 3], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 6], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['g', 2]], 14], [[12, 'penalty'], [6, 'glue'], [9, 'glue'], [8, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 0, -10000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 16], [[7, 'forced'], [15, 'glue'], [10, 'end']]), ('regression: forced break threshold', [[['b', 6], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 2]], 7], [[6, 'glue'], [7, 'forced'], [3, 'glue'], [7, 'penalty']]), ('regression: forced break threshold', [[['b', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['p', 0, 9999, False], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 7], [[7, 'glue'], [4, 'glue'], [6, 'glue'], [1, 'forced'], [7, 'glue'], [4, 'penalty'], [6, 'penalty'], [5, 'end']]), ('partial-repair probe', [[['b', 2], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 5], ['g', 2]], 7], [[7, 'penalty'], [5, 'glue'], [7, 'penalty'], [7, 'glue'], [4, 'glue'], [7, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('control layout', [[['b', 4], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 2], ['g', 2]], 12], [[12, 'glue'], [9, 'glue'], [12, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 2], ['b', 5], ['g', 2], ['b', 5], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 2], ['b', 2], ['g', 2], ['b', 5], ['g', 2]], 8], [[6, 'glue'], [8, 'glue'], [5, 'glue'], [5, 'glue'], [7, 'glue'], [7, 'end']])], [('regression: forced break threshold', [[['b', 7], ['p', 1, 50, True], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 1]], 15], [[15, 'glue'], [5, 'forced'], [8, 'glue'], [13, 'glue'], [4, 'end']]), ('regression: forced break threshold', [[['b', 2], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2], ['b', 5], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 1]], 8], [[3, 'penalty'], [8, 'glue'], [8, 'glue'], [7, 'penalty'], [9, 'penalty'], [6, 'forced'], [2, 'end']]), ('regression: forced break threshold', [[['b', 6], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1]], 12], [[9, 'forced'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 6], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2]], 6], [[2, 'glue'], [6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'penalty'], [4, 'penalty'], [6, 'glue'], [5, 'glue'], [6, 'penalty']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('control layout', [[['b', 1], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 1], ['g', 2], ['b', 1], ['g', 1]], 16], [[13, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 2]], 18], [[16, 'penalty'], [14, 'glue'], [17, 'end']])]]
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 |
|---|---|---|---|
| forced break | [[5, 'forced'], [3, 'end']] | [[5, 'forced'], [3, 'end']] | Passed |
| regression: forced break threshold | [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']] | [[10, 'glue'], [11, 'glue'], [15, 'forced'], [6, 'end']] | Passed |
| partial-repair probe | [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']] | [[7, 'glue'], [8, 'penalty'], [4, 'glue'], [10, 'glue'], [9, 'end']] | Passed |
| regression: forced break threshold | [[12, 'forced'], [12, 'glue'], [11, 'end']] | [[12, 'forced'], [12, 'glue'], [11, 'end']] | Passed |
| inhibited penalty | [[9, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | [[2, 'glue'], [6, 'glue'], [4, 'penalty'], [5, 'penalty'], [5, 'end']] | Passed |
| control layout | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | [[3, 'glue'], [6, 'glue'], [6, 'glue'], [5, 'end']] | Passed |
SHA-256 / b310420b78f3d7c9c0b3beed791e7c5617e2584512d17762b92df3958d3442d6
Verification & scope
A deterministic toy typesetting model with integer widths and a stipulated rule set; it does not claim conformance to any engine. 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:49:50.254599+00:00.
Case digest / 17ab7d15b0899d7456cb926fde8af24c7c7d8367cd273d96c506a52ee7a684ae