FA-80041 / Typography line breaking / Open access
Box-glue-penalty breakpoints: infinite penalty inhibition · case 01
Lines break at penalties meant to forbid breaking.
ROOT CAUSE
The inhibition test uses <= 10000, making the infinite penalty a legal break.
VERIFIED REPAIR
Treat cost 10000 as never breakable.
Unsuccessful approach: Lowering the bound to 1000 forbids ordinary high-cost 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 = [[('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 5], ['p', 0, 10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2]], 12], [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2]], 11], [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']]), ('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', 2], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 6], ['g', 2]], 6], [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']]), ('control layout', [[['b', 7], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 2], ['b', 1], ['g', 2]], 15], [[11, 'glue'], [13, 'forced'], [3, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['g', 2], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 4], ['g', 1]], 16], [[15, 'penalty'], [12, 'glue'], [10, 'glue'], [16, 'glue']]), ('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 7], ['g', 1], ['b', 2], ['g', 1]], 7], [[7, 'penalty'], [4, 'glue'], [6, 'glue'], [15, 'glue'], [7, 'glue'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 0, 9999, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1]], 7], [[5, 'glue'], [7, 'penalty'], [6, 'penalty'], [7, 'end']]), ('partial-repair probe', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2]], 6], [[8, 'penalty'], [2, 'glue'], [6, 'glue'], [3, 'penalty'], [5, 'penalty'], [2, 'glue'], [6, 'glue']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 7], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2]], 17], [[9, 'glue'], [15, 'forced'], [14, 'glue'], [10, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 5], ['g', 1], ['b', 7], ['g', 2], ['b', 2], ['g', 2]], 10], [[4, 'glue'], [5, 'glue'], [7, 'glue'], [4, 'end']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 2], ['b', 4], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2]], 18], [[15, 'forced'], [13, 'forced'], [14, 'penalty'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['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']]), ('regression: infinite penalty inhibition', [[['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 5], ['g', 2]], 13], [[15, 'penalty'], [6, 'glue'], [9, 'glue'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 2]], 11], [[10, 'penalty'], [7, 'glue'], [7, 'penalty'], [7, 'glue'], [10, 'forced'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2]], 16], [[12, 'glue'], [14, 'glue'], [16, 'glue']]), ('control layout', [[['b', 3], ['g', 1], ['b', 2], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 6], [[6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [8, 'penalty'], [6, 'forced']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 18], [[11, 'penalty'], [12, 'end']]), ('partial-repair probe', [[['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['g', 1], ['b', 2], ['g', 2]], 6], [[7, 'penalty'], [5, 'penalty'], [3, 'penalty'], [7, 'glue'], [3, 'penalty'], [6, 'glue'], [4, 'glue'], [4, 'end']]), ('partial-repair probe', [[['b', 1], ['g', 1], ['b', 2], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 1], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 1]], 17], [[7, 'forced'], [11, 'forced'], [10, 'penalty'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 18], [[16, 'glue'], [11, 'end']]), ('control layout', [[['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2]], 6], [[7, 'forced'], [3, 'glue'], [7, 'penalty'], [6, 'penalty']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 4], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 8], [[4, 'glue'], [8, 'glue'], [4, 'glue'], [9, 'glue'], [6, 'glue'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 7], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 1]], 9], [[6, 'penalty'], [6, 'glue'], [7, 'glue'], [7, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 6], [[3, 'glue'], [2, 'forced'], [1, 'glue'], [6, 'glue'], [4, 'forced'], [5, 'penalty'], [6, 'glue']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [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', 2], ['b', 6], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 4], ['g', 2], ['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 3], ['g', 1], ['b', 1], ['g', 1], ['b', 7], ['g', 1], ['g', 1]], 14], [[12, 'glue'], [9, 'glue'], [7, 'forced'], [10, 'glue'], [9, 'end']]), ('control layout', [[['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 1], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [10, 'glue'], [6, 'glue'], [12, 'glue'], [9, 'forced']])]]
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 |
|---|---|---|---|
| inhibited penalty | [[5, 'penalty'], [4, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Failed |
| regression: infinite penalty inhibition | [[10, 'forced'], [6, 'penalty'], [12, 'penalty'], [12, 'glue']] | [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']] | Failed |
| partial-repair probe | [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']] | [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']] | Passed |
| regression: infinite penalty inhibition | [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [7, 'penalty'], [5, 'end']] | [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']] | Failed |
| forced break | [[5, 'forced'], [3, 'end']] | [[5, 'forced'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | Passed |
| control layout | [[11, 'glue'], [13, 'forced'], [3, 'end']] | [[11, 'glue'], [13, 'forced'], [3, 'end']] | Passed |
SHA-256 / 0a7e17958208f95be926e5bb02df9dc69557a677f2a35b3d32a4241e347343c0
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] <= -10000:
result = (i, total + it[1], 'forced')
break
if it[2] < 1000:
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 = [[('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 5], ['p', 0, 10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2]], 12], [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2]], 11], [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']]), ('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', 2], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 6], ['g', 2]], 6], [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']]), ('control layout', [[['b', 7], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 2], ['b', 1], ['g', 2]], 15], [[11, 'glue'], [13, 'forced'], [3, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['g', 2], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 4], ['g', 1]], 16], [[15, 'penalty'], [12, 'glue'], [10, 'glue'], [16, 'glue']]), ('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 7], ['g', 1], ['b', 2], ['g', 1]], 7], [[7, 'penalty'], [4, 'glue'], [6, 'glue'], [15, 'glue'], [7, 'glue'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 0, 9999, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1]], 7], [[5, 'glue'], [7, 'penalty'], [6, 'penalty'], [7, 'end']]), ('partial-repair probe', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2]], 6], [[8, 'penalty'], [2, 'glue'], [6, 'glue'], [3, 'penalty'], [5, 'penalty'], [2, 'glue'], [6, 'glue']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 7], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2]], 17], [[9, 'glue'], [15, 'forced'], [14, 'glue'], [10, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 5], ['g', 1], ['b', 7], ['g', 2], ['b', 2], ['g', 2]], 10], [[4, 'glue'], [5, 'glue'], [7, 'glue'], [4, 'end']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 2], ['b', 4], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2]], 18], [[15, 'forced'], [13, 'forced'], [14, 'penalty'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['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']]), ('regression: infinite penalty inhibition', [[['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 5], ['g', 2]], 13], [[15, 'penalty'], [6, 'glue'], [9, 'glue'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 2]], 11], [[10, 'penalty'], [7, 'glue'], [7, 'penalty'], [7, 'glue'], [10, 'forced'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2]], 16], [[12, 'glue'], [14, 'glue'], [16, 'glue']]), ('control layout', [[['b', 3], ['g', 1], ['b', 2], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 6], [[6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [8, 'penalty'], [6, 'forced']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 18], [[11, 'penalty'], [12, 'end']]), ('partial-repair probe', [[['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['g', 1], ['b', 2], ['g', 2]], 6], [[7, 'penalty'], [5, 'penalty'], [3, 'penalty'], [7, 'glue'], [3, 'penalty'], [6, 'glue'], [4, 'glue'], [4, 'end']]), ('partial-repair probe', [[['b', 1], ['g', 1], ['b', 2], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 1], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 1]], 17], [[7, 'forced'], [11, 'forced'], [10, 'penalty'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 18], [[16, 'glue'], [11, 'end']]), ('control layout', [[['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2]], 6], [[7, 'forced'], [3, 'glue'], [7, 'penalty'], [6, 'penalty']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 4], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 8], [[4, 'glue'], [8, 'glue'], [4, 'glue'], [9, 'glue'], [6, 'glue'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 7], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 1]], 9], [[6, 'penalty'], [6, 'glue'], [7, 'glue'], [7, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 6], [[3, 'glue'], [2, 'forced'], [1, 'glue'], [6, 'glue'], [4, 'forced'], [5, 'penalty'], [6, 'glue']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [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', 2], ['b', 6], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 4], ['g', 2], ['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 3], ['g', 1], ['b', 1], ['g', 1], ['b', 7], ['g', 1], ['g', 1]], 14], [[12, 'glue'], [9, 'glue'], [7, 'forced'], [10, 'glue'], [9, 'end']]), ('control layout', [[['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 1], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [10, 'glue'], [6, 'glue'], [12, 'glue'], [9, 'forced']])]]
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 |
|---|---|---|---|
| inhibited penalty | [[9, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Passed |
| regression: infinite penalty inhibition | [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']] | [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']] | Passed |
| partial-repair probe | [[12, 'glue'], [10, 'forced'], [9, 'glue'], [9, 'end']] | [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']] | Failed |
| regression: infinite penalty inhibition | [[14, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']] | [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']] | Failed |
| forced break | [[5, 'forced'], [3, 'end']] | [[5, 'forced'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | Passed |
| control layout | [[11, 'glue'], [13, 'forced'], [3, 'end']] | [[11, 'glue'], [13, 'forced'], [3, 'end']] | Passed |
SHA-256 / 801108d1b3126523edc5539f73571e2c79011b94548fe2b1a916a413e5b0c752
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 = [[('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1], ['b', 5], ['p', 0, 10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 1], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2]], 12], [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 7], ['g', 1], ['b', 4], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['g', 2]], 11], [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']]), ('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', 2], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 5], ['g', 2], ['b', 4], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 6], ['g', 2]], 6], [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']]), ('control layout', [[['b', 7], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 2], ['b', 1], ['g', 2]], 15], [[11, 'glue'], [13, 'forced'], [3, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['g', 2], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['b', 4], ['g', 2], ['b', 6], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['p', 0, -5000, False], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 4], ['g', 1]], 16], [[15, 'penalty'], [12, 'glue'], [10, 'glue'], [16, 'glue']]), ('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 1], ['b', 1], ['g', 2], ['b', 6], ['g', 2], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 7], ['g', 1], ['b', 7], ['g', 1], ['b', 2], ['g', 1]], 7], [[7, 'penalty'], [4, 'glue'], [6, 'glue'], [15, 'glue'], [7, 'glue'], [3, 'end']]), ('partial-repair probe', [[['b', 5], ['g', 1], ['b', 6], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 2], ['p', 0, 9999, False], ['g', 2], ['b', 5], ['g', 1], ['g', 1]], 7], [[5, 'glue'], [7, 'penalty'], [6, 'penalty'], [7, 'end']]), ('partial-repair probe', [[['b', 7], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 4], ['p', 1, 50, True], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 1], ['b', 6], ['g', 2]], 6], [[8, 'penalty'], [2, 'glue'], [6, 'glue'], [3, 'penalty'], [5, 'penalty'], [2, 'glue'], [6, 'glue']]), ('hyphen penalty taken', [[['b', 5], ['p', 1, 50, True], ['b', 4], ['g', 1], ['b', 3]], 7], [[6, 'penalty'], [4, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 7], ['p', 0, -5000, False], ['p', 1, 50, True], ['g', 1], ['b', 2], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 2]], 17], [[9, 'glue'], [15, 'forced'], [14, 'glue'], [10, 'end']]), ('control layout', [[['b', 4], ['g', 2], ['b', 5], ['g', 1], ['b', 7], ['g', 2], ['b', 2], ['g', 2]], 10], [[4, 'glue'], [5, 'glue'], [7, 'glue'], [4, 'end']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 2], ['b', 4], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 1], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 2]], 18], [[15, 'forced'], [13, 'forced'], [14, 'penalty'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['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']]), ('regression: infinite penalty inhibition', [[['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 3], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 5], ['g', 2]], 13], [[15, 'penalty'], [6, 'glue'], [9, 'glue'], [7, 'end']]), ('partial-repair probe', [[['b', 2], ['g', 1], ['b', 4], ['g', 1], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['g', 2], ['b', 6], ['p', 0, 10000, False], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['g', 1], ['b', 7], ['p', 0, 10000, False], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['p', 1, 50, True], ['g', 1], ['b', 1], ['p', 1, 50, True], ['g', 2], ['b', 3], ['g', 2]], 11], [[10, 'penalty'], [7, 'glue'], [7, 'penalty'], [7, 'glue'], [10, 'forced'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 3], ['g', 2], ['b', 2], ['g', 2], ['b', 6], ['g', 1], ['b', 4], ['g', 2], ['b', 3], ['g', 2]], 16], [[12, 'glue'], [14, 'glue'], [16, 'glue']]), ('control layout', [[['b', 3], ['g', 1], ['b', 2], ['g', 1], ['g', 1], ['b', 2], ['g', 1], ['b', 1], ['g', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 6], [[6, 'glue'], [4, 'glue'], [6, 'glue'], [5, 'end']])], [('regression: infinite penalty inhibition', [[['b', 6], ['p', 1, 50, True], ['g', 2], ['b', 2], ['g', 2], ['b', 2], ['g', 1], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 1], ['p', 0, 10000, False], ['g', 2], ['b', 3], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [8, 'penalty'], [6, 'forced']]), ('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 6], ['p', 0, 10000, False], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2]], 18], [[11, 'penalty'], [12, 'end']]), ('partial-repair probe', [[['b', 6], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 5], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 2], ['p', 1, 50, True], ['g', 1], ['b', 7], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 1], ['b', 6], ['g', 2], ['b', 4], ['g', 1], ['b', 2], ['g', 2]], 6], [[7, 'penalty'], [5, 'penalty'], [3, 'penalty'], [7, 'glue'], [3, 'penalty'], [6, 'glue'], [4, 'glue'], [4, 'end']]), ('partial-repair probe', [[['b', 1], ['g', 1], ['b', 2], ['g', 2], ['b', 1], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['p', 0, 900, False], ['g', 1], ['g', 1], ['b', 6], ['p', 0, -10000, False], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 1], ['b', 1], ['p', 0, 9999, False], ['g', 2], ['b', 7], ['p', 0, 9999, False], ['g', 1]], 17], [[7, 'forced'], [11, 'forced'], [10, 'penalty'], [8, 'end']]), ('inhibited penalty', [[['b', 5], ['p', 0, 10000, False], ['b', 4], ['g', 1], ['b', 3]], 7], [[9, 'glue'], [3, 'end']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [3, 'end']]), ('control layout', [[['b', 3], ['g', 2], ['b', 6], ['g', 1], ['g', 1], ['b', 3], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1], ['b', 5], ['g', 2]], 18], [[16, 'glue'], [11, 'end']]), ('control layout', [[['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 3], ['g', 2], ['b', 6], ['p', 1, 50, True], ['g', 1], ['b', 5], ['p', 1, 50, True], ['g', 2]], 6], [[7, 'forced'], [3, 'glue'], [7, 'penalty'], [6, 'penalty']])], [('regression: infinite penalty inhibition', [[['b', 4], ['g', 1], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 4], ['g', 1], ['g', 1], ['b', 4], ['g', 1], ['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 6], ['g', 1], ['b', 3], ['g', 2]], 8], [[4, 'glue'], [8, 'glue'], [4, 'glue'], [9, 'glue'], [6, 'glue'], [5, 'end']]), ('regression: infinite penalty inhibition', [[['b', 5], ['p', 1, 50, True], ['g', 2], ['b', 2], ['p', 0, 10000, False], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['g', 1], ['b', 3], ['g', 1], ['g', 1], ['b', 7], ['p', 0, -5000, False], ['g', 1], ['g', 1], ['b', 3], ['g', 1]], 9], [[6, 'penalty'], [6, 'glue'], [7, 'glue'], [7, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 7], ['g', 2], ['b', 4], ['p', 1, 50, True], ['g', 1], ['g', 1], ['b', 4], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['g', 2], ['b', 2], ['g', 1], ['b', 3], ['p', 0, 9999, False], ['g', 2], ['b', 3], ['p', 1, 50, True], ['g', 1]], 14], [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']]), ('partial-repair probe', [[['b', 3], ['g', 2], ['b', 2], ['p', 0, -10000, False], ['g', 1], ['g', 1], ['b', 1], ['g', 1], ['b', 6], ['g', 2], ['b', 1], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['g', 2], ['b', 5], ['p', 0, 9999, False], ['g', 2], ['b', 1], ['g', 1], ['b', 4], ['g', 1], ['g', 1]], 6], [[3, 'glue'], [2, 'forced'], [1, 'glue'], [6, 'glue'], [4, 'forced'], [5, 'penalty'], [6, 'glue']]), ('forced break', [[['b', 2], ['g', 1], ['b', 2], ['p', 0, -10000, False], ['b', 3]], 20], [[5, 'forced'], [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', 2], ['b', 6], ['g', 1], ['b', 3], ['p', 1, 50, True], ['g', 2], ['b', 4], ['g', 2], ['b', 7], ['p', 0, -10000, False], ['g', 1], ['b', 4], ['g', 1], ['b', 3], ['g', 1], ['b', 1], ['g', 1], ['b', 7], ['g', 1], ['g', 1]], 14], [[12, 'glue'], [9, 'glue'], [7, 'forced'], [10, 'glue'], [9, 'end']]), ('control layout', [[['b', 4], ['p', 0, 10000, False], ['g', 1], ['b', 5], ['g', 1], ['b', 5], ['g', 1], ['g', 1], ['b', 3], ['g', 1], ['b', 6], ['g', 1], ['b', 7], ['g', 2], ['b', 3], ['g', 1], ['b', 7], ['g', 1], ['b', 1], ['p', 0, -10000, False], ['g', 1]], 12], [[10, 'glue'], [10, 'glue'], [6, 'glue'], [12, 'glue'], [9, 'forced']])]]
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 |
|---|---|---|---|
| inhibited penalty | [[9, 'glue'], [3, 'end']] | [[9, 'glue'], [3, 'end']] | Passed |
| regression: infinite penalty inhibition | [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']] | [[10, 'forced'], [13, 'glue'], [9, 'glue'], [9, 'end']] | Passed |
| partial-repair probe | [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']] | [[12, 'glue'], [10, 'forced'], [13, 'penalty'], [4, 'end']] | Passed |
| regression: infinite penalty inhibition | [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']] | [[5, 'penalty'], [7, 'glue'], [11, 'glue'], [6, 'glue'], [12, 'glue']] | Passed |
| forced break | [[5, 'forced'], [3, 'end']] | [[5, 'forced'], [3, 'end']] | Passed |
| hyphen penalty taken | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | [[6, 'penalty'], [4, 'glue'], [3, 'end']] | Passed |
| control layout | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | [[2, 'glue'], [7, 'penalty'], [2, 'glue'], [5, 'glue'], [4, 'forced'], [6, 'glue'], [6, 'glue']] | Passed |
| control layout | [[11, 'glue'], [13, 'forced'], [3, 'end']] | [[11, 'glue'], [13, 'forced'], [3, 'end']] | Passed |
SHA-256 / f12a4f57ff2241b84f6e857989f31a15a1e6b3580b0c532bc830f66e107b1d51
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.228684+00:00.
Case digest / c6c0b55553d808103742edc7d8208b8dd367fdf14882a2a68ae8f2b8f56671bf