Function display_relative 

pub fn display_relative(path: &Path) -> String

Render a workspace-relative path for the model with / separators on every platform, so CodeMap/repo output stays stable across hosts.