Upload folder using huggingface_hub

README.md

@@ -1,3 +1,22 @@
+---
+title: SQL Debug RL Environment
+emoji: 🗄️
+colorFrom: purple
+colorTo: indigo
+sdk: docker
+app_port: 7860
+short_description: SQL RLVE — 7 tasks with live DuckDB verification
+tags:
+  - reinforcement-learning
+  - sql
+  - duckdb
+  - data-engineering
+  - openenv
+  - rlve
+  - agent
+license: apache-2.0
+---
+
 <div align="center">
   
 # 🗄️ SQL Debug Environment (OpenEnv)
@@ -76,14 +95,24 @@ sql_env/
 
 ## 🎯 Supported Tasks
 
-The environment supports four distinct tasks ranging from beginner SQL fixes to expert-level analytical window functions. You can initialize any task by querying `POST /reset` with the desired `task_id`.
+The environment supports **7 tasks** — 4 foundational and 3 advanced RLVE challenges. Initialize any task via `POST /reset` with the `task_id`.
+
+### Foundational Tasks
 
 | Task ID | Difficulty | Objective |
 |---|---|---|
-| `task1_syntax_fix` | **Easy** | Fix a SQL query with a missing comma (syntax error) and a wrong table alias in the `WHERE` clause. |
-| `task2_join_aggregation` | **Medium** | Diagnose a `GROUP BY` query producing wrong revenue totals because an `INNER JOIN` is silently dropping NULL-keyed rows. |
-| `task3_etl_timezone` | **Hard** | Trace an entire 4-step Python/SQL ETL pipeline where step 2 coerces a `VARCHAR` timezone into a `DATE`, stripping the offset. Requires `TIMESTAMPTZ` fixes and an explanation string. |
-| `task4_expert_window` | **Expert** | Calculate a complex 3-day rolling revenue average per user. Requires advanced `OVER (PARTITION BY ... ROWS BETWEEN)` mechanics. |
+| `task_1_easy` | **Easy** | Fix a SQL query with a missing comma between column names. |
+| `task_2_medium` | **Medium** | Add a missing `GROUP BY` clause to an aggregation query. |
+| `task_3_hard` | **Hard** | Add `PARTITION BY` to a window function that ranks globally instead of per-department. |
+| `task_4_expert` | **Expert** | Fix an invalid date literal (month 13) inside a CTE. |
+
+### Advanced RLVE Tasks (Live DuckDB Verifier)
+
+| Task ID | Difficulty | Verifier Logic |
+|---|---|---|
+| `task_5_optimization` | **Advanced** | Rewrite a CROSS JOIN query to use `INNER JOIN`. Reward only if output matches baseline **and** `EXPLAIN` shows no `CROSS_PRODUCT`. |
+| `task_6_migration` | **Advanced** | Normalize a denormalized `messy_dump` table into 3NF (`users` + `orders`). Destructive early `DROP` triggers -0.3 penalty and ends episode. |
+| `task_7_chaos` | **Advanced** | Live ETL corrupts data every step (duplicate IDs + NULL emails). Apply a patch and `UNIQUE` index before the pipeline contaminates the DB again. |
 
 ---