FA-36366 / Tab interfaces / Open access

Zen strip mode: zen panel height · case 01

The tab workspace reports an incorrect zen panel height.

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

ROOT CAUSE

The zen panel height decision uses x['panel_height'] instead of x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0).

VERIFIED REPAIR

Use the stipulated workspace rule: x['panel_height']+(x['strip_height'] if x['zen'] and x['hide_tabs'] and x['prior_visible'] else 0).

Unsuccessful approach: The partial repair x['panel_height']+(x['strip_height'] if x['zen'] else 0) still violates a workspace boundary or normal case.

Case contract

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

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['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)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`[False, 500, ['a', 'b'], 'a', True, False]`	`[False, 532, ['a', 'b'], 'a', True, False]`	Failed
workspace regression 1	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 2	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 3	`[False, 500, ['a', 'b'], 'a', False, False]`	`[False, 500, ['a', 'b'], 'a', False, False]`	Passed
workspace regression 4	`[False, 500, ['a', 'b'], 'a', True, False]`	`[False, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 5	`[False, 500, ['a', 'b'], 'b', True, False]`	`[False, 532, ['a', 'b'], 'b', True, False]`	Failed
workspace regression 6	`[False, 500, ['a', 'b'], 'a', True, True]`	`[False, 532, ['a', 'b'], 'a', True, True]`	Failed
workspace regression 7	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed

SHA-256 / 2c0ff7d888d25474713686be9cfe22341bd397642ccc47748cb0991d82441c6e

2 / The unsuccessful fix

Exit 1

"""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)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`[False, 532, ['a', 'b'], 'a', True, False]`	`[False, 532, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 1	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 2	`[True, 532, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Failed
workspace regression 3	`[False, 532, ['a', 'b'], 'a', False, False]`	`[False, 500, ['a', 'b'], 'a', False, False]`	Failed
workspace regression 4	`[False, 500, ['a', 'b'], 'a', True, False]`	`[False, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 5	`[False, 532, ['a', 'b'], 'b', True, False]`	`[False, 532, ['a', 'b'], 'b', True, False]`	Passed
workspace regression 6	`[False, 532, ['a', 'b'], 'a', True, True]`	`[False, 532, ['a', 'b'], 'a', True, True]`	Passed
workspace regression 7	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed

SHA-256 / 9d128b9742beaad046dbd9472e8944acb3508756cac0f050232b660a94048132

3 / The verified repair

Exit 0

"""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 = 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)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`[False, 532, ['a', 'b'], 'a', True, False]`	`[False, 532, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 1	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 2	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 3	`[False, 500, ['a', 'b'], 'a', False, False]`	`[False, 500, ['a', 'b'], 'a', False, False]`	Passed
workspace regression 4	`[False, 500, ['a', 'b'], 'a', True, False]`	`[False, 500, ['a', 'b'], 'a', True, False]`	Passed
workspace regression 5	`[False, 532, ['a', 'b'], 'b', True, False]`	`[False, 532, ['a', 'b'], 'b', True, False]`	Passed
workspace regression 6	`[False, 532, ['a', 'b'], 'a', True, True]`	`[False, 532, ['a', 'b'], 'a', True, True]`	Passed
workspace regression 7	`[True, 500, ['a', 'b'], 'a', True, False]`	`[True, 500, ['a', 'b'], 'a', True, False]`	Passed

SHA-256 / 6c0731f4068954b79d39384689d3b506ef4a1d17d77e1e8e8495868bd574713b

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:50.602607+00:00.

Case digest / 16a1bb6c1eb0af8bda68c7b18b492134d4859dcba3076abf21b63ce0611192a0