FA-20913 / Assistive announcements / Member archive

Canceled suspended speech resumes after urgent completion · case 03

The announcement trace violates the stated interrupt-resumption contract.

Member previewVariant 3 · 3 implementations · 8 checks per implementation

Case contract

Speech jobs are [id,words,cursor]. Start queues a new job when one is active. Urgent pushes the current job on a LIFO suspended stack and begins fresh. Step speaks one word and finishes only after its last word; suspended jobs resume before queued normal work. Cancel ID removes it from every location and promotes next available job. Clear discards all jobs without speech. Report emitted [id,word] and current/suspended/waiting IDs with cursors.

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	`[[["b", "b"], ["a", "a"]], ["a", 1], [], [["c", 0]]]`	`[[["b", "b"], ["c", "c"]], null, [], []]`	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.