检查pass与来源记录[#105]

passes: (components partial simplify)ncomplete: #t

空间计算按职责经过组件展开、偏导和化简等pass。报告会显示本次实际运行的pass；遇到步数或表达式大小上限时，complete?会是false。

每条derivation step还保留规则名和输入树中的路径：

first rule/path: (curl-components ())

路径说明规则改写了输入表达式的哪个子项。来源映射让诊断和推导步骤能够关联回文章里的公式。