@blockcast/mmt-container 0.5.0-main.ed11aec88d91 → 0.5.0

package/test-vectors/repair-policy-v1.json

@@ -0,0 +1,113 @@
+{
+  "version": 1,
+  "description": "Receiver repair policy (draft-ramadan-moq-fec-01 Section 11.4.2 and Section 11.4.5 item 3, Blockcast/moqcast-draft PR #2 @ 3162ef93). Which repair FETCHes a receiver sends, which it cancels, and which it never sends. Hand-authored from the specification, NOT generated by any implementation (BLO-49776).",
+  "scope": [
+    "Section 11.4 applies only to a multicast or AMT leg with a MoQ session (fec-01 11.4). These cases describe that leg; a receiver with no repair FETCH path records ABSENT, not a pass.",
+    "schedulerCases drive a repair scheduler. Every block spans K' = 4 SS_IDs, so block B covers SS_IDs B..B+3. Track video is a source track (packetId 1, keyframe or delta blocks); track audio is packetId 2 (audio blocks). A block is named track/SS_Start.",
+    "Best-effort (delta and audio) requests in schedulerCases are presumed covered by unexpired credit under fec-01 11.4.5 item 2; that credit is a precondition of each case, not something the case exercises.",
+    "A RAP 'held complete at ssId' is a keyframe access unit at SS_ID ssId that the receiver holds complete: admitted complete under the multicast-01 7.2.7 profile, received or recovered complete outside it. A block lies below it when the block's last SS_ID is less than ssId; a RAP at or inside the block does not make the block moot.",
+    "fetched lists every FETCH the receiver sends, in order. cancelled lists every sent FETCH it then cancels (FETCH_CANCEL on the wire). skipped names requests made but not sent, with the receiver's reason; stopped names sent FETCHes stopped, with the stop reason. A list not given is expected empty.",
+    "assistedCases drive one block of a protected flow (multicast-01 7.2.7) that is one symbol short of SSB_length, with unlisted repair symbols pooled for it. Each unlisted symbol triggers one unlisted-assisted decode in a scratch decoder; outcome 'fail' is a failed decode, 'recover' a decode whose recovered data unit admission accepts, 'recover-unadmitted' a decode whose recovered data unit admission refuses.",
+    "status names where a case's rule comes from: 'fec-01' is a -01 requirement; 'libmmt interpretation' is our reading where -01 is silent; 'regression' rows were already required at moqcast-draft main 615a9a8 and are kept to pin standing behaviour.",
+    "A keyframe request refused before its FETCH is sent (libmmt's reliable-path RTT check) is libmmt-local and deviates from the fec-01 11.4.2 MUST, so it is pinned in libmmt's own suite (repair-fetch-keyframe-budget.test.ts), not here. The 11.4.5 item 3 rule that a block 11.4.2 does not request cancels nothing is exercised by keyframe-below-complete-rap-not-requested."
+  ],
+  "schedulerCases": [
+    {
+      "name": "keyframe-below-complete-rap-not-requested",
+      "status": "fec-01",
+      "rule": "fec-01 11.4.2: a keyframe-bearing block at its FEC deadline is requested unless it lies below a RAP already held complete; 11.4.5 item 3: a block whose repair 11.4.2 does not request cancels nothing (case a).",
+      "ops": [
+        { "op": "fire", "track": "video", "block": 20, "class": "delta" },
+        { "op": "rapHeld", "ssId": 4 },
+        { "op": "fire", "track": "video", "block": 0, "class": "keyframe" }
+      ],
+      "expect": {
+        "fetched": ["video/20"],
+        "skipped": [{ "block": "video/0", "reason": "moot-rap" }]
+      }
+    },
+    {
+      "name": "control-rap-inside-block-is-requested",
+      "status": "libmmt interpretation",
+      "rule": "Control for the case above. fec-01 does not define 'lies below'; libmmt reads it so that a RAP at the block's own last SS_ID is part of the block, so the block is not below it and is requested.",
+      "ops": [
+        { "op": "rapHeld", "ssId": 3 },
+        { "op": "fire", "track": "video", "block": 0, "class": "keyframe" }
+      ],
+      "expect": { "fetched": ["video/0"] }
+    },
+    {
+      "name": "rap-completes-mid-fetch-cancels",
+      "status": "regression",
+      "rule": "fec-01 11.4.2 (already a SHOULD at main 615a9a8): a RAP completing while a keyframe repair is outstanding makes that repair moot and the receiver cancels it; a block above the RAP keeps its FETCH (case b).",
+      "ops": [
+        { "op": "fire", "track": "video", "block": 0, "class": "keyframe" },
+        { "op": "fire", "track": "video", "block": 8, "class": "keyframe" },
+        { "op": "rapComplete", "ssId": 5 }
+      ],
+      "expect": {
+        "fetched": ["video/0", "video/8"],
+        "cancelled": ["video/0"],
+        "stopped": [{ "block": "video/0", "reason": "moot" }]
+      }
+    },
+    {
+      "name": "audio-request-preempts-nothing",
+      "status": "fec-01",
+      "rule": "fec-01 11.4.5 item 3: only the keyframe repair 11.4.2 requests cancels best-effort FETCHes; an audio request cancels nothing.",
+      "ops": [
+        { "op": "fire", "track": "video", "block": 20, "class": "delta" },
+        { "op": "fire", "track": "audio", "block": 0, "class": "audio" }
+      ],
+      "expect": { "fetched": ["video/20", "audio/0"] }
+    },
+    {
+      "name": "sent-keyframe-repair-cancels-delta-and-audio",
+      "status": "regression",
+      "rule": "fec-01 11.4.5 item 3 (standing at main 615a9a8): a keyframe repair FETCH that is sent cancels the outstanding delta and audio FETCHes (case c-pos).",
+      "ops": [
+        { "op": "fire", "track": "video", "block": 20, "class": "delta" },
+        { "op": "fire", "track": "audio", "block": 0, "class": "audio" },
+        { "op": "fire", "track": "video", "block": 40, "class": "keyframe" }
+      ],
+      "expect": {
+        "fetched": ["video/20", "audio/0", "video/40"],
+        "cancelled": ["video/20", "audio/0"],
+        "stopped": [
+          { "block": "video/20", "reason": "preempted" },
+          { "block": "audio/0", "reason": "preempted" }
+        ]
+      }
+    }
+  ],
+  "assistedCases": [
+    {
+      "name": "two-failed-assisted-decodes-then-refused",
+      "status": "fec-01",
+      "rule": "multicast-01 7.2.7 step 2, referenced by fec-01 11.4: at most two unlisted-assisted decodes may fail per block; a failed decode's pooled symbol is discarded and a fresh one retried; a third is refused (case d).",
+      "decodes": ["fail", "fail", "fail"],
+      "expect": { "scratchDecodes": 2, "refused": 1, "recovered": false }
+    },
+    {
+      "name": "assisted-decode-recovers-on-retry",
+      "status": "fec-01",
+      "rule": "Control for the case above: after one failed decode, the retry on a fresh pooled symbol recovers the block (case d).",
+      "decodes": ["fail", "recover"],
+      "expect": { "scratchDecodes": 2, "refused": 0, "recovered": true }
+    },
+    {
+      "name": "recovered-but-unadmitted-is-unrecovered",
+      "status": "fec-01",
+      "rule": "multicast-01 7.2.7 / fec-01 11.4.2: a data unit recovered but refused by admission does not complete the block; the block stays unrecovered and is still due its repair at the FEC deadline (case e).",
+      "decodes": ["recover-unadmitted"],
+      "expect": { "scratchDecodes": 1, "refused": 0, "recovered": false }
+    },
+    {
+      "name": "unadmitted-recovery-counts-toward-decode-cap",
+      "status": "fec-01",
+      "rule": "multicast-01 7.2.7: a decode none of whose recovered packets is admitted recovers nothing, so it counts toward the two-decode cap like a failed decode (case e).",
+      "decodes": ["recover-unadmitted", "fail", "fail"],
+      "expect": { "scratchDecodes": 2, "refused": 1, "recovered": false }
+    }
+  ]
+}