FA-81682 / MIDI event timing / Member archive

Loop-region playback event firing: loop wraps to the song start · case 02

After the first pass the song position jumps to tick 0 instead of the loop start, replaying the intro.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Input [loop_start, loop_end, events, from_tick, to_tick]. Playback runs over playback ticks p in [from, to). Song position is p while p < loop_end, afterwards loop_start + (p - loop_end) mod (loop_end - loop_start). Every event whose song tick equals the song position fires as [p, event_tick]. Requires 0 <= loop_start < loop_end and 0 <= from < loop_end, else None.

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 0	`[[4, 4], [6, 6]]`	`[[4, 4], [6, 6], [8, 4], [10, 6], [12, 4], [14, 6]]`	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.