Silent Visual Verifier v0.3 — SCPI safety × D-FUMT₈
目的: 電子負荷装置 SCPI コマンドの 引数解釈 safety を D-FUMT₈ 8 値 verdict で示す。 喋らず・波形で見せる (Silent Visual)。 主 case = Kikusui PLZ-5W CR mode = conductance (S) vs 同 category 他機 = resistance (Ω) の inverse siren 検出。
1. Verifier
2. D-FUMT₈ verdict semantics (SCPI safety context)
| Verdict | 意味 (SCPI 文脈) | 例 |
|---|---|---|
| TRUE | 単位一意 + 範囲内 + 安全 | PLZ-3W CR 100 = 100 Ω 安全 |
| FALSE | 明確に危険 (短絡 or 過大負荷 確定) | PLZ-5W CR 100 の 意図が Ω なら 100 S = 0.01 Ω = 短絡 (但し unit ambiguity で BOTH 側優先) |
| BOTH | 単位 ambiguity (Ω 解釈? S 解釈? 両方成立) | PLZ-5W CR 100 → 100 S (短絡) or 0.01 S (100 Ω 意図) 両解釈 |
| NEITHER | vendor 未知 / モード未対応 / 判断不能 | ARB モード全般 (点列登録は別系統、 単 scalar 引数で判定不可) |
| ∞ | range max 超過 (out of range) | PLZ-5W CR 1000 = 1000 S 送信、 H range max 42 S 超過 |
| ZERO | vacuous (arg=0、 load off 等価) | CR 0 = 0 S = open |
| → | state-dependent (前 mode / 前 range に依存) | FUNC:MODE 切替直後の 過渡状態 |
| ⟲ | self-inverse fixpoint (S = Ω = 1 の点) | CR 1 = 1 S = 1 Ω = unit 解釈非依存 (**藤本さん最初の実機安全 test 提案 point**) |
3. なぜ CR mode で inverse siren が発生するか
Kikusui PLZ-5W だけ 単位系が inverse:
| Vendor / Model | CR mode コマンド | 単位 | 関係 |
|---|---|---|---|
| Kikusui PLZ-3W (2003) | RSET | Ω | resistance 直接 |
| Kikusui PLZ-5W (現行) | CONDuctance | S (Siemens) | S = 1/Ω (inverse!) |
| Siglent SDL1000X | RESistance | Ω | resistance 直接 |
Manufacturer 自身の 「業界既知 hazard」 認識 evidence (Kikusui カタログ KPRI211 2026-05 p.4 脚注):
「＊ コンダクタンス [S]= 入力電流 [A]/ 入力電圧 [V] = 1/ 抵抗値 [Ω]」
= 「読者が resistance だと誤読することを 知っているから 換算式を書かねばならなかった」 = 誤読 pattern の spec-side 認識 (2 独立 source: 通信 IF manual + 販促 catalog)。
Failure mode: 「100 Ω に設定」 のつもりで 100 を送信 → 100 S = 0.01 Ω = 実質短絡。 構文 error にならず 通る (silent failure = catastrophic)。
4. Silent Visual = 「喋らず・波形で見せる」 discipline
本 verifier は verbal alert (「危険!」 popup) は 出さない。 代わりに:
- Verdict badge (D-FUMT₈ 8 値 の 色付 chip) を 表示
- Waveform canvas で 該当 command 送信時の 予測電流波形を simulate 描画
- 短絡兆候 = 波形が rated max へ 瞬時 spike
- 安全 = 波形が 期待値に 滑らかに settle
- 範囲外 = 波形が clipped / undefined として 灰色 表示
STEP 1305 (v0.1 Collatz orbit) + STEP 1308 (v0.2 D-FUMT₈ ALU × Verilog × Lean 4) の 「計測器は喋らない、 見せる」 discipline を SCPI safety domain に extend (STEP 1305/1306 chat-Claude 21 turn debate synthesis 継承)。
5. Honest scope (譲れない線)
- 本 verifier は 実機接続なし、 browser-only demonstrator。 hardware_verified 主張は 永久禁止 (実機接続 + 個体 serial + 検証 log なしでは 該当ラベル付与不可)
- Vendor spec は 3 機種 hardcode (Kikusui PLZ-5W/3W + Siglent SDL1000X)、 他機種は NEITHER (unknown) fallback。 拡張は 別 STEP
- D-FUMT₈ verdict の rule は heuristic = mathematical proof ではない、 「(vendor, mode, arg) → verdict」 の 判定 table は 藤本さん judgment + spec reading based (Rei 独自解釈)
- Waveform simulation は 定性的 = 実機の transient response 高精度模擬 ではない、 短絡兆候 の 視覚的差異 のみ 意図
- ARB mode (点列 3-100 pt) は 単 scalar 引数で 判定不可 = NEITHER verdict 固定
- 「世界初」 主張ゼロ ([[feedback-world-uniqueness-claim-controllable]] 適用) = Silent Visual Verifier v0.1/v0.2 系譜 の 3 例目 demonstrator、 novelty は Silent Visual discipline の SCPI domain 適用のみ
6. Rei stack への位置づけ
- Peace API SaaS spec (STEP 1307) の concept demonstrator 3 例目 (v0.1 Collatz orbit + v0.2 D-FUMT₈ ALU + v0.3 SCPI safety)
- Peace Axiom #196 物理 I/O 拡張 (2026-08-17 memory) の 具体 demonstrator = PeaceCheck-IO(command, args) の visual form
- Silent Visual Verifier v1.0 roadmap の 段階 3/N: v0.1 (数論) + v0.2 (回路) + v0.3 (計測器) + v0.4 (Rei-Solver 6 engine full integration) + v1.0 (production form with 4-substrate cross-verification and Lean 4 export)
- Inverse siren detection pattern ([[feedback-super-naming-siren-family-pattern]] 2026-08-17 subtype 追加) の operational 実例
7. Evidence source (別 archival)
- data/external-prior-art/kikusui-plz5w-catalog/PLZ-5W_WZ_2026050.3KPRI211.pdf — 販促カタログ 16 頁 (menu 差別化 evidence source)
- data/external-prior-art/benchtop-devicedef-2026-08-17/ — 別 Claude session (2026-08-17) 由来 asset (YAML + Python + 2 RESULT MD、 15 files)
- 通信インターフェースマニュアル (PLZ_5W_COM_IF_J9, 252 頁) — copyright material、 内部参照のみ、 site 化禁止 (fair use 引用のみ本 page)
Multi-source concordance: CR = Siemens finding が 2 独立 source (別執筆者・別目的) で確認 = spec-side solid ([[feedback-one-reproduction-over-ten-unverified]] multi-document 版強化事例)。
8. 関連 memory
- project_benchtop_devicedef_external_asset_2026-08-17.md — 5 asset ranking + 3 factor long-term utility 依存
- feedback_peace_axiom_hardware_io_extension_2026-08-17.md — Peace Axiom 物理 I/O 拡張 template
- feedback_super_naming_siren_family_pattern.md (2026-08-17 update) — inverse siren subtype 追加
- project_step1307_1308_peace_api_silent_visual_verifier_2026-08-08.md — Peace API SaaS spec + Silent Visual Verifier v0.1/v0.2 origin
- feedback_chat_claude_21_turn_debate_2026-08-08.md — 「計測器は喋らない、 見せる」 discipline origin