Function agents_lines 

pub fn agents_lines(
    entries: &[(&AdapterMetadata, ExecutableStatus)],
) -> Vec<String>

agents (SP5a design §3): a padded block per entry — the agent, the executable status, the mechanism, the support level, then the evidence entry’s measured upstream version with its verification date (a probe of whatever happens to be installed would say nothing about the matrix it pairs with), and the full capability matrix without which a support level is never shown (SP4 design §6.1). An empty line separates the entries; there is none after the last.