FA-8411 / Assistive announcements / Open access
Live-region announcement scheduling: Disabled live regions still speak updates · case 01
Disabled live regions still speak updates.
ROOT CAUSE
The off operation uses `if priority == 'off': return (queue, text)` where the contract requires `if priority == 'off': return (queue, current)`.
VERIFIED REPAIR
Implement the off operation as `if priority == 'off': return (queue, current)`.
Unsuccessful approach: Deferring off-region updates still creates unauthorized later announcements.
Case contract
Suppress identical and off updates; busy queues preserve order; assertive updates supersede pending work; atomic reads full content and incremental mode reads appended content.
Why this case matters
A deterministic model of live-region announcement scheduling; 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(queue, current, text, priority, busy, atomic):
queue = list(queue)
if text == current: return (queue, current)
if priority == 'off': return (queue, text)
if busy: return (queue + [text], current)
if priority == 'assertive': return ([], text)
if atomic: return (queue, text)
return (queue, text[len(current):] if text.startswith(current) else text)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('duplicate', solve(['later'], 'done', 'done', 'polite', False, True), (['later'], 'done'))
check('off', solve(['later'], 'old', 'new', 'off', False, True), (['later'], 'old'))
check('busy', solve(['first'], 'old', 'new', 'polite', True, True), (['first', 'new'], 'old'))
check('urgent', solve(['old pending'], 'old', 'urgent', 'assertive', False, True), ([], 'urgent'))
check('atomic', solve([], '2 of ', '2 of 5', 'polite', False, True), ([], '2 of 5'))
check('incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
check('parameterized atomic content', solve([], '', 'status'+str(N), 'polite', False, True), ([], 'status'+str(N)))
for repetition in range(N):
check('repeat incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
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 |
|---|---|---|---|
| duplicate | [['later'], 'done'] | [['later'], 'done'] | Passed |
| off | [['later'], 'new'] | [['later'], 'old'] | Failed |
| busy | [['first', 'new'], 'old'] | [['first', 'new'], 'old'] | Passed |
| urgent | [[], 'urgent'] | [[], 'urgent'] | Passed |
| atomic | [[], '2 of 5'] | [[], '2 of 5'] | Passed |
| incremental | [[], '5'] | [[], '5'] | Passed |
| parameterized atomic content | [[], 'status1'] | [[], 'status1'] | Passed |
| repeat incremental | [[], '5'] | [[], '5'] | Passed |
SHA-256 / 6667d0629530cb538111e34e90bec4705ce50b6e68287c55d20c1428aae7f256
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(queue, current, text, priority, busy, atomic):
queue = list(queue)
if text == current: return (queue, current)
if priority == 'off': return (queue + [text], current)
if busy: return (queue + [text], current)
if priority == 'assertive': return ([], text)
if atomic: return (queue, text)
return (queue, text[len(current):] if text.startswith(current) else text)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('duplicate', solve(['later'], 'done', 'done', 'polite', False, True), (['later'], 'done'))
check('off', solve(['later'], 'old', 'new', 'off', False, True), (['later'], 'old'))
check('busy', solve(['first'], 'old', 'new', 'polite', True, True), (['first', 'new'], 'old'))
check('urgent', solve(['old pending'], 'old', 'urgent', 'assertive', False, True), ([], 'urgent'))
check('atomic', solve([], '2 of ', '2 of 5', 'polite', False, True), ([], '2 of 5'))
check('incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
check('parameterized atomic content', solve([], '', 'status'+str(N), 'polite', False, True), ([], 'status'+str(N)))
for repetition in range(N):
check('repeat incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
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 |
|---|---|---|---|
| duplicate | [['later'], 'done'] | [['later'], 'done'] | Passed |
| off | [['later', 'new'], 'old'] | [['later'], 'old'] | Failed |
| busy | [['first', 'new'], 'old'] | [['first', 'new'], 'old'] | Passed |
| urgent | [[], 'urgent'] | [[], 'urgent'] | Passed |
| atomic | [[], '2 of 5'] | [[], '2 of 5'] | Passed |
| incremental | [[], '5'] | [[], '5'] | Passed |
| parameterized atomic content | [[], 'status1'] | [[], 'status1'] | Passed |
| repeat incremental | [[], '5'] | [[], '5'] | Passed |
SHA-256 / f24ac7395deb09e0d00bbb9e851f52a650f52b543cd1aaf4546732d9b5506290
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(queue, current, text, priority, busy, atomic):
queue = list(queue)
if text == current: return (queue, current)
if priority == 'off': return (queue, current)
if busy: return (queue + [text], current)
if priority == 'assertive': return ([], text)
if atomic: return (queue, text)
return (queue, text[len(current):] if text.startswith(current) else text)
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('duplicate', solve(['later'], 'done', 'done', 'polite', False, True), (['later'], 'done'))
check('off', solve(['later'], 'old', 'new', 'off', False, True), (['later'], 'old'))
check('busy', solve(['first'], 'old', 'new', 'polite', True, True), (['first', 'new'], 'old'))
check('urgent', solve(['old pending'], 'old', 'urgent', 'assertive', False, True), ([], 'urgent'))
check('atomic', solve([], '2 of ', '2 of 5', 'polite', False, True), ([], '2 of 5'))
check('incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
check('parameterized atomic content', solve([], '', 'status'+str(N), 'polite', False, True), ([], 'status'+str(N)))
for repetition in range(N):
check('repeat incremental', solve([], '2 of ', '2 of 5', 'polite', False, False), ([], '5'))
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 |
|---|---|---|---|
| duplicate | [['later'], 'done'] | [['later'], 'done'] | Passed |
| off | [['later'], 'old'] | [['later'], 'old'] | Passed |
| busy | [['first', 'new'], 'old'] | [['first', 'new'], 'old'] | Passed |
| urgent | [[], 'urgent'] | [[], 'urgent'] | Passed |
| atomic | [[], '2 of 5'] | [[], '2 of 5'] | Passed |
| incremental | [[], '5'] | [[], '5'] | Passed |
| parameterized atomic content | [[], 'status1'] | [[], 'status1'] | Passed |
| repeat incremental | [[], '5'] | [[], '5'] | Passed |
SHA-256 / 1d08f40e03d5830fe3875eaf5b80614c19ae995cf26ba3402a2654b3bc440d6d
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:21.140115+00:00.
Case digest / fb02cbd7427f9a6bd4372e72eb3e298d3b645eedc66e6b9279c083f82255e9ab