session_record_step
Manually record a derivation step by providing an expression and description, with optional notes, assumptions, and limitations, to document results computed outside the tool.
Instructions
Manually record a derivation step (e.g. a result computed outside the tool).
The ``expression`` argument is parsed through the unified parser, which
supports SymPy strings, natural equations (``A = B``), Leibniz derivative
notation (``dX/dY``), Greek/Unicode math, and LaTeX.
Args:
expression: Result expression string (SymPy or LaTeX).
description: Human-readable step description.
operation: Ignored. Manual steps are always recorded as OperationType.CUSTOM
to prevent a user-supplied operation label (e.g. "simplify") from being
falsely reported as automatically verified.
notes: Human insight / observation.
assumptions: Step-specific assumptions.
limitations: Step-specific limitations.
Returns:
Recorded step details.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| notes | No | ||
| operation | No | custom | |
| expression | Yes | ||
| assumptions | No | ||
| description | Yes | ||
| limitations | No |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||