FA-20985 / Assistive announcements / Member archive

Event identity is deduplicated across all listeners · case 05

The announcement trace violates the stated listener-delivery contract.

Member previewVariant 5 · 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-1	`[[["s", "x", "texttexttexttexttext"]], ["s", "b"], []]`	`[[["s", "x", "texttexttexttexttext"], ["b", "x", "texttexttexttexttext"]], ["s", "b"], []]`	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.