Professional Engine Suite

安装指南

1. ClawHub CLI 从源直接安装技能的最快方式。
   npx clawhub@latest install professional-engine-suite
2. 手动安装 将技能文件夹复制到以下位置之一
   全局模式
   ~/.openclaw/skills/
   工作区
   /skills/
   优先级：工作区 > 本地 > 内置
3. 提示词安装 将此提示词复制到 OpenClaw 即可自动安装。
   请帮我使用 Clawhub 安装 professional-engine-suite。如果尚未安装 Clawhub，请先安装（npm i -g clawhub）。
   更倾向于下载？
   获取包含原生技能文件的ZIP压缩包。
   下载技能 (.zip)

什么是

Professional Engine Suite 是一个独立技能，用于医学、投资、法律和工程领域的结构化推理。其四个分册提供了五个领域引擎：循证医学、投资定价、法律规则、工程物理和形式化验证。共享决策领域支持权衡、标准查询和经济分析。Openclaw Skills 用户可以应用其 39 个领域和 122 个任务，将复杂问题转化为可追溯、可审查的工作流。
每个工作流都遵循共同的 ABDC 框架：公理（axioms）、边界（boundaries）、推导（derivation）以及守恒或不变量检查（conservation or invariant checks）。特定领域的置信度标签、来源参考、独立验证渠道和明确的拒绝边界有助于防止不支持的计算或结论。该套件专为具有可验证标准的高后果问题而设计；它不能替代合格的医学、投资、法律或工程专业人员。

应用场景

使用 PICO 构建临床证据问题，使用 GRADE 评估证据，并计算诊断性能或临床测量指标。
分析涉及现值、DCF、套利关系、期权、投资组合和风险的估值与定价问题。
定位并比较法律条款、管辖权、适用条件、文件一致性和版本日期。
使用物理模型、守恒定律、可审计推导、数值解或形式化证明与不变量解决工程问题。
将跨领域事项（如医疗纠纷或产品责任问题）分解为独立的领域工作流并协调其输出。
通过明确的约束、假设、范围和敏感性分析评估权衡、标准或经济方案。
识别超出套件可验证范围的问题，或需要个人专业判断的请求，并返回带记录的拒绝或域外报告，而不是强行给出答案。

工作原理

使用 PES0 按领域和范围对请求进行分类；将其路由到一个或多个分册，或在请求超出套件可验证范围时进行解释。
加载目录以识别适用的任务、依赖项和工作流；根据需要查阅相关的要求和领域参考。
结构化问题，明确事实和假设，将其分解为编目任务，而不是发明新的任务定义。
执行领域工作流：评估证据、推导定价、应用规则、求解物理模型，或形式化并验证证明。在相关时使用共享决策领域。
记录来源参考、假设、计算步骤和特定领域的置信度标签。从推理链中最薄弱的环节传播总体置信度。
运行领域的质量检查和独立的第二次验证。如果检查失败，则修改并重新检查；不得交付未通过所需检查的结果。
交付适当的报告、推导、证明、决策格式或拒绝报告，以及局限性和建议的后续行动（如证据或数据更新）。

配置指南

Professional Engine Suite 被描述为自包含的，未指定包管理器、安装命令或固定的技能目录路径。使用您的代理平台支持的技能加载机制安装它，同时保留技能的 references/、scripts/ 和 templates/ 目录。技能元数据将 Read、Write、Edit、Glob、GreP、Bash 和 WebSearch 列为允许的工具。
要在不支持技能目录加载的工具中使用该技能，请按指定顺序将文件组合到提示文档中：
cat SKILL.md references/professional-engine-suite-.md references/PES.md > professional-engine-suite-prompt.md
将目录和需求文件与技能说明一起使用。仅在需要时加载领域范例；标记为草稿的项目是结构化参考，不得引述为经过验证的专业内容。在填充输出模板时替换每个占位符。
Professional Engine Suite 数据架构与分类体系
该套件围绕 PES 任务 ID 和三层参考结构组织工作：
位置或标识符 用途
PES0 整体领域路由、跨分册分解和域外处理。
PES1–PES9 医学证据和临床计算工作流。
PES10–PES17 投资定价、估值和风险工作流。
PES18–PES22 法律规则识别和应用工作流。
PES23–PES35 工程工作流，分为物理引擎和形式化引擎。
PES36–PES38 用于权衡、标准查询和经济分析的共享决策领域。
references/ 目录、需求、范例索引和领域范例文件。这些定义了任务列表、依赖项、需求、知识扩展和示例。
scripts/ 可选的可执行检查和计算，包括置信度传播、贝叶斯诊断、剂量计算、货币时间价值计算、回测防护、局限性计算、维度检查、数值求解、反例搜索和不变量检查。
templates/ 证据、估值、规则应用、推导、证明、域外报告的输出格式，以及公理条目维护模板。
任务 ID 遵循 PES{domain number}-{two-digit sequence}。参考资料使用特定领域的标识符——例如，医学证据和统计参考资料、投资定价和会计参考资料、法律规则和版本参考资料，以及工程公理或形式化参考资料。交付成果应包括适用的引文、假设、置信度标签和验证结果。标记为草稿的范例文件未经验证来源；仅在适当的专业审查后使用。

