broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']
    r2 = x['tabs']
    r3 = x['selected']
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] else 0)
    r2 = x['tabs']
    r3 = x['selected']
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

prompt:
The tab workspace reports an incorrect zen panel height.

Zen mode may hide tab strips without closing views. Exiting restores prior strip visibility, preserves selected documents and reclaims only the configured strip height.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = [] if x['zen'] and x['hide_tabs'] else x['tabs']
    r3 = x['selected']
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

meaning: Fixture-count band, not measured model difficulty

deps: stdlib

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = [x['selected']]
    r3 = x['selected']
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

prompt:
The tab workspace reports an incorrect zen tab retention.

Zen mode may hide tab strips without closing views. Exiting restores prior strip visibility, preserves selected documents and reclaims only the configured strip height.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = x['tabs']
    r3 = None if x['zen'] else x['selected']
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = x['tabs']
    r3 = x['tabs'][0]
    r4 = x['prior_visible']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

prompt:
The tab workspace reports an incorrect zen selected retention.

Zen mode may hide tab strips without closing views. Exiting restores prior strip visibility, preserves selected documents and reclaims only the configured strip height.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = x['tabs']
    r3 = x['selected']
    r4 = True
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['prior_visible'] and not (x['zen'] and x['hide_tabs'])
    r1 = x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0)
    r2 = x['tabs']
    r3 = x['selected']
    r4 = not x['zen']
    r5 = x['zen'] and x['hide_tabs'] and x['hover'] and x['prior_visible']
    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: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [True, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': False}, [False, 500, ['a', 'b'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'b', 'tabs': ['a', 'b'], 'hover': False}, [False, 532, ['a', 'b'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [False, 532, ['a', 'b'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 32, 'panel_height': 500, 'selected': 'a', 'tabs': ['a', 'b'], 'hover': True}, [True, 500, ['a', 'b'], 'a', True, False])], 2: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1000, ['a', 'b', 'background0'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'b', 'tabs': ['a', 'b', 'background0'], 'hover': False}, [False, 1064, ['a', 'b', 'background0'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [False, 1064, ['a', 'b', 'background0'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 64, 'panel_height': 1000, 'selected': 'a', 'tabs': ['a', 'b', 'background0'], 'hover': True}, [True, 1000, ['a', 'b', 'background0'], 'a', True, False])], 3: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': False}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [False, 1596, ['a', 'b', 'background0', 'background1'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 96, 'panel_height': 1500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1'], 'hover': True}, [True, 1500, ['a', 'b', 'background0', 'background1'], 'a', True, False])], 4: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': False}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [False, 2128, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 128, 'panel_height': 2000, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2'], 'hover': True}, [True, 2000, ['a', 'b', 'background0', 'background1', 'background2'], 'a', True, False])], 5: [({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': False, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': False, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', False, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 0, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'b', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': False}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'b', True, False]), ({'zen': True, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [False, 2660, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, True]), ({'zen': False, 'hide_tabs': True, 'prior_visible': True, 'strip_height': 160, 'panel_height': 2500, 'selected': 'a', 'tabs': ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'hover': True}, [True, 2500, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], 'a', True, False])]}
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)

prompt:
The tab workspace reports an incorrect exit visibility snapshot.

Zen mode may hide tab strips without closing views. Exiting restores prior strip visibility, preserves selected documents and reclaims only the configured strip height.

split: open-access