@blockcast/mmt-container 0.1.0-main.0399efef1f07

package/dist/repair-layers.d.ts

@@ -0,0 +1,141 @@
+/** Lowest MoQT-scale priority a repair track may declare. */
+export declare const REPAIR_PRIORITY_MIN = 192;
+/** Highest MoQT-scale priority a repair track may declare. */
+export declare const REPAIR_PRIORITY_MAX = 255;
+/** Priority of a base layer 0 track that declares none. */
+export declare const DEFAULT_REPAIR_PRIORITY = 240;
+/** RFC 6330 §4.4.1.2: the largest number of source symbols in one RaptorQ source block. */
+export declare const MAX_RAPTORQ_SOURCE_SYMBOLS = 56403;
+/** The 24-bit RS_ID field (§7.1) bounds the repair total of one FEC instance. */
+export declare const MAX_REPAIR_SYMBOLS = 16777215;
+/** The 24-bit ESI bounds K + totalP - 1 for one FEC instance. */
+export declare const MAX_ENCODING_SYMBOL_ID = 16777215;
+export type RepairContractCode = "track_fec" | "track_repair_track" | "track_repair_depends" | "track_repair_layer" | "track_repair_priority" | "track_repair_overlay" | "track_repair_geometry" | "track_fec_bounds";
+/** Reports one contract violation and never returns. */
+export type RepairContractFail = (code: RepairContractCode, path: string, message: string) => never;
+export declare class RepairContractError extends Error {
+    readonly code: RepairContractCode;
+    readonly path: string;
+    constructor(code: RepairContractCode, path: string, message: string);
+}
+export declare const throwRepairContractError: RepairContractFail;
+/** The self-describing fields of one repair track entry, in either dialect. */
+export type RepairTrackDescriptor = {
+    /** Track (MSF) or rendition (hang) name. */
+    name: string;
+    /** JSON path of the entry, for error reporting. */
+    path: string;
+    depends?: unknown;
+    repairLayer?: unknown;
+    repairSymbols?: unknown;
+    priority?: unknown;
+    scope?: unknown;
+    sourceSymbols?: unknown;
+};
+/** The source track's `fec` object as the layer contract reads it. */
+export type RepairSourceGeometry = {
+    /** Source track or rendition name. */
+    name: string;
+    /** JSON path of the `fec` object, for error reporting. */
+    path: string;
+    algorithm?: unknown;
+    /** K. */
+    sourceSymbols?: unknown;
+    /** P_0. */
+    repairSymbols?: unknown;
+    /** Layer 0 track name. */
+    repairTrack?: unknown;
+};
+/** A resolved base repair layer with its derived RS_ID range. */
+export type RepairLayerParams = {
+    /** Layer index; 0 is the track named by the source's `fec.repairTrack`. */
+    layer: number;
+    repairTrackName: string;
+    /** P_i: repair symbols per block carried by this layer. */
+    repairSymbols: number;
+    /** O_i = sum(P_j for j < i): the first RS_ID this layer carries. ESI = K + RS_ID. */
+    rsIdOffset: number;
+    /** MoQT-scale priority (lower first); 240 when layer 0 declares none. */
+    priority: number;
+};
+/** A resolved keyframe overlay: a separate FEC instance over RAP fragments only. */
+export type RepairOverlayParams = {
+    repairTrackName: string;
+    scope: "keyframe";
+    /** K_overlay: source symbols of the overlay instance. */
+    sourceSymbols: number;
+    /** P_overlay: repair symbols per overlay block; also the overlay's own RSB_length. */
+    repairSymbols: number;
+    /** MoQT-scale priority, independent of the base layer chain. */
+    priority: number;
+};
+export type RepairLayersResolution = {
+    sourceTrackName: string;
+    /** Base layers in layer order, layer 0 first. Never empty. */
+    baseLayers: readonly RepairLayerParams[];
+    /** Keyframe overlay instances, in catalog order. Empty when none is declared. */
+    /** At most one entry: the wire carries one overlay trailer per RAP packet. */
+    overlays: readonly RepairOverlayParams[];
+    /** Sum of P over base layers: the wire RSB_length on every base layer packet. */
+    totalBaseRepairSymbols: number;
+};
+/** Track-level block geometry keys a repair track must not carry (§6.3 rule 8): geometry is the source's. */
+export declare const REPAIR_TRACK_GEOMETRY_KEYS: readonly ["mmtpMode", "timescale", "groupDurationMs", "groupDurationTicks", "keyframeIntervalMs", "keyframeIntervalTicks", "fec", "symbolSize", "interleaveDepthMs"];
+/** Self-describing repair fields that only a repair track or repair rendition may carry. */
+export declare const REPAIR_TRACK_ONLY_KEYS: readonly ["repairLayer", "repairSymbols", "sourceSymbols", "scope"];
+/** Rule 8: a repair track (MSF) or repair rendition (hang) carries no block geometry. */
+export declare function rejectRepairTrackGeometry(path: string, fields: Record<string, unknown>, fail: RepairContractFail): void;
+/** Which repair tracks a catalog can reach, for rule 9 (no orphan repair track). */
+export type RepairReachability = {
+    /** True once any track or rendition carries `fec` with an algorithm other than `none`. */
+    declaresFecSource: boolean;
+    /** Every non-empty `fec.repairTrack` a FEC source names: the layer-0 tracks. */
+    layerZeroNames: ReadonlySet<string>;
+};
+/**
+ * Derive rule 9's inputs from the raw `fec` objects of every media track (MSF,
+ * packaging other than `fec-repair`) or media rendition (hang) in a catalog.
+ * Callers must not pass repair tracks: rule 8 forbids `fec` on them, and a
+ * repair track that carried one would otherwise name itself as its own
+ * layer 0 and slip past rule 9. One derivation for the validator and both
+ * resolver dialects, so an empty-string pointer or an `algorithm: "none"`
+ * source is read the same way everywhere.
+ */
+export declare function repairReachability(fecObjects: Iterable<unknown>): RepairReachability;
+/**
+ * Rule 9: once a catalog declares a FEC source, a repair track that declares no
+ * `depends` must be some source's layer 0. A catalog with no FEC source may
+ * still carry a naming-era repair track that nothing joins.
+ */
+export declare function assertRepairTrackReachable(descriptor: RepairTrackDescriptor, reachability: RepairReachability, fail: RepairContractFail): void;
+/** A media track (MSF) or media rendition (hang) carries no repair-track fields. */
+export declare function rejectRepairFieldsOnMediaTrack(path: string, fields: Record<string, unknown>, fail: RepairContractFail): void;
+/** Pick the self-describing repair fields out of a raw track or rendition record. */
+export declare function describeRepairTrack(name: string, path: string, fields: Record<string, unknown>): RepairTrackDescriptor;
+/** The single source a repair track names in `depends`, once its shape has been validated. */
+export declare function dependsTarget(descriptor: RepairTrackDescriptor): string | undefined;
+/**
+ * Validate the shape of one repair track's self-describing fields, independent
+ * of any source. Cross-track rules (layer 0 agreement, contiguity, priority
+ * order, bounds) live in `assembleRepairLayers`.
+ */
+export declare function validateRepairTrackFields(descriptor: RepairTrackDescriptor, fail: RepairContractFail): void;
+/**
+ * Resolve the base layers and overlays of one source track and derive each
+ * base layer's RS_ID offset. Fails closed on every §6.3 rule violation through
+ * `fail`, which receives the code and the JSON path of the offending field.
+ *
+ * `descriptors` are every repair track (or repair rendition) in the catalog,
+ * already shape-checked by `validateRepairTrackFields`. Returns undefined when
+ * the source names no layer 0 and nothing depends on it.
+ */
+export type AssembleRepairLayersOptions = {
+    /**
+     * MSF: `fec.repairTrack` must name one of `descriptors` (a `fec-repair`
+     * track), so a dangling pointer fails closed with `track_repair_track`.
+     * hang: layer 0 lives outside `repair.renditions`, so leave this unset.
+     */
+    layerZeroMustBeDeclared?: boolean;
+};
+export declare function assembleRepairLayers(source: RepairSourceGeometry, descriptors: readonly RepairTrackDescriptor[], fail?: RepairContractFail, options?: AssembleRepairLayersOptions): RepairLayersResolution | undefined;
+//# sourceMappingURL=repair-layers.d.ts.map

