{"abstract":"Lines break at penalties meant to forbid breaking.","category":"Typography line breaking","checks":8,"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.","contract_signature":"x","evaluation_group":"w2-typography-line-breaking-box-glue-penalty","failed_approach":"Lowering the bound to 1000 forbids ordinary high-cost breaks.","family":"w2-typography-line-breaking-box-glue-penalty-infinite-penalty-inhibition","id":"FA-80041","implementations":{"attempt":{"sha256":"801108d1b3126523edc5539f73571e2c79011b94548fe2b1a916a413e5b0c752","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    items, width = x\n    lines = []\n    start = 0\n    n = len(items)\n    while start < n:\n        while start < n and items[start][0] != 'b':\n            start += 1\n        if start >= n:\n            break\n        total = 0\n        last = None\n        result = None\n        i = start\n        while i < n:\n            it = items[i]\n            if it[0] == 'p':\n                if it[2] <= -10000:\n                    result = (i, total + it[1], 'forced')\n                    break\n                if it[2] < 1000:\n                    last = (i, total + it[1], 'penalty')\n            elif it[0] == 'g':\n                if items[i - 1][0] == 'b':\n                    last = (i, total, 'glue')\n                total += it[1]\n            else:\n                total += it[1]\n            if total > width and last is not None:\n                result = last\n                break\n            i += 1\n        if result is None:\n            lines.append([total, 'end'])\n            break\n        lines.append([result[1], result[2]])\n        start = result[0] + 1\n    return lines\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('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']])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"0a7e17958208f95be926e5bb02df9dc69557a677f2a35b3d32a4241e347343c0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    items, width = x\n    lines = []\n    start = 0\n    n = len(items)\n    while start < n:\n        while start < n and items[start][0] != 'b':\n            start += 1\n        if start >= n:\n            break\n        total = 0\n        last = None\n        result = None\n        i = start\n        while i < n:\n            it = items[i]\n            if it[0] == 'p':\n                if it[2] <= -10000:\n                    result = (i, total + it[1], 'forced')\n                    break\n                if it[2] <= 10000:\n                    last = (i, total + it[1], 'penalty')\n            elif it[0] == 'g':\n                if items[i - 1][0] == 'b':\n                    last = (i, total, 'glue')\n                total += it[1]\n            else:\n                total += it[1]\n            if total > width and last is not None:\n                result = last\n                break\n            i += 1\n        if result is None:\n            lines.append([total, 'end'])\n            break\n        lines.append([result[1], result[2]])\n        start = result[0] + 1\n    return lines\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('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']])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic toy 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-typography-line-breaking-box-glue-penalty-infinite-penalty-inhibition","generated_at":"2026-09-29T14:49:50.228684+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Line breaking decides where paragraphs wrap on screen and in print; a wrong decision point shifts every following line.","root_cause":"The inhibition test uses <= 10000, making the infinite penalty a legal break.","sha256":"1fcec6ca4a4ef9142976dc80c2182a34a63f432289ea695315a97412c6895b4b","title":"Box-glue-penalty breakpoints: infinite penalty inhibition · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.802,"exit_code":1,"observations":[{"actual":[[9,"glue"],[3,"end"]],"check":"inhibited penalty","expected":[[9,"glue"],[3,"end"]],"passed":true},{"actual":[[10,"forced"],[13,"glue"],[9,"glue"],[9,"end"]],"check":"regression: infinite penalty inhibition","expected":[[10,"forced"],[13,"glue"],[9,"glue"],[9,"end"]],"passed":true},{"actual":[[12,"glue"],[10,"forced"],[9,"glue"],[9,"end"]],"check":"partial-repair probe","expected":[[12,"glue"],[10,"forced"],[13,"penalty"],[4,"end"]],"passed":false},{"actual":[[14,"glue"],[11,"glue"],[6,"glue"],[12,"glue"]],"check":"regression: infinite penalty inhibition","expected":[[5,"penalty"],[7,"glue"],[11,"glue"],[6,"glue"],[12,"glue"]],"passed":false},{"actual":[[5,"forced"],[3,"end"]],"check":"forced break","expected":[[5,"forced"],[3,"end"]],"passed":true},{"actual":[[6,"penalty"],[4,"glue"],[3,"end"]],"check":"hyphen penalty taken","expected":[[6,"penalty"],[4,"glue"],[3,"end"]],"passed":true},{"actual":[[2,"glue"],[7,"penalty"],[2,"glue"],[5,"glue"],[4,"forced"],[6,"glue"],[6,"glue"]],"check":"control layout","expected":[[2,"glue"],[7,"penalty"],[2,"glue"],[5,"glue"],[4,"forced"],[6,"glue"],[6,"glue"]],"passed":true},{"actual":[[11,"glue"],[13,"forced"],[3,"end"]],"check":"control layout","expected":[[11,"glue"],[13,"forced"],[3,"end"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inhibited penalty\", \"actual\": [[9, \"glue\"], [3, \"end\"]], \"expected\": [[9, \"glue\"], [3, \"end\"]], \"passed\": true}, {\"check\": \"regression: infinite penalty inhibition\", \"actual\": [[10, \"forced\"], [13, \"glue\"], [9, \"glue\"], [9, \"end\"]], \"expected\": [[10, \"forced\"], [13, \"glue\"], [9, \"glue\"], [9, \"end\"]], \"passed\": true}, {\"check\": \"partial-repair probe\", \"actual\": [[12, \"glue\"], [10, \"forced\"], [9, \"glue\"], [9, \"end\"]], \"expected\": [[12, \"glue\"], [10, \"forced\"], [13, \"penalty\"], [4, \"end\"]], \"passed\": false}, {\"check\": \"regression: infinite penalty inhibition\", \"actual\": [[14, \"glue\"], [11, \"glue\"], [6, \"glue\"], [12, \"glue\"]], \"expected\": [[5, \"penalty\"], [7, \"glue\"], [11, \"glue\"], [6, \"glue\"], [12, \"glue\"]], \"passed\": false}, {\"check\": \"forced break\", \"actual\": [[5, \"forced\"], [3, \"end\"]], \"expected\": [[5, \"forced\"], [3, \"end\"]], \"passed\": true}, {\"check\": \"hyphen penalty taken\", \"actual\": [[6, \"penalty\"], [4, \"glue\"], [3, \"end\"]], \"expected\": [[6, \"penalty\"], [4, \"glue\"], [3, \"end\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[2, \"glue\"], [7, \"penalty\"], [2, \"glue\"], [5, \"glue\"], [4, \"forced\"], [6, \"glue\"], [6, \"glue\"]], \"expected\": [[2, \"glue\"], [7, \"penalty\"], [2, \"glue\"], [5, \"glue\"], [4, \"forced\"], [6, \"glue\"], [6, \"glue\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[11, \"glue\"], [13, \"forced\"], [3, \"end\"]], \"expected\": [[11, \"glue\"], [13, \"forced\"], [3, \"end\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.914,"exit_code":1,"observations":[{"actual":[[5,"penalty"],[4,"glue"],[3,"end"]],"check":"inhibited penalty","expected":[[9,"glue"],[3,"end"]],"passed":false},{"actual":[[10,"forced"],[6,"penalty"],[12,"penalty"],[12,"glue"]],"check":"regression: infinite penalty inhibition","expected":[[10,"forced"],[13,"glue"],[9,"glue"],[9,"end"]],"passed":false},{"actual":[[12,"glue"],[10,"forced"],[13,"penalty"],[4,"end"]],"check":"partial-repair probe","expected":[[12,"glue"],[10,"forced"],[13,"penalty"],[4,"end"]],"passed":true},{"actual":[[5,"penalty"],[7,"glue"],[11,"glue"],[6,"glue"],[7,"penalty"],[5,"end"]],"check":"regression: infinite penalty inhibition","expected":[[5,"penalty"],[7,"glue"],[11,"glue"],[6,"glue"],[12,"glue"]],"passed":false},{"actual":[[5,"forced"],[3,"end"]],"check":"forced break","expected":[[5,"forced"],[3,"end"]],"passed":true},{"actual":[[6,"penalty"],[4,"glue"],[3,"end"]],"check":"hyphen penalty taken","expected":[[6,"penalty"],[4,"glue"],[3,"end"]],"passed":true},{"actual":[[2,"glue"],[7,"penalty"],[2,"glue"],[5,"glue"],[4,"forced"],[6,"glue"],[6,"glue"]],"check":"control layout","expected":[[2,"glue"],[7,"penalty"],[2,"glue"],[5,"glue"],[4,"forced"],[6,"glue"],[6,"glue"]],"passed":true},{"actual":[[11,"glue"],[13,"forced"],[3,"end"]],"check":"control layout","expected":[[11,"glue"],[13,"forced"],[3,"end"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inhibited penalty\", \"actual\": [[5, \"penalty\"], [4, \"glue\"], [3, \"end\"]], \"expected\": [[9, \"glue\"], [3, \"end\"]], \"passed\": false}, {\"check\": \"regression: infinite penalty inhibition\", \"actual\": [[10, \"forced\"], [6, \"penalty\"], [12, \"penalty\"], [12, \"glue\"]], \"expected\": [[10, \"forced\"], [13, \"glue\"], [9, \"glue\"], [9, \"end\"]], \"passed\": false}, {\"check\": \"partial-repair probe\", \"actual\": [[12, \"glue\"], [10, \"forced\"], [13, \"penalty\"], [4, \"end\"]], \"expected\": [[12, \"glue\"], [10, \"forced\"], [13, \"penalty\"], [4, \"end\"]], \"passed\": true}, {\"check\": \"regression: infinite penalty inhibition\", \"actual\": [[5, \"penalty\"], [7, \"glue\"], [11, \"glue\"], [6, \"glue\"], [7, \"penalty\"], [5, \"end\"]], \"expected\": [[5, \"penalty\"], [7, \"glue\"], [11, \"glue\"], [6, \"glue\"], [12, \"glue\"]], \"passed\": false}, {\"check\": \"forced break\", \"actual\": [[5, \"forced\"], [3, \"end\"]], \"expected\": [[5, \"forced\"], [3, \"end\"]], \"passed\": true}, {\"check\": \"hyphen penalty taken\", \"actual\": [[6, \"penalty\"], [4, \"glue\"], [3, \"end\"]], \"expected\": [[6, \"penalty\"], [4, \"glue\"], [3, \"end\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[2, \"glue\"], [7, \"penalty\"], [2, \"glue\"], [5, \"glue\"], [4, \"forced\"], [6, \"glue\"], [6, \"glue\"]], \"expected\": [[2, \"glue\"], [7, \"penalty\"], [2, \"glue\"], [5, \"glue\"], [4, \"forced\"], [6, \"glue\"], [6, \"glue\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[11, \"glue\"], [13, \"forced\"], [3, \"end\"]], \"expected\": [[11, \"glue\"], [13, \"forced\"], [3, \"end\"]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}