"""
tasks/task3/__init__.py
-----------------------
Task 3: Rule Checker (PLACEHOLDER)

TODO: Implement this task.

Episode setup:
  - One Solidity file with at least one function breaking a given property
  - Agent is shown the property in natural English

Actions (to implement):
  - get_formalized_property : -0.03
  - list_functions          : -0.05
  - get_function_metadata   : -0.05
  - get_function_code       : -0.10
  - get_state_variables     : -0.05
  - get_call_graph          : -0.08
  - submit_function         :
      - correct = +5.0
      - subfunction of target = +1.5
      - wrong = -1.5
      (ONE submission per episode)

See README.md for full task specification.
"""

# TODO: Task 3 – Rule Checker
# from tasks.task3.environment import Task3Environment

__all__: list = []