推导与微分算子[#133] 推导、搜索与独立核验：对推导链求导、搜索目标并独立重放。 从向量场计算Cartesian算子：从分量构造grad、div、curl与Laplacian。 向量分量与显式偏导：检查向量值、坐标分量及偏导项。 Cartesian算子的计算追踪：查看pass、规则路径和证书。