Fix WebViewer navigation error when navigation file is missing

cursoragent · eluce2 · cursoragent · commit 00177bf1cc7b · 2025-08-08T13:30:30.000Z
Co-authored-by: eric.luce &lt;eric.luce@proofgeist.com&gt;
diff --git a/.changeset/fix-webviewer-nav-error.md b/.changeset/fix-webviewer-nav-error.md
@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Guard page add/remove against missing `src/app/navigation.tsx` so WebViewer apps don’t error when updating navigation. This safely no-ops when the navigation file isn’t present.

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +---
 +"@proofkit/cli": patch
 +---
++
 +Guard page add/remove against missing `src/app/navigation.tsx` so WebViewer apps don’t error when updating navigation. This safely no-ops when the navigation file isn’t present.