FA-11033 / Media playlist state / Member archive

Insert before preserves playing entry · case 03

Inserting before playback shifts the current item but leaves its old numeric index.

Member previewVariant 3 · 3 implementations · 4 checks per implementation

Case contract

Entries is nonempty; current is a valid index, insertion position in [0,length]. Insert added entries while keeping the original current entry selected.

Why this case matters

A deterministic local media controller stage; metadata and downloaded data are supplied explicitly. No external player, service or codec is required.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
fixture 1	`[["x", "a", "b"], 1]`	`[["x", "a", "b"], 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.