FAILURE MAP
← Case archive

FA-36421 / Tab interfaces / Open access

Vertical strip layout: panel horizontal remainder · case 01

The tab workspace reports an incorrect panel horizontal remainder.

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

ROOT CAUSE

The panel horizontal remainder decision uses x['pane_width'] instead of max(0,x['pane_width']-x['strip_width']).

VERIFIED REPAIR

Use the stipulated workspace rule: max(0,x['pane_width']-x['strip_width']).

Unsuccessful approach: The partial repair max(0,x['pane_width']-x['row_height']) still violates a workspace boundary or normal case.

Case contract

Vertical tab strips consume pane width rather than height, reserve group-header rows, size scroll content from row heights and keep close buttons aligned to the strip trailing edge.

Why this case matters

Offline tab/panel workspace behavior; no browser or desktop framework is emulated.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['pane_width']
    r1 = x['pane_height']
    r2 = x['tabs_count']*x['row_height']
    r3 = x['headers']*x['header_height']
    r4 = max(0,x['tabs_count']*x['row_height']+x['headers']*x['header_height']-x['pane_height'])
    r5 = x['strip_width']-x['padding']-x['button_width']
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 40, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 0, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 0, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 20, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 560, 40, 200, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 80, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [420, 400, 224, 40, 0, 58]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 0}, [380, 400, 224, 40, 0, 104]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 0, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 0, 40, 0, 98])], 2: [({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 80, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 0, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 0, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 20, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 1120, 80, 400, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 160, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [840, 800, 448, 80, 0, 116]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 0}, [760, 800, 448, 80, 0, 208]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 0, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 0, 80, 0, 196])], 3: [({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 120, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 0, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 0, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 20, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 1680, 120, 600, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 240, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1260, 1200, 672, 120, 0, 174]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 0}, [1140, 1200, 672, 120, 0, 312]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 0, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 0, 120, 0, 294])], 4: [({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 160, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 0, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 0, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 20, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 2240, 160, 800, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 320, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1680, 1600, 896, 160, 0, 232]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 0}, [1520, 1600, 896, 160, 0, 416]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 0, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 0, 160, 0, 392])], 5: [({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 200, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 0, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 0, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 20, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 2800, 200, 1000, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 400, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [2100, 2000, 1120, 200, 0, 290]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 0}, [1900, 2000, 1120, 200, 0, 520]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 0, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 0, 200, 0, 490])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
workspace regression 0[500, 400, 224, 40, 0, 98][380, 400, 224, 40, 0, 98]Failed
workspace regression 1[500, 400, 224, 0, 0, 98][380, 400, 224, 0, 0, 98]Failed
workspace regression 2[500, 400, 560, 40, 200, 98][380, 400, 560, 40, 200, 98]Failed
workspace regression 3[500, 400, 224, 40, 0, 58][420, 400, 224, 40, 0, 58]Failed
workspace regression 4[500, 400, 224, 40, 0, 104][380, 400, 224, 40, 0, 104]Failed
workspace regression 5[500, 400, 0, 40, 0, 98][380, 400, 0, 40, 0, 98]Failed

SHA-256 / 75a86abea121770ba5e729a561960ac92db230747089ad76e22bcb756f9ebc51

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = max(0,x['pane_width']-x['row_height'])
    r1 = x['pane_height']
    r2 = x['tabs_count']*x['row_height']
    r3 = x['headers']*x['header_height']
    r4 = max(0,x['tabs_count']*x['row_height']+x['headers']*x['header_height']-x['pane_height'])
    r5 = x['strip_width']-x['padding']-x['button_width']
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 40, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 0, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 0, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 20, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 560, 40, 200, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 80, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [420, 400, 224, 40, 0, 58]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 0}, [380, 400, 224, 40, 0, 104]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 0, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 0, 40, 0, 98])], 2: [({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 80, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 0, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 0, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 20, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 1120, 80, 400, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 160, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [840, 800, 448, 80, 0, 116]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 0}, [760, 800, 448, 80, 0, 208]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 0, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 0, 80, 0, 196])], 3: [({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 120, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 0, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 0, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 20, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 1680, 120, 600, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 240, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1260, 1200, 672, 120, 0, 174]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 0}, [1140, 1200, 672, 120, 0, 312]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 0, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 0, 120, 0, 294])], 4: [({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 160, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 0, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 0, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 20, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 2240, 160, 800, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 320, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1680, 1600, 896, 160, 0, 232]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 0}, [1520, 1600, 896, 160, 0, 416]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 0, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 0, 160, 0, 392])], 5: [({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 200, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 0, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 0, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 20, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 2800, 200, 1000, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 400, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [2100, 2000, 1120, 200, 0, 290]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 0}, [1900, 2000, 1120, 200, 0, 520]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 0, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 0, 200, 0, 490])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
workspace regression 0[472, 400, 224, 40, 0, 98][380, 400, 224, 40, 0, 98]Failed
workspace regression 1[472, 400, 224, 0, 0, 98][380, 400, 224, 0, 0, 98]Failed
workspace regression 2[472, 400, 560, 40, 200, 98][380, 400, 560, 40, 200, 98]Failed
workspace regression 3[472, 400, 224, 40, 0, 58][420, 400, 224, 40, 0, 58]Failed
workspace regression 4[472, 400, 224, 40, 0, 104][380, 400, 224, 40, 0, 104]Failed
workspace regression 5[472, 400, 0, 40, 0, 98][380, 400, 0, 40, 0, 98]Failed

