FA-20787 / Assistive announcements / Member archive

Priority dispatcher speaks the group instead of message text · case 02

The announcement trace violates the stated priority-inheritance contract.

Member previewVariant 2 · 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-1	`[[["b", "h"], ["a", "g"]], [], [["g", 4]]]`	`[[["b", "beta"], ["a", "alpha"]], [], [["g", 4]]]`	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.