fix: enable direct URL navigation on GitHub Pages

ConstCorrectness · claude · ConstCorrectness · commit aea8d91d70e1 · 2026-05-29T11:51:43.000-04:00
Add 404.html redirect trick so deep links resolve correctly in the SPA.

Co-Authored-By: Claude Sonnet 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/index.html b/index.html
@@ -2,6 +2,12 @@
 <html lang="en">
   <head>
     <meta charset="UTF-8" />
+    <script>
+      (function () {
+        var p = new URLSearchParams(window.location.search).get('p');
+        if (p) window.history.replaceState(null, '', decodeURIComponent(p));
+      })();
+    </script>
     <link rel="icon" type="image/png" href="/images/fav.png" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>const correctness;</title>  </head>
diff --git a/public/404.html b/public/404.html
@@ -0,0 +1,17 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="UTF-8" />
+    <script>
+      // GitHub Pages SPA redirect: encode the path into the query string and
+      // redirect to index.html, which will restore it via the script below.
+      var l = window.location;
+      l.replace(
+        l.protocol + '//' + l.hostname + (l.port ? ':' + l.port : '') +
+        l.pathname.split('/').slice(0, 1).join('/') +
+        '/?p=' + encodeURIComponent(l.pathname + l.search) +
+        (l.hash || '')
+      );
+    </script>
+  </head>
+</html>
