控制图台账核对 PerryLink/dsh-spc-gbt-adapter

dsh-spc-gbt-adapter — 控制图常数与过程能力指数一致性检查

dsh-spc-gbt-adapter 读取一份控制图台账——行以台账自己的列名为键，中英文皆可——并检查这份台账自身的算术与常数表一致性：特性与图类型是否记录在案，控制限是否由中心线、离散统计量和插件冻结的图常数推出，中心线是否落在上下限之间，存储的 Cp 与 Cpk 是否符合各自定义，子组大小是否在常数表覆盖范围内，以及表头是否写明产品和过程。

它能回答什么

| 你问 | 它答什么 |
| 某一行图记录里，特性和图类型都空着。这会被报出来吗？ | 会。SP-001 要求：只要某行带有 characteristic 或 chartType 任一列，这两者至少填一个；两者都空时报告该行。它检查的是两者中有一个被记录，而不是这个特性该不该画图，也不是图类型选得对不对。 |
| 存储的控制限与中心线、极差和图常数算出来的不一致。 | SP-002 用 centerLine、range 和该 sampleSize 对应的系数项重新计算 ucl 与 lcl，容差 0.005，并报告该行，附上存储值和期望值。它只检查这几个数字彼此是否吻合——不检查控制限或极差是否正确，更不检查过程是否受控。冻结的常数表是 X̄-R 表：X̄-s、I-MR、p 或 c 图系数不同，请禁用该规则或替换 coefficients。 |
| 中心线存到了上控制限之上。 | SP-003 要求：凡是 lcl、centerLine、ucl 三者都填的行，必须满足 lcl ≤ centerLine ≤ ucl；顺序不成立时报告该行。它只检查这三个数字的顺序，不检查它们算得对不对。下限为 0 是极差图的正常形态，不会因此被报告。 |
| 台账里有 Cp 和 Cpk，报告却只字未提。为什么？ | SP-004 只在同时带有 cp 或 cpk 以及 usl、lsl、stdDev、mean 的行上运行；没有任何一行全部带齐时，该规则报 skipped，而不是静默通过。运行时它检验两个定义：Cp = (USL − LSL) / 6σ 和 Cpk = min(USL − X̄, X̄ − LSL) / 3σ，容差 0.02。出现差异通常意味着 σ 的口径搞混了：Cp/Cpk 用子组内标准差，Pp/Ppk 用整体标准差。它不判断能力是否足够。 |
| 过程能力够不够好？ | 这项检查不回答这个问题。SP-005 只报告存储的 cpk 低于你配置的判据，而它出厂时带的是 threshold: 0，意思是未配置，所以它会进入 skipped，而不是自己编一个判据出来；常见的 1.33 和 1.67 取决于行业、客户以及该特性的关键程度。这条规则下的发现意味着该值低于你自己的判据，而不是过程不合格，并且这条规则以 info 严重级别报告。 |
| 我们的子组每组有 15 个测量值。会怎样？ | SP-007 会报告该行：冻结进规则包的常数表只覆盖子组大小 2 到 10。该大小没有对应条目，SP-002 也就无法查系数，所以它会报告这一点，而不是保持沉默。这条规则检查的是该大小是否为已列出的档位，而不是该子组大小是否适合这个过程。要处理更大的子组，把档位加到 SP-002 的 coefficients 里，并放宽这条规则的 values —— 这是编辑规则包，不是改代码。 |

遵循的标准

| 文档 | 编号 | 引用它的规则 |
| 《常规控制图》 | GB/T 17989.2—2020（控制图 第2部分：常规控制图，采标 ISO；替代已废止的 GB/T 4091—2001；条号本次未取得） | SP-001, SP-002, SP-003, SP-004, SP-005, SP-006, SP-007 |

边界： 这个插件检查的是控制图台账的算术一致性和常数表一致性 —— 特性与图型是否记录在案，控制限是否由中心线、离散度统计量和图常数推出，中心线是否落在上下限之间，Cp 和 Cpk 是否符合各自的定义，子组大小是否在常数表覆盖范围内，以及图是否写明了它的产品和过程。它不判断过程是否受控、是否存在趋势，也不判断能力是否充足。读图需要模式规则；能力是否充足取决于客户的接收判据。

⚠️ 这个规则包能引用什么、不能引用什么

控制限系数（A₂、D₃、D₄）和能力指数定义确实有出处：GB/T 4091《常规控制图》（与 ISO 7870 系列等同）。这些系数是数学常数，只随子组大小变化，所以可以冻结进规则包。但核查环节没有拿到 GB/T 4091 的原文，因此每条规则的 excerpt 都明说了这一点，每条规则也都停留在 warn 或 info，不声称是引用。

在信任某个发现之前，有三条限制值得了解：

- SP-002 假定的是 X̄-R 图。 X̄-s、I-MR、p 或 c 图用的系数完全不同，所以这条规则会报告差异。禁用它，或者把 coefficients 换成正确的表 —— 这是编辑规则包，不是改代码。
- 系数表覆盖 n = 2…10。 SP-007 会报告任何超出这个范围的子组大小，所以「查不到」绝不会被悄悄读成「没问题」。
- SP-005 的判定标准默认发的是 0，意思是「未配置」。 常见取值是 1.33 和 1.67，但哪个合适取决于行业、客户，以及这个特性有多关键，所以这条规则会报告「无法运行」，而不是自己编一个值出来。

σ 的约定也很重要：Cp/Cpk 用子组内标准差，Pp/Ppk 用整体标准差。台账里的 σ 和它的指数对不上，是 SP-004 报警最常见的原因，所以这条发现会点明这一点。