SHA-256 / 1a9c4aec2087ee53086112c1b168c65a6de1f0d70a02a1e91e6273d11366e05e

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = max(0,x['pane_width']-x['strip_width'])
    r1 = x['pane_height']
    r2 = x['tabs_count']*x['row_height']
    r3 = x['headers']*x['header_height']
    r4 = max(0,x['tabs_count']*x['row_height']+x['headers']*x['header_height']-x['pane_height'])
    r5 = x['strip_width']-x['padding']-x['button_width']
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 40, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 0, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 224, 0, 0, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 20, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 560, 40, 200, 98]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 80, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [420, 400, 224, 40, 0, 58]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 8, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 0}, [380, 400, 224, 40, 0, 104]), ({'pane_width': 500, 'pane_height': 400, 'strip_width': 120, 'row_height': 28, 'tabs_count': 0, 'headers': 2, 'header_height': 20, 'button_width': 16, 'padding': 6}, [380, 400, 0, 40, 0, 98])], 2: [({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 80, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 0, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 448, 0, 0, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 20, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 1120, 80, 400, 196]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 160, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [840, 800, 448, 80, 0, 116]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 8, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 0}, [760, 800, 448, 80, 0, 208]), ({'pane_width': 1000, 'pane_height': 800, 'strip_width': 240, 'row_height': 56, 'tabs_count': 0, 'headers': 2, 'header_height': 40, 'button_width': 32, 'padding': 12}, [760, 800, 0, 80, 0, 196])], 3: [({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 120, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 0, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 672, 0, 0, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 20, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 1680, 120, 600, 294]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 240, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1260, 1200, 672, 120, 0, 174]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 8, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 0}, [1140, 1200, 672, 120, 0, 312]), ({'pane_width': 1500, 'pane_height': 1200, 'strip_width': 360, 'row_height': 84, 'tabs_count': 0, 'headers': 2, 'header_height': 60, 'button_width': 48, 'padding': 18}, [1140, 1200, 0, 120, 0, 294])], 4: [({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 160, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 0, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 896, 0, 0, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 20, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 2240, 160, 800, 392]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 320, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1680, 1600, 896, 160, 0, 232]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 8, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 0}, [1520, 1600, 896, 160, 0, 416]), ({'pane_width': 2000, 'pane_height': 1600, 'strip_width': 480, 'row_height': 112, 'tabs_count': 0, 'headers': 2, 'header_height': 80, 'button_width': 64, 'padding': 24}, [1520, 1600, 0, 160, 0, 392])], 5: [({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 200, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 0, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 1120, 0, 0, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 20, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 2800, 200, 1000, 490]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 400, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [2100, 2000, 1120, 200, 0, 290]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 8, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 0}, [1900, 2000, 1120, 200, 0, 520]), ({'pane_width': 2500, 'pane_height': 2000, 'strip_width': 600, 'row_height': 140, 'tabs_count': 0, 'headers': 2, 'header_height': 100, 'button_width': 80, 'padding': 30}, [1900, 2000, 0, 200, 0, 490])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
workspace regression 0[380, 400, 224, 40, 0, 98][380, 400, 224, 40, 0, 98]Passed
workspace regression 1[380, 400, 224, 0, 0, 98][380, 400, 224, 0, 0, 98]Passed
workspace regression 2[380, 400, 560, 40, 200, 98][380, 400, 560, 40, 200, 98]Passed
workspace regression 3[420, 400, 224, 40, 0, 58][420, 400, 224, 40, 0, 58]Passed
workspace regression 4[380, 400, 224, 40, 0, 104][380, 400, 224, 40, 0, 104]Passed
workspace regression 5[380, 400, 0, 40, 0, 98][380, 400, 0, 40, 0, 98]Passed

SHA-256 / e8ec613706e87a8f7912fd1eeb5d271c6c0255e652152cdfec369f88bc49b7ce

Verification & scope

Finite stipulated workspace snapshots only. Independent result fields describe observable obligations, not a full UI runtime. 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:42:51.138669+00:00.

Case digest / 543544357310a674065a64c19f0af7f1131e8e74ffc010250ba3c93896bcc92e