Function installed_executable_path 

pub fn installed_executable_path(path: &str) -> String

The path a running lean-ctx image was installed under. An update or dev-install replaces the binary while services keep running the old image, and the OS then reports a different path for it: Linux /proc/<pid>/exe reads …/lean-ctx (deleted), Windows reports the rename-aside sidecar lean-ctx.old.exe or its parked form lean-ctx.old-<pid>-<nanos>.exe (core::updater::windows_sidecar). Exactly those shapes map back to lean-ctx/lean-ctx.exe; every other path is returned unchanged.