18da795017
Eighteen patches, each breaking one function of the playlist side and naming the cases that must fail: adjacency (another program date-time, a larger discontinuity sequence), rendering (parts after EXTINF, layer lines after the URI), bandwidth rounding, duration rounding, a delta update read, the session-data line before #EXTM3U, the render digest left out of the signed payload, a receipt under another name, an unchecked parent, the open segment's parts not read for cids, the integer log without interpolation, a waiting utility rule, a look-ahead blind to stalls, an unlabelled figure taken as zero, per-layer bytes as a depth's, and size-blind entry order. falsify/run.sh builds with http and video_manifest and runs the eleven new Python mutations. A depth case at 150 kb/s sits between layer boundaries. Co-Authored-By: Claude Opus 5.5 <[email protected]>
15 lines
971 B
Diff
15 lines
971 B
Diff
# must fail: adjacency_discontinuity_sequence
|
|
# adjacency ignores a larger discontinuity sequence (hls::timelines_adjacent)
|
|
diff --git a/wai/wai-rs/src/http_binding/hls.rs b/wai/wai-rs/src/http_binding/hls.rs
|
|
index 2623644b..aa290009 100644
|
|
--- a/wai/wai-rs/src/http_binding/hls.rs
|
|
+++ b/wai/wai-rs/src/http_binding/hls.rs
|
|
@@ -394,7 +394,7 @@ pub fn timelines_adjacent(wai: &MediaPlaylist, classical: &MediaPlaylist) -> Res
|
|
if wai.media_sequence != classical.media_sequence {
|
|
return Err(misaligned(format!("EXT-X-MEDIA-SEQUENCE {} beside {}", wai.media_sequence, classical.media_sequence)));
|
|
}
|
|
- if wai.discontinuity_sequence != classical.discontinuity_sequence {
|
|
+ if wai.discontinuity_sequence < classical.discontinuity_sequence {
|
|
return Err(misaligned(format!("EXT-X-DISCONTINUITY-SEQUENCE {} beside {}", wai.discontinuity_sequence, classical.discontinuity_sequence)));
|
|
}
|
|
if wai.segments.len() != classical.segments.len() {
|