@blockcast/mmt-container 0.3.0 → 0.4.0-main.1cd3cdea89da

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@blockcast/mmt-container",
-  "version": "0.3.0",
+  "version": "0.4.0-main.1cd3cdea89da",
   "description": "MMTP/LOC container parsing for MMT over MoQ and SSM",
   "type": "module",
   "main": "dist/index.js",
@@ -152,7 +152,8 @@
     },
     "./catalog.schema.json": "./schemas/catalog.schema.json",
     "./test-vectors/catalog-validation.json": "./test-vectors/catalog-validation.json",
-    "./test-vectors/align.json": "./test-vectors/align.json"
+    "./test-vectors/align.json": "./test-vectors/align.json",
+    "./test-vectors/catalog-timing.json": "./test-vectors/catalog-timing.json"
   },
   "files": [
     "dist",
@@ -177,21 +178,13 @@
   },
   "dependencies": {
     "@noble/hashes": "^1.8.0",
-    "@blockcast/mmt-fec": "^0.3.0",
-    "@blockcast/mmt-manifest-verify": "^0.3.0",
-    "@blockcast/fec-worker": "^0.3.0",
-    "@blockcast/mmt-alta-parse": "^0.3.0",
-    "@blockcast/mmt-base": "^0.3.0",
+    "@blockcast/mmt-fec": "0.3.0-main.1cd3cdea89da",
+    "@blockcast/mmt-manifest-verify": "0.3.0-main.1cd3cdea89da",
+    "@blockcast/fec-worker": "0.3.0-main.1cd3cdea89da",
+    "@blockcast/mmt-base": "0.3.0-main.1cd3cdea89da",
     "ajv": "^8.17.1",
     "ajv-formats": "^3.0.1"
   },
