feat: Add song difficulty leaderboard feature

2026-01-18 07:42:58 +08:00
parent 8d58bf683f
commit 6686f5ae15
8 changed files with 1831 additions and 1086 deletions
--- a/schema.py
+++ b/schema.py
@@ -80,3 +80,29 @@ scores_save = {
        }
    }
 }
+
+leaderboard_submit = {
+    '$schema': 'http://json-schema.org/schema#',
+    'type': 'object',
+    'properties': {
+        'song_id': {'type': ['integer', 'string']},
+        'difficulty': {'type': 'string', 'enum': ['easy', 'normal', 'hard', 'oni', 'ura']},
+        'score': {'type': 'integer'},
+        'good': {'type': 'integer'},
+        'ok': {'type': 'integer'},
+        'bad': {'type': 'integer'},
+        'maxCombo': {'type': 'integer'},
+        'hash': {'type': 'string'}
+    },
+    'required': ['difficulty', 'score']
+}
+
+leaderboard_get = {
+    '$schema': 'http://json-schema.org/schema#',
+    'type': 'object',
+    'properties': {
+        'song_id': {'type': ['integer', 'string']},
+        'difficulty': {'type': 'string'}
+    },
+    'required': ['song_id', 'difficulty']
+}