Function rules_longform_markdown 

pub fn rules_longform_markdown() -> String

Long-form rules for the on-demand project LEAN-CTX.md (#578). Same config-driven shadow/compression handling as the dedicated render, but the LONGFORM profile with the verbose teaching sections.