高级特性

跨四个专业分册和五个引擎路由请求，同时保持每个分册的验证工具和质量检查独立。
将跨领域问题分解为协调的工作流，然后检查交接并调和其结果。
应用特定领域的置信度分类法，并从最薄弱的环节传播最终置信度；低置信度步骤必须说明其局限性。
要求具有来源或规则参考、明确假设以及可追溯计算或证明步骤的可审计推理。
使用独立的验证渠道，例如公式和数值检查、现金流和会计检查、法律文本和层次检查，以及工程证明和测试。
提供用于计算和验证的可选脚本；当工具不可用时，它要求将逐步人工检查标识为人工验证。
支持审查和重试质量循环，将失败的检查返回以进行更正，而不是默默接受。
将拒绝视为对不支持、主观、突发或域外请求的合规结果；它明确避免个别医疗决定、投资预测、法律意见和其他禁止的结论。
支持只读操作和提示绑定，用于不加载技能目录的环境，同时保留记录的文件顺序和领域边界。

name: professional-engine-suite display_name: 专业引擎套件 display_name_en: Professional Engine Suite description: 专业引擎套件（四册五引擎）：覆盖高代价专业领域的可验证推理——医学册（证据判定/GRADE分级/诊断统计/临床计算/证据综合）、投资册（货币时间价值/估值推演/无套利定价/组合风险/恒等式核验）、法律册（条文位阶/适用条件比对/文件一致性/版本时效）、工程册（物理引擎：公理建模/守恒律枚举/可审计求解/交叉回验；形式引擎：形式化/不变量/证明策略/双通道验证）；共享决策域（设计权衡/规范查询/经济分析）四册共用。全册统一纪律：置信标注（各册自定义语义）、可审计链条、双通道校验、拒答是一等终态——涌现型、人因、不可判定、无规约、主观质量问题显式域外拒答，绝不硬算。触发词：循证医学、证据分级、GRADE、诊断敏感度、似然比、剂量计算、药代动力学、估值、DCF、无套利、期权定价、组合理论、投资分析、法律推理、条文适用、效力位阶、合同审查、合规比对、诉讼时效、公理推导、第一性原理、工程计算、力学解题、电路分析、算法证明、形式验证、不变量、设计权衡、规范查询、造价估算、专业引擎、置信推导、professional engine、meta-skill-system。 description_zh: 四册五引擎专业推理套件：医学/投资/法律/工程 + 共享决策三域，可审计、带置信标、会拒答 description_en: Four-volume, five-engine professional reasoning suite (medicine/investment/law/engineering + shared decision domains) — auditable, confidence-labeled, refuses rather than forces category: productivity # 对应技能市场分类「效率工具」；英文枚举官方未公开，此为推断值，创建技能时以平台分类下拉为准 allowed-tools: Read, Write, Edit, Glob, Grep, Bash, WebSearch version: 1.0.0 disable-model-invocation: false user-invocable: true author: 王教成 Wang Jiaocheng (波动几何) 专业引擎套件（四册五引擎）
定位

本技能是一个四册五引擎的专业推理套件，共享一套 ABDC 骨架（公理集 Axioms + 适用边界 Boundary + 推导引擎 Derivation + 校验 Conservation/Invariant），覆盖人类幻觉代价最高的四个专业领域：

医学册（PES1-PES9，循证引擎）：证据判定与路由/问题结构化/证据检索与分级/诊断性能计算/效应量与获益/临床计算/证据综合/回验/质检
投资册（PES10-PES17，定价引擎）：判定与路由（定价类放行/预测类拒答）/问题结构化/货币时间价值/估值推演/无套利推演/组合与风险/回验/质检
法律册（PES18-PES22，规则引擎）：判定与路由（规则型放行/意见型拒答）/条文定位与位阶/适用条件比对/文件一致性审查/回验与质检
工程册（PES23-PES35，两引擎）：物理引擎（PES24-PES29：公理化建模/守恒律枚举/推导路径/求解执行/回验/质检）；形式引擎（PES30-PES35：形式化建模/不变量枚举/证明策略/证明实现/回验/质检）
共享决策域（PES36-PES38）：设计权衡/规范查询/经济分析——四册共用，各册附录补充领域内容
总判定与册路由（PES0）：先判册（医学/投资/法律/工程/跨册），再判册内引擎/道；跨册问题自动分解到多册

