Update src/streamlit_app.py

src/streamlit_app.py

@@ -3,38 +3,41 @@ import numpy as np
 import pandas as pd
 import streamlit as st
 
-"""
-# Welcome to Streamlit!
-
-Edit `/streamlit_app.py` to customize this app to your heart's desire :heart:.
-If you have any questions, checkout our [documentation](https://docs.streamlit.io) and [community
-forums](https://discuss.streamlit.io).
-
-In the meantime, below is an example of what you can do with just a few lines of code:
-"""
-
-num_points = st.slider("Number of points in spiral", 1, 10000, 1100)
-num_turns = st.slider("Number of turns in spiral", 1, 300, 31)
-
-indices = np.linspace(0, 1, num_points)
-theta = 2 * np.pi * num_turns * indices
-radius = indices
-
-x = radius * np.cos(theta)
-y = radius * np.sin(theta)
-
-df = pd.DataFrame({
-    "x": x,
-    "y": y,
-    "idx": indices,
-    "rand": np.random.randn(num_points),
-})
-
-st.altair_chart(alt.Chart(df, height=700, width=700)
-    .mark_point(filled=True)
-    .encode(
-        x=alt.X("x", axis=None),
-        y=alt.Y("y", axis=None),
-        color=alt.Color("idx", legend=None, scale=alt.Scale()),
-        size=alt.Size("rand", legend=None, scale=alt.Scale(range=[1, 150])),
-    ))
+# We only touch verifiers to prove it imports on 3.11+
+import verifiers as vf
+
+st.set_page_config(page_title="Reverse-Text + Spiral Demo", layout="centered")
+st.title("🔄 Reverse-Text & Spiral Demo")
+st.caption(f"verifiers version → {vf.__version__}")
+
+# --- Reverse-text toy --------------------------------------------------------
+st.subheader("Reverse a string")
+text_in = st.text_input("Text to reverse")
+if st.button("Do it!"):
+    st.code(text_in[::-1])
+
+# --- Spiral scatterplot (your original example) -----------------------------
+st.divider()
+st.subheader("Parametric spiral (just for fun)")
+
+pts   = st.slider("Number of points", 50, 10_000, 1_000)
+turns = st.slider("Turns", 1, 300, 31)
+
+idx  = np.linspace(0, 1, pts)
+theta, r = 2 * np.pi * turns * idx, idx
+x, y = r * np.cos(theta), r * np.sin(theta)
+
+df = pd.DataFrame({"x": x, "y": y, "idx": idx, "rnd": np.random.randn(pts)})
+
+st.altair_chart(
+    alt.Chart(df, height=650, width=650)
+        .mark_point(filled=True)
+        .encode(
+            x=alt.X("x", axis=None),
+            y=alt.Y("y", axis=None),
+            color=alt.Color("idx", legend=None, scale=alt.Scale()),
+            size=alt.Size("rnd", legend=None,
+                          scale=alt.Scale(range=[1, 150])),
+        ),
+    use_container_width=True,
+)