案卷 示例：离心泵轴功率 demo
返回要素（每个都指向来源）
| 要素 | 类型 | 内容 | 来源 | 状态 |
|---|---|---|---|---|
| Q | variable | 流量 10 m³/h | D3 | confirmed |
| H | variable | 扬程 30 m | D3 | confirmed |
| eta | variable | 效率 0.7 1 | D3 | confirmed |
| P | variable | 轴功率 [power] | D3 | pending |
| r1 | relation | P = Q*H/eta | D3 | pending |
模型版本 v1@grammar-v1 · partially-verifiable · sha256:9d5ffa3d669…
一致性核验
- passsource-coverageQ：来源 D3
- passsource-coverageH：来源 D3
- passsource-coverageeta：来源 D3
- passsource-coverageP：来源 D3
- passsource-coverager1：来源 D3
- passunitQ：单位 m³/h 换算因子 0.0002777777777777778
- passunitH：单位 m 换算因子 1
- passuniteta：单位 1 换算因子 1
- insufficientunitP：单位未述，量纲由物理量种类 power 确定为 M L² T⁻³
- faildimensionr1：左 M L² T⁻³ ≠ 右 L⁴ T⁻¹，差 M L⁻² T⁻²
- passclosurer1：符号闭合
确认义务（系统不猜，来问你）
- relation-imbalance · 涉及 r1, P · 来源 D3补充缺失因子或修正关系；不由编译器插入任何项
未建模项
- 无