FA-20944 / Assistive announcements / Member archive

Listener re-registration keeps old language and mode · case 04

The announcement trace violates the stated listener-delivery contract.

Member previewVariant 4 · 3 implementations · 7 checks per implementation

Case contract

Listeners register [id,language,mode] where mode speech or braille. Register replaces subscriptions and clears that listeners delivered IDs. Publish [event-id,text,language,target-mode] delivers to matching languages or wildcard and matching mode or both, at most once per listener/event. Remove deletes listener and receipt history. Mute excludes a listener without marking delivered. Unmute restores delivery. Report ordered [listener,event,text] and listener IDs.

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-2	`[[["s", "x", "hellohellohellohello"]], ["s"], []]`	`[[["s", "x", "hellohellohellohello"], ["s", "x", "bonjour"]], ["s"], []]`	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.