兼容性

| 层面 | 状态 |
| Harness | 对等范围 >=0.1.2-rc.1 <0.2.0 \|\| >=0.2.0-0 <0.3.0 —— 已验证同时接受 0.2.0-rc.2 和 0.2.1-alpha.1。故意不声明 engines.dsh：它没有读取方，也无法拒绝宿主 |
| Node | ^22.19.0 || >=24.0.0 |
| 平台 | 全部（纯 ESM；无原生代码、无网络、不调用模型） |
| 工具模式 | 在 native、ptc 和 both 下都能用；特性多时用 ptc |

它做什么

注册 spc_gbt_adapter 工具。它读取一份控制图台账 —— 行以台账自己的列名为键，中英文都行 —— 套用带版本号的规则包，返回一份报告。

| 规则 | 检查内容 | 严重级别 | 依据类型 |
| SP-001 | 记录特性与图类型 | warn | principle |
| SP-002 | 控制限由中心、离散度和常数推出 | warn | principle |
| SP-003 | 中心线落在控制限之间 | warn | principle |
| SP-004 | Cp 和 Cpk 符合各自定义 | warn | principle |
| SP-005 | 能力满足你的接收标准（默认关闭） | info | local |
| SP-006 | 图上写明产品和过程 | warn | principle |
| SP-007 | 子组大小在常数表覆盖范围内 | warn | principle |

安装

dsh plugin --profile <name> add dsh-spc-gbt-adapter
dsh --profile <name> --dump-config | grep 'dsh-spc-gbt-adapter'

配置

| 键 | 类型 | 默认值 | 说明 |
| rulesFile | string | rules/spc-gbt-adapter.yaml | 规则包路径，相对于包根目录 |
| disabledRules | string[] | [] | 要停跑的规则 id；每个都会出现在 skipped 里 |
| onlyRules | string[] | [] | 只跑这些规则 id；留空则跑全部规则 |
| skipNotes | string | "" | 追加到每条 skipped 原因后面的备注 |
| timeoutMs | number | 120000 | 协作式工具超时预算 |

几个值得了解的规则级参数：

- SP-002 coefficients —— 常数表，以子组大小为键，均值图用 a2，离散度图用 d3 / d4。默认覆盖 X̄-R 的 n = 2…10；可以扩展，也可以换成别的图类型的表。tolerance 默认 0.005。
- SP-004 tolerance —— 默认 0.02，足够容纳台账里的舍入。
- SP-005 threshold —— 你的 Cpk 接收标准。0 表示这条规则不跑。
- SP-007 values —— 你的控制图可以使用的子组大小。

物料格式

工具接受 JSON 或 YAML：

productNo: P-2026-001
processName: 精车外圆 rows:
- { 控制图编号: Xbar-R-001, 特性名称: 外径, 控制图类型: Xbar-R, 子组大小: '5',
均值: '10.00', 极差: '0.50', 标准差: '0.215', 中心线: '10.00', 上控制限: '10.2885', 下控制限: '9.7115', 上规格限: '10.60', 下规格限: '9.40', Cp: '0.9302', Cpk: '0.9302' }

列名匹配不区分大小写，并忽略空格、下划线和连字符，所以 上控制限 和 ucl 会解析到同一个字段；控制图自己的列名会保留，因此一条发现会指出它读取的是哪一列。数值单元格可以带单位。

规则来源

规则数据放在 rules/spc-gbt-adapter.yaml。规则包的头部说明：这些系数是常规控制图表格里的数学常数，而该表格的标准文本未能取得，因此引用被标注为缺口，而不是转述。加载时的守卫仍然要求每条规则都有文档、条款、摘录和来源，也仍然禁止把 derived-from-principle 或本地配置的检查设为 error。

故障排查

- SP-002 在 X̄-s 或 I-MR 控制图的每一行都触发。 这些控制图用的系数不同。禁用该规则，或者把 coefficients 换成正确的表格。
- SP-007 在 n = 15 时触发。 表格覆盖 n = 2…10。把你用到的子组大小对应的系数补上，并扩展 values。
- SP-004 在能力看起来正常的控制图上触发。 检查 σ 的约定：Cp/Cpk 用子组内偏差，Pp/Ppk 用整体偏差。先统一来源，再改公差。
- SP-005 从不运行。 它的判据是 0；设置你的 Cpk 目标值。
- 插件安装成功，但工具始终不出现。 检查 main 是否指向 lib/index.mjs，以及 pnpm run build 是否生成了它；main 写错会让加载器静默跳过入口。
- dsh plugin add 以不兼容为由拒绝该包。 peer 范围覆盖 0.1.x 和 0.2.x；如果你的运行时不在其中，显式授予豁免： dsh plugin --profile <name> allow-version dsh-spc-gbt-adapter@0.1.0 --dsh-version <runtime> --accept-risk
- check 报告 manifest-peers 失败。 静态检查器比对的是一个硬编码的 peer 范围，它早于 0.2 系列。运行时会在安装时强制校验 peer 兼容性，所以声明的范围是正确的；这是 dsh-plugin-dev 中已知的上游问题。

开发

pnpm install
pnpm run typecheck # tsc --noEmit
pnpm test # vitest, the shared table-plugin suite plus paired fixtures
pnpm run build # tsdown -> lib/index.mjs + lib/index.d.mts
node ../scripts/sync-shared.mjs dsh-spc-gbt-adapter # refresh src/shared from ../_shared

插件是纯数据的：src/model.ts 声明表格形状，共享套件提供读取器和检查引擎，规则包声明每一项检查。

License

Apache License 2.0 © 2026 dsh-spc-gbt-adapter contributors。