package/dist/repair-layers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair-layers.d.ts","sourceRoot":"","sources":["../src/repair-layers.ts"],"names":[],"mappings":"AAsBA,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB,MAAM,CAAC;AACvC,8DAA8D;AAC9D,eAAO,MAAM,mBAAmB,MAAM,CAAC;AACvC,2DAA2D;AAC3D,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAC3C,2FAA2F;AAC3F,eAAO,MAAM,0BAA0B,QAAQ,CAAC;AAChD,iFAAiF;AACjF,eAAO,MAAM,kBAAkB,WAAW,CAAC;AAC3C,iEAAiE;AACjE,eAAO,MAAM,sBAAsB,WAAW,CAAC;AAE/C,MAAM,MAAM,kBAAkB,GAC3B,WAAW,GACX,oBAAoB,GACpB,sBAAsB,GACtB,oBAAoB,GACpB,uBAAuB,GACvB,sBAAsB,GACtB,uBAAuB,GACvB,kBAAkB,CAAC;AAEtB,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC;AAEpG,qBAAa,mBAAoB,SAAQ,KAAK;aAE5B,IAAI,EAAE,kBAAkB;aACxB,IAAI,EAAE,MAAM;gBADZ,IAAI,EAAE,kBAAkB,EACxB,IAAI,EAAE,MAAM,EAC5B,OAAO,EAAE,MAAM;CAKhB;AAED,eAAO,MAAM,wBAAwB,EAAE,kBAEtC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,MAAM,qBAAqB,GAAG;IACnC,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,aAAa,CAAC,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,oBAAoB,GAAG;IAClC,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,SAAS;IACT,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,WAAW;IACX,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,0BAA0B;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,iEAAiE;AACjE,MAAM,MAAM,iBAAiB,GAAG;IAC/B,2EAA2E;IAC3E,KAAK,EAAE,MAAM,CAAC;IACd,eAAe,EAAE,MAAM,CAAC;IACxB,2DAA2D;IAC3D,aAAa,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,UAAU,EAAE,MAAM,CAAC;IACnB,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,oFAAoF;AACpF,MAAM,MAAM,mBAAmB,GAAG;IACjC,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,sFAAsF;IACtF,aAAa,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACpC,eAAe,EAAE,MAAM,CAAC;IACxB,8DAA8D;IAC9D,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzC,iFAAiF;IACjF,8EAA8E;IAC9E,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACzC,iFAAiF;IACjF,sBAAsB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAIF,6GAA6G;AAC7G,eAAO,MAAM,0BAA0B,sKAU7B,CAAC;AAEX,4FAA4F;AAC5F,eAAO,MAAM,sBAAsB,qEAAsE,CAAC;AAE1G,yFAAyF;AACzF,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAUvH;AAED,oFAAoF;AACpF,MAAM,MAAM,kBAAkB,GAAG;IAChC,0FAA0F;IAC1F,iBAAiB,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC,CAAC;AAEF;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,kBAAkB,CAYpF;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACzC,UAAU,EAAE,qBAAqB,EACjC,YAAY,EAAE,kBAAkB,EAChC,IAAI,EAAE,kBAAkB,GACtB,IAAI,CASN;AAED,oFAAoF;AACpF,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAM5H;AAED,qFAAqF;AACrF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,qBAAqB,CAMtH;AAUD,8FAA8F;AAC9F,wBAAgB,aAAa,CAAC,UAAU,EAAE,qBAAqB,GAAG,MAAM,GAAG,SAAS,CAKnF;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,qBAAqB,EAAE,IAAI,EAAE,kBAAkB,GAAG,IAAI,CA0D3G;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACzC;;;;OAIG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;CAClC,CAAC;AAEF,wBAAgB,oBAAoB,CACnC,MAAM,EAAE,oBAAoB,EAC5B,WAAW,EAAE,SAAS,qBAAqB,EAAE,EAC7C,IAAI,GAAE,kBAA6C,EACnD,OAAO,GAAE,2BAAgC,GACvC,sBAAsB,GAAG,SAAS,CA6JpC"}

package/dist/repair-layers.js

