用途：把 SPICE 网表做成可复现、经数值验证的冻结参考（oracle），供 KiCad 原理图、黄金夹具或实时 DSP 模型比对。
主要能力：声明真值方向与 oracle 角色；对网表、库文件、所用 .model/.subckt 卡、仿真器版本及必需选项做哈希固定并在不匹配时拒跑；按指标做时间步与容差收敛研究；用 .ic、.nodeset 和迭代上限断言工作状态；用带键的唯一排列测试语句顺序稳健性；评估并在线路内资格化器件模型；生成独立黄金夹具。
使用方式：按工作流先确立溯源，再转写规范网表，选择并资格化器件模型，做数值资格，需要 EDA 视图时建立 KiCad 映射与结构/数值一致性验证，最后冻结哈希清单并生成黄金夹具，再交给 circuit-to-dsp。脚本为标准库 Python，均带 --self-test：spice_manifest.py make --out M.json --file DECK --card LIB=NAME 后 check 做哈希固定；netlist_compare.py REF.cir DERIVED.cir 做结构等价比较；spice_order_stress.py DECK --count N --out DIR 做顺序压力。具体选项用 --help 查看。
适用场景：编写或审阅 .cir、.lib/.mod 网表；选择厂商运放/二极管/晶体管模型或写数据手册校准模型；排查 ngspice 不收敛、结果随语句或版本变化；含开关或双稳逻辑需断言工作点；网表转 KiCad 并证明一致；固定仿真器与模型版本；为 DSP 测试生成 SPICE 黄金数据。
限制：本技能不做 DSP 调音匹配、实时模型结构或音频回调内运行 SPICE；具体项目检查（开关逻辑、控制映射、行为窗口）需放在项目自有校验器中；脚本对不支持的元件类型、指令、.lib 节、嵌套内联子电路及非白名单 .control 命令会判为 NOT QUALIFIED，include 文件只报告不跟随。
其它细节：相关技能 circuit-to-dsp、guitar-dsp、dsp-engineer、juce-plugin 仅按各自部分加载，不在此重复。官方文本字段暂未提供。