-  "bundledDependencies": [
-    "@blockcast/mmt-fec",
-    "@blockcast/mmt-manifest-verify",
-    "@blockcast/fec-worker",
-    "@blockcast/mmt-alta-parse",
-    "@blockcast/mmt-base"
-  ],
   "devDependencies": {
     "@blockcast/mmt-transport": "file:../transport",
     "esbuild": "^0.28.0",

package/schemas/catalog.schema.json

@@ -206,13 +206,13 @@
       "properties": {
         "algorithm": { "enum": ["raptorq", "reed-solomon"] },
         "blockProfile": {
-          "enum": ["k-padded-v1", "iso-ssbg1-v1"],
-          "description": "FEC block profile (ISO/IEC 23008-1 Annex C). Required whenever algorithm declares an FEC instance (anything but \"none\"); never defaulted or inferred. k-padded-v1: zero-padded K-symbol blocks, SS_Start = SBN*K. iso-ssbg1-v1: ssbg_mode1, K' = SSB_length, consecutive SS_IDs."
+          "enum": ["iso-ssbg1-v1"],
+          "description": "FEC block profile (ISO/IEC 23008-1 Annex C, draft-ramadan-moq-fec 5.1). Required whenever algorithm declares an FEC instance (anything but \"none\"); never defaulted or inferred. The only profile is iso-ssbg1-v1: ssbg_mode1, K' = SSB_length, consecutive SS_IDs. Any other token, the retired k-padded-v1 included, is invalid; a receiver treats such a track as having no FEC."
         },
         "sourceSymbols": { "$ref": "#/$defs/positiveInteger" },
         "repairSymbols": { "$ref": "#/$defs/positiveInteger" },
         "symbolSize": { "$ref": "#/$defs/positiveInteger" },
-        "interleaveDepthMs": { "$ref": "#/$defs/positiveInteger" },
+        "interleaveDepthMs": { "type": "integer", "minimum": 0, "maximum": 9007199254740991 },
         "reorderToleranceMs": { "$ref": "#/$defs/nonNegativeNumber" },
         "repairTrack": { "type": "string", "minLength": 1 },
         "repairContainer": { "const": "native" },

package/src/carp-catalog.ts

@@ -169,11 +169,11 @@ export interface FecCatalogConfig {
 	algorithm: FecAlgorithm;
 	/** FEC block profile (BLO-35597, ISO/IEC 23008-1 Annex C). REQUIRED when
 	 *  `algorithm` declares an FEC instance (anything but `"none"`); optional
-	 *  on `"none"`, where a present token must still be known. Never defaulted
-	 *  and never inferred from the wire: `k-padded-v1` (zero-padded K-symbol
-	 *  blocks, SS_Start = SBN*K) and `iso-ssbg1-v1` (ssbg_mode1, K' =
-	 *  SSB_length, consecutive SS_IDs) carry identical wire tuples whose repair
-	 *  math differs. */
+	 *  on `"none"`, where a present token must still be implemented. The only
+	 *  profile is `iso-ssbg1-v1` (ssbg_mode1, K' = SSB_length, consecutive
+	 *  SS_IDs; draft-ramadan-moq-fec §5.1). Never defaulted and never inferred
+	 *  from the wire: a track naming any other token (the retired `k-padded-v1`
+	 *  included) has no FEC (`TrackFecUnavailable`). */
 	blockProfile?: FecBlockProfile;
 	/** K — source symbols per block (REQUIRED). */
 	sourceSymbols: number;
@@ -181,8 +181,8 @@ export interface FecCatalogConfig {
 	repairSymbols: number;
 	/** T — bytes per symbol, 8-byte aligned (REQUIRED). */
 	symbolSize: number;
-	/** FEC block span in MILLISECONDS (OPTIONAL, default 0 = single-group blocks).
-	 *  D is the positive round-half-up value of interleaveDepthMs / GOP_duration_ms.
+	/** First-to-last source/repair send span in milliseconds.
+	 *  Zero or absence means no elapsed deadline; in-band FEC remains usable.
 	 *  BLO-14526: renamed from the legacy `interleaveDepth` count-era key — no fallback read. */
 	interleaveDepthMs?: number;
 	/** Declared jitter/reorder allowance in MILLISECONDS.
@@ -241,7 +241,14 @@ export interface FecCatalogConfig {
 	jitterBufferMs?: number;
 }
 
-export function isFecCatalogConfig(obj: unknown): obj is FecCatalogConfig {
+/**
+ * Whether a catalog `fec` block carries the FEC instance geometry a receiver
+ * configures, its block profile aside: a supported `algorithm`, positive
+ * `sourceSymbols`, `repairSymbols` and `symbolSize` (8-byte aligned for
+ * RaptorQ), and a non-empty `repairTrack`. A block that fails this is
+ * malformed whatever its profile. Total: never throws.
+ */
+export function isFecCatalogGeometry(obj: unknown): boolean {
 	if (typeof obj !== "object" || obj === null) return false;
 	const o = obj as Record<string, unknown>;
 	const algorithm = o["algorithm"];
@@ -253,11 +260,24 @@ export function isFecCatalogConfig(obj: unknown): obj is FecCatalogConfig {
 		typeof o["repairSymbols"] === "number" && o["repairSymbols"] >= 1 &&
 		typeof symbolSize === "number" && symbolSize >= 1 &&
 		(algorithm !== "raptorq" || symbolSize % 8 === 0) &&
-		typeof o["repairTrack"] === "string" && (o["repairTrack"] as string).length > 0 &&
-		(isFecBlockProfile(o["blockProfile"]) || (algorithm === "none" && o["blockProfile"] === undefined))
+		typeof o["repairTrack"] === "string" && (o["repairTrack"] as string).length > 0
 	);
 }
 
+/**
+ * Whether a catalog `fec` block is a complete `FecCatalogConfig`: its geometry
+ * holds (`isFecCatalogGeometry`) and it names the implemented block profile,
+ * `iso-ssbg1-v1` (BLO-35597). On `algorithm: "none"` the profile may be
+ * omitted. Any other token, the retired `k-padded-v1` included, is not a
+ * known profile, so this is false for it; a receiver resolves such a track to
+ * no FEC (`TrackFecUnavailable`) rather than failing the session.
+ */
+export function isFecCatalogConfig(obj: unknown): obj is FecCatalogConfig {
+	if (!isFecCatalogGeometry(obj)) return false;
+	const o = obj as Record<string, unknown>;
+	return isFecBlockProfile(o["blockProfile"]) || (o["algorithm"] === "none" && o["blockProfile"] === undefined);
+}
+
 // ── Multicast Catalog Extension (CARP §4.1-4.4) ───────────────
 
 export type MulticastProtocol = "ssm" | "asm" | "amt" | "atsc3";
@@ -298,17 +318,6 @@ export interface MulticastEndpoint {
 	 * type-narrow with `typeof t === "string"` to handle both.
 	 */
 	tracks: MulticastTrack[];
-	/**
-	 * AMT relay hostname.
-	 *
-	 * @deprecated Superseded by catalog-level `multicast.networkSource`
-	 * (`{type: "amt", discovery, relay}`). Retained so a catalog published
-	 * before the migration still parses; emitters MUST NOT write it, and
-	 * `catalog.schema.json` already rejects it (`additionalProperties: false`
-	 * on the endpoint), as does moq-rs `MulticastEndpoint`
-	 * (`deny_unknown_fields`, and it carries no relay field at all).
-	 */
-	relayAddress?: string;
 	/**
 	 * Aggregate bandwidth of this endpoint in bits per second.
 	 * RECOMMENDED per draft §4.1 — enables capacity-aware joins.
@@ -671,6 +680,7 @@ export type CmsfCatalogErrorCode =
 	| "track_fec"
 	| "track_fec_bounds"
 	| "track_fec_block_profile"
+	| "track_fec_block_profile_unimplemented"
 	| "track_repair_track"
 	| "track_repair_depends"
 	| "track_repair_layer"
@@ -681,6 +691,7 @@ export type CmsfCatalogErrorCode =
 	| "multicast_auth"
 	| "multicast_track"
 	| "multicast_packet_id"
+	| "multicast_relay_address"
 	| "archive_object"
 	| "archive_origin";
 
@@ -843,8 +854,9 @@ export function validateCmsfMmtpCatalog(value: unknown): CmsfCatalog {
 					"repair layers are self-describing fec-repair tracks (depends, repairLayer); fec.enhancementRepair is not supported",
 				);
 			}
-			if (config["interleaveDepthMs"] !== undefined && !positiveInteger(config["interleaveDepthMs"])) {
-				catalogError("track_fec", `${path}.fec.interleaveDepthMs`, "must be a positive integer");
+			if (config["interleaveDepthMs"] !== undefined &&
+				(!Number.isSafeInteger(config["interleaveDepthMs"]) || (config["interleaveDepthMs"] as number) < 0)) {
+				catalogError("track_fec", `${path}.fec.interleaveDepthMs`, "must be a non-negative safe integer");
 			}
 			if (algorithm !== "none") {
 				for (const field of ["sourceSymbols", "repairSymbols", "symbolSize"] as const) {
@@ -856,7 +868,7 @@ export function validateCmsfMmtpCatalog(value: unknown): CmsfCatalog {
 					catalogError("track_fec", `${path}.fec.repairTrack`, "must be a non-empty string");
 				}
 			}
-			// Required on a declared FEC instance, optional but known on "none".
+			// Required on a declared FEC instance, optional but implemented on "none".
 			readFecBlockProfile(config["blockProfile"], `${path}.fec.blockProfile`, algorithm !== "none", catalogError);
 		}
 	}
@@ -935,6 +947,16 @@ export function validateCmsfMmtpCatalog(value: unknown): CmsfCatalog {
 			for (let endpointIndex = 0; endpointIndex < endpoints.length; endpointIndex++) {
 				const endpoint = endpoints[endpointIndex];
 				if (typeof endpoint !== "object" || endpoint === null || Array.isArray(endpoint)) continue;
+				// The endpoint relay moved to `multicast.networkSource[{type:"amt",relay}]`.
+				// Refuse rather than ignore: a dropped relay strands an AMT endpoint
+				// with no tunnel and reads as a gateway failure, not a bad catalog.
+				if ("relayAddress" in endpoint) {
+					catalogError(
+						"multicast_relay_address",
+						`$.multicast.endpoints[${endpointIndex}].relayAddress`,
+						'relayAddress is retired; publish the relay as multicast.networkSource[{type:"amt",relay}]',
+					);
+				}
 				const refs = (endpoint as Record<string, unknown>)["tracks"];
 				if (!Array.isArray(refs)) continue;
 				const packetIds = new Map<number, string>();

package/src/catalog-fec-params.ts

@@ -14,7 +14,7 @@ import {
 } from "@blockcast/mmt-base";
 import { catalogFecInterleaveMs, type FecInterleaveCatalog } from "@blockcast/mmt-fec";
 import { resolveGroupDurationMs } from "./carp-catalog.js";
-import { MIN_INTERLEAVE_DEPTH_MS, catalogDeclaresFec, isoBlockSpanUsable } from "./fec-state.js";
+import { catalogDeclaresFec, isoBlockSpanUsable } from "./fec-state.js";
 import {
 	assembleRepairLayers,
 	assertRepairTrackReachable,
@@ -217,20 +217,77 @@ export type KeyframeCadenceCatalog = GroupDurationCatalog & {
 	gopDurationMs?: number;
 };
 
+function positiveNumber(value: number | undefined): number | undefined {
+	return typeof value === "number" && Number.isFinite(value) && value > 0 ? value : undefined;
+}
+
+/**
+ * A rendition's explicit keyframe cadence in ms: `keyframeInterval*`, then
+ * `keyframeDuration*`, then `gopDuration*`, each preferring integer ticks over
+ * the timescale to the ms field. Undefined when none is stated; a group
+ * duration is not a keyframe cadence and is never substituted.
+ */
+export function catalogKeyframeCadenceMs(rendition: KeyframeCadenceCatalog | undefined): number | undefined {
+	if (!rendition) return undefined;
+	const timescale = positiveNumber(rendition.timescale);
+	const ticksToMs = (ticks: number | undefined) => {
+		const value = positiveNumber(ticks);
+		return value !== undefined && timescale !== undefined ? (value * 1000) / timescale : undefined;
+	};
+	return (
+		ticksToMs(rendition.keyframeIntervalTicks) ??
+		positiveNumber(rendition.keyframeIntervalMs) ??
+		ticksToMs(rendition.keyframeDurationTicks) ??
+		positiveNumber(rendition.keyframeDurationMs) ??
+		ticksToMs(rendition.gopDurationTicks) ??
+		positiveNumber(rendition.gopDurationMs)
+	);
+}
+
+/**
+ * Media units per second an FEC track's block geometry is built on, read only
+ * from what the catalog states: video frames per second from `framerate`;
+ * audio AAC access units (1024 samples) per second from the endpoint sample
+ * rate, then the catalog `sampleRate`, then `timescale` (MP4-shaped audio).
+ * The first value present is the one validated, so a declared but unusable
+ * rate is not replaced by the next. Undefined when no usable rate is stated:
+ * there is no default, since this sizes interleave geometry. A video track
+ * never reads its timescale as a rate.
+ */
+export function catalogFecMediaUnitsPerSecond(
+	type: "video" | "audio",
+	rendition: { framerate?: number; sampleRate?: number; timescale?: number } | undefined,
+	endpointSampleRate?: number,
+): number | undefined {
+	if (type === "video") return positiveNumber(rendition?.framerate);
+	const sampleRate = positiveNumber(endpointSampleRate ?? rendition?.sampleRate ?? rendition?.timescale);
+	return sampleRate === undefined ? undefined : sampleRate / 1024;
+}
+
 /**
  * Why a track's catalog `fec` block resolved to no FEC although it is not a
- * plain no-FEC declaration (BLO-35597): it declares an FEC instance but names
- * no `blockProfile`, or it names a token that is not a known profile
- * (`track_fec_block_profile`), or it names `iso-ssbg1-v1` without the block
- * span that bounds that profile's block location (`track_fec`, on
- * `interleaveDepthMs`). The profile selects the block math and is never
- * defaulted or inferred, and the span is never borrowed from another track, so
- * such a track carries no FEC geometry and no repair track, and it is the only
- * track affected: every other track of the catalog resolves as usual.
+ * plain no-FEC declaration (BLO-35597, draft-ramadan-moq-fec §5.1):
+ *
+ * - `track_fec_block_profile_unimplemented`: its `blockProfile` is a token
+ *   this library does not implement. Only `iso-ssbg1-v1` is implemented; the
+ *   retired `k-padded-v1` lands here.
+ * - `track_fec_block_profile`: it declares an FEC instance but names no
+ *   `blockProfile`, or the value is not a non-empty string.
+ * - `track_fec_block_span`: retained for compatibility with older consumers;
+ *   absence no longer disables in-band FEC.
+ * - `track_fec` (on `interleaveDepthMs`): it names `iso-ssbg1-v1` with a
+ *   declared span that is not a non-negative safe integer in milliseconds.
+ *
+ * The profile selects the block math and is never defaulted or inferred, and
+ * the span is never borrowed from another track. Per §5.1 a receiver consumes
+ * such a track's source without FEC and does not join its repair tracks, so it
+ * carries no FEC geometry and no repair track; it is the only track affected,
+ * and neither the session nor any other track's FEC fails on its account.
  */
 export type TrackFecUnavailable = {
-	/** The repair-contract code a catalog validator reports for the same field. */
-	readonly code: "track_fec_block_profile" | "track_fec";
+	/** The repair-contract code a catalog validator reports for the same field
+	 *  (`track_fec_block_span` excepted: an omitted span is valid shape). */
+	readonly code: "track_fec_block_profile" | "track_fec_block_profile_unimplemented" | "track_fec_block_span" | "track_fec";
 	/** JSON path of the offending field: `blockProfile`, or `interleaveDepthMs`. */
 	readonly path: string;
 	/** What is wrong, worded as the `RepairContractError` a validator throws. */
@@ -241,13 +298,11 @@ export type TrackFecParams = {
 	fecK: number;
 	/** The catalog `fec.blockProfile` (BLO-35597, ISO/IEC 23008-1 Annex C).
 	 *  Present exactly when the track has FEC (`fecK > 0`) and absent on no
-	 *  FEC: it selects the block math (`k-padded-v1`: SS_Start = SBN*K over
-	 *  zero-padded K-symbol blocks; `iso-ssbg1-v1`: ssbg_mode1, K' =
-	 *  SSB_length, consecutive SS_IDs), so it is never defaulted. A declared
-	 *  instance that names no known profile has no FEC; `fecUnavailable` says
-	 *  why. */
+	 *  FEC. The only profile is `iso-ssbg1-v1` (ssbg_mode1, K' = SSB_length,
+	 *  consecutive SS_IDs); it is never defaulted. A declared instance that
+	 *  names no implemented profile has no FEC; `fecUnavailable` says why. */
 	fecBlockProfile?: FecBlockProfile;
-	/** Present exactly when the track's `fec` block names no usable
+	/** Present exactly when the track's `fec` block names no implemented
 	 *  `blockProfile`, or names `iso-ssbg1-v1` without a usable block span
 	 *  (see `TrackFecUnavailable`). The track then resolves to
 	 *  no FEC (`fecK` 0, no `fecBlockProfile`, no repair track) and this is
@@ -340,9 +395,15 @@ function msfTracks(catalog: RepairLayerCatalog): { tracks: Record<string, unknow
  *   layer 0 are `repair.renditions` entries that `depend` on it.
  *
  * Returns undefined when the source carries no FEC repair track and nothing
- * depends on it. Throws `RepairContractError` (code + JSON path) on any
- * violation, including a repair rendition whose `depends` names a rendition
- * without FEC, so a player fails closed before joining any repair track.
+ * depends on it, and when the source's FEC is unavailable
+ * (`catalogFecUnavailable`: no implemented `blockProfile`, the retired
+ * `k-padded-v1` included, or an `iso-ssbg1-v1` span it cannot use). Per
+ * draft-ramadan-moq-fec §5.1 a receiver joins none of that source's repair
+ * tracks, so it gets no layers; the catalog's repair contract is still
+ * enforced for it as for every source. Throws `RepairContractError` (code +
+ * JSON path) on any violation, including a repair rendition whose `depends`
+ * names a rendition without FEC, so a player fails closed before joining any
+ * repair track.
  */
 export function resolveRepairLayers(
 	catalog: RepairLayerCatalog | undefined,
@@ -403,11 +464,12 @@ export function resolveRepairLayers(
 				);
 			}
 		}
-		return assembleRepairLayers(
+		const layers = assembleRepairLayers(
 			geometryOf(sourceName, `${renditionPath}.fec`, recordOf(rendition["fec"])),
 			descriptors,
 			throwRepairContractError,
 		);
+		return catalogFecUnavailable(rendition["fec"], `${renditionPath}.fec`) === undefined ? layers : undefined;
 	}
 
 	const msf = msfTracks(catalog);
@@ -451,9 +513,13 @@ export function resolveRepairLayers(
 			);
 		}
 	}
-	return assembleRepairLayers(geometryOf(sourceName, `$.tracks[${msfIndex}].fec`, fec), descriptors, throwRepairContractError, {
-		layerZeroMustBeDeclared: true,
-	});
+	const layers = assembleRepairLayers(
+		geometryOf(sourceName, `$.tracks[${msfIndex}].fec`, fec),
+		descriptors,
+		throwRepairContractError,
+		{ layerZeroMustBeDeclared: true },
+	);
+	return catalogFecUnavailable(fec, `$.tracks[${msfIndex}].fec`) === undefined ? layers : undefined;
 }
 
 /** A MoQ Transport priority (0..255, lower first), or null. */
@@ -476,7 +542,9 @@ function moqtPriority(value: unknown): number | null {
  *   whose renditions carry no MoQ Transport priority) yields null, and the
  *   keyframe repair FETCH is then sent without the parameter.
  *
- * Returns null when the track has no repair track.
+ * Returns null without a positive elapsed span, or when the track has no repair track, including when its FEC is
+ * unavailable (`catalogFecUnavailable`): draft-ramadan-moq-fec §5.1 forbids
+ * joining that track's repair tracks, so there is nothing to FETCH.
  *
  * @throws RepairContractError exactly as `resolveRepairLayers` does.
  */
@@ -490,6 +558,13 @@ export function catalogRepairTarget(
 	const sourceName = typeof source === "string" ? source : source.name;
 	const msf = msfTracks(catalog);
 	const entry = msf?.tracks.find((t) => t["name"] === sourceName);
+	const hang = catalog as CatalogWithRenditions;
+	const roles: Array<"video" | "audio"> = typeof source === "string" ? ["video", "audio"]
+		: source.type === "video" ? ["video"] : source.type === "audio" ? ["audio"] : ["video", "audio"];
+	const rendition = roles.map((role) => hang[role]?.renditions?.[sourceName]).find((r) => recordOf(r) !== undefined);
+	const fec = rendition === undefined ? recordOf(entry?.["fec"]) : recordOf(rendition.fec);
+	// Unicast repair requires a known elapsed FEC deadline (§11.4).
+	if (!fec || !(catalogFecInterleaveMs(fec) ?? 0)) return null;
 	const sourcePriority =
 		entry === undefined ? null : moqtPriority(entry["priority"]);
 	return { repairTrack: layerZero.repairTrackName, sourcePriority, repairPriority: layerZero.priority };
@@ -521,12 +596,13 @@ function nonNegativeField(value: unknown): number | undefined {
 
 /**
  * The track-scoped reading of `readFecBlockProfile` (BLO-35597): the same one
- * rule every catalog reader applies (a declared FEC instance names a known
- * profile; a block declaring none may omit it, but a token it carries must be
- * known), with its one failure, `track_fec_block_profile`, returned as the
- * track's reason instead of thrown. A profile problem costs only its own
- * track: it never aborts resolving the catalog's other tracks, and the token
- * is still never defaulted or inferred.
+ * rule every catalog reader applies (a declared FEC instance names the
+ * implemented profile; a block declaring none may omit it, but a token it
+ * carries must be implemented), with its two failures,
+ * `track_fec_block_profile_unimplemented` and `track_fec_block_profile`,
+ * returned as the track's reason instead of thrown. A profile problem costs
+ * only its own track: it never aborts resolving the catalog's other tracks, and
+ * the token is still never defaulted or inferred.
  */
 function blockProfileUnavailable(
 	value: unknown,
@@ -537,39 +613,74 @@ function blockProfileUnavailable(
 		readFecBlockProfile(value, path, declaresFecInstance, throwRepairContractError);
 		return undefined;
 	} catch (error) {
-		if (!(error instanceof RepairContractError) || error.code !== "track_fec_block_profile") throw error;
-		return Object.freeze({ code: "track_fec_block_profile", path: error.path, message: error.message });
+		if (
+			!(error instanceof RepairContractError) ||
+			(error.code !== "track_fec_block_profile" && error.code !== "track_fec_block_profile_unimplemented")
+		) {
+			throw error;
+		}
+		return Object.freeze({ code: error.code, path: error.path, message: error.message });
 	}
 }
 
-/**
- * An `iso-ssbg1-v1` instance without a usable block span (`isoBlockSpanUsable`)
- * has no FEC for its track alone, instead of resolving to a configuration the
- * FEC manager refuses for every track it holds.
- */
-function isoSpanUnavailable(fec: unknown, path: string, declaresFecInstance: boolean): TrackFecUnavailable | undefined {
+/** Invalid declared spans disable the track; absence/zero still permits in-band FEC. */
+function isoSpanUnavailable(
+	fec: Record<string, unknown>,
+	path: string,
+	declaresFecInstance: boolean,
+): TrackFecUnavailable | undefined {
 	if (!declaresFecInstance || isoBlockSpanUsable(fec)) return undefined;
+
 	return Object.freeze({
 		code: "track_fec",
 		path,
 		message:
-			`[repair-layers:track_fec] ${path}: iso-ssbg1-v1 requires a block span of at least ` +
-			`${MIN_INTERLEAVE_DEPTH_MS} ms, which bounds its block location`,
+			`[repair-layers:track_fec] ${path}: must be a non-negative safe integer in milliseconds`,
 	});
 }
 
+/**
+ * Whether one catalog `fec` block leaves its track without FEC although it is
+ * not a plain no-FEC declaration (draft-ramadan-moq-fec §5.1), and why: the
+ * one track-scoped availability rule both catalog dialects apply. The hang
+ * resolver (`resolveCatalogTrackFec`, `resolveRepairLayers`) and the MSF
+ * `tracks[]` ingest (`MulticastManager.configureMultiTrack`) read it, so they
+ * cannot disagree about which tracks keep FEC.
+ *
+ * Returns the reason (`TrackFecUnavailable`) when the block names no
+ * implemented `blockProfile` (the retired `k-padded-v1` included; on
+ * `algorithm: "none"` only a present token is read) or, for a declared
+ * `iso-ssbg1-v1` instance, carries no usable block span. Returns undefined for
+ * a non-object and for every block whose FEC is available. It reads only the
+ * profile and the span: malformed geometry (`sourceSymbols`, `symbolSize`, ...)
+ * is the caller's to reject, and takes precedence. Never throws.
+ *
+ * @param fec the track's catalog `fec` value.
+ * @param fecPath JSON path of that `fec` block; the reason's `path` extends it.
+ */
+export function catalogFecUnavailable(fec: unknown, fecPath: string): TrackFecUnavailable | undefined {
+	const block = recordOf(fec);
+	if (block === undefined) return undefined;
+	const declaresFecInstance = block["algorithm"] !== "none";
+	return (
+		blockProfileUnavailable(block["blockProfile"], `${fecPath}.blockProfile`, declaresFecInstance) ??
+		isoSpanUnavailable(block, `${fecPath}.interleaveDepthMs`, declaresFecInstance)
+	);
+}
+
 /**
  * Per-track FEC geometry, or `NO_FEC` when the rendition declares none (no
- * `fec`, or `algorithm: "none"`) or names no usable `blockProfile` or, under
- * `iso-ssbg1-v1`, no usable block span; the latter two carry `fecUnavailable`.
+ * `fec`, or `algorithm: "none"`) or its FEC is unavailable
+ * (`catalogFecUnavailable`: no implemented `blockProfile`, or an
+ * `iso-ssbg1-v1` span it cannot use), which carries `fecUnavailable`.
  *
  * @throws RepairContractError from `resolveRepairLayers` when the rendition
  * declares a `fec` block (any algorithm, `none` included) and the catalog's
  * repair contract is malformed, and `track_fec` when its `fec` declares an FEC
  * instance whose `sourceSymbols` or `symbolSize` is not a positive integer;
- * see `resolveCatalogTrackFec`. An absent or unknown `blockProfile`, or an
- * `iso-ssbg1-v1` span that is absent or below `MIN_INTERLEAVE_DEPTH_MS`, never
- * throws: it is this track's `fecUnavailable`.
+ * see `resolveCatalogTrackFec`. An absent or unimplemented `blockProfile`, or
+ * an invalid `iso-ssbg1-v1` span,
+ * never throws: it is this track's `fecUnavailable`.
  */
 function fecParams(
 	catalog: CatalogWithRenditions | undefined,
@@ -605,15 +716,13 @@ function fecParams(
 			);
 		}
 		// What remains is `algorithm: "none"` (which carries no profile; a token
-		// it does carry must still be known) or a declared instance naming no
-		// known profile. Neither has FEC; an unusable profile says why, for this
-		// track alone.
-		const fecUnavailable =
-			blockProfileUnavailable(fec.blockProfile, `${fecPath}.blockProfile`, declaresFecInstance) ??
-			isoSpanUnavailable(fec, `${fecPath}.interleaveDepthMs`, declaresFecInstance);
+		// it does carry must still be implemented) or a declared instance whose
+		// FEC is unavailable (§5.1). Neither has FEC; the reason says why, for
+		// this track alone.
+		const fecUnavailable = catalogFecUnavailable(fec, fecPath);
 		return fecUnavailable === undefined ? { ...NO_FEC, ...mediaRate } : { ...NO_FEC, ...mediaRate, fecUnavailable };
 	}
-	// The predicate held, so the profile is known: this read cannot fail.
+	// The predicate held, so the profile is implemented: this read cannot fail.
 	const fecBlockProfile = readFecBlockProfile(fec.blockProfile, `${fecPath}.blockProfile`, true, throwRepairContractError);
 	return {
 		fecK: fec.sourceSymbols ?? 0,
@@ -622,9 +731,7 @@ function fecParams(
 		// The wire RSB_length: every base layer's packets carry the base total (§7.1).
 		fecTotalRepairCount: repair?.totalBaseRepairSymbols ?? fec.repairSymbols ?? 0,
 		fecSymbolSize: fec.symbolSize ?? 0,
-		// interleaveDepthMs is the FEC block span in MILLISECONDS (§5.1) — the
-		// only interleave key the catalog carries post-BLO-14526. Receivers
-		// derive D by positive round-half-up of span / GOP duration where needed.
+		// Zero/absence leaves the elapsed deadline unknown; geometry stays in-band.
 		fecInterleaveMs: catalogFecInterleaveMs(fec) ?? 0,
 		// Additive, never a multiplier on the span: jitter belongs to the network
 		// path and the span belongs to the encoder, so scaling one by the other
@@ -648,14 +755,16 @@ function fecParams(
  * interleave and repair layers, never the first rendition's. A track with no
  * rendition of its type resolves to no FEC (`fecK` 0) and no media rate.
  *
- * The block profile is track-scoped (BLO-35597). A rendition whose `fec`
- * declares an FEC instance but names no `blockProfile`, or whose `fec` (a
- * `none` block included) names a token that is not a known profile, resolves
- * to no FEC: `fecK` 0, no `fecBlockProfile`, no repair track, and
- * `fecUnavailable` carrying the `track_fec_block_profile` reason at the
- * field's JSON path for the caller to surface. Every other track resolves as
- * usual. The profile is never defaulted or inferred; `algorithm: "none"` may
- * omit it.
+ * The block profile is track-scoped (BLO-35597, draft-ramadan-moq-fec §5.1).
+ * `iso-ssbg1-v1` is the only implemented profile. A rendition whose `fec`
+ * declares an FEC instance but names no `blockProfile`
+ * (`track_fec_block_profile`), or whose `fec` (a `none` block included) names
+ * any other token (`track_fec_block_profile_unimplemented`; the retired
+ * `k-padded-v1` is one), resolves to no FEC: `fecK` 0, no `fecBlockProfile`,
+ * no repair track, layers or overlays, and `fecUnavailable` carrying the
+ * reason at the field's JSON path for the caller to surface. Every other track
+ * resolves as usual. The profile is never defaulted or inferred;
+ * `algorithm: "none"` may omit it.
  *
  * @throws RepairContractError `track_fec` when a rendition's `fec` declares an
  * FEC instance (any `algorithm` but `none`) whose `sourceSymbols` or

package/src/cmaf-block-assembler.ts

@@ -200,8 +200,6 @@ export interface CmafAudioConcealStats {
 }
 
 export interface BlockAssemblerConfig {
-  /** Number of source symbols per FEC block */
-  k: number
   /** Timescale for CMAF segments (default 1_000_000 = microseconds) */
   timescale?: number
   /** ISO track ID (default 1) */
@@ -272,7 +270,7 @@ export class CmafBlockAssembler {
   #config: Required<
     Pick<
       BlockAssemblerConfig,
-      'k' | 'timescale' | 'trackId' | 'trackType' | 'admitAuthoredTiming'
+      'timescale' | 'trackId' | 'trackType' | 'admitAuthoredTiming'
     >
   >
   #pendingRecovered = new Map<number, BlockFrame>()
@@ -832,7 +830,6 @@ export class CmafBlockAssembler {
 
   constructor(config: BlockAssemblerConfig) {
     this.#config = {
-      k: config.k,
       timescale: config.timescale ?? 1_000_000,
       trackId: config.trackId ?? 1,
       trackType: config.trackType,

package/src/cmcd-producer.ts

@@ -97,12 +97,6 @@ function buildFecParams(stats: FecTrackStats): CmcdParams {
   params['x-bc-fec-p'] = cfg.repairCount
   params['x-bc-fec-recovery'] = parseFloat((stats.recoveryRate / 100).toFixed(4))
 
-  // ALTA keys: omit entirely when altaEnabled is false (D-09)
-  if (cfg.altaEnabled) {
-    params['x-bc-alta-verified'] = stats.altaVerified > 0
-    params['x-bc-alta-failures'] = stats.altaFailed
-  }
-
   return params
 }