FA-53911 / Accessibility interaction semantics / Open access
Excluded semantic objects enter reading flow · case 01
Excluded semantic objects enter reading flow.
ROOT CAUSE
The excluded source decision in the reading flow adapter violates its declared contract.
VERIFIED REPAIR
Apply the exact contract at the excluded source decision: if x not in excluded
Unsuccessful approach: The local repair substitutes if x not in excluded or x == start but still mishandles the regression fixtures.
Case contract
Input [natural_ids,edges,excluded,start] where edges are directed reading-flow overrides. Keep unique natural IDs in original order excluding excluded IDs. Admit edges between eligible distinct IDs; first outgoing edge wins. Reading starts at specified eligible ID otherwise first eligible. Follow override if target unvisited; otherwise take earliest unvisited natural node. Include each eligible object exactly once, prevent cycles, and return list of IDs. Explicit start does not remove earlier unvisited nodes.
Why this case matters
Offline accessibility bridge model with explicit policy; useful for testing semantic API adapters independently of browser implementations.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(data):
natural,edges,excluded,start = data
items = list(dict.fromkeys(x for x in natural if True))
if not items: return []
links = {}
for source,target in edges:
if source not in items or target not in items or source == target: continue
links.setdefault(source,target)
current = start if start in items else items[0]
seen = set()
result = []
while current is not None:
result.append(current)
seen.add(current)
nxt = links.get(current)
current = nxt if nxt is not None and nxt not in seen else next((x for x in items if x not in seen),None)
return result
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve([['a','b','c',str(N)],[['a','c'],['c','a']],[],'a'],), ['a','c','b',str(N)])
check('contract fixture 2', solve([['a','b','c'],[['a','c'],['a','b']],[],'a'],), ['a','c','b'])
check('contract fixture 3', solve([['a','b','c'],[['a','b'],['a','missing']],['b'],'a'],), ['a','c'])
check('contract fixture 4', solve([['a','b','c'],[],[],'c'],), ['c','a','b'])
check('contract fixture 5', solve([['b','a','b'],[['b','b']],[],'missing'],), ['b','a'])
check('contract fixture 6', solve([['a'],[['a','missing']],['a'],'a'],), [])
check('contract fixture 7', solve([['','a'],[['','a']],[],''],), ['','a'])
check('contract fixture 8', solve([['only'],[],[],'only'],), ['only'])
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 |
|---|---|---|---|
| contract fixture 1 | ['a', 'c', 'b', '1'] | ['a', 'c', 'b', '1'] | Passed |
| contract fixture 2 | ['a', 'c', 'b'] | ['a', 'c', 'b'] | Passed |
| contract fixture 3 | ['a', 'b', 'c'] | ['a', 'c'] | Failed |
| contract fixture 4 | ['c', 'a', 'b'] | ['c', 'a', 'b'] | Passed |
| contract fixture 5 | ['b', 'a'] | ['b', 'a'] | Passed |
| contract fixture 6 | ['a'] | [] | Failed |
| contract fixture 7 | ['', 'a'] | ['', 'a'] | Passed |
| contract fixture 8 | ['only'] | ['only'] | Passed |
SHA-256 / e819de4dc5b0366cd500f5c38a7022daa2a9d9683f1a5fffd725e0b68c4555cb
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(data):
natural,edges,excluded,start = data
items = list(dict.fromkeys(x for x in natural if x not in excluded or x == start))
if not items: return []
links = {}
for source,target in edges:
if source not in items or target not in items or source == target: continue
links.setdefault(source,target)
current = start if start in items else items[0]
seen = set()
result = []
while current is not None:
result.append(current)
seen.add(current)
nxt = links.get(current)
current = nxt if nxt is not None and nxt not in seen else next((x for x in items if x not in seen),None)
return result
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve([['a','b','c',str(N)],[['a','c'],['c','a']],[],'a'],), ['a','c','b',str(N)])
check('contract fixture 2', solve([['a','b','c'],[['a','c'],['a','b']],[],'a'],), ['a','c','b'])
check('contract fixture 3', solve([['a','b','c'],[['a','b'],['a','missing']],['b'],'a'],), ['a','c'])
check('contract fixture 4', solve([['a','b','c'],[],[],'c'],), ['c','a','b'])
check('contract fixture 5', solve([['b','a','b'],[['b','b']],[],'missing'],), ['b','a'])
check('contract fixture 6', solve([['a'],[['a','missing']],['a'],'a'],), [])
check('contract fixture 7', solve([['','a'],[['','a']],[],''],), ['','a'])
check('contract fixture 8', solve([['only'],[],[],'only'],), ['only'])
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 |
|---|---|---|---|
| contract fixture 1 | ['a', 'c', 'b', '1'] | ['a', 'c', 'b', '1'] | Passed |
| contract fixture 2 | ['a', 'c', 'b'] | ['a', 'c', 'b'] | Passed |
| contract fixture 3 | ['a', 'c'] | ['a', 'c'] | Passed |
| contract fixture 4 | ['c', 'a', 'b'] | ['c', 'a', 'b'] | Passed |
| contract fixture 5 | ['b', 'a'] | ['b', 'a'] | Passed |
| contract fixture 6 | ['a'] | [] | Failed |
| contract fixture 7 | ['', 'a'] | ['', 'a'] | Passed |
| contract fixture 8 | ['only'] | ['only'] | Passed |
SHA-256 / 034baa0a597b9b655962deb60eda049ed2e42499c9c40d85d3c0b62d575c8b50
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(data):
natural,edges,excluded,start = data
items = list(dict.fromkeys(x for x in natural if x not in excluded))
if not items: return []
links = {}
for source,target in edges:
if source not in items or target not in items or source == target: continue
links.setdefault(source,target)
current = start if start in items else items[0]
seen = set()
result = []
while current is not None:
result.append(current)
seen.add(current)
nxt = links.get(current)
current = nxt if nxt is not None and nxt not in seen else next((x for x in items if x not in seen),None)
return result
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve([['a','b','c',str(N)],[['a','c'],['c','a']],[],'a'],), ['a','c','b',str(N)])
check('contract fixture 2', solve([['a','b','c'],[['a','c'],['a','b']],[],'a'],), ['a','c','b'])
check('contract fixture 3', solve([['a','b','c'],[['a','b'],['a','missing']],['b'],'a'],), ['a','c'])
check('contract fixture 4', solve([['a','b','c'],[],[],'c'],), ['c','a','b'])
check('contract fixture 5', solve([['b','a','b'],[['b','b']],[],'missing'],), ['b','a'])
check('contract fixture 6', solve([['a'],[['a','missing']],['a'],'a'],), [])
check('contract fixture 7', solve([['','a'],[['','a']],[],''],), ['','a'])
check('contract fixture 8', solve([['only'],[],[],'only'],), ['only'])
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 |
|---|---|---|---|
| contract fixture 1 | ['a', 'c', 'b', '1'] | ['a', 'c', 'b', '1'] | Passed |
| contract fixture 2 | ['a', 'c', 'b'] | ['a', 'c', 'b'] | Passed |
| contract fixture 3 | ['a', 'c'] | ['a', 'c'] | Passed |
| contract fixture 4 | ['c', 'a', 'b'] | ['c', 'a', 'b'] | Passed |
| contract fixture 5 | ['b', 'a'] | ['b', 'a'] | Passed |
| contract fixture 6 | [] | [] | Passed |
| contract fixture 7 | ['', 'a'] | ['', 'a'] | Passed |
| contract fixture 8 | ['only'] | ['only'] | Passed |
SHA-256 / 6d5993fe7933f3c0c4a2c3f2685fa0f8720c7261ba749e503681cea5f1296e08
Verification & scope
Stipulated finite adapter contract, not a claim of platform accessibility or ARIA conformance. 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:45:43.391163+00:00.
Case digest / 651e0b09ce68ae7fde6f9e7be2b504ac15d81eecd84fbe26eae4f054d573e371