FA-35756 / Tab interfaces / Open access
Tab width budget: unused spacer · case 01
The tab workspace reports an incorrect unused spacer.
ROOT CAUSE
The unused spacer decision uses x['viewport']%x['normal'] instead of max(0,x['viewport']-x['controls']-x['pins']*x['pin_width']-x['normal']*x['max_width']).
VERIFIED REPAIR
Use the stipulated workspace rule: max(0,x['viewport']-x['controls']-x['pins']*x['pin_width']-x['normal']*x['max_width']).
Unsuccessful approach: The partial repair 0 still violates a workspace boundary or normal case.
Case contract
A strip reserves fixed control and pinned widths before distributing remaining width equally among normal tabs, clamped to min/max; report overflow and spacer.
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['viewport']-x['controls']
r1 = x['pins']*x['pin_width']
r2 = max(0,x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']
r3 = min(x['max_width'],max(x['min_width'],(x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']))
r4 = max(0,x['normal']*x['min_width']+x['pins']*x['pin_width']+x['controls']-x['viewport'])
r5 = x['viewport']%x['normal']
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: [({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 60, 100, 100, 0, 0]), ({'viewport': 300, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [260, 60, 50, 80, 120, 0]), ({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 1, 'min_width': 80, 'max_width': 160}, [460, 60, 400, 160, 0, 240]), ({'viewport': 500, 'controls': 40, 'pins': 0, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 0, 115, 115, 0, 0]), ({'viewport': 900, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [860, 60, 200, 160, 0, 160]), ({'viewport': 500, 'controls': 0, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [500, 60, 110, 110, 0, 0])], 2: [({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 120, 200, 200, 0, 0]), ({'viewport': 600, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [520, 120, 100, 160, 240, 0]), ({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 1, 'min_width': 160, 'max_width': 320}, [920, 120, 800, 320, 0, 480]), ({'viewport': 1000, 'controls': 80, 'pins': 0, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 0, 230, 230, 0, 0]), ({'viewport': 1800, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1720, 120, 400, 320, 0, 320]), ({'viewport': 1000, 'controls': 0, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1000, 120, 220, 220, 0, 0])], 3: [({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 180, 300, 300, 0, 0]), ({'viewport': 900, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [780, 180, 150, 240, 360, 0]), ({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 1, 'min_width': 240, 'max_width': 480}, [1380, 180, 1200, 480, 0, 720]), ({'viewport': 1500, 'controls': 120, 'pins': 0, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 0, 345, 345, 0, 0]), ({'viewport': 2700, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [2580, 180, 600, 480, 0, 480]), ({'viewport': 1500, 'controls': 0, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1500, 180, 330, 330, 0, 0])], 4: [({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 240, 400, 400, 0, 0]), ({'viewport': 1200, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1040, 240, 200, 320, 480, 0]), ({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 1, 'min_width': 320, 'max_width': 640}, [1840, 240, 1600, 640, 0, 960]), ({'viewport': 2000, 'controls': 160, 'pins': 0, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 0, 460, 460, 0, 0]), ({'viewport': 3600, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [3440, 240, 800, 640, 0, 640]), ({'viewport': 2000, 'controls': 0, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [2000, 240, 440, 440, 0, 0])], 5: [({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 300, 500, 500, 0, 0]), ({'viewport': 1500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [1300, 300, 250, 400, 600, 0]), ({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 1, 'min_width': 400, 'max_width': 800}, [2300, 300, 2000, 800, 0, 1200]), ({'viewport': 2500, 'controls': 200, 'pins': 0, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 0, 575, 575, 0, 0]), ({'viewport': 4500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [4300, 300, 1000, 800, 0, 800]), ({'viewport': 2500, 'controls': 0, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2500, 300, 550, 550, 0, 0])]}
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [460, 60, 100, 100, 0, 0] | [460, 60, 100, 100, 0, 0] | Passed |
| workspace regression 1 | [260, 60, 50, 80, 120, 0] | [260, 60, 50, 80, 120, 0] | Passed |
| workspace regression 2 | [460, 60, 400, 160, 0, 0] | [460, 60, 400, 160, 0, 240] | Failed |
| workspace regression 3 | [460, 0, 115, 115, 0, 0] | [460, 0, 115, 115, 0, 0] | Passed |
| workspace regression 4 | [860, 60, 200, 160, 0, 0] | [860, 60, 200, 160, 0, 160] | Failed |
| workspace regression 5 | [500, 60, 110, 110, 0, 0] | [500, 60, 110, 110, 0, 0] | Passed |
SHA-256 / 6ef77259158f1762ed5ca933d32b15bb6797e38ba974caf1dfce330f2271c836
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
r0 = x['viewport']-x['controls']
r1 = x['pins']*x['pin_width']
r2 = max(0,x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']
r3 = min(x['max_width'],max(x['min_width'],(x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']))
r4 = max(0,x['normal']*x['min_width']+x['pins']*x['pin_width']+x['controls']-x['viewport'])
r5 = 0
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: [({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 60, 100, 100, 0, 0]), ({'viewport': 300, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [260, 60, 50, 80, 120, 0]), ({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 1, 'min_width': 80, 'max_width': 160}, [460, 60, 400, 160, 0, 240]), ({'viewport': 500, 'controls': 40, 'pins': 0, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 0, 115, 115, 0, 0]), ({'viewport': 900, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [860, 60, 200, 160, 0, 160]), ({'viewport': 500, 'controls': 0, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [500, 60, 110, 110, 0, 0])], 2: [({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 120, 200, 200, 0, 0]), ({'viewport': 600, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [520, 120, 100, 160, 240, 0]), ({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 1, 'min_width': 160, 'max_width': 320}, [920, 120, 800, 320, 0, 480]), ({'viewport': 1000, 'controls': 80, 'pins': 0, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 0, 230, 230, 0, 0]), ({'viewport': 1800, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1720, 120, 400, 320, 0, 320]), ({'viewport': 1000, 'controls': 0, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1000, 120, 220, 220, 0, 0])], 3: [({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 180, 300, 300, 0, 0]), ({'viewport': 900, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [780, 180, 150, 240, 360, 0]), ({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 1, 'min_width': 240, 'max_width': 480}, [1380, 180, 1200, 480, 0, 720]), ({'viewport': 1500, 'controls': 120, 'pins': 0, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 0, 345, 345, 0, 0]), ({'viewport': 2700, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [2580, 180, 600, 480, 0, 480]), ({'viewport': 1500, 'controls': 0, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1500, 180, 330, 330, 0, 0])], 4: [({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 240, 400, 400, 0, 0]), ({'viewport': 1200, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1040, 240, 200, 320, 480, 0]), ({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 1, 'min_width': 320, 'max_width': 640}, [1840, 240, 1600, 640, 0, 960]), ({'viewport': 2000, 'controls': 160, 'pins': 0, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 0, 460, 460, 0, 0]), ({'viewport': 3600, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [3440, 240, 800, 640, 0, 640]), ({'viewport': 2000, 'controls': 0, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [2000, 240, 440, 440, 0, 0])], 5: [({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 300, 500, 500, 0, 0]), ({'viewport': 1500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [1300, 300, 250, 400, 600, 0]), ({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 1, 'min_width': 400, 'max_width': 800}, [2300, 300, 2000, 800, 0, 1200]), ({'viewport': 2500, 'controls': 200, 'pins': 0, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 0, 575, 575, 0, 0]), ({'viewport': 4500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [4300, 300, 1000, 800, 0, 800]), ({'viewport': 2500, 'controls': 0, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2500, 300, 550, 550, 0, 0])]}
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [460, 60, 100, 100, 0, 0] | [460, 60, 100, 100, 0, 0] | Passed |
| workspace regression 1 | [260, 60, 50, 80, 120, 0] | [260, 60, 50, 80, 120, 0] | Passed |
| workspace regression 2 | [460, 60, 400, 160, 0, 0] | [460, 60, 400, 160, 0, 240] | Failed |
| workspace regression 3 | [460, 0, 115, 115, 0, 0] | [460, 0, 115, 115, 0, 0] | Passed |
| workspace regression 4 | [860, 60, 200, 160, 0, 0] | [860, 60, 200, 160, 0, 160] | Failed |
| workspace regression 5 | [500, 60, 110, 110, 0, 0] | [500, 60, 110, 110, 0, 0] | Passed |
SHA-256 / 84ddb95c0e2d914dd992392207e5b190a3e1cc2d24c6dfc7b1dbcb6cf160ecba
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
r0 = x['viewport']-x['controls']
r1 = x['pins']*x['pin_width']
r2 = max(0,x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']
r3 = min(x['max_width'],max(x['min_width'],(x['viewport']-x['controls']-x['pins']*x['pin_width'])//x['normal']))
r4 = max(0,x['normal']*x['min_width']+x['pins']*x['pin_width']+x['controls']-x['viewport'])
r5 = max(0,x['viewport']-x['controls']-x['pins']*x['pin_width']-x['normal']*x['max_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: [({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 60, 100, 100, 0, 0]), ({'viewport': 300, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [260, 60, 50, 80, 120, 0]), ({'viewport': 500, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 1, 'min_width': 80, 'max_width': 160}, [460, 60, 400, 160, 0, 240]), ({'viewport': 500, 'controls': 40, 'pins': 0, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [460, 0, 115, 115, 0, 0]), ({'viewport': 900, 'controls': 40, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [860, 60, 200, 160, 0, 160]), ({'viewport': 500, 'controls': 0, 'pins': 2, 'pin_width': 30, 'normal': 4, 'min_width': 80, 'max_width': 160}, [500, 60, 110, 110, 0, 0])], 2: [({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 120, 200, 200, 0, 0]), ({'viewport': 600, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [520, 120, 100, 160, 240, 0]), ({'viewport': 1000, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 1, 'min_width': 160, 'max_width': 320}, [920, 120, 800, 320, 0, 480]), ({'viewport': 1000, 'controls': 80, 'pins': 0, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [920, 0, 230, 230, 0, 0]), ({'viewport': 1800, 'controls': 80, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1720, 120, 400, 320, 0, 320]), ({'viewport': 1000, 'controls': 0, 'pins': 2, 'pin_width': 60, 'normal': 4, 'min_width': 160, 'max_width': 320}, [1000, 120, 220, 220, 0, 0])], 3: [({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 180, 300, 300, 0, 0]), ({'viewport': 900, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [780, 180, 150, 240, 360, 0]), ({'viewport': 1500, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 1, 'min_width': 240, 'max_width': 480}, [1380, 180, 1200, 480, 0, 720]), ({'viewport': 1500, 'controls': 120, 'pins': 0, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1380, 0, 345, 345, 0, 0]), ({'viewport': 2700, 'controls': 120, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [2580, 180, 600, 480, 0, 480]), ({'viewport': 1500, 'controls': 0, 'pins': 2, 'pin_width': 90, 'normal': 4, 'min_width': 240, 'max_width': 480}, [1500, 180, 330, 330, 0, 0])], 4: [({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 240, 400, 400, 0, 0]), ({'viewport': 1200, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1040, 240, 200, 320, 480, 0]), ({'viewport': 2000, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 1, 'min_width': 320, 'max_width': 640}, [1840, 240, 1600, 640, 0, 960]), ({'viewport': 2000, 'controls': 160, 'pins': 0, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [1840, 0, 460, 460, 0, 0]), ({'viewport': 3600, 'controls': 160, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [3440, 240, 800, 640, 0, 640]), ({'viewport': 2000, 'controls': 0, 'pins': 2, 'pin_width': 120, 'normal': 4, 'min_width': 320, 'max_width': 640}, [2000, 240, 440, 440, 0, 0])], 5: [({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 300, 500, 500, 0, 0]), ({'viewport': 1500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [1300, 300, 250, 400, 600, 0]), ({'viewport': 2500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 1, 'min_width': 400, 'max_width': 800}, [2300, 300, 2000, 800, 0, 1200]), ({'viewport': 2500, 'controls': 200, 'pins': 0, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2300, 0, 575, 575, 0, 0]), ({'viewport': 4500, 'controls': 200, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [4300, 300, 1000, 800, 0, 800]), ({'viewport': 2500, 'controls': 0, 'pins': 2, 'pin_width': 150, 'normal': 4, 'min_width': 400, 'max_width': 800}, [2500, 300, 550, 550, 0, 0])]}
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| workspace regression 0 | [460, 60, 100, 100, 0, 0] | [460, 60, 100, 100, 0, 0] | Passed |
| workspace regression 1 | [260, 60, 50, 80, 120, 0] | [260, 60, 50, 80, 120, 0] | Passed |
| workspace regression 2 | [460, 60, 400, 160, 0, 240] | [460, 60, 400, 160, 0, 240] | Passed |
| workspace regression 3 | [460, 0, 115, 115, 0, 0] | [460, 0, 115, 115, 0, 0] | Passed |
| workspace regression 4 | [860, 60, 200, 160, 0, 160] | [860, 60, 200, 160, 0, 160] | Passed |
| workspace regression 5 | [500, 60, 110, 110, 0, 0] | [500, 60, 110, 110, 0, 0] | Passed |
SHA-256 / c8d4c2e765f552a3157d5684adc50258b784ca6ceb4cd877e70a48cac3471ff3
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:44.654314+00:00.
Case digest / 4a8c2af91ea570886d9a5da9bf4790374017e9d1ecd052ad41a14c0bf1a4080a