FAILURE MAP
← Case archive

FA-36381 / Tab interfaces / Open access

Zen strip mode: exit visibility snapshot · case 01

The tab workspace reports an incorrect exit visibility snapshot.

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

ROOT CAUSE

The exit visibility snapshot decision uses True instead of x['prior_visible'].

VERIFIED REPAIR

Use the stipulated workspace rule: x['prior_visible'].

Unsuccessful approach: The partial repair not x['zen'] 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']+(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)
Boundary fixtureActualExpectedOutcome
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', True, 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 / 0f868f6b516b6d7576d4a66dedb70d3ca238d312f7016ee07d46b33dfd2cf718

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'] 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)
Boundary fixtureActualExpectedOutcome
workspace regression 0[False, 532, ['a', 'b'], 'a', False, 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', False, False][True, 500, ['a', 'b'], 'a', True, False]Failed
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', False, False][False, 500, ['a', 'b'], 'a', True, False]Failed
workspace regression 5[False, 532, ['a', 'b'], 'b', False, False][False, 532, ['a', 'b'], 'b', True, False]Failed
workspace regression 6[False, 532, ['a', 'b'], 'a', False, 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 / 7393cac78ce54c12f43f508fff26d76cfde7931e627a552dd06ca5ff53a6759e

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

Case digest / f720f4a8b5c3b8702991c3c1a9d03b59b5ccceea4b3add5bc92ccae5ee1085c9