session_start
Initiate a symbolic derivation session by providing a name, domain, and pattern to begin step-by-step mathematical transformations with full provenance.
Instructions
Start a new derivation session
Args:
name: Derivation name
description: Derivation description
domain: Math/physics domain tag
pattern: Derivation pattern
goal: Natural-language goal (optional)
author: Author
Returns:
Session information
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| goal | No | ||
| name | Yes | ||
| author | No | ||
| domain | No | general | |
| pattern | No | direct-manipulation | |
| description | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||