derivation_update_step
Update a derivation step's descriptive metadata without affecting calculation results. Adjust notes, assumptions, limitations, and description for any step in the proof.
Instructions
更新步驟的元資料
═══════════════════════════════════════════════════════════════════════
⚠️ 只能更新「說明性」欄位,不能改變計算結果!
═══════════════════════════════════════════════════════════════════════
可更新的欄位:
- description: 步驟描述
- notes: 人類洞見、觀察、解釋
- assumptions: 這步的假設條件
- limitations: 這步的限制
不可更新(需要用 rollback 重做):
- 表達式
- 操作類型
Args:
step_number: 步驟編號(1-based)
description: 新描述(None = 不更新)
notes: 新註記(None = 不更新)
assumptions: 新假設(None = 不更新)
limitations: 新限制(None = 不更新)
Returns:
更新結果
Example:
derivation_update_step(
step_number=11,
notes="此假設在高溫時不成立",
limitations=["Valid only for T < 42°C"]
)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| notes | No | ||
| session_id | No | ||
| assumptions | No | ||
| description | No | ||
| limitations | No | ||
| step_number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||