Type Alias Header 

pub type Header = Vec<(String, String)>;

2026-09-28: key: value lines printed under the title, in order (recipe, checkpoint, policy). The caller decides what they say; the renderer only prints them.

Aliased Type

pub struct Header { /* private fields */ }