FA-21500 / Assistive announcements / Member archive

Queued speech uses uncommitted handoff target · case 05

The announcement trace violates the stated device-handoff contract.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Output routes start at local device. Queue snapshots requested route and utterance text. Begin-handoff sets a target while retaining current route. Commit switches current route and migrates only pending items on old route; cancel-handoff leaves queue unchanged. Device removal drops queued output to that device and chooses local if current removed. Send requires route available and sends one queued item; unavailable items remain. Add makes device available. Return [device,text] output and pending routes.

Why this case matters

Deterministic controlled model of assistive announcement delivery.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
trace-3	`[[["local", "keepkeepkeepkeepkeep"]], [["remote", "duringduringduringduringduring"]], "local", null, ["local"]]`	`[[["local", "keepkeepkeepkeepkeep"]], [["local", "duringduringduringduringduring"]], "local", null, ["local"]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.