FA-36476 / Tab interfaces / Open access

Strip anchor resize: anchored scroll clamp · case 01

The tab workspace reports an incorrect anchored scroll clamp.

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

ROOT CAUSE

The anchored scroll clamp decision uses x['scroll'] instead of max(0,min(max(0,sum(x['new'])-x['viewport']),x['scroll']+sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']]))).

VERIFIED REPAIR

Use the stipulated workspace rule: max(0,min(max(0,sum(x['new'])-x['viewport']),x['scroll']+sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']]))).

Unsuccessful approach: The partial repair x['scroll']+sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']]) still violates a workspace boundary or normal case.

Case contract

When tab widths change, keep the anchored tab at the same viewport coordinate using sums of preceding widths, then clamp to the new content range.

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 = sum(x['old'][:x['anchor']])
    r1 = sum(x['new'][:x['anchor']])
    r2 = sum(x['old'][:x['anchor']])-x['scroll']
    r3 = sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']])
    r4 = max(0,sum(x['new'])-x['viewport'])
    r5 = x['scroll']
    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: [({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 130, 40, -10, 150, 90]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 0, 'scroll': 100, 'viewport': 150}, [0, 0, -100, 0, 150, 100]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 1, 'scroll': 100, 'viewport': 150}, [60, 90, -40, 30, 150, 130]), ({'old': [60, 80, 100, 70], 'new': [20, 20, 20, 20], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 40, 40, -100, 0, 0]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 0, 'viewport': 150}, [140, 130, 140, -10, 150, 0]), ({'old': [60, 80, 100, 70], 'new': [100, 120, 160, 180], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 220, 40, 80, 410, 180])], 2: [({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 260, 80, -20, 300, 180]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 0, 'scroll': 200, 'viewport': 300}, [0, 0, -200, 0, 300, 200]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 1, 'scroll': 200, 'viewport': 300}, [120, 180, -80, 60, 300, 260]), ({'old': [120, 160, 200, 140], 'new': [40, 40, 40, 40], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 80, 80, -200, 0, 0]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 0, 'viewport': 300}, [280, 260, 280, -20, 300, 0]), ({'old': [120, 160, 200, 140], 'new': [200, 240, 320, 360], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 440, 80, 160, 820, 360])], 3: [({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 390, 120, -30, 450, 270]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 0, 'scroll': 300, 'viewport': 450}, [0, 0, -300, 0, 450, 300]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 1, 'scroll': 300, 'viewport': 450}, [180, 270, -120, 90, 450, 390]), ({'old': [180, 240, 300, 210], 'new': [60, 60, 60, 60], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 120, 120, -300, 0, 0]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 0, 'viewport': 450}, [420, 390, 420, -30, 450, 0]), ({'old': [180, 240, 300, 210], 'new': [300, 360, 480, 540], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 660, 120, 240, 1230, 540])], 4: [({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 520, 160, -40, 600, 360]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 0, 'scroll': 400, 'viewport': 600}, [0, 0, -400, 0, 600, 400]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 1, 'scroll': 400, 'viewport': 600}, [240, 360, -160, 120, 600, 520]), ({'old': [240, 320, 400, 280], 'new': [80, 80, 80, 80], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 160, 160, -400, 0, 0]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 0, 'viewport': 600}, [560, 520, 560, -40, 600, 0]), ({'old': [240, 320, 400, 280], 'new': [400, 480, 640, 720], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 880, 160, 320, 1640, 720])], 5: [({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 650, 200, -50, 750, 450]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 0, 'scroll': 500, 'viewport': 750}, [0, 0, -500, 0, 750, 500]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 1, 'scroll': 500, 'viewport': 750}, [300, 450, -200, 150, 750, 650]), ({'old': [300, 400, 500, 350], 'new': [100, 100, 100, 100], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 200, 200, -500, 0, 0]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 0, 'viewport': 750}, [700, 650, 700, -50, 750, 0]), ({'old': [300, 400, 500, 350], 'new': [500, 600, 800, 900], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 1100, 200, 400, 2050, 900])]}
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	`[140, 130, 40, -10, 150, 100]`	`[140, 130, 40, -10, 150, 90]`	Failed
workspace regression 1	`[0, 0, -100, 0, 150, 100]`	`[0, 0, -100, 0, 150, 100]`	Passed
workspace regression 2	`[60, 90, -40, 30, 150, 100]`	`[60, 90, -40, 30, 150, 130]`	Failed
workspace regression 3	`[140, 40, 40, -100, 0, 100]`	`[140, 40, 40, -100, 0, 0]`	Failed
workspace regression 4	`[140, 130, 140, -10, 150, 0]`	`[140, 130, 140, -10, 150, 0]`	Passed
workspace regression 5	`[140, 220, 40, 80, 410, 100]`	`[140, 220, 40, 80, 410, 180]`	Failed

