fix state as method not property, fix abstract class error

sql_env/server.py

@@ -29,7 +29,6 @@ class SQLCorrectionEnvironment(Environment):
         self._rewards_history = []
 
     def reset(self, difficulty: str = "easy", task_id: str = None, **kwargs) -> SQLObservation:
-        # task_id and difficulty are the same thing in our env
         actual_difficulty = task_id or difficulty or "easy"
         self._difficulty = actual_difficulty
         tasks = TASK_SETS.get(actual_difficulty, TASK_SETS["easy"])
@@ -49,6 +48,50 @@ class SQLCorrectionEnvironment(Environment):
             reward=0.001,
             done=False,
         )
+
+    def step(self, action: SQLAction) -> SQLObservation:
+        if self._current_task is None:
+            self.reset()
+        self._step_count += 1
+        reward_obj = grade(action, self._current_task)
+        reward = reward_obj.value
+        self._last_reward = reward
+        self._rewards_history.append(reward)
+        done = (reward >= 0.95) or (self._step_count >= self._current_task.max_steps)
+        self._done = done
+        feedback = generate_feedback(action, self._current_task, reward_obj)
+        return SQLObservation(
+            task_id=self._current_task.task_id,
+            broken_query=self._current_task.broken_query,
+            schema_context=self._current_task.schema_context,
+            error_hint=self._current_task.error_hint,
+            step_number=self._step_count,
+            previous_attempt=action.corrected_query,
+            feedback=feedback,
+            reward=reward,
+            done=done,
+        )
+
+    def state(self) -> SQLState:
+        if self._current_task is None:
+            return SQLState(
+                task_id="none",
+                difficulty="none",
+                step_count=0,
+                max_steps=0,
+                done=False,
+                last_reward=0.0,
+                rewards_history=[],
+            )
+        return SQLState(
+            task_id=self._current_task.task_id,
+            difficulty=self._difficulty,
+            step_count=self._step_count,
+            max_steps=self._current_task.max_steps,
+            done=self._done,
+            last_reward=self._last_reward,
+            rewards_history=self._rewards_history,
+        )
     
 def step(self, action: SQLAction) -> SQLObservation:
     # Auto-reset if no task loaded (create_app may use fresh instances)