FAILURE MAP
← Case archive

FA-36301 / Tab interfaces / Open access

Comparison tab pair: left comparison binding · case 01

The tab workspace reports an incorrect left comparison binding.

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

ROOT CAUSE

The left comparison binding decision uses [x['left'],x['right_rev']] instead of [x['right'],x['right_rev']] if x['swapped'] else [x['left'],x['left_rev']].

VERIFIED REPAIR

Use the stipulated workspace rule: [x['right'],x['right_rev']] if x['swapped'] else [x['left'],x['left_rev']].

Unsuccessful approach: The partial repair [x['left'],x['left_rev']] still violates a workspace boundary or normal case.

Case contract

A comparison tab binds ordered left/right document revisions, labels the direction, permits edits only on editable right side and handles same-document different-revision comparisons.

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['left'],x['right_rev']]
    r1 = [x['left'],x['left_rev']] if x['swapped'] else [x['right'],x['right_rev']]
    r2 = (x['right']+' → '+x['left']) if x['swapped'] else (x['left']+' → '+x['right'])
    r3 = [x['left'],x['left_rev'],x['right'],x['right_rev']]
    r4 = x['right_editable'] and not x['swapped']
    r5 = x['left']==x['right'] and x['left_rev']==x['right_rev']
    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: [({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': True}, [['b', 4], ['a', 2], 'b \u2192 a', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': False, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['a', 4], 'a \u2192 a', ['a', 2, 'a', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 2, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 2], 'a \u2192 b', ['a', 4, 'b', 2], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 4], 'a \u2192 b', ['a', 0, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 4], 'a \u2192 b', ['a', 4, 'b', 4], True, False])], 2: [({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': True}, [['b', 8], ['a', 4], 'b \u2192 a', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': False, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['a', 8], 'a \u2192 a', ['a', 4, 'a', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 4], 'a \u2192 b', ['a', 8, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 8], 'a \u2192 b', ['a', 0, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 8], 'a \u2192 b', ['a', 8, 'b', 8], True, False])], 3: [({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': True}, [['b', 12], ['a', 6], 'b \u2192 a', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': False, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['a', 12], 'a \u2192 a', ['a', 6, 'a', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 6, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 6], 'a \u2192 b', ['a', 12, 'b', 6], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 12], 'a \u2192 b', ['a', 0, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 12], 'a \u2192 b', ['a', 12, 'b', 12], True, False])], 4: [({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': True}, [['b', 16], ['a', 8], 'b \u2192 a', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': False, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['a', 16], 'a \u2192 a', ['a', 8, 'a', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 8], 'a \u2192 b', ['a', 16, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 16], 'a \u2192 b', ['a', 0, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 16], 'a \u2192 b', ['a', 16, 'b', 16], True, False])], 5: [({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': True}, [['b', 20], ['a', 10], 'b \u2192 a', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': False, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['a', 20], 'a \u2192 a', ['a', 10, 'a', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 10, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 10], 'a \u2192 b', ['a', 20, 'b', 10], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 20], 'a \u2192 b', ['a', 0, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 20], 'a \u2192 b', ['a', 20, 'b', 20], 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[['a', 4], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False]Failed
workspace regression 1[['a', 4], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False][['b', 4], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False]Failed
workspace regression 2[['a', 4], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False]Failed
workspace regression 3[['a', 4], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False][['a', 2], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False]Failed
workspace regression 4[['a', 2], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False][['a', 4], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False]Failed
workspace regression 5[['a', 4], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False][['a', 0], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False]Failed
workspace regression 6[['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False][['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False]Passed

SHA-256 / 57b4c549e85cb3163bde17a57c5e4d4537fe51ea2ffe8f8a80a74405dd5536cf

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    r0 = [x['left'],x['left_rev']]
    r1 = [x['left'],x['left_rev']] if x['swapped'] else [x['right'],x['right_rev']]
    r2 = (x['right']+' → '+x['left']) if x['swapped'] else (x['left']+' → '+x['right'])
    r3 = [x['left'],x['left_rev'],x['right'],x['right_rev']]
    r4 = x['right_editable'] and not x['swapped']
    r5 = x['left']==x['right'] and x['left_rev']==x['right_rev']
    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: [({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': True}, [['b', 4], ['a', 2], 'b \u2192 a', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': False, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['a', 4], 'a \u2192 a', ['a', 2, 'a', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 2, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 2], 'a \u2192 b', ['a', 4, 'b', 2], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 4], 'a \u2192 b', ['a', 0, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 4], 'a \u2192 b', ['a', 4, 'b', 4], True, False])], 2: [({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': True}, [['b', 8], ['a', 4], 'b \u2192 a', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': False, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['a', 8], 'a \u2192 a', ['a', 4, 'a', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 4], 'a \u2192 b', ['a', 8, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 8], 'a \u2192 b', ['a', 0, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 8], 'a \u2192 b', ['a', 8, 'b', 8], True, False])], 3: [({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': True}, [['b', 12], ['a', 6], 'b \u2192 a', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': False, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['a', 12], 'a \u2192 a', ['a', 6, 'a', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 6, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 6], 'a \u2192 b', ['a', 12, 'b', 6], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 12], 'a \u2192 b', ['a', 0, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 12], 'a \u2192 b', ['a', 12, 'b', 12], True, False])], 4: [({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': True}, [['b', 16], ['a', 8], 'b \u2192 a', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': False, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['a', 16], 'a \u2192 a', ['a', 8, 'a', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 8], 'a \u2192 b', ['a', 16, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 16], 'a \u2192 b', ['a', 0, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 16], 'a \u2192 b', ['a', 16, 'b', 16], True, False])], 5: [({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': True}, [['b', 20], ['a', 10], 'b \u2192 a', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': False, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['a', 20], 'a \u2192 a', ['a', 10, 'a', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 10, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 10], 'a \u2192 b', ['a', 20, 'b', 10], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 20], 'a \u2192 b', ['a', 0, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 20], 'a \u2192 b', ['a', 20, 'b', 20], 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[['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False]Passed
workspace regression 1[['a', 2], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False][['b', 4], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False]Failed
workspace regression 2[['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False]Passed
workspace regression 3[['a', 2], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False][['a', 2], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False]Passed
workspace regression 4[['a', 4], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False][['a', 4], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False]Passed
workspace regression 5[['a', 0], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False][['a', 0], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False]Passed
workspace regression 6[['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False][['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False]Passed

SHA-256 / 8e8b415d38c006f8e01ea75940f4b6df48becaf3b90e4af81680e2d45425531f

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    r0 = [x['right'],x['right_rev']] if x['swapped'] else [x['left'],x['left_rev']]
    r1 = [x['left'],x['left_rev']] if x['swapped'] else [x['right'],x['right_rev']]
    r2 = (x['right']+' → '+x['left']) if x['swapped'] else (x['left']+' → '+x['right'])
    r3 = [x['left'],x['left_rev'],x['right'],x['right_rev']]
    r4 = x['right_editable'] and not x['swapped']
    r5 = x['left']==x['right'] and x['left_rev']==x['right_rev']
    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: [({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': True}, [['b', 4], ['a', 2], 'b \u2192 a', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 2, 'right_rev': 4, 'right_editable': False, 'swapped': False}, [['a', 2], ['b', 4], 'a \u2192 b', ['a', 2, 'b', 4], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 2, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 2], ['a', 4], 'a \u2192 a', ['a', 2, 'a', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 2, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 2], 'a \u2192 b', ['a', 4, 'b', 2], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 4], 'a \u2192 b', ['a', 0, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 4], 'a \u2192 b', ['a', 4, 'b', 4], True, False])], 2: [({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': True}, [['b', 8], ['a', 4], 'b \u2192 a', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 4, 'right_rev': 8, 'right_editable': False, 'swapped': False}, [['a', 4], ['b', 8], 'a \u2192 b', ['a', 4, 'b', 8], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 4, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 4], ['a', 8], 'a \u2192 a', ['a', 4, 'a', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 4, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 4], 'a \u2192 b', ['a', 8, 'b', 4], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 8], 'a \u2192 b', ['a', 0, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 8], 'a \u2192 b', ['a', 8, 'b', 8], True, False])], 3: [({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': True}, [['b', 12], ['a', 6], 'b \u2192 a', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 6, 'right_rev': 12, 'right_editable': False, 'swapped': False}, [['a', 6], ['b', 12], 'a \u2192 b', ['a', 6, 'b', 12], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 6, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 6], ['a', 12], 'a \u2192 a', ['a', 6, 'a', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 6, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 6], 'a \u2192 b', ['a', 12, 'b', 6], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 12], 'a \u2192 b', ['a', 0, 'b', 12], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 12, 'right_rev': 12, 'right_editable': True, 'swapped': False}, [['a', 12], ['b', 12], 'a \u2192 b', ['a', 12, 'b', 12], True, False])], 4: [({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': True}, [['b', 16], ['a', 8], 'b \u2192 a', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 8, 'right_rev': 16, 'right_editable': False, 'swapped': False}, [['a', 8], ['b', 16], 'a \u2192 b', ['a', 8, 'b', 16], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 8, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 8], ['a', 16], 'a \u2192 a', ['a', 8, 'a', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 8, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 8], 'a \u2192 b', ['a', 16, 'b', 8], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 16], 'a \u2192 b', ['a', 0, 'b', 16], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 16, 'right_rev': 16, 'right_editable': True, 'swapped': False}, [['a', 16], ['b', 16], 'a \u2192 b', ['a', 16, 'b', 16], True, False])], 5: [({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': True}, [['b', 20], ['a', 10], 'b \u2192 a', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'b', 'left_rev': 10, 'right_rev': 20, 'right_editable': False, 'swapped': False}, [['a', 10], ['b', 20], 'a \u2192 b', ['a', 10, 'b', 20], False, False]), ({'left': 'a', 'right': 'a', 'left_rev': 10, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 10], ['a', 20], 'a \u2192 a', ['a', 10, 'a', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 10, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 10], 'a \u2192 b', ['a', 20, 'b', 10], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 0, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 0], ['b', 20], 'a \u2192 b', ['a', 0, 'b', 20], True, False]), ({'left': 'a', 'right': 'b', 'left_rev': 20, 'right_rev': 20, 'right_editable': True, 'swapped': False}, [['a', 20], ['b', 20], 'a \u2192 b', ['a', 20, 'b', 20], 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[['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], True, False]Passed
workspace regression 1[['b', 4], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False][['b', 4], ['a', 2], 'b → a', ['a', 2, 'b', 4], False, False]Passed
workspace regression 2[['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False][['a', 2], ['b', 4], 'a → b', ['a', 2, 'b', 4], False, False]Passed
workspace regression 3[['a', 2], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False][['a', 2], ['a', 4], 'a → a', ['a', 2, 'a', 4], True, False]Passed
workspace regression 4[['a', 4], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False][['a', 4], ['b', 2], 'a → b', ['a', 4, 'b', 2], True, False]Passed
workspace regression 5[['a', 0], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False][['a', 0], ['b', 4], 'a → b', ['a', 0, 'b', 4], True, False]Passed
workspace regression 6[['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False][['a', 4], ['b', 4], 'a → b', ['a', 4, 'b', 4], True, False]Passed

SHA-256 / 286da32003ac5c391168c84ffca3eba1cf449165fd2ee6ccb0e17063e464f5f7

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

Case digest / c45b2eb058ee70ad4f9e4d55be4bdcc42225b1e6f48d0b9b7dc86aa8abd3b673