fn installed_version_best_effort() -> Option<String>Expand description
Best-effort installed-version lookup for --dir mode: codex is purely
informational there (the dump already exists), so any failure is silently
treated as “unknown” rather than blocking the diff - mirrors
build.rs’s check_codex_staleness.