session_rollback
Roll back to a specified step in symbolic derivation, discarding later steps to explore alternative paths.
Instructions
Roll back to the specified step
Keep steps up to and including the specified step, and delete steps after it.
After rolling back, you can continue the derivation from that step (taking a different path).
Args:
to_step: Step number to roll back to (1-based); 0 = clear all
Returns:
Rollback result
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| to_step | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||