SHA-256 / d4092e19fca26ab517447a0117afb520e647261152a7a8b8f14a16ca892d03a1

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    r0 = sum(x['old'][:x['anchor']])
    r1 = sum(x['new'][:x['anchor']])
    r2 = sum(x['old'][:x['anchor']])-x['scroll']
    r3 = sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']])
    r4 = max(0,sum(x['new'])-x['viewport'])
    r5 = x['scroll']+sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']])
    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: [({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 130, 40, -10, 150, 90]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 0, 'scroll': 100, 'viewport': 150}, [0, 0, -100, 0, 150, 100]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 1, 'scroll': 100, 'viewport': 150}, [60, 90, -40, 30, 150, 130]), ({'old': [60, 80, 100, 70], 'new': [20, 20, 20, 20], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 40, 40, -100, 0, 0]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 0, 'viewport': 150}, [140, 130, 140, -10, 150, 0]), ({'old': [60, 80, 100, 70], 'new': [100, 120, 160, 180], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 220, 40, 80, 410, 180])], 2: [({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 260, 80, -20, 300, 180]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 0, 'scroll': 200, 'viewport': 300}, [0, 0, -200, 0, 300, 200]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 1, 'scroll': 200, 'viewport': 300}, [120, 180, -80, 60, 300, 260]), ({'old': [120, 160, 200, 140], 'new': [40, 40, 40, 40], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 80, 80, -200, 0, 0]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 0, 'viewport': 300}, [280, 260, 280, -20, 300, 0]), ({'old': [120, 160, 200, 140], 'new': [200, 240, 320, 360], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 440, 80, 160, 820, 360])], 3: [({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 390, 120, -30, 450, 270]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 0, 'scroll': 300, 'viewport': 450}, [0, 0, -300, 0, 450, 300]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 1, 'scroll': 300, 'viewport': 450}, [180, 270, -120, 90, 450, 390]), ({'old': [180, 240, 300, 210], 'new': [60, 60, 60, 60], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 120, 120, -300, 0, 0]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 0, 'viewport': 450}, [420, 390, 420, -30, 450, 0]), ({'old': [180, 240, 300, 210], 'new': [300, 360, 480, 540], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 660, 120, 240, 1230, 540])], 4: [({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 520, 160, -40, 600, 360]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 0, 'scroll': 400, 'viewport': 600}, [0, 0, -400, 0, 600, 400]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 1, 'scroll': 400, 'viewport': 600}, [240, 360, -160, 120, 600, 520]), ({'old': [240, 320, 400, 280], 'new': [80, 80, 80, 80], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 160, 160, -400, 0, 0]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 0, 'viewport': 600}, [560, 520, 560, -40, 600, 0]), ({'old': [240, 320, 400, 280], 'new': [400, 480, 640, 720], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 880, 160, 320, 1640, 720])], 5: [({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 650, 200, -50, 750, 450]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 0, 'scroll': 500, 'viewport': 750}, [0, 0, -500, 0, 750, 500]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 1, 'scroll': 500, 'viewport': 750}, [300, 450, -200, 150, 750, 650]), ({'old': [300, 400, 500, 350], 'new': [100, 100, 100, 100], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 200, 200, -500, 0, 0]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 0, 'viewport': 750}, [700, 650, 700, -50, 750, 0]), ({'old': [300, 400, 500, 350], 'new': [500, 600, 800, 900], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 1100, 200, 400, 2050, 900])]}
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	`[140, 130, 40, -10, 150, 90]`	`[140, 130, 40, -10, 150, 90]`	Passed
workspace regression 1	`[0, 0, -100, 0, 150, 100]`	`[0, 0, -100, 0, 150, 100]`	Passed
workspace regression 2	`[60, 90, -40, 30, 150, 130]`	`[60, 90, -40, 30, 150, 130]`	Passed
workspace regression 3	`[140, 40, 40, -100, 0, 0]`	`[140, 40, 40, -100, 0, 0]`	Passed
workspace regression 4	`[140, 130, 140, -10, 150, -10]`	`[140, 130, 140, -10, 150, 0]`	Failed
workspace regression 5	`[140, 220, 40, 80, 410, 180]`	`[140, 220, 40, 80, 410, 180]`	Passed

