session_set_goal
Set a natural-language derivation goal for the current session, with optional explicit target expression.
Instructions
Set a natural-language derivation goal for the current session.
Args:
goal: Natural-language goal text.
target_expression: Optional explicit target expression (e.g.
"v = sqrt(2*G*M/R)"). When provided, it overrides the
automatically-extracted target expression.
Returns:
Parsed goal and session status.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| goal | Yes | ||
| target_expression | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||