FA-8681 / Overlay interactions / Open access

Overlay dismissal stack: Dismissal policy is taken from an underlying overlay · case 01

Dismissal policy is taken from an underlying overlay.

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

ROOT CAUSE

The topmost operation uses `active = layers[0]` where the contract requires `active = layers[-1]`.

VERIFIED REPAIR

Implement the topmost operation as `active = layers[-1]`.

Unsuccessful approach: Lexical ordering does not represent visual stacking.

Case contract

Only the topmost overlay handles Escape/outside policy; inside descendants are exempt; explicit unmount removes only its identity.

Why this case matters

A deterministic model of overlay dismissal stack; this isolates one interface invariant without requiring a browser.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(layers, event, target):
    layers = [dict(x) for x in layers]
    if not layers: return layers
    active = layers[0]
    if event == 'escape' and active['escape']: return layers[:-1]
    if event == 'outside' and active['outside'] and target not in active['inside']: return layers[:-1]
    if event == 'remove': return [x for x in layers if x['id'] != target]
    return layers
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('topmost', solve([dict(id='a',escape=False,outside=False,inside=['a']),dict(id='z',escape=True,outside=True,inside=['z'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected escape', solve([dict(id='a',escape=False,outside=False,inside=['a'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected outside', solve([dict(id='a',escape=True,outside=False,inside=['a'])], 'outside', 'x'), [{'id': 'a', 'escape': True, 'outside': False, 'inside': ['a']}])
check('inside child', solve([dict(id='a',escape=True,outside=True,inside=['a','child'])], 'outside', 'child'), [{'id': 'a', 'escape': True, 'outside': True, 'inside': ['a', 'child']}])
check('outside', solve([dict(id='a',escape=True,outside=True,inside=['a'])], 'outside', 'x'), [])
check('remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
check('parameterized stack depth', solve([dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N)],'escape',None), [dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N-1)])
for repetition in range(N):
    check('repeat remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
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
topmost	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}, {'escape': True, 'id': 'z', 'inside': ['z'], 'outside': True}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Failed
protected escape	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
protected outside	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
inside child	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	Passed
outside	`[]`	`[]`	Passed
remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed
parameterized stack depth	`[]`	`[]`	Passed
repeat remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed

SHA-256 / 9d6280a6d020bc77a30172c4ac66bd3f792ec6e28dee7eeca9e510f0436f8b2e

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(layers, event, target):
    layers = [dict(x) for x in layers]
    if not layers: return layers
    active = min(layers, key=lambda x: x["id"])
    if event == 'escape' and active['escape']: return layers[:-1]
    if event == 'outside' and active['outside'] and target not in active['inside']: return layers[:-1]
    if event == 'remove': return [x for x in layers if x['id'] != target]
    return layers
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('topmost', solve([dict(id='a',escape=False,outside=False,inside=['a']),dict(id='z',escape=True,outside=True,inside=['z'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected escape', solve([dict(id='a',escape=False,outside=False,inside=['a'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected outside', solve([dict(id='a',escape=True,outside=False,inside=['a'])], 'outside', 'x'), [{'id': 'a', 'escape': True, 'outside': False, 'inside': ['a']}])
check('inside child', solve([dict(id='a',escape=True,outside=True,inside=['a','child'])], 'outside', 'child'), [{'id': 'a', 'escape': True, 'outside': True, 'inside': ['a', 'child']}])
check('outside', solve([dict(id='a',escape=True,outside=True,inside=['a'])], 'outside', 'x'), [])
check('remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
check('parameterized stack depth', solve([dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N)],'escape',None), [dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N-1)])
for repetition in range(N):
    check('repeat remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
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
topmost	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}, {'escape': True, 'id': 'z', 'inside': ['z'], 'outside': True}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Failed
protected escape	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
protected outside	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
inside child	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	Passed
outside	`[]`	`[]`	Passed
remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed
parameterized stack depth	`[]`	`[]`	Passed
repeat remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed

SHA-256 / a92afaad5c62fa5b742c81a748b08273384e71af1a9156158ba88a991733a2f4

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(layers, event, target):
    layers = [dict(x) for x in layers]
    if not layers: return layers
    active = layers[-1]
    if event == 'escape' and active['escape']: return layers[:-1]
    if event == 'outside' and active['outside'] and target not in active['inside']: return layers[:-1]
    if event == 'remove': return [x for x in layers if x['id'] != target]
    return layers
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('topmost', solve([dict(id='a',escape=False,outside=False,inside=['a']),dict(id='z',escape=True,outside=True,inside=['z'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected escape', solve([dict(id='a',escape=False,outside=False,inside=['a'])], 'escape', None), [{'id': 'a', 'escape': False, 'outside': False, 'inside': ['a']}])
check('protected outside', solve([dict(id='a',escape=True,outside=False,inside=['a'])], 'outside', 'x'), [{'id': 'a', 'escape': True, 'outside': False, 'inside': ['a']}])
check('inside child', solve([dict(id='a',escape=True,outside=True,inside=['a','child'])], 'outside', 'child'), [{'id': 'a', 'escape': True, 'outside': True, 'inside': ['a', 'child']}])
check('outside', solve([dict(id='a',escape=True,outside=True,inside=['a'])], 'outside', 'x'), [])
check('remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
check('parameterized stack depth', solve([dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N)],'escape',None), [dict(id=str(i),escape=True,outside=True,inside=[str(i)]) for i in range(N-1)])
for repetition in range(N):
    check('repeat remove', solve([dict(id='a',escape=True,outside=True,inside=['a']),dict(id='b',escape=True,outside=True,inside=['b'])], 'remove', 'a'), [{'id': 'b', 'escape': True, 'outside': True, 'inside': ['b']}])
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
topmost	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
protected escape	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': False, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
protected outside	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	`[{'escape': True, 'id': 'a', 'inside': ['a'], 'outside': False}]`	Passed
inside child	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	`[{'escape': True, 'id': 'a', 'inside': ['a', 'child'], 'outside': True}]`	Passed
outside	`[]`	`[]`	Passed
remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed
parameterized stack depth	`[]`	`[]`	Passed
repeat remove	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	`[{'escape': True, 'id': 'b', 'inside': ['b'], 'outside': True}]`	Passed

SHA-256 / 15ba81ce96041653330d7722eb8d4b4ef5e335c8b061eb8bdf21fd3f701eb989

Verification & scope

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

Case digest / 2dfd677a35294ddbaa781aec346b527c9a879bdc4050ab7b32a0a5e9973a38d6