Function push_sections 

fn push_sections(
    b: &mut Tracked,
    entries: &[Entry],
    global: &[usize],
    personal: &[usize],
    spans: &mut Vec<ItemSpan>,
) -> bool

# Global Memory (n entries) and # Personal Memory (…), each item’s text whole, sections separated by a blank line; empty sections left out. The frontend’s composeReinjectionMessage writes the same, so a re-delivery carries the startup block’s sections byte for byte. Returns whether anything was written.