session_complete
Finalize and auto-save a symbolic derivation. Provide context like description, assumptions, limitations, and optionally require matching a target expression.
Instructions
Complete the derivation and auto-save
Args:
description: Formula description (physical/mathematical meaning)
application_context: Usage context (when to use this formula)
assumptions: Derivation assumptions
limitations: Usage limitations
references: References
tags: Tags
auto_save: Whether to auto-save (default True)
require_target_match: If True, the derivation will only be saved as
completed when the current expression matches the goal target.
Default is False for backward compatibility, but a warning is
still returned if the target is not reached.
Returns:
Complete derivation record
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tags | No | ||
| auto_save | No | ||
| references | No | ||
| assumptions | No | ||
| description | No | ||
| limitations | No | ||
| application_context | No | ||
| require_target_match | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||