Media
vvideo
Writes rendered frames to disk, with a manifest for playback order.
Released v1.0.0 · 2026-09-28use "stdlib/video.ven"A headless video capability: a deterministic sequence of rendered frames written to disk as a real, standard file format, together with a small manifest describing the playback order and rate. There is no live display and no playback of its own: a program using it produces files that another player can read, rather than showing anything on screen itself.
print ppm_header(image_create(2, 1))Reference (6 functions)
API reference
ppm_header(img)
ppm_header(image_create(2, 1))image_to_ppm_text(img)
image_to_ppm_text(image_create(1, 1))frame_file_name(index, total)
Builds the zero-padded frame file name for frame index out of total frames.
frame_file_name(12, 12000)write_frame_sequence(frames, output_dir, frame_rate)
Writes every frame in frames to output_dir as a numbered PPM sequence, plus a manifest.
write_frame_sequence([image_create(2, 1)], "probe_video_docs_scratch", 24)ensure_directory(path)
Creates path as a directory if it does not already exist.
ensure_directory("probe_video_docs_scratch2")read_frame_sequence_manifest(output_dir)
Loads back a previously written manifest.json from output_dir.
read_frame_sequence_manifest("probe_video_docs_scratch")