STEP 1571 (a) — No-Data Primitives

STEP 1569 Ophyd 読解の Rei 即持ち帰り top 3 のうち (a) を実装:

NotConnectedError = NEITHER の型化: 全 benchtop probe と全 D-FUMT₈ verdict tool で 「未接続 / データ未取得」 を単一 verdict に統一 (STEP 1567 pattern を全 tool 適用)

初回 audit で 「ZERO を全 tool 統一」 案は却下 — ZERO は既存 tool で domain-specific 意味 (deterministic distribution / complete depletion) を持ち、衝突する。 chat-Claude の 「NEITHER 同型」 直言は hardware layer に限定した pattern であり、analytical layer は既存 NEITHER で正しい (Ophyd の layer 分離と対応)。

alias 5 種: empty_input (canonical) / empty_distribution (shannon-entropy STEP 1499) / empty_series / empty_data / no_input。 auditor はこの alias 集合を Layer 2 conforming と認識。

API 表面:

// Layer 1
createSensorNoDataResult<T>(extra?: T): SensorNoDataResult & T
// → { verdict: 'ZERO', reason: 'no_data',
//     trippedField: null, trippedValue: null, trippedThreshold: null, ...extra }

// Layer 2 (default reason 'empty_input'、 alias 指定可)
createEmptyInputResult<R, T>(reason?: R, extra?: T): EmptyInputResult<R> & T
// → { verdict: 'NEITHER', reason: R, ...extra }

// Helpers
isUnset(v): boolean               // undefined | null | NaN
isAllUnset(...fields): boolean    // Layer 1 判定 (全 field unset)
isEmptyArrayInput(a): boolean     // Layer 2 判定 (array 空 or non-array)

// Type guards (dispatcher / auditor 用)
isSensorNoDataResult(r): boolean
isEmptyInputResult(r): boolean    // canonical + 5 alias 全 recognize
isNoDataResult(r): boolean        // 上記 2 種を統合判定

// Capability enum (drift audit)
type NoDataHandling = 'sensor-zero-no-data' | 'analytical-neither-empty'
                    | 'not-applicable' | 'unaudited'

• Layer 1: disk-health-verdict.ts (STEP 1567) — allUnset 判定を isAllUnset(...) に、no-data return を createSensorNoDataResult({ resolvedInputs }) に置換。 26/26 regression PASS
• Layer 2: shannon-entropy-verdict.ts (STEP 1499) — Guard 1 (empty frequencies) を isEmptyArrayInput(...) + createEmptyInputResult('empty_distribution', {...}) に置換 (alias 保持で backward compat)。 35/35 regression PASS

scripts/audit-no-data-handling.ts が src/mcp/*-verdict.ts を全走査、 source grep で 4 classification に分類。 初回 run で 3 tool が unaudited flag → 全 scalar-input と確認して NOT_APPLICABLE 明示 exemption 登録で 0 drift 達成。

Usage: npm run audit:no-data (human report、exit code 0/1) / --json (machine-readable)。 未来の新 verdict tool が unaudited で fail する → 明示的な classification が要求される。

test/step1571-no-data-primitives-test.ts、 8 section:

1. SensorNoDataResult (Layer 1 primitive)
2. EmptyInputResult (Layer 2 primitive、 canonical + alias)
3. isUnset / isAllUnset / isEmptyArrayInput helpers
4. Type guards (isSensorNoDataResult / isEmptyInputResult / isNoDataResult)
5. NoDataHandling capability enum shape
6. disk-health-verdict retrofit regression (Layer 1 pilot)
7. shannon-entropy-verdict retrofit regression (Layer 2 pilot)
8. Audit script — all verdict tools classified (no drift)

結果: 70/70 PASS + 既存 test regression (step1567: 26/26 / step1499: 35/35) 全通過。