Paper 145 v0.11 draft — Hardware Quality Flag Prior Art and 3-Value Extension

v0.11-draft · Base: v0.10 (2026-08-27 multi-primitive same-silicon) · Zenodo: DEFERRED (v0.7 DOI 10.5281/zenodo.20192813 immutable、 v0.8/v0.9/v0.10/v0.11 GitHub-only per feedback-no-rush-publication) · STEP 1580 · Rei-AIOS · 2026-08-30

要旨

Paper 145 「First D-FUMT₈ Silicon with SELF⟲ Logic Primitive」 の hardware quality flag prior art positioning を STEP 1573 mapping arc の帰結として refinement する v0.10 base companion note。 v0.6-v0.10 の implementation-level novelty (4-substrate cross-verification + Lean 4 refinement + multi-primitive same-silicon) は不変、 本 v0.11 は positioning refinement + hardware community prior art audit + Rei 3-value extension articulation の 3 点のみ。

主張要旨: Rei D-FUMT₈ 8 値は Tango Controls (欧州シンクロトロン + 加速器施設で 数十年運用実績、 LGPL) の 5 値 attribute quality flag {ATTR_VALID, ATTR_INVALID, ATTR_ALARM, ATTR_WARNING, ATTR_CHANGING} を semantic subset として含む (φ: Tango 5 → D-FUMT₈ 8、 image = 4 element)。 Rei 独自 4 値 {FALSE, INFINITY, ZERO, SELF} は Tango 5 対応先なし = hardware quality flag prior art の 3-value semantic extension + Boolean truth-value 統合。

新 Finding F13 (proposed insertion after F12 in main draft)

F13 — Hardware Quality Flag Prior Art and 3-Value Extension (v0.11, 2026-08-30): Rei D-FUMT₈ 8 値は Tango Controls 5 値 attribute quality flag を semantic subset として含む (φ image = 4 element)。 Rei 独自 4 値 {FALSE, INFINITY, ZERO, SELF} は Tango 5 対応先なし、 hardware quality flag 語彙の 3-value semantic extension (INFINITY = 測定限界超過、 ZERO = data 不在/未接続、 SELF = self-referential fixed-point) + Boolean truth-value (FALSE) 統合。

controllable novelty claim: semantic expressiveness 意味であり production maturity ではない (Tango 数十年運用 vs Rei 単一 lab 実験)。 使用可: 「hardware quality flag prior art に対する 3-value semantic extension」。 使用不可: 「世界初 hardware 8 値 quality standard」/「Tango より優れた」/「世界統一 quality flag standard」。

Full φ mapping (Tango 5 → D-FUMT₈ 8)

Tango attr qualityD-FUMT₈Semantic rationale
ATTR_VALIDTRUEmeasurement OK、 nominal range 内
ATTR_INVALIDNEITHERvalue undefined / uninterpretable
ATTR_ALARMBOTH閾値超過 = 値取得 + safety violation 同時
ATTR_WARNINGFLOWING正常/alarm 境界、 drift trajectory
ATTR_CHANGINGFLOWING過渡状態、 settle time 未達
 
Image(φ)     = {TRUE, NEITHER, BOTH, FLOWING} ⊊ D-FUMT₈  (4 elements)
Not-in-image = {FALSE, INFINITY, ZERO, SELF}              (4 elements)

Note: ATTR_WARNING と ATTR_CHANGING が 両者 FLOWING に collide = local expressiveness gap、 metadata subtype tag で 補完可能 (schema breaking なし)。 FALSE は Rei 独自 4 値の 1 つ (Tango 5 値には Boolean truth-value 対応なし、 Tango は Boolean attribute + ATTR_VALID 組合せで 表現)。

Rei 独自 3 値 hardware semantic gap 埋め

