Remove stale legacy logbook files

pages/claim/page.md

@@ -1,2 +0,0 @@
-# Claim 1 — Translation invariance
-RoPE attention (R_m q)^T(R_n k) = q^T R_{n-m} k depends only on relative position. Verified max err <1e-10. Additive-PE control breaks (not invariant).

style.css

@@ -1,28 +0,0 @@
-body {
-	padding: 2rem;
-	font-family: -apple-system, BlinkMacSystemFont, "Arial", sans-serif;
-}
-
-h1 {
-	font-size: 16px;
-	margin-top: 0;
-}
-
-p {
-	color: rgb(107, 114, 128);
-	font-size: 15px;
-	margin-bottom: 10px;
-	margin-top: 5px;
-}
-
-.card {
-	max-width: 620px;
-	margin: 0 auto;
-	padding: 16px;
-	border: 1px solid lightgray;
-	border-radius: 16px;
-}
-
-.card p:last-child {
-	margin-bottom: 0;
-}