SHA-256 / 646a3544f6adbd9818387e2884a41c941ab75559f426e1fe403d9e0afc24c459

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    r0 = sum(x['old'][:x['anchor']])
    r1 = sum(x['new'][:x['anchor']])
    r2 = sum(x['old'][:x['anchor']])-x['scroll']
    r3 = sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']])
    r4 = max(0,sum(x['new'])-x['viewport'])
    r5 = max(0,min(max(0,sum(x['new'])-x['viewport']),x['scroll']+sum(x['new'][:x['anchor']])-sum(x['old'][:x['anchor']])))
    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: [({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 130, 40, -10, 150, 90]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 0, 'scroll': 100, 'viewport': 150}, [0, 0, -100, 0, 150, 100]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 1, 'scroll': 100, 'viewport': 150}, [60, 90, -40, 30, 150, 130]), ({'old': [60, 80, 100, 70], 'new': [20, 20, 20, 20], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 40, 40, -100, 0, 0]), ({'old': [60, 80, 100, 70], 'new': [90, 40, 100, 70], 'anchor': 2, 'scroll': 0, 'viewport': 150}, [140, 130, 140, -10, 150, 0]), ({'old': [60, 80, 100, 70], 'new': [100, 120, 160, 180], 'anchor': 2, 'scroll': 100, 'viewport': 150}, [140, 220, 40, 80, 410, 180])], 2: [({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 260, 80, -20, 300, 180]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 0, 'scroll': 200, 'viewport': 300}, [0, 0, -200, 0, 300, 200]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 1, 'scroll': 200, 'viewport': 300}, [120, 180, -80, 60, 300, 260]), ({'old': [120, 160, 200, 140], 'new': [40, 40, 40, 40], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 80, 80, -200, 0, 0]), ({'old': [120, 160, 200, 140], 'new': [180, 80, 200, 140], 'anchor': 2, 'scroll': 0, 'viewport': 300}, [280, 260, 280, -20, 300, 0]), ({'old': [120, 160, 200, 140], 'new': [200, 240, 320, 360], 'anchor': 2, 'scroll': 200, 'viewport': 300}, [280, 440, 80, 160, 820, 360])], 3: [({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 390, 120, -30, 450, 270]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 0, 'scroll': 300, 'viewport': 450}, [0, 0, -300, 0, 450, 300]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 1, 'scroll': 300, 'viewport': 450}, [180, 270, -120, 90, 450, 390]), ({'old': [180, 240, 300, 210], 'new': [60, 60, 60, 60], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 120, 120, -300, 0, 0]), ({'old': [180, 240, 300, 210], 'new': [270, 120, 300, 210], 'anchor': 2, 'scroll': 0, 'viewport': 450}, [420, 390, 420, -30, 450, 0]), ({'old': [180, 240, 300, 210], 'new': [300, 360, 480, 540], 'anchor': 2, 'scroll': 300, 'viewport': 450}, [420, 660, 120, 240, 1230, 540])], 4: [({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 520, 160, -40, 600, 360]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 0, 'scroll': 400, 'viewport': 600}, [0, 0, -400, 0, 600, 400]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 1, 'scroll': 400, 'viewport': 600}, [240, 360, -160, 120, 600, 520]), ({'old': [240, 320, 400, 280], 'new': [80, 80, 80, 80], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 160, 160, -400, 0, 0]), ({'old': [240, 320, 400, 280], 'new': [360, 160, 400, 280], 'anchor': 2, 'scroll': 0, 'viewport': 600}, [560, 520, 560, -40, 600, 0]), ({'old': [240, 320, 400, 280], 'new': [400, 480, 640, 720], 'anchor': 2, 'scroll': 400, 'viewport': 600}, [560, 880, 160, 320, 1640, 720])], 5: [({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 650, 200, -50, 750, 450]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 0, 'scroll': 500, 'viewport': 750}, [0, 0, -500, 0, 750, 500]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 1, 'scroll': 500, 'viewport': 750}, [300, 450, -200, 150, 750, 650]), ({'old': [300, 400, 500, 350], 'new': [100, 100, 100, 100], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 200, 200, -500, 0, 0]), ({'old': [300, 400, 500, 350], 'new': [450, 200, 500, 350], 'anchor': 2, 'scroll': 0, 'viewport': 750}, [700, 650, 700, -50, 750, 0]), ({'old': [300, 400, 500, 350], 'new': [500, 600, 800, 900], 'anchor': 2, 'scroll': 500, 'viewport': 750}, [700, 1100, 200, 400, 2050, 900])]}
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	`[140, 130, 40, -10, 150, 90]`	`[140, 130, 40, -10, 150, 90]`	Passed
workspace regression 1	`[0, 0, -100, 0, 150, 100]`	`[0, 0, -100, 0, 150, 100]`	Passed
workspace regression 2	`[60, 90, -40, 30, 150, 130]`	`[60, 90, -40, 30, 150, 130]`	Passed
workspace regression 3	`[140, 40, 40, -100, 0, 0]`	`[140, 40, 40, -100, 0, 0]`	Passed
workspace regression 4	`[140, 130, 140, -10, 150, 0]`	`[140, 130, 140, -10, 150, 0]`	Passed
workspace regression 5	`[140, 220, 40, 80, 410, 180]`	`[140, 220, 40, 80, 410, 180]`	Passed

SHA-256 / cac1a2f07577ac0bcf3f221b95a83cb06a70fa2fe9e4c51c994f946019a94b8d

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

Case digest / 24c6f95f136637a49dfbcf5f5ae50bf593404f35fd0aa41437e7007ab434ba26