diff --git a/index.html b/index.html
index a2d7be6..7b49f39 100644
--- a/index.html
+++ b/index.html
@@ -124,6 +124,26 @@
     <div class="prog-hint">The current program, decoded (not base64). Paste a patch <i>or</i> a base64 set‑list code; it's checked, then loaded.
       Conventions: GM names or numbers (<code>kick</code> / <code>36</code>), <code>=X.x-</code> steps, <code>/2</code> subdivision, <code>(3,8)</code> euclidean, <code>@-3</code> dB, <code>~</code> polymeter.</div>
   </div>
+
+  <section class="philosophy" id="rust">
+    <div class="section-label">Firmware · Rust (developer · alpha)</div>
+    <div class="phil-grid">
+      <div class="phil">
+        <h3>🦀 Native‑Rust firmware — PM_K‑1 (RP2350 / Pico 2)</h3>
+        <p>An experimental native‑Rust build of the Kit firmware: one <code>no_std</code> core (track codec + scheduler,
+          validated against the same golden vectors as the web and CircuitPython builds) plus per‑board drivers. Currently
+          a bring‑up image (boot + display); it grows one driver at a time.</p>
+        <p style="margin-top:12px">
+          <a href="/pm-kit.uf2" download
+             style="display:inline-block; padding:10px 18px; border-radius:9px; font-weight:600; text-decoration:none;
+                    color:#04121b; background:linear-gradient(180deg,#34c6ff,var(--cyan))">Download pm‑kit.uf2 ↓</a>
+        </p>
+        <p class="prog-hint" style="margin-top:10px">Flash: hold <b>BOOTSEL</b> on the Pico 2, plug in USB, and drag the
+          <code>.uf2</code> onto the RP2350 drive. Recover anytime with BOOTSEL + a CircuitPython <code>.uf2</code>.
+          Source &amp; staged plan live in <code>rust/</code> and <code>docs/rust-port.md</code>.</p>
+      </div>
+    </div>
+  </section>
 </main>
 
 /*@BUILD:include:src/footer.html@*/