回路の外側

D-FUMT₈ 八値演算器を例にした、回路以外の四層
回路（RTL）そのものは含みません。ここで動くのは、回路を信じてよいと言うために必要な四つの層です。 演算表・検証結果・波形は本物（このページ内で実際に計算しています）。合成レポートの数値のみ模擬値です。

この page は chat-Claude 外部分析の archival — Rei stack と 4 段 直接接続

出典 = chat-Claude (Anthropic web app) 2026-08-10〜11 turn。 「回路の外側 四層」 (Tab 1 検証 / Tab 2 波形 / Tab 3 合成 / Tab 4 記述と公開) は Rei stack と 4 段 完全 aligned:

(1) Tab 1 検証 dfumt8_join.v: SELF⟲ 吸収元 + ZERO 単位元 の 8×8=64 entry 演算表 = STEP 1215 D-FUMT₈ Category axiom-free (`data/lean4-mathlib/CollatzRei/Dfumt8CategoryExperiment.lean`) と 同型 structure (SELF⟲ = Paper 65 Lean 4 + Lawvere fixed point (STEP 1220))。

(2) Tab 2 波形 + Tab 3 合成 GW5AST-138K = Paper 145 v0.9-c 4-substrate methodology (Tang Console 138K + Tang Nano 9K + Aer + IBM Heron r2 144/144 fidelity 0.954、 STEP 1029/1030/1038) の 3 substrate と 同 direction。 但し header 明示 「合成レポートの数値のみ模擬値」 = 実測値ではない。

(3) Tab 4 記述と公開 = Rei blueprint pilot (STEP 1310) + Paper 145 系 Zenodo publish (DOI 10.5281/zenodo.20091185) と 同 shape (「回路が動く」 → 「なぜ動くか記述」 → 「公開」 の 3 段)。

(4) 「回路の外側 = 4 層」 framing = Rei-Solver v0.4 万能 TM 外 3/3 全経路 (STEP 1297) + Constructor Theory 5/5 (STEP 1298) の 「Turing 軸 vs Constructor 軸 2 軸 completion」 と 相似構造 = 回路 (Turing 内) と 検証/波形/記述/公開 (Turing 外側 = 意味の層)。

関連 memory: project_step1220_lawvere_fixed_point_chat_claude_third_proposal (SELF⟲ 吸収元 axiom-free) + project_step1215_dfumt8_category_axiom_free (D-FUMT₈ Category 起源) + project_2026-08-10_multi_project_pause_state (STEP 1316 arc index)。 site 反映 protocol = 2026-08-06 「全研究 site 反映 default」 14 例目。

検証環境（Verilator / cocotb / SymbiYosys）。実機に載せる前に、RTLが仕様どおりかを確かめます。 「テストが通った」ではなく「代数的性質が成り立つ」を言えるかどうかが、この層の質を決めます。

dfumt8_join.v ── 被検証回路(DUT)Verilog
// 八値: 0=FALSE 1=TRUE 2=BOTH 3=NEITHER // 4=INFINITY 5=ZERO 6=FLOWING 7=SELF⟲ module dfumt8_join(input [2:0] a, b, output reg [2:0] y); always @(*) begin if (a == 3'd7 || b == 3'd7) y = 3'd7; // SELF⟲ は吸収元 else if (a == 3'd5) y = b; // ZERO は単位元 else if (b == 3'd5) y = a; else y = (a > b) ? a : b; end endmodule
テストベンチ実行 
待機中。「検証を実行」を押してください。
演算表 ⊕ ── 実行に伴い充填0 / 64