质检互不套用原则：各册检验集与工具集互相独立——量纲校验不进医学册、统计核验不进工程册、位阶校验不进投资册，依此类推（PES0 串道检测强制）。

适用范围声明（内核判据）：四册的入选判据有三条——①有可判定的对错标准（可验证内核）；②错误代价高；③对象直连人身或财产：医学护人身、投资护财产、法律裁断二者、工程替群体承担二者的长期风险。据此明确声明：

覆盖：具备可验证内核且代价高的专业（医学/投资/法律/工程及其共享决策域）
范围外（范式不适用）：无可验证内核的专业（美学设计、活动创意、内容文案等）不在本套件覆盖范围——不是能力缺陷，而是范式不适用：没有可判定的对错标准，"质检线无处可挂"，硬装引擎即装样子。此类请求由 PES0-03 做范围外说明与路由（建议转向创意/内容类工作流），区别于册内"推不动"的拒答，不计为拒答失败

拒答边界（四册各自成文）：医学侧（个体诊疗决策/个体预后预测/经验医学）、投资侧（价格预测/择时/单一证券涨跌）、法律侧（胜负预测/法律意见）、工程侧（涌现型/框架外/人因/不可判定）均显式域外拒答——推不动就拒答，是合规终态。

册数说明（不增册理由）：四册是按内核判据（可验证内核 + 错误代价高 + 直连人身财产）收敛出的互斥且穷尽结果——医学护人身、投资护财产、法律裁断二者、工程替群体承担二者之长期风险：四个高代价对象已被完整覆盖，不存在可归入的第五类专业，故不再增设新册，结构保持稳定。

依赖声明：本技能自包含，不依赖其他领域技能；任务 ID 格式为 PES{域号}-{两位序号}。本技能按"生成技能标准"接受全项接口校验（28 项）。

核心能力

本技能共 39 域 122 任务，核心能力如下：

册路由（PES0）：册判定与分流；跨册问题分解（医疗事故=医学+法律、产品责任=工程+法律+投资）；跨册域外拒答
医学册（PES1-PES9）：证据问题判定 → PICO 结构化 → 证据检索与 GRADE 分级 → 诊断统计/效应量/临床计算 → 证据综合 → 回验 → 质检
投资册（PES10-PES17）：定价类判定 → 现金流结构化 → 现值/估值/无套利/组合计算 → 恒等式核验 → 回验 → 质检
法律册（PES18-PES22）：规则型判定 → 条文定位与位阶 → 适用条件比对（管辖/时效）→ 文件一致性 → 回验与质检
工程册（PES23-PES35）：物理五步链（建模→守恒→路径→求解→回验，质检守护）+ 形式五步链（形式化→不变量→证明策略→证明实现→回验，质检守护）
共享决策域（PES36-PES38）：权衡矩阵（约束前提强制）/条文+版本时效/区间+敏感性+假设清单
关键行为一：置信标注贯穿（各册自定义语义，结构统一）
医学册：I 级（系统综述/RCT）/II 级（队列/对照）/III 级（病例/专家意见）；
投资册：A 恒等式与无套利推导/B 模型假设下结论/C 历史数据估计；
法律册：A 程序性规则/B 条文适用（版本敏感）/C 解释性判断；
工程册物理：A 公理段/B 经验段/C 估算段；工程册形式：A 定理级/B 规约级/C 启发式；
通则：最终置信=链上最弱一环；低置信段必须标注边界（外推/失效条件）。
关键行为二：可审计链条（各册按自身引用体系标注）
医学：[EV-]证据条目、[MS-]统计公式编号；投资：[PR-]定价关系、[AC-]会计恒等式；法律：[LR-]位阶与程序规则、法条编号+版本年号；
工程：[U]/[L2--]（物理）、[F__]/规约条款（形式）；
假设清单（简化/规约/数据基准时点/事实认定）随答案交付；
交付前双通道校验：医学=公式通道×数值通道；投资=现金流通道×报表通道；法律=文义通道×位阶通道；工程=独立守恒律/证明×测试。
关键行为三：共享决策域三要素（PES36-PES38）
PES36：权衡矩阵+约束前提，禁止无条件"最优"；
PES37：条文三要素（编号/条款/版本年号），禁止默认最新；各册按其领域规范体系引用；
PES38：区间+敏感性+假设清单，缺一即 FAIL；医学成本效果分析、投资损失计量、工程造价的通用承载。
关键行为四：拒答是一等终态（四册分列），范围外须明示路由
医学：个体诊疗决策（须执业医师）、个体预后预测、无证据领域、超说明书用药建议
投资：价格/涨跌预测、择时建议、单一证券预测、内幕类问题
法律：判例胜负预测、"法官会怎么判"、法律意见（须执业律师）
工程：涌现型（湍流/断裂/疲劳）、框架外（相对论/量子）、人因、不可判定（停机问题）、无规约、主观质量
范围外：无验证内核专业（美学设计/活动创意/内容文案等）——按"适用范围声明"做范围外说明与路由，不硬答、不装引擎 以上均按 templates/out-of-domain-report-template.md 输出拒答报告（范围外请求按同模板输出"范围外说明"），禁止硬推。
领域特有维度
维度 说明 影响
册结构 工程册内双引擎（物理+形式）；其余各册单引擎 引擎判定限工程册内，册间不混用
置信语义分册 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 与守护清单维护
使用规则
执行流程
首次加载：读取 references/professional-engine-suite-catalog.md，获取四册域分类、依赖拓扑、元操作映射提示
按需深入：确认册与任务类型后读取 references/professional-engine-suite-requirements.md 对应册要求；知识查询读扩展字段附录（医学 F/G；投资 H；法律 I；工程 B/C/D/E）；需样本法时读取 exemplars 索引并加载对应域范本子文件（[草稿] 项仅可参照格式与结构，内容未经专业复核前不得直接引用）
分册执行：医学册沿 PES1→…→PES9；投资册沿 PES10→…→PES17；法律册沿 PES18→…→PES22；工程册沿 PES23→…→PES35；共享决策域 PES36/41/42 各自闭环；跨册问题在 PES0 扇出、各册回验后汇总
交付前检验：按册执行五项检验（医学：统计/单位/置信/误区/双通道；投资：恒等式/数据/置信/偏差/双通道；法律：版本/位阶/置信/误区/双通道；工程·物理：量纲/引用/置信/误区/交叉回验；工程·形式：签名/引用/置信/缺陷模式/双通道），全过才交付
内容权限
修改权限：本技能已充分优化完善，使用过程中拒绝任何对技能内容的丝毫修改
用户填充：用户可向 requirements 扩展字段补充条目（按 axiom-entry-template 格式，编号连续）与各册守护清单；可按 exemplars 索引的「用户填充指南」新增范本或对 [草稿] 项复核升级为 [可用]（脱敏、一域一本、专业复核）；新增内容即时生效
降级模式（只读模式）
能力 完整模式 只读降级模式
判定/结构化/枚举 可用 可用（纯认知步骤）
计算/证明执行 可用 可用；记录以文本输出，不落盘
scripts 工具检验 可用 不可用时降级为人工逐步检验并标注"人工检验"
网络检索 可用 不可用时条目仅取附录既有内容，缺口标注"待验证"
提示词导出
可将 SKILL.md 与 references/ 下全部文件合并为单一提示词文件，用于不支持 skill 目录格式的工具。合并顺序：SKILL.md → catalog → requirements → exemplars → 各域范本（PES0→PES38）。命令示例：cat SKILL.md references/professional-engine-suite-.md references/PES.md > professional-engine-suite-prompt.md
与执行框架的接口

