1.0 KiB
1.0 KiB
1. Red production path
- 1.1 Add a public Apollo-UDP-to-independent-client regression for complete frames above 18,864 bytes
- 1.2 Add malformed, duplicate, reorder, timeout, and maximum-allocation reassembly cases
2. Complete-frame transport
- 2.1 Implement negotiated datagram-v2 fragmentation and bounded independent reassembly
- 2.2 Prove deterministic 1080p60, 1440p120, and 4K60 frame distributions preserve exact bytes and boundaries
3. Native queue bounds
- 3.1 Add sustained realistic-frame regressions for count, byte, latency, cleanup, cancellation, slow-reader, and amplification bounds
- 3.2 Bound the existing native video channel by 16 entries, 4 MiB, and 250 ms with latest-frame replacement and truthful drops
- 3.3 Preserve independent bounded audio and terminal event paths
4. Verification
- 4.1 Run focused framing, native media, queue, race, cancellation, and resource checks
- 4.2 Run strict OpenSpec validation and the final affected Data Plane verification once