FA-21517 / Assistive announcements / Member archive

Committed handoff leaves pending speech on previous device · case 02

The announcement trace violates the stated device-handoff contract.

Member previewVariant 2 · 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-1	`[[["local", "hellohello"]], [["local", "before"], ["Headset", "after"]], "Headset", null, ["Headset", "local"]]`	`[[["Headset", "hellohello"]], [["Headset", "before"], ["Headset", "after"]], "Headset", null, ["Headset", "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.