Use streamlit_app launcher -> src/app.py; remove root app.py

app.py

@@ -1,35 +0,0 @@
-# app.py  (place this at repo root and push)
-"""
-Top-level launcher for Hugging Face Spaces (Streamlit).
-Ensures Streamlit config/metrics are written into repo .streamlit (writable),
-then runs src/app.py as __main__.
-"""
-import os
-from pathlib import Path
-import runpy
-
-ROOT = Path(__file__).parent.resolve()
-STREAMLIT_DIR = ROOT.joinpath(".streamlit")
-
-# 1) Prefer a repo-local config dir so Streamlit doesn't try to write to '/'
-os.environ.setdefault("XDG_CONFIG_HOME", str(STREAMLIT_DIR))
-# Some libs read HOME, ensure it's not '/'
-os.environ.setdefault("HOME", str(ROOT))
-
-# 2) Ensure .streamlit/config.toml exists with recommended settings
-STREAMLIT_DIR.mkdir(parents=True, exist_ok=True)
-cfg = STREAMLIT_DIR.joinpath("config.toml")
-if not cfg.exists():
-    cfg.write_text(
-        "[server]\n"
-        "headless = true\n"
-        "port = 8501\n"
-        "enableCORS = false\n"
-        "enableWebsocketCompression = false\n\n"
-        "[browser]\n"
-        "gatherUsageStats = false\n",
-        encoding="utf-8",
-    )
-
-# 3) Finally run your real app script
-runpy.run_path(str(ROOT.joinpath("src", "app.py")), run_name="__main__")

src/streamlit_app.py

@@ -1,40 +0,0 @@
-import altair as alt
-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])),
-    ))