Function cursorrules_content 

pub fn cursorrules_content() -> String

Compact pointer only (#578): Cursor already auto-loads the canonical full ruleset from ~/.cursor/rules/lean-ctx.mdc, so a project .cursorrules that repeats it bills the same guidance twice in every session.