FA-20758 / Assistive announcements / Member archive

Deleted group preserves its urgency for later reuse · case 03

The announcement trace violates the stated priority-inheritance contract.

Member previewVariant 3 · 3 implementations · 7 checks per implementation

Case contract

Messages belong to groups. Set group priority affects future selection, not stored base. Enqueue [id,group,base,text]. Group floor combines with base using max. Drain picks largest effective priority, then earliest position; repeat drains remove only winner. Drop-group removes its messages and floor. Move changes only a message group. Reset-floor removes inheritance but retains messages. Report spoken IDs and pending [id,group].

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-4	`[[["b", "new"]], [["foreign", "h"], ["c", "h"]], [["g", 9], ["h", 3]]]`	`[[["foreign", "foreign"]], [["b", "g"], ["c", "h"]], [["h", 3]]]`	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.