Function remove_seen_instruction_lines 

pub fn remove_seen_instruction_lines(
    content: &mut String,
    seen: &mut HashSet<String>,
) -> usize

Remove instruction lines already emitted by an earlier conversation turn.

The caller owns seen, so the scope is an individual request pipeline and cannot leak state between requests. Only imperative boilerplate is removed; ordinary repeated prose remains available to the normal local pass.