FA-20932 / Assistive announcements / Member archive

Nested interruption resumes the oldest suspended utterance · case 02

The announcement trace violates the stated interrupt-resumption contract.

Member previewVariant 2 · 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-1	`[[["a", "a"], ["c", "c"], ["a", "a"], ["a", "a"]], ["a", 3], [["b", 0]], []]`	`[[["a", "a"], ["c", "c"], ["b", "b"], ["a", "a"]], ["a", 2], [], []]`	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.