D-FUMT₈ 盤
理論盤の下の小盤 ／ 版 v0.2（STEP 2568 で配置） ／ 主張の答え合わせ＋確かめた記録＋出典
親：理論盤（未配置、将来ここからリンクが張られる予定）／この小盤の役割：D-FUMT₈ 真理値表の2算法（SL / VH）に関わる主張の答え合わせ・実測記録・出典を一次資料ベースで束ねる。
- SL seven-logic 表（
src/axiom-os/seven-logic.ts、MCP の d8_apply / d8_table が返す表） - VH Dfumt8InfoHybrid 表（Verilog
dfumt8_alu.v＋Lean の aluAnd/aluOr、Paper 145 が依拠） - 両方 2つの表の比較・差分の話 ／ なし 表に依らない話
主張の答え合わせ
4 組の値（一次資料からの転記）
T×B・F×N・B×N・T×F の4組について、SL（src/axiom-os/seven-logic.ts の AND_TABLE / OR_TABLE）と VH（data/verilog/dfumt8_alu.v の combinational case 文）の AND・OR 値を一次資料から直接転記（2026-11-13 の HEAD）。MCP d8 ツール経由の値は使っていない。
| 組（無順序） | 演算 | SL 値 | VH 値 | 一致? | SL 出典 行 | VH 出典 行 |
|---|---|---|---|---|---|---|
| T × B | AND | BOTH | TRUE | ✗ | S1 L258（T,B）／ L260（B,T） | S2 L169（T,B）／ L172（B,T） |
| T × B | OR | TRUE | BOTH | ✗ | S1 L291（T,B）／ L293（B,T） | S2 L169（T,B）／ L172（B,T） |
| F × N | AND | FALSE | NEITHER | ✗ | S1 L259（F,N）／ L261（N,F） | S2 L162（F,N）／ L159（N,F） |
| F × N | OR | NEITHER | FALSE | ✗ | S1 L292（F,N）／ L294（N,F） | S2 L162（F,N）／ L159（N,F） |
| B × N | AND | FALSE | NEITHER | ✗ | S1 L260（B,N）／ L261（N,B） | S2 L170（B,N）／ L161（N,B） |
| B × N | OR | TRUE | BOTH | ✗ | S1 L293（B,N）／ L294（N,B） | S2 L170（B,N）／ L161（N,B） |
| T × F | AND | FALSE | FALSE | ✓ | S1 L258（T,F）／ L259（F,T） | S2 L167（T,F）／ L164（F,T） |
| T × F | OR | TRUE | TRUE | ✓ | S1 L291（T,F）／ L292（F,T） | S2 L167（T,F）／ L164（F,T） |
可換性：4組とも SL 側は AND_TABLE[a][b] === AND_TABLE[b][a]（OR 側も同じ）が転記表で全数確認、VH 側は {a,b} と {b,a} の両 case 文が同一の and_result / or_result を割り当てている（S2 L158-173 全数確認）。
集計：8 項目中 6 項目で SL と VH が食い違い。これは C3 の「4値部分の違いは 12/32 で T×B・F×N・B×N の3組に集中」と整合（4組 × 無順序 × 2演算 = 8 項目のうち、3組 × 2方向 × 2演算 = 12 項目が差あり、T×F の 2方向 × 2演算 = 4 項目が一致、合計 16 項目 ＝ C3 の分母 32 の半分［無順序 counting 分］）。
確かめた記録
区分：実測（数えた・動かした値）／確認（照合した結果）／推定（証拠から推した判断）／価値（採った方針とその理由）
| 区分 | 項目 | 値 | 表 | 確認の種類 | 出典 |
|---|
言わないこと
先行研究との照合で、主張しないと決めたこと。盤の中に明記しておきます。
出典に使わないもの
出典
| ID | 名前 | 種類 | 場所 |
|---|