收到任务后按 Step 0~4 执行：

Step 0 三轴判定

沿复杂度、内容类型、创新需求三维度判定：单一册单一问题（执行轴必选+内容轴清单法）；跨册问题（加开创新轴做分解）；涉及低置信或拒答判定（激活 I 交互与 G 守护单元）。

Step 1 领域校准

本领域 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 检验打回→修正→复检为常态循环 迭代协同常驻：各册回验域打回即回对应域修正，直至全过
Step 2 三轴分解

按判定与校准结果把任务分解为元操作单元；分解须对照 catalog 任务清单与元操作映射，不得自造任务。

Step 3 管线编排与执行

沿依赖拓扑编排管线：PES0（判定门：先判册再判册内引擎/道）→ 对应册主管线（医学/投资/法律/工程）→ 册内质检守护；跨册问题在 PES0 扇出至多册、各自回验后汇总核对交接量；共享决策域 PES36/41/42 各自闭环。执行中遵守关键行为一/二/三/四。

Step 4 整合交付

按册与终态组装交付物（证据评估报告/估值报告/规则适用报告/推导记录/证明记录/拒答报告/决策域格式）；交付时附后续建议（深化方向/证据更新/数据更新/范围界定）。

域概览

按执行链路组织，共 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。

事实纪律
证据/定价关系/法规/公理条目仅引用附录A-I 中确知内容，不得编造编号、公式、证据等级或法条；缺口标注"以权威教材/指南/核证文件为准"
推导/计算每步引用须真实对应，禁止虚标
置信等级须按各册语义与传播规则实算（最弱一环），禁止一律标高级
医学证据等级、投资数据基准、法律版本年号须如实标注，禁止跨级使用
拒答判定须基于覆盖边界表明文条款，禁止缩小拒答范围
双通道校验必须独立（同源变形不算），偏差超标即打回
数值结果须标注误差/环境/数据基准来源与控制参数
单元输出格式须匹配下游单元的输入要求，确保组合接口可用
call4me
青狐视频号合集视频