D-FUMT₈hardware 意味Tango gap (collapse 先)Rei stack 既 usage
INFINITY 測定限界超過 = sensor range 突破「読み取れないほど大きい」 ALARM (max threshold 超過扱いに collapse) STEP 1567 disk_health_verdict extreme case、 STEP 1348 physics-limits pre-flight
ZERO data 不在 / source 未接続 (= data 不在、 実際に 0.0 測定でない) INVALID (「接続なし/起動前/calibration 未完/読取失敗」 を 全部 collapse) STEP 1567 disk_health_verdict no_data case、 別 tab STEP 1569 全 tool 統一提案 (ophyd-async NotConnectedError pattern)
SELF self-referential fixed-point、 measurement が 自分自身含む場合の 論理的整合性 flag Tango 概念なし (自己言及回避 が 暗黙前提) STEP 1509 lyapunov、 STEP 1541 flow_state_verdict converging_flow

Related Work update (proposed §B.9 insertion)

Hardware control system quality flags (Tango Controls, LGPL, 欧州シンクロトロン + 加速器施設で 数十年運用) は attribute read result に 5 値 quality {ATTR_VALID, ATTR_INVALID, ATTR_ALARM, ATTR_WARNING, ATTR_CHANGING} を per-value attach。 EPICS (Experimental Physics and Industrial Control System) は record-based state model で severity / status field を提供。 Bluesky / Ophyd (NSLS-II、 BSD-3-Clause) は Signal/Device 抽象上で NotConnectedError を 1st-class 型として handle。 QCoDeS (Copenhagen/Delft/Sydney/Microsoft 量子計測 consortium、 MIT) は Instrument/Parameter/Station 三層で parameter validator を提供。 SiLA 2 (ラボ機器通信標準、 gRPC + FDL) は Feature 単位で Observable Command / Observable Property / Unobservable を型分類。 我々の Paper 145 D-FUMT₈ 8 値は これら hardware community の quality flag / uncertainty handling 語彙に対して、 semantic subset を含む形で positioned (§B.14 詳細)、 differentiation は SELF⟲ self-reflexive primitive + 4-substrate cross-verification + Lean 4 refinement proof + 8 値中 3 値 hardware semantic gap 埋め (INFINITY / ZERO / SELF)。

Honest scope (v0.11 specific、 7 件)

  1. Modular note only: main draft integration (F13 + §B.14 + Related Work + Version history) は 未実行、 藤本さん明示 approve まで この modular note が canonical v0.11 reference。
  2. Zenodo re-publish 未実行: v0.7 DOI 10.5281/zenodo.20192813 は immutable、 v0.8/v0.9/v0.10/v0.11 GitHub-only、 feedback-no-rush-publication 「急がずゆっくりと」 遵守、 藤本さん explicit 「publish 実行」 明示指示 待ち discipline 継続。
  3. verbatim quote 未達: Tango 5 値の 公式定義 verbatim quote は 本 STEP session 内で 取得できず (tango-controls.readthedocs.io 主要 doc URL 404、 pytango redirect 先も 404、 cppTango GitHub archived → GitLab 移行済 で verify 困難)。 Zenodo publish 前 に LGPL cppTango GitLab source header comment + Tango Controls 公式 doc 該当 page URL 特定 + 引用 追加 必須。
  4. mapping validation 未達: φ mapping は Rei stack 内 semantic reasoning に基づく提案、 Tango community + Rei community の cross-review 未達。 D-FUMT₈ 自体が Rei stack 独自 primitive、 external adoption ゼロ。
  5. Expressiveness gap acknowledgment: ATTR_WARNING (semantic drift) と ATTR_CHANGING (temporal transient) が 両者 FLOWING collide = Rei D-FUMT₈ の local expressiveness gap、 metadata subtype で 補完可能 だが 8 値 primitive level では 区別不能。
  6. 「Rei が Tango を含む」 は semantic 意味のみ: hardware production 実績 (adoption + reliability + reference design 数) は Tango が 数十年先行、 Rei は Tang Console 138K + Tang Nano 9K + IBM Heron r2 の 単一 lab 実験のみ。 「proper superset」 は semantic expressiveness の意味であり、 hardware production maturity の意味ではない (v0.5 Tang Nano 9K corrigendum precedent 継承)。
  7. STEP 1573 = 実装ゼロ、 site + doc のみ: Paper 145 core narrative (D-FUMT₈ silicon on 2 Sipeed families + Aer + Heron r2 + multi-primitive same-silicon) は不変、 primary result 変更なし。 本 v0.11 は positioning refinement + hardware community prior art audit + Rei 3-value extension articulation の 3 点のみ。

Related