FA-81615 / MIDI event timing / Member archive

Format 1 to format 0 track merge: last track's end-of-track wins · case 05

If an earlier track ends later than the last track, the merged end-of-track moves earlier.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

Input a list of tracks, each a list of [delta, event]. The event "eot" marks end of track and is not copied. Merge all events by absolute time; ties go to the lower track index, then original order. Output [delta, event] pairs followed by one final [delta, "eot"] at the latest end-of-track or last event time.

Why this case matters

MIDI sequencers, file readers and synth drivers depend on exact event ordering and tick/time arithmetic.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
oracle 1	`[[0, "x"], [50, "y"], [0, "eot"]]`	`[[0, "x"], [50, "y"], [50, "eot"]]`	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.