Upload app.py with huggingface_hub

app.py

@@ -1,43 +1,92 @@
-# -*- coding: utf-8 -*-
-"""답변 검증기 리더보드 — 운영 MAYAFREE
-
-화면은 index.html 이 전부다. gradio 기본 UI 를 쓰지 않는다.
-서버는 gradio 의 Server(FastAPI)를 쓴다 — Spaces 의 gradio SDK 위에서 도는 가장 얇은 길이다.
-
-🔑 표는 하나로 세우되 **「받은 자료」를 칸으로 둔다**.
-   자료를 받은 것과 안 받은 것이 섞여 있으니, 그 사실이 표 안에 보여야 한다.
-
-🔴 이 줄이 없으면 Spaces 는 app.py 를 실행만 하고 끝난다(서버가 안 뜨고 로그도 빈다).
-   → 파일 맨 아래 app.launch()
-"""
-import json
-import os
-
-from fastapi.responses import HTMLResponse, JSONResponse
-from gradio import Server as App
-
-HERE = os.path.dirname(os.path.abspath(__file__))
-app = App()
-_INDEX = None
-
-
-def board():
-    return json.load(open(os.path.join(HERE, "leaderboard.json"), encoding="utf-8"))
-
-
-@app.get("/data")
-def data():
-    """화면이 읽는 유일한 자료. 실측값 그대로 내보낸다."""
-    return JSONResponse(board())
-
-
-@app.get("/", response_class=HTMLResponse)
-async def index():
-    global _INDEX
-    if _INDEX is None:
-        _INDEX = open(os.path.join(HERE, "index.html"), encoding="utf-8").read()
-    return _INDEX
-
-
-if __name__ == "__main__":
-    app.launch()
+# -*- coding: utf-8 -*-
+"""답변 검증기 리더보드 — 운영 MAYAFREE
+
+화면은 index.html 이 전부다. gradio 기본 UI 를 쓰지 않는다.
+서버는 gradio 의 Server(FastAPI)를 쓴다 — Spaces 의 gradio SDK 위에서 도는 가장 얇은 길이다.
+
+🔑 표는 하나로 세우되 **「받은 자료」를 칸으로 둔다**.
+   자료를 받은 것과 안 받은 것이 섞여 있으니, 그 사실이 표 안에 보여야 한다.
+
+🔴 이 줄이 없으면 Spaces 는 app.py 를 실행만 하고 끝난다(서버가 안 뜨고 로그도 빈다).
+   → 파일 맨 아래 app.launch()
+"""
+import json
+import os
+import time
+import uuid
+
+from fastapi.responses import HTMLResponse, JSONResponse
+from gradio import Server as App
+from huggingface_hub import HfApi
+
+HERE = os.path.dirname(os.path.abspath(__file__))
+# 🔑 등재 신청을 받는다. 남이 「우리 것도 재달라」고 하는 순간 이 표는 업계 표준이 된다.
+# 🔴 연락처가 들어오므로 **비공개 데이터셋에만** 적는다. 화면에도 로그에도 남기지 않는다.
+SUB_REPO = os.environ.get("SUB_REPO", "mayafree/typed-decision-submissions")
+SUB_TOKEN = os.environ.get("HF_TOKEN")
+MAXLEN = {"system": 200, "org": 200, "contact": 200, "how_to_run": 4000, "notes": 4000}
+app = App()
+_INDEX = None
+
+
+def board():
+    return json.load(open(os.path.join(HERE, "leaderboard.json"), encoding="utf-8"))
+
+
+# 🔑 등재 신청을 받는다. 남이 「우리 것도 재달라」고 하는 순간 이 표는 업계 표준이 된다.
+# 🔴 연락처가 들어오므로 **비공개 데이터셋에만** 적는다. 화면에도 로그에도 남기지 않는다.
+SUB_REPO = os.environ.get("SUB_REPO", "mayafree/typed-decision-submissions")
+SUB_TOKEN = os.environ.get("HF_TOKEN")
+MAXLEN = {"system": 200, "org": 200, "contact": 200, "how_to_run": 4000, "notes": 4000}
+
+
+def submit(system: str, org: str = "", contact: str = "",
+           how_to_run: str = "", notes: str = "", website: str = "") -> dict:
+    """등재 신청을 비공개 저장소에 한 건씩 적는다.
+
+    🔴 한 건당 파일 하나로 쓴다 — 이어붙이면 동시 신청이 서로를 덮어쓴다.
+    🔴 화면·로그에 연락처를 남기지 않는다.
+    """
+    if (website or "").strip():
+        return {"ok": True}                      # 사람은 비워 두는 칸. 값이 있으면 봇 — 받은 척하고 버린다
+    d = {"system": (system or "").strip(), "org": (org or "").strip(),
+         "contact": (contact or "").strip(), "how_to_run": (how_to_run or "").strip(),
+         "notes": (notes or "").strip()}
+    if not d["system"] or not (d["how_to_run"] or d["notes"]):
+        return {"ok": False, "error": "need_system_and_how_to_run"}
+    for k, n in MAXLEN.items():
+        if len(d[k]) > n:
+            return {"ok": False, "error": "too_long:" + k}
+    if not SUB_TOKEN:
+        return {"ok": False, "error": "not_configured"}
+    d["ts"] = int(time.time()); d["source"] = "leaderboard"
+    name = "submissions/%d_%s.json" % (d["ts"], uuid.uuid4().hex[:8])
+    try:
+        HfApi(token=SUB_TOKEN).upload_file(
+            path_or_fileobj=json.dumps(d, ensure_ascii=False).encode("utf-8"),
+            path_in_repo=name, repo_id=SUB_REPO, repo_type="dataset",
+            commit_message="submission")
+    except Exception as e:                        # noqa: BLE001
+        return {"ok": False, "error": type(e).__name__}
+    return {"ok": True}
+
+
+app.api(name="submit")(submit)
+
+
+@app.get("/data")
+def data():
+    """화면이 읽는 유일한 자료. 실측값 그대로 내보낸다."""
+    return JSONResponse(board())
+
+
+@app.get("/", response_class=HTMLResponse)
+async def index():
+    global _INDEX
+    if _INDEX is None:
+        _INDEX = open(os.path.join(HERE, "index.html"), encoding="utf-8").read()
+    return _INDEX
+
+
+if __name__ == "__main__":
+    app.launch()