Renders every frame off-screen at full resolution and encodes it directly (WebCodecs), so export is faster than real time and works in a background tab. Formats marked “real-time recorder” are a fallback for browsers without WebCodecs.