@blockcast/mmt-container 0.1.0-main.149f78a4adae

package/test-vectors/subsample-placement-v1.json

@@ -0,0 +1,230 @@
+{
+  "version": 1,
+  "description": "Subsample data-unit placement contract (moqcast #37, ISO/IEC 23008-1 Table 14). A timed sample larger than one data unit's capacity is partitioned into multiple data units, each carrying its own DU header, its own FI chain, and its own countdown. These vectors are derived by hand from the specification, NOT generated by any implementation, so that the Rust core, the TypeScript container, and the FFmpeg producer are each checked against the spec rather than against each other.",
+  "payloads_per_data_unit": 256,
+  "notes": [
+    "du_capacity = payloads_per_data_unit * max_payload. Because a data unit's capacity is an exact multiple of max_payload, data-unit boundaries always land on payload boundaries -- so data_unit_offset is always a multiple of du_capacity and constituent data units are byte-adjacent by construction.",
+    "total_payloads = 1 + (sample_size - 1) / max_payload (integer division).",
+    "data_unit_payloads counts payloads in THIS data unit: 1 + (min(du_capacity, sample_size - data_unit_offset) - 1) / max_payload.",
+    "fragment_counter counts DOWN within its data unit: data_unit_payloads - index_in_data_unit - 1. It is NOT a free-running counter across the sample or the movie fragment.",
+    "fragmentation_indicator is scoped to the data unit: 0 when the data unit is carried whole, 1 for its first fragment, 3 for its last, 2 in between.",
+    "A sample may be partitioned into multiple data units while an individual data unit is still carried whole (FI=0). See the 'second-data-unit-is-a-single-whole-payload' case: FI=0 with a NONZERO data_unit_offset is legal and must not be rejected."
+  ],
+  "cases": [
+    {
+      "name": "whole-sample-single-payload",
+      "rationale": "Smallest legal shape: the sample fits in one payload, so one data unit carried whole. FI=0, counter 0, offset 0. This is the pre-subsample status quo and must stay unchanged.",
+      "sample_size": 1000,
+      "max_payload": 1316,
+      "du_capacity": 336896,
+      "total_payloads": 1,
+      "probes": [
+        {
+          "payload_index": 0,
+          "payload_offset": 0,
+          "payload_size": 1000,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 1,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 0,
+          "fragment_counter": 0
+        }
+      ]
+    },
+    {
+      "name": "fragmented-single-data-unit-two-payloads",
+      "rationale": "Two payloads in one data unit: the countdown must run 1 then 0, and the FI chain must be 1 then 3 with no FI=2 in between.",
+      "sample_size": 2632,
+      "max_payload": 1316,
+      "du_capacity": 336896,
+      "total_payloads": 2,
+      "probes": [
+        {
+          "payload_index": 0,
+          "payload_offset": 0,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 2,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 1,
+          "fragment_counter": 1
+        },
+        {
+          "payload_index": 1,
+          "payload_offset": 1316,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 2,
+          "index_in_data_unit": 1,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        }
+      ]
+    },
+    {
+      "name": "sample-exactly-fills-one-data-unit",
+      "rationale": "sample_size == du_capacity is the boundary that must NOT partition. One data unit of exactly 256 payloads, countdown 255..0. An off-by-one in the partition test shows up here as a spurious second data unit.",
+      "sample_size": 336896,
+      "max_payload": 1316,
+      "du_capacity": 336896,
+      "total_payloads": 256,
+      "probes": [
+        {
+          "payload_index": 0,
+          "payload_offset": 0,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 1,
+          "fragment_counter": 255
+        },
+        {
+          "payload_index": 1,
+          "payload_offset": 1316,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 1,
+          "fragmentation_indicator": 2,
+          "fragment_counter": 254
+        },
+        {
+          "payload_index": 255,
+          "payload_offset": 335580,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 255,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        }
+      ]
+    },
+    {
+      "name": "second-data-unit-is-a-single-whole-payload",
+      "rationale": "du_capacity + 1: the smallest sample that partitions. The second data unit holds a single byte, so it is carried WHOLE -- fragmentation_indicator 0 and fragment_counter 0 at a NONZERO data_unit_offset. A consumer that requires offset == 0 on the FI=0 arm rejects this, which is precisely the constraint moqcast #37 relaxes. Regression-critical.",
+      "sample_size": 336897,
+      "max_payload": 1316,
+      "du_capacity": 336896,
+      "total_payloads": 257,
+      "probes": [
+        {
+          "payload_index": 0,
+          "payload_offset": 0,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 1,
+          "fragment_counter": 255
+        },
+        {
+          "payload_index": 255,
+          "payload_offset": 335580,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 255,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        },
+        {
+          "payload_index": 256,
+          "payload_offset": 336896,
+          "payload_size": 1,
+          "data_unit_index": 1,
+          "data_unit_offset": 336896,
+          "data_unit_payloads": 1,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 0,
+          "fragment_counter": 0
+        }
+      ]
+    },
+    {
+      "name": "three-data-units-with-partial-final-payload",
+      "rationale": "Two full data units plus a short third, whose final payload is a partial 1052 bytes. Pins that each data unit restarts its own countdown (the third runs 3..0, not a continuation of the second), that data_unit_offset stays a multiple of du_capacity, and that only the very last payload is short.",
+      "sample_size": 678792,
+      "max_payload": 1316,
+      "du_capacity": 336896,
+      "total_payloads": 516,
+      "probes": [
+        {
+          "payload_index": 255,
+          "payload_offset": 335580,
+          "payload_size": 1316,
+          "data_unit_index": 0,
+          "data_unit_offset": 0,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 255,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        },
+        {
+          "payload_index": 256,
+          "payload_offset": 336896,
+          "payload_size": 1316,
+          "data_unit_index": 1,
+          "data_unit_offset": 336896,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 1,
+          "fragment_counter": 255
+        },
+        {
+          "payload_index": 511,
+          "payload_offset": 672476,
+          "payload_size": 1316,
+          "data_unit_index": 1,
+          "data_unit_offset": 336896,
+          "data_unit_payloads": 256,
+          "index_in_data_unit": 255,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        },
+        {
+          "payload_index": 512,
+          "payload_offset": 673792,
+          "payload_size": 1316,
+          "data_unit_index": 2,
+          "data_unit_offset": 673792,
+          "data_unit_payloads": 4,
+          "index_in_data_unit": 0,
+          "fragmentation_indicator": 1,
+          "fragment_counter": 3
+        },
+        {
+          "payload_index": 514,
+          "payload_offset": 676424,
+          "payload_size": 1316,
+          "data_unit_index": 2,
+          "data_unit_offset": 673792,
+          "data_unit_payloads": 4,
+          "index_in_data_unit": 2,
+          "fragmentation_indicator": 2,
+          "fragment_counter": 1
+        },
+        {
+          "payload_index": 515,
+          "payload_offset": 677740,
+          "payload_size": 1052,
+          "data_unit_index": 2,
+          "data_unit_offset": 673792,
+          "data_unit_payloads": 4,
+          "index_in_data_unit": 3,
+          "fragmentation_indicator": 3,
+          "fragment_counter": 0
+        }
+      ]
+    }
+  ]
+}