verse.plotter.plotter2D._export_reachtube_video_direct

verse.plotter.plotter2D._export_reachtube_video_direct(timed_agent_reach_dict, sorted_times, frame_times, agent_list, plot_color, map, map_type, scale_type, x_min, x_max, y_min, y_max, x_dim, y_dim, output_path, duration, video_config=None, print_level=0, show_legend: bool = False, extra_traces=None)

Export reachtube animation directly to GIF/MP4 without Plotly frame rendering.

This path rasterizes map/axes/rectangles directly and writes frames incrementally, avoiding Plotly/Kaleido to_image per-frame overhead.