FA-11098 / Media playlist state / Member archive
Playlist duration unknown propagates · case 03
An unknown media duration is silently counted as zero.
Case contract
Durations are nonnegative numbers or None for unknown. Total is unknown if any component is unknown, otherwise exact sum including empty total zero.
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 fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| fixture 1 | 5 | null | 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.
Sign in to the archive ↗