@@ -0,0 +1,303 @@
+// src/repair-layers.ts
+var REPAIR_PRIORITY_MIN = 192;
+var REPAIR_PRIORITY_MAX = 255;
+var DEFAULT_REPAIR_PRIORITY = 240;
+var MAX_RAPTORQ_SOURCE_SYMBOLS = 56403;
+var MAX_REPAIR_SYMBOLS = 16777215;
+var MAX_ENCODING_SYMBOL_ID = 16777215;
+var RepairContractError = class extends Error {
+  constructor(code, path, message) {
+    super(`[repair-layers:${code}] ${path}: ${message}`);
+    this.code = code;
+    this.path = path;
+    this.name = "RepairContractError";
+  }
+};
+var throwRepairContractError = (code, path, message) => {
+  throw new RepairContractError(code, path, message);
+};
+var REPAIR_FIELDS = ["depends", "repairLayer", "repairSymbols", "priority", "scope", "sourceSymbols"];
+var REPAIR_TRACK_GEOMETRY_KEYS = [
+  "mmtpMode",
+  "timescale",
+  "groupDurationMs",
+  "groupDurationTicks",
+  "keyframeIntervalMs",
+  "keyframeIntervalTicks",
+  "fec",
+  "symbolSize",
+  "interleaveDepthMs"
+];
+var REPAIR_TRACK_ONLY_KEYS = ["repairLayer", "repairSymbols", "sourceSymbols", "scope"];
+function rejectRepairTrackGeometry(path, fields, fail) {
+  for (const key of REPAIR_TRACK_GEOMETRY_KEYS) {
+    if (fields[key] !== void 0) {
+      fail(
+        "track_repair_geometry",
+        `${path}.${key}`,
+        "a repair track carries no block geometry; it is shared with the source track's fec object"
+      );
+    }
+  }
+}
+function repairReachability(fecObjects) {
+  let declaresFecSource = false;
+  const layerZeroNames = /* @__PURE__ */ new Set();
+  for (const candidate of fecObjects) {
+    if (typeof candidate !== "object" || candidate === null || Array.isArray(candidate)) continue;
+    const fec = candidate;
+    if (fec["algorithm"] === "none") continue;
+    declaresFecSource = true;
+    const repairTrack = fec["repairTrack"];
+    if (typeof repairTrack === "string" && repairTrack.length > 0) layerZeroNames.add(repairTrack);
+  }
+  return { declaresFecSource, layerZeroNames };
+}
+function assertRepairTrackReachable(descriptor, reachability, fail) {
+  if (dependsTarget(descriptor) !== void 0) return;
+  if (reachability.declaresFecSource && !reachability.layerZeroNames.has(descriptor.name)) {
+    fail(
+      "track_repair_depends",
+      `${descriptor.path}.depends`,
+      "no source names this repair track in fec.repairTrack and it declares no depends"
+    );
+  }
+}
+function rejectRepairFieldsOnMediaTrack(path, fields, fail) {
+  for (const key of REPAIR_TRACK_ONLY_KEYS) {
+    if (fields[key] !== void 0) {
+      fail("track_repair_layer", `${path}.${key}`, `${key} is a repair track field`);
+    }
+  }
+}
+function describeRepairTrack(name, path, fields) {
+  const descriptor = { name, path };
+  for (const field of REPAIR_FIELDS) {
+    if (field in fields) descriptor[field] = fields[field];
+  }
+  return descriptor;
+}
+function isSafeInteger(value) {
+  return typeof value === "number" && Number.isSafeInteger(value);
+}
+function positiveInteger(value) {
+  return isSafeInteger(value) && value > 0;
+}
+function dependsTarget(descriptor) {
+  const depends = descriptor.depends;
+  return Array.isArray(depends) && depends.length === 1 && typeof depends[0] === "string" && depends[0].length > 0 ? depends[0] : void 0;
+}
+function validateRepairTrackFields(descriptor, fail) {
+  const { path } = descriptor;
+  if (descriptor.depends !== void 0 && dependsTarget(descriptor) === void 0) {
+    fail("track_repair_depends", `${path}.depends`, "must name exactly one source track");
+  }
+  if (descriptor.repairLayer !== void 0 && (!isSafeInteger(descriptor.repairLayer) || descriptor.repairLayer < 0)) {
+    fail("track_repair_layer", `${path}.repairLayer`, "must be a non-negative integer");
+  }
+  if (descriptor.repairSymbols !== void 0 && (!positiveInteger(descriptor.repairSymbols) || descriptor.repairSymbols > MAX_REPAIR_SYMBOLS)) {
+    fail("track_repair_layer", `${path}.repairSymbols`, `must be a positive integer at most ${MAX_REPAIR_SYMBOLS}`);
+  }
+  if (descriptor.priority !== void 0 && (!isSafeInteger(descriptor.priority) || descriptor.priority < REPAIR_PRIORITY_MIN || descriptor.priority > REPAIR_PRIORITY_MAX)) {
+    fail(
+      "track_repair_priority",
+      `${path}.priority`,
+      `must be an integer from ${REPAIR_PRIORITY_MIN} to ${REPAIR_PRIORITY_MAX} (MoQT scale, lower first)`
+    );
+  }
+  if (descriptor.scope !== void 0) {
+    if (descriptor.scope !== "keyframe") {
+      fail("track_repair_overlay", `${path}.scope`, 'must be "keyframe"');
+    }
+    if (descriptor.repairLayer !== void 0) {
+      fail("track_repair_overlay", `${path}.repairLayer`, "an overlay is a separate FEC instance and carries no repairLayer");
+    }
+    for (const field of ["depends", "sourceSymbols", "repairSymbols", "priority"]) {
+      if (descriptor[field] === void 0) {
+        fail("track_repair_overlay", `${path}.${field}`, `an overlay must declare ${field}`);
+      }
+    }
+  }
+  if (descriptor.sourceSymbols !== void 0) {
+    if (descriptor.scope === void 0) {
+      fail("track_repair_overlay", `${path}.sourceSymbols`, "only an overlay (scope: keyframe) declares its own sourceSymbols");
+    }
+    if (!positiveInteger(descriptor.sourceSymbols) || descriptor.sourceSymbols > MAX_RAPTORQ_SOURCE_SYMBOLS) {
+      fail(
+        "track_fec_bounds",
+        `${path}.sourceSymbols`,
+        `must be a positive integer at most ${MAX_RAPTORQ_SOURCE_SYMBOLS} (RFC 6330 source block limit)`
+      );
+    }
+  }
+  if (isSafeInteger(descriptor.repairLayer) && descriptor.repairLayer >= 1) {
+    for (const field of ["depends", "repairSymbols", "priority"]) {
+      if (descriptor[field] === void 0) {
+        fail("track_repair_layer", `${path}.${field}`, `repair layer ${descriptor.repairLayer} must declare ${field}`);
+      }
+    }
+  }
+}
+function assembleRepairLayers(source, descriptors, fail = throwRepairContractError, options = {}) {
+  const layerZeroName = typeof source.repairTrack === "string" && source.repairTrack.length > 0 ? source.repairTrack : void 0;
+  const layerZero = layerZeroName === void 0 ? void 0 : descriptors.find((d) => d.name === layerZeroName);
+  if (layerZeroName !== void 0 && layerZero === void 0 && options.layerZeroMustBeDeclared) {
+    fail("track_repair_track", `${source.path}.repairTrack`, `unknown FEC repair track ${JSON.stringify(layerZeroName)}`);
+  }
+  const dependents = descriptors.filter((d) => d.name !== layerZeroName && dependsTarget(d) === source.name);
+  const k = positiveInteger(source.sourceSymbols) ? source.sourceSymbols : 0;
+  if (source.algorithm === "raptorq" && k > MAX_RAPTORQ_SOURCE_SYMBOLS) {
+    fail(
+      "track_fec_bounds",
+      `${source.path}.sourceSymbols`,
+      `must be at most ${MAX_RAPTORQ_SOURCE_SYMBOLS} (RFC 6330 source block limit)`
+    );
+  }
+  if (layerZeroName === void 0) {
+    if (dependents.length === 0) return void 0;
+    fail(
+      "track_repair_layer",
+      `${dependents[0].path}.depends`,
+      `repair layers of ${JSON.stringify(source.name)} require a layer 0 (fec.repairTrack) on the source`
+    );
+  }
+  const layered = dependents.length > 0;
+  let layerZeroSymbols = 0;
+  if (positiveInteger(source.repairSymbols)) {
+    layerZeroSymbols = source.repairSymbols;
+  } else if (layered) {
+    fail("track_fec", `${source.path}.repairSymbols`, "layered or overlay repair needs a positive integer repairSymbols on layer 0");
+  }
+  if (layered && !positiveInteger(source.sourceSymbols)) {
+    fail("track_fec", `${source.path}.sourceSymbols`, "layered or overlay repair needs a positive integer sourceSymbols on the source");
+  }
+  if (layered && source.algorithm !== "raptorq") {
+    fail(
+      "track_fec",
+      `${source.path}.algorithm`,
+      "repair layers and overlays are defined only for raptorq: a block code fixes its codeword length, so symbols of a larger P are not symbols of the code a receiver holding fewer layers decodes"
+    );
+  }
+  let layerZeroPriority = DEFAULT_REPAIR_PRIORITY;
+  if (layerZero !== void 0) {
+    if (layerZero.depends !== void 0 && dependsTarget(layerZero) !== source.name) {
+      fail(
+        "track_repair_depends",
+        `${layerZero.path}.depends`,
+        `layer 0 of ${JSON.stringify(source.name)} must depend on that source`
+      );
+    }
+    if (layerZero.repairLayer !== void 0 && layerZero.repairLayer !== 0) {
+      fail("track_repair_layer", `${layerZero.path}.repairLayer`, "the track named by fec.repairTrack is layer 0");
+    }
+    if (layerZero.scope !== void 0) {
+      fail("track_repair_overlay", `${layerZero.path}.scope`, "the track named by fec.repairTrack is base layer 0, not an overlay");
+    }
+    if (layerZero.repairSymbols !== void 0 && layerZero.repairSymbols !== layerZeroSymbols) {
+      fail(
+        "track_repair_layer",
+        `${layerZero.path}.repairSymbols`,
+        `must agree with the source's fec.repairSymbols (${layerZeroSymbols})`
+      );
+    }
+    if (typeof layerZero.priority === "number") layerZeroPriority = layerZero.priority;
+  }
+  const baseLayers = [
+    { layer: 0, repairTrackName: layerZeroName, repairSymbols: layerZeroSymbols, rsIdOffset: 0, priority: layerZeroPriority }
+  ];
+  const overlays = [];
+  for (const d of dependents) {
+    if (d.scope === void 0 && d.repairLayer === void 0) {
+      fail(
+        "track_repair_layer",
+        `${d.path}.repairLayer`,
+        `a repair track that depends on ${JSON.stringify(source.name)} must declare repairLayer (1..n) or scope: "keyframe"`
+      );
+    }
+  }
+  const layerTracks = dependents.filter((d) => d.scope === void 0).sort((a, b) => a.repairLayer - b.repairLayer);
+  for (const d of dependents) {
+    if (d.scope !== "keyframe") continue;
+    if (overlays.length === 1) {
+      fail(
+        "track_repair_overlay",
+        `${d.path}.scope`,
+        `${JSON.stringify(source.name)} already has keyframe overlay ${JSON.stringify(overlays[0].repairTrackName)}: a RAP packet carries exactly two Source FEC Payload IDs (base, then overlay), so one overlay per source`
+      );
+    }
+    const sourceSymbols = d.sourceSymbols;
+    const repairSymbols = d.repairSymbols;
+    if (sourceSymbols + repairSymbols - 1 > MAX_ENCODING_SYMBOL_ID) {
+      fail(
+        "track_fec_bounds",
+        `${d.path}.repairSymbols`,
+        `overlay sourceSymbols + repairSymbols - 1 exceeds the 24-bit ESI space (${MAX_ENCODING_SYMBOL_ID})`
+      );
+    }
+    overlays.push({ repairTrackName: d.name, scope: "keyframe", sourceSymbols, repairSymbols, priority: d.priority });
+  }
+  let offset = layerZeroSymbols;
+  let previousPriority = layerZeroPriority;
+  layerTracks.forEach((d, i) => {
+    const expected = i + 1;
+    if (d.repairLayer === 0) {
+      fail("track_repair_layer", `${d.path}.repairLayer`, `layer 0 of ${JSON.stringify(source.name)} is ${JSON.stringify(layerZeroName)}, named by fec.repairTrack`);
+    }
+    if (d.repairLayer !== expected) {
+      fail(
+        "track_repair_layer",
+        `${d.path}.repairLayer`,
+        i > 0 && d.repairLayer === layerTracks[i - 1].repairLayer ? `repair layer ${d.repairLayer} is declared twice for ${JSON.stringify(source.name)}` : `repair layers must be contiguous from 1: expected ${expected}, found ${d.repairLayer}`
+      );
+    }
+    const priority = d.priority;
+    if (priority < previousPriority) {
+      fail(
+        "track_repair_priority",
+        `${d.path}.priority`,
+        `must be at least ${previousPriority}, the priority of layer ${expected - 1}: priority is monotonic non-decreasing with layer index`
+      );
+    }
+    previousPriority = priority;
+    const repairSymbols = d.repairSymbols;
+    baseLayers.push({ layer: expected, repairTrackName: d.name, repairSymbols, rsIdOffset: offset, priority });
+    offset += repairSymbols;
+  });
+  const totalBaseRepairSymbols = offset;
+  if (totalBaseRepairSymbols > MAX_REPAIR_SYMBOLS) {
+    fail(
+      "track_fec_bounds",
+      `${layerTracks.length === 0 ? source.path : layerTracks[layerTracks.length - 1].path}.repairSymbols`,
+      `total repair symbols across base layers exceeds the 24-bit RS_ID space (${MAX_REPAIR_SYMBOLS})`
+    );
+  }
+  if (k + totalBaseRepairSymbols - 1 > MAX_ENCODING_SYMBOL_ID) {
+    fail(
+      "track_fec_bounds",
+      `${source.path}.sourceSymbols`,
+      `sourceSymbols + total base repair symbols - 1 exceeds the 24-bit ESI space (${MAX_ENCODING_SYMBOL_ID})`
+    );
+  }
+  return { sourceTrackName: source.name, baseLayers, overlays, totalBaseRepairSymbols };
+}
+export {
+  DEFAULT_REPAIR_PRIORITY,
+  MAX_ENCODING_SYMBOL_ID,
+  MAX_RAPTORQ_SOURCE_SYMBOLS,
+  MAX_REPAIR_SYMBOLS,
+  REPAIR_PRIORITY_MAX,
+  REPAIR_PRIORITY_MIN,
+  REPAIR_TRACK_GEOMETRY_KEYS,
+  REPAIR_TRACK_ONLY_KEYS,
+  RepairContractError,
+  assembleRepairLayers,
+  assertRepairTrackReachable,
+  dependsTarget,
+  describeRepairTrack,
+  rejectRepairFieldsOnMediaTrack,
+  rejectRepairTrackGeometry,
+  repairReachability,
+  throwRepairContractError,
+  validateRepairTrackFields
+};
+//# sourceMappingURL=repair-layers.js.map

