FA-21252 / Assistive announcements / Member archive

Budget cap reduction fails to clamp available credit · case 02

The announcement trace violates the stated speech-time-budget contract.

Member previewVariant 2 · 3 implementations · 10 checks per implementation

Case contract

Each turn has a spoken-character budget. Enqueue [id,text,cost] with positive cost. Begin replaces remaining budget. Pump selects first queued job that fits, allowing later small jobs to bypass large ones; sends one and subtracts its cost. Refund restores cost of a sent ID once, without requeueing. Cancel removes only unsent ID. Cap limits remaining credit immediately. Reset clears queue and refund ledger. Return speech IDs, queue IDs, remaining, cap.

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	`[[], [], 2, 8]`	`[[], [], 1, 8]`	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.