Install
openclaw skills install @wangjiaocheng/professional-engine-suite专业引擎套件(四册五引擎):覆盖高代价专业领域的可验证推理——医学册(证据判定/GRADE分级/诊断统计/临床计算/证据综合)、投资册(货币时间价值/估值推演/无套利定价/组合风险/恒等式核验)、法律册(条文位阶/适用条件比对/文件一致性/版本时效)、工程册(物理引擎:公理建模/守恒律枚举/可审计求解/交叉回验;形式引擎:形式化/不变量/证明策略/双通道验证);共享决策域(设计权衡/规范查询/经济分析)四册共用。全册统一纪律:置信标注(各册自定义语义)、可审计链条、双通道校验、拒答是一等终态——涌现型、人因、不可判定、无规约、主观质量问题显式域外拒答,绝不硬算。触发词:循证医学、证据分级、GR
openclaw skills install @wangjiaocheng/professional-engine-suite本技能是一个四册五引擎的专业推理套件,共享一套 ABDC 骨架(公理集 Axioms + 适用边界 Boundary + 推导引擎 Derivation + 校验 Conservation/Invariant),覆盖人类幻觉代价最高的四个专业领域:
质检互不套用原则:各册检验集与工具集互相独立——量纲校验不进医学册、统计核验不进工程册、位阶校验不进投资册,依此类推(PES0 串道检测强制)。
适用范围声明(内核判据):四册的入选判据有三条——①有可判定的对错标准(可验证内核);②错误代价高;③对象直连人身或财产:医学护人身、投资护财产、法律裁断二者、工程替群体承担二者的长期风险。据此明确声明:
拒答边界(四册各自成文):医学侧(个体诊疗决策/个体预后预测/经验医学)、投资侧(价格预测/择时/单一证券涨跌)、法律侧(胜负预测/法律意见)、工程侧(涌现型/框架外/人因/不可判定)均显式域外拒答——推不动就拒答,是合规终态。
册数说明(不增册理由):四册是按内核判据(可验证内核 + 错误代价高 + 直连人身财产)收敛出的互斥且穷尽结果——医学护人身、投资护财产、法律裁断二者、工程替群体承担二者之长期风险:四个高代价对象已被完整覆盖,不存在可归入的第五类专业,故不再增设新册,结构保持稳定。
依赖声明:本技能自包含,不依赖其他领域技能;任务 ID 格式为 PES{域号}-{两位序号}。本技能按"生成技能标准"接受全项接口校验(28 项)。
本技能共 39 域 122 任务,核心能力如下:
| 维度 | 说明 | 影响 |
|---|---|---|
| 册结构 | 工程册内双引擎(物理+形式);其余各册单引擎 | 引擎判定限工程册内,册间不混用 |
| 置信语义分册 | I/II/III、恒等式/假设/估计等四套语义,结构统一 | 标注为强制行为;语义按册解释 |
| 质检互不套用 | 各册检验集不可跨册使用 | PES0 串道检测强制 |
| 跨册案例 | 高代价场景天然跨册(医患纠纷/产品责任) | PES0-02 分解为跨册管线,交接量处核对 |
| 拒答正当性 | 各册本质边界(不确定/不可判定/主观) | 拒答是合规终态,不计失败 |
第一层:任务清单 + 依赖拓扑 → references/professional-engine-suite-catalog.md
第二层:任务要求清单 → references/professional-engine-suite-requirements.md(含扩展字段:四册守护清单/附录A-I知识库/覆盖边界表)
第三层:范本清单 → references/professional-engine-suite-exemplars.md(索引)+ references/PES0~PES38 各域范本子文件(一域一本,39 本齐备;含 [草稿] 待复核项)
references/:参考文档,加载到上下文——catalog(任务清单+依赖拓扑)、requirements(任务要求+扩展字段)、exemplars(范本索引,含可用/草稿状态)+ 域范本子文件(索引同级存放)scripts/:可执行脚本,直接执行不加载,清单如下(工具不可用时降级为人工检验并标注"人工检验")| 脚本 | 用途 | 对应任务 |
|---|---|---|
| confidence_propagate.py | 置信度最弱环传播计算(全册共用) | PES9-02 / PES17-02 / PES22-02 / PES29-02 / PES35-02 |
| bayes_diagnostic.py | 诊断统计计算:敏感度/特异度/似然比/验前验后概率(医学) | PES4-02 |
| dose_calc.py | 剂量计算:体重/体表面积/肾功能校正(医学) | PES6-02 |
| tvm_calc.py | 货币时间价值:现值/终值/年金/收益率换算(投资) | PES12-01 |
| backtest_guard.py | 回测检查:过拟合与偏差扫描(投资) | PES17-02 |
| limitation_calc.py | 诉讼时效与期间计算(法律) | PES20-03 |
| dimension_check.py | 量纲齐次性校验(工程·物理) | PES29-01 |
| validate_axiom_chain.py | 公理编号引用合法性校验(工程·物理) | PES29-01 |
| numeric_solver.py | RK4 数值通道兜底(工程·物理) | PES27-03 |
| signature_check.py | 接口签名与规约一致性校验(工程·形式) | PES35-01 |
| counterexample_search.py | 反例搜索:小规模穷举/随机抽样(工程·形式) | PES33-03 |
| invariant_check.py | 不变量轨迹逐状态校验(工程·形式) | PES33-04 |
| complexity_measure.py | 复杂度实测与增长阶估计(工程·形式) | PES33-02 辅助 |
templates/:输出模板,按需复制填充,不加载全文,清单如下(模板不得直接交付,{占位符} 必须全部替换)| 模板 | 用途 | 对应任务/终态 |
|---|---|---|
| evidence-report-template.md | 医学证据评估报告(问题→证据→分级→计算→结论) | PES8-03 终态①/② |
| valuation-report-template.md | 投资定价/估值报告(假设→推导→核验→区间) | PES16-03 终态①/② |
| rule-application-report-template.md | 法律规则适用报告(事实→条文→位阶→时效→结论) | PES22-03 终态①/② |
| derivation-record-template.md | 工程·物理推导记录 | PES28-03 终态①/② |
| proof-record-template.md | 工程·形式证明记录 | PES34-03 终态①/② |
| out-of-domain-report-template.md | 域外拒答报告(四册共用) | PES0-03 及各册拒答终态③ |
| axiom-entry-template.md | 公理/证据/定价/规则/守护条目填充格式(维护用) | 附录A-I 与守护清单维护 |
| 能力 | 完整模式 | 只读降级模式 |
|---|---|---|
| 判定/结构化/枚举 | 可用 | 可用(纯认知步骤) |
| 计算/证明执行 | 可用 | 可用;记录以文本输出,不落盘 |
| scripts 工具检验 | 可用 | 不可用时降级为人工逐步检验并标注"人工检验" |
| 网络检索 | 可用 | 不可用时条目仅取附录既有内容,缺口标注"待验证" |
cat SKILL.md references/professional-engine-suite-*.md references/PES*.md > professional-engine-suite-prompt.md收到任务后按 Step 0~4 执行:
沿复杂度、内容类型、创新需求三维度判定:单一册单一问题(执行轴必选+内容轴清单法);跨册问题(加开创新轴做分解);涉及低置信或拒答判定(激活 I 交互与 G 守护单元)。
本领域 R1-R5 定位与到 S/C/A/O/I/G 元操作参数的映射推导规则如下(每次执行按当前任务微调,须向用户展示推导依据):
| 维度 | 本领域评分(1-5) | 含义 | 到元操作参数的映射推导 |
|---|---|---|---|
| R1 信息密度 | 5 | 四册知识库(EV/MS/PR/AC/LR/U/F 七套编号体系)、证据等级与版本敏感条目高度结构化 | S/C 单元最高密度:执行前必须查表对号,禁止凭记忆引用编号 |
| R2 创造性 | 2 | 各册推导零创造(按公理/证据/恒等式/规则链) | A 单元低创造权重:创新仅限结构化与策略选择 |
| R3 交互性 | 3 | 题意/规约/事实澄清与置信确认需用户在场 | I 单元前置集中:澄清与低置信告知前置,执行内仅拒答判定打断 |
| R4 规范性 | 5 | 编号引用、各册五项检验为硬约束;版本时效为法律/医学强约束 | G 单元密度最高:各册质检五项强制串联,FAIL 不交付 |
| R5 迭代性 | 4 | 检验打回→修正→复检为常态循环 | 迭代协同常驻:各册回验域打回即回对应域修正,直至全过 |
按判定与校准结果把任务分解为元操作单元;分解须对照 catalog 任务清单与元操作映射,不得自造任务。
沿依赖拓扑编排管线:PES0(判定门:先判册再判册内引擎/道)→ 对应册主管线(医学/投资/法律/工程)→ 册内质检守护;跨册问题在 PES0 扇出至多册、各自回验后汇总核对交接量;共享决策域 PES36/41/42 各自闭环。执行中遵守关键行为一/二/三/四。
按册与终态组装交付物(证据评估报告/估值报告/规则适用报告/推导记录/证明记录/拒答报告/决策域格式);交付时附后续建议(深化方向/证据更新/数据更新/范围界定)。
按执行链路组织,共 39 域 122 任务:
| 域 | 任务数 | 典型任务 |
|---|---|---|
| PES0 总判定与册路由域 | 3 | 册判定与分流、跨册问题分解、跨册域外拒答 |
| PES1 医学·证据判定与路由域 | 3 | 证据问题判定、临床问题分类、医学域外拒答 |
| PES2 医学·问题结构化域 | 3 | PICO 结构化、结局与变量澄清、假设声明 |
| PES3 医学·证据检索与分级域 | 3 | 证据源定位、GRADE 分级、偏倚风险评价 |
| PES4 医学·诊断性能计算域 | 3 | 敏感度/特异度、似然比与验前验后、ROC 判读 |
| PES5 医学·效应量与获益域 | 3 | RR/OR/ARR 换算、NNT、置信区间判读 |
| PES6 医学·临床计算域 | 4 | 药代动力学、剂量计算、电解质平衡、单位换算 |
| PES7 医学·证据综合域 | 3 | 多研究合成、矛盾证据裁决、推荐强度 |
| PES8 医学·回验调度域 | 3 | 检验组织、打回修正、交付裁决 |
| PES9 医学·质检守护域 | 3 | 统计单位核验、误区扫描、双通道互证 |
| PES10 投资·判定与路由域 | 3 | 定价类判定、假设澄清、预测类拒答 |
| PES11 投资·问题结构化域 | 3 | 资产与现金流结构化、期限利率约定、假设清单 |
| PES12 投资·货币时间价值域 | 3 | 现值终值、年金永续、名义实际换算 |
| PES13 投资·估值推演域 | 4 | DCF、相对估值、敏感性、交叉校验 |
| PES14 投资·无套利推演域 | 3 | 远期定价、期权平价、Black-Scholes 推导链 |
| PES15 投资·组合与风险域 | 4 | 有效前沿、风险预算、久期、相关性检验 |
| PES16 投资·回验调度域 | 3 | 检验组织、打回修正、交付裁决 |
| PES17 投资·质检守护域 | 3 | 恒等式核验、偏差扫描、双通道互证 |
| PES18 法律·判定与路由域 | 3 | 规则型判定、问题结构化、意见型拒答 |
| PES19 法律·条文定位与位阶域 | 3 | 条文定位、效力位阶核对、版本时效标注 |
| PES20 法律·适用条件比对域 | 3 | 要件事实比对、管辖核对、时效计算 |
| PES21 法律·文件一致性审查域 | 3 | 条款矛盾检查、合规比对、引用一致性 |
| PES22 法律·回验与质检域 | 3 | 检验组织、误区扫描、交付裁决 |
| PES23 工程·册内引擎路由域 | 3 | 引擎判定与分流、混合问题分解、域外与不可判定拒答 |
| PES24 物理·公理化建模域 | 3 | 公理变量映射、模型选择、理想化假设声明 |
| PES25 物理·守恒律枚举域 | 3 | 守恒律列举、相互作用配对、方程体系完备性核对 |
| PES26 物理·推导路径域 | 3 | 解析性评估、路径选择、置信降级判定 |
| PES27 物理·求解执行域 | 4 | 公理标注推导、方程求解、数值通道执行、中间量量纲自检 |
| PES28 物理·回验调度域 | 3 | 检验组织、打回修正、交付裁决 |
| PES29 物理·质检守护域 | 3 | 量纲与引用校验、置信审计与误区扫描、交叉回验 |
| PES30 形式·形式化建模域 | 3 | 问题形式化、模型选择(算法/协议/类型/逻辑)、规约与假设声明 |
| PES31 形式·不变量枚举域 | 3 | 不变量列举、性质配对、规约完备性核对 |
| PES32 形式·证明策略域 | 3 | 可判定性评估、策略选择(构造/归纳/反例驱动/模型检验)、置信降级判定 |
| PES33 形式·证明与实现域 | 4 | 标注证明、实现与测试、反例通道执行、不变量自检 |
| PES34 形式·回验调度域 | 3 | 检验组织、打回修正、交付裁决 |
| PES35 形式·质检守护域 | 3 | 签名与引用校验、置信审计与缺陷扫描、双通道互证 |
| PES36 设计权衡域(共享) | 3 | 需求约束、方案空间、权衡矩阵 |
| PES37 规范查询域(共享) | 3 | 条文引用、版本时效、适用性判定 |
| PES38 经济分析域(共享) | 3 | 区间估算、敏感性、假设清单 |
域间逻辑流:PES0(总判定门)→ 医学册 PES1-PES9 / 投资册 PES10-PES17 / 法律册 PES18-PES22 / 工程册 PES23-PES35(各册内质检守护);共享决策域 PES36-PES38 由 PES0 分流后各自闭环;跨册问题多册扇出→回验→汇总;各册禁止串道,质检互不套用。
完整清单见 references/professional-engine-suite-catalog.md。