FA-21475 / Assistive announcements / Member archive

Packing omits separator space from budget calculation · case 05

The announcement trace violates the stated sentence-packing contract.

Member previewVariant 5 · 3 implementations · 7 checks per implementation

Case contract

Input operations configure character budget then append indivisible phrases [text,language]. Flush packs consecutive same-language phrases with one space while within budget. A phrase longer than budget is emitted alone intact. Language change always starts a new packet. Empty phrases are ignored. Break inserts hard boundary. Cancel removes queued phrases of one language. Returned packets are [language,text], queued phrase count and budget; flush consumes pending phrases.

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-2	`[[["en", "aaaaa bbbbb"]], 0, 10]`	`[[["en", "aaaaa"], ["en", "bbbbb"]], 0, 10]`	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.