package/dist/repair-layers.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../src/repair-layers.ts"],
+  "sourcesContent": ["// Layered and overlay FEC repair contract (draft-ramadan-moq-fec \u00A76.3).\n//\n// One source track may carry several repair tracks. Every base layer is\n// generated from the same source partition (RaptorQ, K, T, interleaveDepthMs,\n// reorderToleranceMs) and differs from its siblings only in its repair symbol\n// count P_i. Layer i owns the Repair Symbol IDs [O_i, O_i + P_i) with\n// O_i = sum(P_j, j < i), and ESI = K + RS_ID, so any subset of layers combines\n// into one decode. A keyframe overlay is a second, independent FEC instance\n// covering only random access point fragments, with its own K and P and its\n// own RS_ID space starting at 0.\n//\n// Repair tracks describe themselves (`depends`, `repairLayer`, `scope`); names\n// carry no meaning. This module holds the one rule set both catalog dialects\n// (MSF `tracks[]` and hang `repair.renditions`) resolve through, so the CMSF\n// validator and the player resolver cannot drift apart.\n//\n// The one dialect difference is where layer 0 lives. In MSF, `fec.repairTrack`\n// must name a `fec-repair` track in `tracks[]`, so a dangling pointer fails\n// closed (`layerZeroMustBeDeclared`). In hang, layer 0 is named only by the\n// rendition's `fec.repairTrack` and needs no `repair.renditions` entry; an\n// entry there is optional and, when present, must agree with the source.\n\n/** Lowest MoQT-scale priority a repair track may declare. */\nexport const REPAIR_PRIORITY_MIN = 192;\n/** Highest MoQT-scale priority a repair track may declare. */\nexport const REPAIR_PRIORITY_MAX = 255;\n/** Priority of a base layer 0 track that declares none. */\nexport const DEFAULT_REPAIR_PRIORITY = 240;\n/** RFC 6330 \u00A74.4.1.2: the largest number of source symbols in one RaptorQ source block. */\nexport const MAX_RAPTORQ_SOURCE_SYMBOLS = 56403;\n/** The 24-bit RS_ID field (\u00A77.1) bounds the repair total of one FEC instance. */\nexport const MAX_REPAIR_SYMBOLS = 0xffffff;\n/** The 24-bit ESI bounds K + totalP - 1 for one FEC instance. */\nexport const MAX_ENCODING_SYMBOL_ID = 0xffffff;\n\nexport type RepairContractCode =\n\t| \"track_fec\"\n\t| \"track_repair_track\"\n\t| \"track_repair_depends\"\n\t| \"track_repair_layer\"\n\t| \"track_repair_priority\"\n\t| \"track_repair_overlay\"\n\t| \"track_repair_geometry\"\n\t| \"track_fec_bounds\";\n\n/** Reports one contract violation and never returns. */\nexport type RepairContractFail = (code: RepairContractCode, path: string, message: string) => never;\n\nexport class RepairContractError extends Error {\n\tconstructor(\n\t\tpublic readonly code: RepairContractCode,\n\t\tpublic readonly path: string,\n\t\tmessage: string,\n\t) {\n\t\tsuper(`[repair-layers:${code}] ${path}: ${message}`);\n\t\tthis.name = \"RepairContractError\";\n\t}\n}\n\nexport const throwRepairContractError: RepairContractFail = (code, path, message) => {\n\tthrow new RepairContractError(code, path, message);\n};\n\n/** The self-describing fields of one repair track entry, in either dialect. */\nexport type RepairTrackDescriptor = {\n\t/** Track (MSF) or rendition (hang) name. */\n\tname: string;\n\t/** JSON path of the entry, for error reporting. */\n\tpath: string;\n\tdepends?: unknown;\n\trepairLayer?: unknown;\n\trepairSymbols?: unknown;\n\tpriority?: unknown;\n\tscope?: unknown;\n\tsourceSymbols?: unknown;\n};\n\n/** The source track's `fec` object as the layer contract reads it. */\nexport type RepairSourceGeometry = {\n\t/** Source track or rendition name. */\n\tname: string;\n\t/** JSON path of the `fec` object, for error reporting. */\n\tpath: string;\n\talgorithm?: unknown;\n\t/** K. */\n\tsourceSymbols?: unknown;\n\t/** P_0. */\n\trepairSymbols?: unknown;\n\t/** Layer 0 track name. */\n\trepairTrack?: unknown;\n};\n\n/** A resolved base repair layer with its derived RS_ID range. */\nexport type RepairLayerParams = {\n\t/** Layer index; 0 is the track named by the source's `fec.repairTrack`. */\n\tlayer: number;\n\trepairTrackName: string;\n\t/** P_i: repair symbols per block carried by this layer. */\n\trepairSymbols: number;\n\t/** O_i = sum(P_j for j < i): the first RS_ID this layer carries. ESI = K + RS_ID. */\n\trsIdOffset: number;\n\t/** MoQT-scale priority (lower first); 240 when layer 0 declares none. */\n\tpriority: number;\n};\n\n/** A resolved keyframe overlay: a separate FEC instance over RAP fragments only. */\nexport type RepairOverlayParams = {\n\trepairTrackName: string;\n\tscope: \"keyframe\";\n\t/** K_overlay: source symbols of the overlay instance. */\n\tsourceSymbols: number;\n\t/** P_overlay: repair symbols per overlay block; also the overlay's own RSB_length. */\n\trepairSymbols: number;\n\t/** MoQT-scale priority, independent of the base layer chain. */\n\tpriority: number;\n};\n\nexport type RepairLayersResolution = {\n\tsourceTrackName: string;\n\t/** Base layers in layer order, layer 0 first. Never empty. */\n\tbaseLayers: readonly RepairLayerParams[];\n\t/** Keyframe overlay instances, in catalog order. Empty when none is declared. */\n\t/** At most one entry: the wire carries one overlay trailer per RAP packet. */\n\toverlays: readonly RepairOverlayParams[];\n\t/** Sum of P over base layers: the wire RSB_length on every base layer packet. */\n\ttotalBaseRepairSymbols: number;\n};\n\nconst REPAIR_FIELDS = [\"depends\", \"repairLayer\", \"repairSymbols\", \"priority\", \"scope\", \"sourceSymbols\"] as const;\n\n/** Track-level block geometry keys a repair track must not carry (\u00A76.3 rule 8): geometry is the source's. */\nexport const REPAIR_TRACK_GEOMETRY_KEYS = [\n\t\"mmtpMode\",\n\t\"timescale\",\n\t\"groupDurationMs\",\n\t\"groupDurationTicks\",\n\t\"keyframeIntervalMs\",\n\t\"keyframeIntervalTicks\",\n\t\"fec\",\n\t\"symbolSize\",\n\t\"interleaveDepthMs\",\n] as const;\n\n/** Self-describing repair fields that only a repair track or repair rendition may carry. */\nexport const REPAIR_TRACK_ONLY_KEYS = [\"repairLayer\", \"repairSymbols\", \"sourceSymbols\", \"scope\"] as const;\n\n/** Rule 8: a repair track (MSF) or repair rendition (hang) carries no block geometry. */\nexport function rejectRepairTrackGeometry(path: string, fields: Record<string, unknown>, fail: RepairContractFail): void {\n\tfor (const key of REPAIR_TRACK_GEOMETRY_KEYS) {\n\t\tif (fields[key] !== undefined) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_geometry\",\n\t\t\t\t`${path}.${key}`,\n\t\t\t\t\"a repair track carries no block geometry; it is shared with the source track's fec object\",\n\t\t\t);\n\t\t}\n\t}\n}\n\n/** Which repair tracks a catalog can reach, for rule 9 (no orphan repair track). */\nexport type RepairReachability = {\n\t/** True once any track or rendition carries `fec` with an algorithm other than `none`. */\n\tdeclaresFecSource: boolean;\n\t/** Every non-empty `fec.repairTrack` a FEC source names: the layer-0 tracks. */\n\tlayerZeroNames: ReadonlySet<string>;\n};\n\n/**\n * Derive rule 9's inputs from the raw `fec` objects of every media track (MSF,\n * packaging other than `fec-repair`) or media rendition (hang) in a catalog.\n * Callers must not pass repair tracks: rule 8 forbids `fec` on them, and a\n * repair track that carried one would otherwise name itself as its own\n * layer 0 and slip past rule 9. One derivation for the validator and both\n * resolver dialects, so an empty-string pointer or an `algorithm: \"none\"`\n * source is read the same way everywhere.\n */\nexport function repairReachability(fecObjects: Iterable<unknown>): RepairReachability {\n\tlet declaresFecSource = false;\n\tconst layerZeroNames = new Set<string>();\n\tfor (const candidate of fecObjects) {\n\t\tif (typeof candidate !== \"object\" || candidate === null || Array.isArray(candidate)) continue;\n\t\tconst fec = candidate as Record<string, unknown>;\n\t\tif (fec[\"algorithm\"] === \"none\") continue;\n\t\tdeclaresFecSource = true;\n\t\tconst repairTrack = fec[\"repairTrack\"];\n\t\tif (typeof repairTrack === \"string\" && repairTrack.length > 0) layerZeroNames.add(repairTrack);\n\t}\n\treturn { declaresFecSource, layerZeroNames };\n}\n\n/**\n * Rule 9: once a catalog declares a FEC source, a repair track that declares no\n * `depends` must be some source's layer 0. A catalog with no FEC source may\n * still carry a naming-era repair track that nothing joins.\n */\nexport function assertRepairTrackReachable(\n\tdescriptor: RepairTrackDescriptor,\n\treachability: RepairReachability,\n\tfail: RepairContractFail,\n): void {\n\tif (dependsTarget(descriptor) !== undefined) return;\n\tif (reachability.declaresFecSource && !reachability.layerZeroNames.has(descriptor.name)) {\n\t\tfail(\n\t\t\t\"track_repair_depends\",\n\t\t\t`${descriptor.path}.depends`,\n\t\t\t\"no source names this repair track in fec.repairTrack and it declares no depends\",\n\t\t);\n\t}\n}\n\n/** A media track (MSF) or media rendition (hang) carries no repair-track fields. */\nexport function rejectRepairFieldsOnMediaTrack(path: string, fields: Record<string, unknown>, fail: RepairContractFail): void {\n\tfor (const key of REPAIR_TRACK_ONLY_KEYS) {\n\t\tif (fields[key] !== undefined) {\n\t\t\tfail(\"track_repair_layer\", `${path}.${key}`, `${key} is a repair track field`);\n\t\t}\n\t}\n}\n\n/** Pick the self-describing repair fields out of a raw track or rendition record. */\nexport function describeRepairTrack(name: string, path: string, fields: Record<string, unknown>): RepairTrackDescriptor {\n\tconst descriptor: RepairTrackDescriptor = { name, path };\n\tfor (const field of REPAIR_FIELDS) {\n\t\tif (field in fields) descriptor[field] = fields[field];\n\t}\n\treturn descriptor;\n}\n\nfunction isSafeInteger(value: unknown): value is number {\n\treturn typeof value === \"number\" && Number.isSafeInteger(value);\n}\n\nfunction positiveInteger(value: unknown): value is number {\n\treturn isSafeInteger(value) && value > 0;\n}\n\n/** The single source a repair track names in `depends`, once its shape has been validated. */\nexport function dependsTarget(descriptor: RepairTrackDescriptor): string | undefined {\n\tconst depends = descriptor.depends;\n\treturn Array.isArray(depends) && depends.length === 1 && typeof depends[0] === \"string\" && depends[0].length > 0\n\t\t? depends[0]\n\t\t: undefined;\n}\n\n/**\n * Validate the shape of one repair track's self-describing fields, independent\n * of any source. Cross-track rules (layer 0 agreement, contiguity, priority\n * order, bounds) live in `assembleRepairLayers`.\n */\nexport function validateRepairTrackFields(descriptor: RepairTrackDescriptor, fail: RepairContractFail): void {\n\tconst { path } = descriptor;\n\tif (descriptor.depends !== undefined && dependsTarget(descriptor) === undefined) {\n\t\tfail(\"track_repair_depends\", `${path}.depends`, \"must name exactly one source track\");\n\t}\n\tif (descriptor.repairLayer !== undefined && (!isSafeInteger(descriptor.repairLayer) || descriptor.repairLayer < 0)) {\n\t\tfail(\"track_repair_layer\", `${path}.repairLayer`, \"must be a non-negative integer\");\n\t}\n\tif (\n\t\tdescriptor.repairSymbols !== undefined &&\n\t\t(!positiveInteger(descriptor.repairSymbols) || descriptor.repairSymbols > MAX_REPAIR_SYMBOLS)\n\t) {\n\t\tfail(\"track_repair_layer\", `${path}.repairSymbols`, `must be a positive integer at most ${MAX_REPAIR_SYMBOLS}`);\n\t}\n\tif (\n\t\tdescriptor.priority !== undefined &&\n\t\t(!isSafeInteger(descriptor.priority) ||\n\t\t\tdescriptor.priority < REPAIR_PRIORITY_MIN ||\n\t\t\tdescriptor.priority > REPAIR_PRIORITY_MAX)\n\t) {\n\t\tfail(\n\t\t\t\"track_repair_priority\",\n\t\t\t`${path}.priority`,\n\t\t\t`must be an integer from ${REPAIR_PRIORITY_MIN} to ${REPAIR_PRIORITY_MAX} (MoQT scale, lower first)`,\n\t\t);\n\t}\n\tif (descriptor.scope !== undefined) {\n\t\tif (descriptor.scope !== \"keyframe\") {\n\t\t\tfail(\"track_repair_overlay\", `${path}.scope`, 'must be \"keyframe\"');\n\t\t}\n\t\tif (descriptor.repairLayer !== undefined) {\n\t\t\tfail(\"track_repair_overlay\", `${path}.repairLayer`, \"an overlay is a separate FEC instance and carries no repairLayer\");\n\t\t}\n\t\tfor (const field of [\"depends\", \"sourceSymbols\", \"repairSymbols\", \"priority\"] as const) {\n\t\t\tif (descriptor[field] === undefined) {\n\t\t\t\tfail(\"track_repair_overlay\", `${path}.${field}`, `an overlay must declare ${field}`);\n\t\t\t}\n\t\t}\n\t}\n\tif (descriptor.sourceSymbols !== undefined) {\n\t\tif (descriptor.scope === undefined) {\n\t\t\tfail(\"track_repair_overlay\", `${path}.sourceSymbols`, \"only an overlay (scope: keyframe) declares its own sourceSymbols\");\n\t\t}\n\t\tif (!positiveInteger(descriptor.sourceSymbols) || descriptor.sourceSymbols > MAX_RAPTORQ_SOURCE_SYMBOLS) {\n\t\t\tfail(\n\t\t\t\t\"track_fec_bounds\",\n\t\t\t\t`${path}.sourceSymbols`,\n\t\t\t\t`must be a positive integer at most ${MAX_RAPTORQ_SOURCE_SYMBOLS} (RFC 6330 source block limit)`,\n\t\t\t);\n\t\t}\n\t}\n\tif (isSafeInteger(descriptor.repairLayer) && descriptor.repairLayer >= 1) {\n\t\tfor (const field of [\"depends\", \"repairSymbols\", \"priority\"] as const) {\n\t\t\tif (descriptor[field] === undefined) {\n\t\t\t\tfail(\"track_repair_layer\", `${path}.${field}`, `repair layer ${descriptor.repairLayer} must declare ${field}`);\n\t\t\t}\n\t\t}\n\t}\n}\n\n/**\n * Resolve the base layers and overlays of one source track and derive each\n * base layer's RS_ID offset. Fails closed on every \u00A76.3 rule violation through\n * `fail`, which receives the code and the JSON path of the offending field.\n *\n * `descriptors` are every repair track (or repair rendition) in the catalog,\n * already shape-checked by `validateRepairTrackFields`. Returns undefined when\n * the source names no layer 0 and nothing depends on it.\n */\nexport type AssembleRepairLayersOptions = {\n\t/**\n\t * MSF: `fec.repairTrack` must name one of `descriptors` (a `fec-repair`\n\t * track), so a dangling pointer fails closed with `track_repair_track`.\n\t * hang: layer 0 lives outside `repair.renditions`, so leave this unset.\n\t */\n\tlayerZeroMustBeDeclared?: boolean;\n};\n\nexport function assembleRepairLayers(\n\tsource: RepairSourceGeometry,\n\tdescriptors: readonly RepairTrackDescriptor[],\n\tfail: RepairContractFail = throwRepairContractError,\n\toptions: AssembleRepairLayersOptions = {},\n): RepairLayersResolution | undefined {\n\tconst layerZeroName =\n\t\ttypeof source.repairTrack === \"string\" && source.repairTrack.length > 0 ? source.repairTrack : undefined;\n\tconst layerZero = layerZeroName === undefined ? undefined : descriptors.find((d) => d.name === layerZeroName);\n\tif (layerZeroName !== undefined && layerZero === undefined && options.layerZeroMustBeDeclared) {\n\t\tfail(\"track_repair_track\", `${source.path}.repairTrack`, `unknown FEC repair track ${JSON.stringify(layerZeroName)}`);\n\t}\n\tconst dependents = descriptors.filter((d) => d.name !== layerZeroName && dependsTarget(d) === source.name);\n\tconst k = positiveInteger(source.sourceSymbols) ? source.sourceSymbols : 0;\n\t// RFC 6330 bounds every RaptorQ source block, with or without a repair track.\n\tif (source.algorithm === \"raptorq\" && k > MAX_RAPTORQ_SOURCE_SYMBOLS) {\n\t\tfail(\n\t\t\t\"track_fec_bounds\",\n\t\t\t`${source.path}.sourceSymbols`,\n\t\t\t`must be at most ${MAX_RAPTORQ_SOURCE_SYMBOLS} (RFC 6330 source block limit)`,\n\t\t);\n\t}\n\tif (layerZeroName === undefined) {\n\t\tif (dependents.length === 0) return undefined;\n\t\tfail(\n\t\t\t\"track_repair_layer\",\n\t\t\t`${dependents[0]!.path}.depends`,\n\t\t\t`repair layers of ${JSON.stringify(source.name)} require a layer 0 (fec.repairTrack) on the source`,\n\t\t);\n\t}\n\n\tconst layered = dependents.length > 0;\n\tlet layerZeroSymbols = 0;\n\tif (positiveInteger(source.repairSymbols)) {\n\t\tlayerZeroSymbols = source.repairSymbols;\n\t} else if (layered) {\n\t\tfail(\"track_fec\", `${source.path}.repairSymbols`, \"layered or overlay repair needs a positive integer repairSymbols on layer 0\");\n\t}\n\tif (layered && !positiveInteger(source.sourceSymbols)) {\n\t\tfail(\"track_fec\", `${source.path}.sourceSymbols`, \"layered or overlay repair needs a positive integer sourceSymbols on the source\");\n\t}\n\tif (layered && source.algorithm !== \"raptorq\") {\n\t\tfail(\n\t\t\t\"track_fec\",\n\t\t\t`${source.path}.algorithm`,\n\t\t\t\"repair layers and overlays are defined only for raptorq: a block code fixes its codeword length, so symbols of a larger P are not symbols of the code a receiver holding fewer layers decodes\",\n\t\t);\n\t}\n\n\tlet layerZeroPriority = DEFAULT_REPAIR_PRIORITY;\n\tif (layerZero !== undefined) {\n\t\tif (layerZero.depends !== undefined && dependsTarget(layerZero) !== source.name) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_depends\",\n\t\t\t\t`${layerZero.path}.depends`,\n\t\t\t\t`layer 0 of ${JSON.stringify(source.name)} must depend on that source`,\n\t\t\t);\n\t\t}\n\t\tif (layerZero.repairLayer !== undefined && layerZero.repairLayer !== 0) {\n\t\t\tfail(\"track_repair_layer\", `${layerZero.path}.repairLayer`, \"the track named by fec.repairTrack is layer 0\");\n\t\t}\n\t\tif (layerZero.scope !== undefined) {\n\t\t\tfail(\"track_repair_overlay\", `${layerZero.path}.scope`, \"the track named by fec.repairTrack is base layer 0, not an overlay\");\n\t\t}\n\t\tif (layerZero.repairSymbols !== undefined && layerZero.repairSymbols !== layerZeroSymbols) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_layer\",\n\t\t\t\t`${layerZero.path}.repairSymbols`,\n\t\t\t\t`must agree with the source's fec.repairSymbols (${layerZeroSymbols})`,\n\t\t\t);\n\t\t}\n\t\tif (typeof layerZero.priority === \"number\") layerZeroPriority = layerZero.priority;\n\t}\n\n\tconst baseLayers: RepairLayerParams[] = [\n\t\t{ layer: 0, repairTrackName: layerZeroName!, repairSymbols: layerZeroSymbols, rsIdOffset: 0, priority: layerZeroPriority },\n\t];\n\t// Clarification 7 fixes the wire: a RAP packet carries exactly two Source\n\t// FEC Payload IDs, base first and overlay last, and the receiver strips a\n\t// fixed trailer length. A second overlay would need a third trailer that\n\t// the draft does not define, so one overlay per source is the contract.\n\tconst overlays: RepairOverlayParams[] = [];\n\tfor (const d of dependents) {\n\t\tif (d.scope === undefined && d.repairLayer === undefined) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_layer\",\n\t\t\t\t`${d.path}.repairLayer`,\n\t\t\t\t`a repair track that depends on ${JSON.stringify(source.name)} must declare repairLayer (1..n) or scope: \"keyframe\"`,\n\t\t\t);\n\t\t}\n\t}\n\tconst layerTracks = dependents\n\t\t.filter((d) => d.scope === undefined)\n\t\t.sort((a, b) => (a.repairLayer as number) - (b.repairLayer as number));\n\tfor (const d of dependents) {\n\t\tif (d.scope !== \"keyframe\") continue;\n\t\tif (overlays.length === 1) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_overlay\",\n\t\t\t\t`${d.path}.scope`,\n\t\t\t\t`${JSON.stringify(source.name)} already has keyframe overlay ${JSON.stringify(overlays[0]!.repairTrackName)}: a RAP packet carries exactly two Source FEC Payload IDs (base, then overlay), so one overlay per source`,\n\t\t\t);\n\t\t}\n\t\tconst sourceSymbols = d.sourceSymbols as number;\n\t\tconst repairSymbols = d.repairSymbols as number;\n\t\tif (sourceSymbols + repairSymbols - 1 > MAX_ENCODING_SYMBOL_ID) {\n\t\t\tfail(\n\t\t\t\t\"track_fec_bounds\",\n\t\t\t\t`${d.path}.repairSymbols`,\n\t\t\t\t`overlay sourceSymbols + repairSymbols - 1 exceeds the 24-bit ESI space (${MAX_ENCODING_SYMBOL_ID})`,\n\t\t\t);\n\t\t}\n\t\toverlays.push({ repairTrackName: d.name, scope: \"keyframe\", sourceSymbols, repairSymbols, priority: d.priority as number });\n\t}\n\n\tlet offset = layerZeroSymbols;\n\tlet previousPriority = layerZeroPriority;\n\tlayerTracks.forEach((d, i) => {\n\t\tconst expected = i + 1;\n\t\tif (d.repairLayer === 0) {\n\t\t\tfail(\"track_repair_layer\", `${d.path}.repairLayer`, `layer 0 of ${JSON.stringify(source.name)} is ${JSON.stringify(layerZeroName)}, named by fec.repairTrack`);\n\t\t}\n\t\tif (d.repairLayer !== expected) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_layer\",\n\t\t\t\t`${d.path}.repairLayer`,\n\t\t\t\ti > 0 && d.repairLayer === layerTracks[i - 1]!.repairLayer\n\t\t\t\t\t? `repair layer ${d.repairLayer} is declared twice for ${JSON.stringify(source.name)}`\n\t\t\t\t\t: `repair layers must be contiguous from 1: expected ${expected}, found ${d.repairLayer}`,\n\t\t\t);\n\t\t}\n\t\tconst priority = d.priority as number;\n\t\tif (priority < previousPriority) {\n\t\t\tfail(\n\t\t\t\t\"track_repair_priority\",\n\t\t\t\t`${d.path}.priority`,\n\t\t\t\t`must be at least ${previousPriority}, the priority of layer ${expected - 1}: priority is monotonic non-decreasing with layer index`,\n\t\t\t);\n\t\t}\n\t\tpreviousPriority = priority;\n\t\tconst repairSymbols = d.repairSymbols as number;\n\t\tbaseLayers.push({ layer: expected, repairTrackName: d.name, repairSymbols, rsIdOffset: offset, priority });\n\t\toffset += repairSymbols;\n\t});\n\n\tconst totalBaseRepairSymbols = offset;\n\tif (totalBaseRepairSymbols > MAX_REPAIR_SYMBOLS) {\n\t\tfail(\n\t\t\t\"track_fec_bounds\",\n\t\t\t`${layerTracks.length === 0 ? source.path : layerTracks[layerTracks.length - 1]!.path}.repairSymbols`,\n\t\t\t`total repair symbols across base layers exceeds the 24-bit RS_ID space (${MAX_REPAIR_SYMBOLS})`,\n\t\t);\n\t}\n\tif (k + totalBaseRepairSymbols - 1 > MAX_ENCODING_SYMBOL_ID) {\n\t\tfail(\n\t\t\t\"track_fec_bounds\",\n\t\t\t`${source.path}.sourceSymbols`,\n\t\t\t`sourceSymbols + total base repair symbols - 1 exceeds the 24-bit ESI space (${MAX_ENCODING_SYMBOL_ID})`,\n\t\t);\n\t}\n\n\treturn { sourceTrackName: source.name, baseLayers, overlays, totalBaseRepairSymbols };\n}\n"],
+  "mappings": ";AAuBO,IAAM,sBAAsB;AAE5B,IAAM,sBAAsB;AAE5B,IAAM,0BAA0B;AAEhC,IAAM,6BAA6B;AAEnC,IAAM,qBAAqB;AAE3B,IAAM,yBAAyB;AAe/B,IAAM,sBAAN,cAAkC,MAAM;AAAA,EAC9C,YACiB,MACA,MAChB,SACC;AACD,UAAM,kBAAkB,IAAI,KAAK,IAAI,KAAK,OAAO,EAAE;AAJnC;AACA;AAIhB,SAAK,OAAO;AAAA,EACb;AACD;AAEO,IAAM,2BAA+C,CAAC,MAAM,MAAM,YAAY;AACpF,QAAM,IAAI,oBAAoB,MAAM,MAAM,OAAO;AAClD;AAmEA,IAAM,gBAAgB,CAAC,WAAW,eAAe,iBAAiB,YAAY,SAAS,eAAe;AAG/F,IAAM,6BAA6B;AAAA,EACzC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACD;AAGO,IAAM,yBAAyB,CAAC,eAAe,iBAAiB,iBAAiB,OAAO;AAGxF,SAAS,0BAA0B,MAAc,QAAiC,MAAgC;AACxH,aAAW,OAAO,4BAA4B;AAC7C,QAAI,OAAO,GAAG,MAAM,QAAW;AAC9B;AAAA,QACC;AAAA,QACA,GAAG,IAAI,IAAI,GAAG;AAAA,QACd;AAAA,MACD;AAAA,IACD;AAAA,EACD;AACD;AAmBO,SAAS,mBAAmB,YAAmD;AACrF,MAAI,oBAAoB;AACxB,QAAM,iBAAiB,oBAAI,IAAY;AACvC,aAAW,aAAa,YAAY;AACnC,QAAI,OAAO,cAAc,YAAY,cAAc,QAAQ,MAAM,QAAQ,SAAS,EAAG;AACrF,UAAM,MAAM;AACZ,QAAI,IAAI,WAAW,MAAM,OAAQ;AACjC,wBAAoB;AACpB,UAAM,cAAc,IAAI,aAAa;AACrC,QAAI,OAAO,gBAAgB,YAAY,YAAY,SAAS,EAAG,gBAAe,IAAI,WAAW;AAAA,EAC9F;AACA,SAAO,EAAE,mBAAmB,eAAe;AAC5C;AAOO,SAAS,2BACf,YACA,cACA,MACO;AACP,MAAI,cAAc,UAAU,MAAM,OAAW;AAC7C,MAAI,aAAa,qBAAqB,CAAC,aAAa,eAAe,IAAI,WAAW,IAAI,GAAG;AACxF;AAAA,MACC;AAAA,MACA,GAAG,WAAW,IAAI;AAAA,MAClB;AAAA,IACD;AAAA,EACD;AACD;AAGO,SAAS,+BAA+B,MAAc,QAAiC,MAAgC;AAC7H,aAAW,OAAO,wBAAwB;AACzC,QAAI,OAAO,GAAG,MAAM,QAAW;AAC9B,WAAK,sBAAsB,GAAG,IAAI,IAAI,GAAG,IAAI,GAAG,GAAG,0BAA0B;AAAA,IAC9E;AAAA,EACD;AACD;AAGO,SAAS,oBAAoB,MAAc,MAAc,QAAwD;AACvH,QAAM,aAAoC,EAAE,MAAM,KAAK;AACvD,aAAW,SAAS,eAAe;AAClC,QAAI,SAAS,OAAQ,YAAW,KAAK,IAAI,OAAO,KAAK;AAAA,EACtD;AACA,SAAO;AACR;AAEA,SAAS,cAAc,OAAiC;AACvD,SAAO,OAAO,UAAU,YAAY,OAAO,cAAc,KAAK;AAC/D;AAEA,SAAS,gBAAgB,OAAiC;AACzD,SAAO,cAAc,KAAK,KAAK,QAAQ;AACxC;AAGO,SAAS,cAAc,YAAuD;AACpF,QAAM,UAAU,WAAW;AAC3B,SAAO,MAAM,QAAQ,OAAO,KAAK,QAAQ,WAAW,KAAK,OAAO,QAAQ,CAAC,MAAM,YAAY,QAAQ,CAAC,EAAE,SAAS,IAC5G,QAAQ,CAAC,IACT;AACJ;AAOO,SAAS,0BAA0B,YAAmC,MAAgC;AAC5G,QAAM,EAAE,KAAK,IAAI;AACjB,MAAI,WAAW,YAAY,UAAa,cAAc,UAAU,MAAM,QAAW;AAChF,SAAK,wBAAwB,GAAG,IAAI,YAAY,oCAAoC;AAAA,EACrF;AACA,MAAI,WAAW,gBAAgB,WAAc,CAAC,cAAc,WAAW,WAAW,KAAK,WAAW,cAAc,IAAI;AACnH,SAAK,sBAAsB,GAAG,IAAI,gBAAgB,gCAAgC;AAAA,EACnF;AACA,MACC,WAAW,kBAAkB,WAC5B,CAAC,gBAAgB,WAAW,aAAa,KAAK,WAAW,gBAAgB,qBACzE;AACD,SAAK,sBAAsB,GAAG,IAAI,kBAAkB,sCAAsC,kBAAkB,EAAE;AAAA,EAC/G;AACA,MACC,WAAW,aAAa,WACvB,CAAC,cAAc,WAAW,QAAQ,KAClC,WAAW,WAAW,uBACtB,WAAW,WAAW,sBACtB;AACD;AAAA,MACC;AAAA,MACA,GAAG,IAAI;AAAA,MACP,2BAA2B,mBAAmB,OAAO,mBAAmB;AAAA,IACzE;AAAA,EACD;AACA,MAAI,WAAW,UAAU,QAAW;AACnC,QAAI,WAAW,UAAU,YAAY;AACpC,WAAK,wBAAwB,GAAG,IAAI,UAAU,oBAAoB;AAAA,IACnE;AACA,QAAI,WAAW,gBAAgB,QAAW;AACzC,WAAK,wBAAwB,GAAG,IAAI,gBAAgB,kEAAkE;AAAA,IACvH;AACA,eAAW,SAAS,CAAC,WAAW,iBAAiB,iBAAiB,UAAU,GAAY;AACvF,UAAI,WAAW,KAAK,MAAM,QAAW;AACpC,aAAK,wBAAwB,GAAG,IAAI,IAAI,KAAK,IAAI,2BAA2B,KAAK,EAAE;AAAA,MACpF;AAAA,IACD;AAAA,EACD;AACA,MAAI,WAAW,kBAAkB,QAAW;AAC3C,QAAI,WAAW,UAAU,QAAW;AACnC,WAAK,wBAAwB,GAAG,IAAI,kBAAkB,kEAAkE;AAAA,IACzH;AACA,QAAI,CAAC,gBAAgB,WAAW,aAAa,KAAK,WAAW,gBAAgB,4BAA4B;AACxG;AAAA,QACC;AAAA,QACA,GAAG,IAAI;AAAA,QACP,sCAAsC,0BAA0B;AAAA,MACjE;AAAA,IACD;AAAA,EACD;AACA,MAAI,cAAc,WAAW,WAAW,KAAK,WAAW,eAAe,GAAG;AACzE,eAAW,SAAS,CAAC,WAAW,iBAAiB,UAAU,GAAY;AACtE,UAAI,WAAW,KAAK,MAAM,QAAW;AACpC,aAAK,sBAAsB,GAAG,IAAI,IAAI,KAAK,IAAI,gBAAgB,WAAW,WAAW,iBAAiB,KAAK,EAAE;AAAA,MAC9G;AAAA,IACD;AAAA,EACD;AACD;AAoBO,SAAS,qBACf,QACA,aACA,OAA2B,0BAC3B,UAAuC,CAAC,GACH;AACrC,QAAM,gBACL,OAAO,OAAO,gBAAgB,YAAY,OAAO,YAAY,SAAS,IAAI,OAAO,cAAc;AAChG,QAAM,YAAY,kBAAkB,SAAY,SAAY,YAAY,KAAK,CAAC,MAAM,EAAE,SAAS,aAAa;AAC5G,MAAI,kBAAkB,UAAa,cAAc,UAAa,QAAQ,yBAAyB;AAC9F,SAAK,sBAAsB,GAAG,OAAO,IAAI,gBAAgB,4BAA4B,KAAK,UAAU,aAAa,CAAC,EAAE;AAAA,EACrH;AACA,QAAM,aAAa,YAAY,OAAO,CAAC,MAAM,EAAE,SAAS,iBAAiB,cAAc,CAAC,MAAM,OAAO,IAAI;AACzG,QAAM,IAAI,gBAAgB,OAAO,aAAa,IAAI,OAAO,gBAAgB;AAEzE,MAAI,OAAO,cAAc,aAAa,IAAI,4BAA4B;AACrE;AAAA,MACC;AAAA,MACA,GAAG,OAAO,IAAI;AAAA,MACd,mBAAmB,0BAA0B;AAAA,IAC9C;AAAA,EACD;AACA,MAAI,kBAAkB,QAAW;AAChC,QAAI,WAAW,WAAW,EAAG,QAAO;AACpC;AAAA,MACC;AAAA,MACA,GAAG,WAAW,CAAC,EAAG,IAAI;AAAA,MACtB,oBAAoB,KAAK,UAAU,OAAO,IAAI,CAAC;AAAA,IAChD;AAAA,EACD;AAEA,QAAM,UAAU,WAAW,SAAS;AACpC,MAAI,mBAAmB;AACvB,MAAI,gBAAgB,OAAO,aAAa,GAAG;AAC1C,uBAAmB,OAAO;AAAA,EAC3B,WAAW,SAAS;AACnB,SAAK,aAAa,GAAG,OAAO,IAAI,kBAAkB,6EAA6E;AAAA,EAChI;AACA,MAAI,WAAW,CAAC,gBAAgB,OAAO,aAAa,GAAG;AACtD,SAAK,aAAa,GAAG,OAAO,IAAI,kBAAkB,gFAAgF;AAAA,EACnI;AACA,MAAI,WAAW,OAAO,cAAc,WAAW;AAC9C;AAAA,MACC;AAAA,MACA,GAAG,OAAO,IAAI;AAAA,MACd;AAAA,IACD;AAAA,EACD;AAEA,MAAI,oBAAoB;AACxB,MAAI,cAAc,QAAW;AAC5B,QAAI,UAAU,YAAY,UAAa,cAAc,SAAS,MAAM,OAAO,MAAM;AAChF;AAAA,QACC;AAAA,QACA,GAAG,UAAU,IAAI;AAAA,QACjB,cAAc,KAAK,UAAU,OAAO,IAAI,CAAC;AAAA,MAC1C;AAAA,IACD;AACA,QAAI,UAAU,gBAAgB,UAAa,UAAU,gBAAgB,GAAG;AACvE,WAAK,sBAAsB,GAAG,UAAU,IAAI,gBAAgB,+CAA+C;AAAA,IAC5G;AACA,QAAI,UAAU,UAAU,QAAW;AAClC,WAAK,wBAAwB,GAAG,UAAU,IAAI,UAAU,oEAAoE;AAAA,IAC7H;AACA,QAAI,UAAU,kBAAkB,UAAa,UAAU,kBAAkB,kBAAkB;AAC1F;AAAA,QACC;AAAA,QACA,GAAG,UAAU,IAAI;AAAA,QACjB,mDAAmD,gBAAgB;AAAA,MACpE;AAAA,IACD;AACA,QAAI,OAAO,UAAU,aAAa,SAAU,qBAAoB,UAAU;AAAA,EAC3E;AAEA,QAAM,aAAkC;AAAA,IACvC,EAAE,OAAO,GAAG,iBAAiB,eAAgB,eAAe,kBAAkB,YAAY,GAAG,UAAU,kBAAkB;AAAA,EAC1H;AAKA,QAAM,WAAkC,CAAC;AACzC,aAAW,KAAK,YAAY;AAC3B,QAAI,EAAE,UAAU,UAAa,EAAE,gBAAgB,QAAW;AACzD;AAAA,QACC;AAAA,QACA,GAAG,EAAE,IAAI;AAAA,QACT,kCAAkC,KAAK,UAAU,OAAO,IAAI,CAAC;AAAA,MAC9D;AAAA,IACD;AAAA,EACD;AACA,QAAM,cAAc,WAClB,OAAO,CAAC,MAAM,EAAE,UAAU,MAAS,EACnC,KAAK,CAAC,GAAG,MAAO,EAAE,cAA0B,EAAE,WAAsB;AACtE,aAAW,KAAK,YAAY;AAC3B,QAAI,EAAE,UAAU,WAAY;AAC5B,QAAI,SAAS,WAAW,GAAG;AAC1B;AAAA,QACC;AAAA,QACA,GAAG,EAAE,IAAI;AAAA,QACT,GAAG,KAAK,UAAU,OAAO,IAAI,CAAC,iCAAiC,KAAK,UAAU,SAAS,CAAC,EAAG,eAAe,CAAC;AAAA,MAC5G;AAAA,IACD;AACA,UAAM,gBAAgB,EAAE;AACxB,UAAM,gBAAgB,EAAE;AACxB,QAAI,gBAAgB,gBAAgB,IAAI,wBAAwB;AAC/D;AAAA,QACC;AAAA,QACA,GAAG,EAAE,IAAI;AAAA,QACT,2EAA2E,sBAAsB;AAAA,MAClG;AAAA,IACD;AACA,aAAS,KAAK,EAAE,iBAAiB,EAAE,MAAM,OAAO,YAAY,eAAe,eAAe,UAAU,EAAE,SAAmB,CAAC;AAAA,EAC3H;AAEA,MAAI,SAAS;AACb,MAAI,mBAAmB;AACvB,cAAY,QAAQ,CAAC,GAAG,MAAM;AAC7B,UAAM,WAAW,IAAI;AACrB,QAAI,EAAE,gBAAgB,GAAG;AACxB,WAAK,sBAAsB,GAAG,EAAE,IAAI,gBAAgB,cAAc,KAAK,UAAU,OAAO,IAAI,CAAC,OAAO,KAAK,UAAU,aAAa,CAAC,4BAA4B;AAAA,IAC9J;AACA,QAAI,EAAE,gBAAgB,UAAU;AAC/B;AAAA,QACC;AAAA,QACA,GAAG,EAAE,IAAI;AAAA,QACT,IAAI,KAAK,EAAE,gBAAgB,YAAY,IAAI,CAAC,EAAG,cAC5C,gBAAgB,EAAE,WAAW,0BAA0B,KAAK,UAAU,OAAO,IAAI,CAAC,KAClF,qDAAqD,QAAQ,WAAW,EAAE,WAAW;AAAA,MACzF;AAAA,IACD;AACA,UAAM,WAAW,EAAE;AACnB,QAAI,WAAW,kBAAkB;AAChC;AAAA,QACC;AAAA,QACA,GAAG,EAAE,IAAI;AAAA,QACT,oBAAoB,gBAAgB,2BAA2B,WAAW,CAAC;AAAA,MAC5E;AAAA,IACD;AACA,uBAAmB;AACnB,UAAM,gBAAgB,EAAE;AACxB,eAAW,KAAK,EAAE,OAAO,UAAU,iBAAiB,EAAE,MAAM,eAAe,YAAY,QAAQ,SAAS,CAAC;AACzG,cAAU;AAAA,EACX,CAAC;AAED,QAAM,yBAAyB;AAC/B,MAAI,yBAAyB,oBAAoB;AAChD;AAAA,MACC;AAAA,MACA,GAAG,YAAY,WAAW,IAAI,OAAO,OAAO,YAAY,YAAY,SAAS,CAAC,EAAG,IAAI;AAAA,MACrF,2EAA2E,kBAAkB;AAAA,IAC9F;AAAA,EACD;AACA,MAAI,IAAI,yBAAyB,IAAI,wBAAwB;AAC5D;AAAA,MACC;AAAA,MACA,GAAG,OAAO,IAAI;AAAA,MACd,+EAA+E,sBAAsB;AAAA,IACtG;AAAA,EACD;AAEA,SAAO,EAAE,iBAAiB,OAAO,MAAM,YAAY,UAAU,uBAAuB;AACrF;",
+  "names": []
+}