diff --git a/.codex/skills/path-types/SKILL.md b/.codex/skills/path-types/SKILL.md
index 006273001..87be423d5 100644
--- a/.codex/skills/path-types/SKILL.md
+++ b/.codex/skills/path-types/SKILL.md
@@ -34,6 +34,7 @@ Keep these requirements in mind while migrating code to conform with the above g
 * URIs should not yet be stored in rollouts, databases, or other persistent storage
 * path conversion errors: fail-closed for security-relevant paths, fail-open for UI/diagnostics
 * prefer small focused methods on `PathUri` or `LegacyAppPathString` over local helpers
+* represent `PathUri` values as URIs in diagnostics
 
 It is OK if the conversion between paths and URIs is somewhat lossy as long as it will do the right
 thing for real users.
diff --git a/codex-rs/core/src/agents_md.rs b/codex-rs/core/src/agents_md.rs
index 05a1a901f..d0dc7026a 100644
--- a/codex-rs/core/src/agents_md.rs
+++ b/codex-rs/core/src/agents_md.rs
@@ -123,9 +123,9 @@ async fn read_agents_md(
 
         if size > remaining {
             tracing::warn!(
-                "Project doc `{}` exceeds remaining budget ({} bytes) - truncating.",
-                p.inferred_native_path_string(),
-                remaining,
+                path = %p,
+                remaining_bytes = remaining,
+                "project doc exceeds remaining budget; truncating"
             );
         }