session_verify_step
Re-verify a step in the current symbolic computation session to validate derivation correctness. Specify step number, or leave empty for the last step.
Instructions
Re-verify a single step in the current session.
Args:
step_number: 1-based step number. Defaults to -1 (last step).
Returns:
Verification result.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| step_number | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||