D-FUMT₈ 2 代数 canonical JSON path (STEP 1676 contract 準拠) — β 実装
chat-Claude 2026-09-07 提案 「今は 2 表とも 埋め込みなので、β の canonical JSON が出た時点で consumer 化するのが筋」 の 応答実装。 却下率エンジン artifact algebra toggle の consumer 化 前提が 完成、二重埋め込みを 恒久化しない discipline を 満たす JSON path が 公開。
Cross-flow ban (本 site page 全体 で 遵守)
本 canonical JSON は 実装通り の 表 dump のみ。 T×F carve-out の 意図 (silicon 互換性 か 実装 bug か) は 一次資料 でしか 決まらない (STEP 1866 で 一次資料 audit 済、evidence 未取得で UNDETERMINED 判定、γ 採択)。 力学差 実測結果 (STEP 1859 STABLE_NEITHER、m1/m3 opposite direction sig) は 意図判定 の 根拠に 使用禁止 — 意図的な pass-through でも 実装 bug でも 同じ像が 出る。 consumer 側 も この Cross-flow ban を 継承する 責任。moduleInfo (STEP 1676 contract 8 key) + top-level 8 key
moduleInfo 8 key (STEP 1676 self-description contract、src/aios/self-description-contract/verify.ts で verify): name / version / step / purpose / publicApi / keyConcepts / relatedModules / honestScope
Top-level 8 key: moduleInfo / d8_names / d8_symbols / seven / verilog / diff_summary / role_swap / algebraic_laws / audit_refs / cross_flow_ban
{
"moduleInfo": { /* 8 key STEP 1676 contract */ },
"d8_names": ["TRUE","FALSE","BOTH","NEITHER","INFINITY","ZERO","FLOWING","SELF"],
"d8_symbols": ["⊤","⊥","B","N","∞","〇","～","⟲"],
"seven": { "label", "provenance", "and": [8][8], "or": [8][8], "not": [8] },
"verilog": { "label", "provenance", "and": [8][8], "or": [8][8], "not": [8] },
"diff_summary": { "total_entries": 136, "diff_entries": 78, ... },
"role_swap": { "and_identity", "and_absorber", "or_absorber" },
"algebraic_laws": { "seven": {...}, "verilog": {...} },
"audit_refs": { /* STEP 1772-1866 arc trail */ },
"cross_flow_ban": "..."
}CF Pages mirror 経由、chat-Claude が 1 fetch で 到達可能
| URL | type | 用途 |
|---|---|---|
tables-latest.json | 追跡型 (mutable) | 常に 最新 version と 一致、consumer default |
tables-1.0.0.json | 凍結型 (immutable) | 引用 用、破壊的変更されない、citation stable |
Local repo path: data/d8/tables-{latest,1.0.0}.json、pre-commit hook で public/data/d8/ + dist-renderer/data/d8/ にも auto-mirror される (今後の 拡張 candidate)。
2 代数 dump + role_swap を fetch 経由で 使用
// JavaScript / TypeScript
const tables = await fetch('https://rei-aios.pages.dev/data/d8/tables-latest.json')
.then(r => r.json());
const NAMES = tables.d8_names; // ["TRUE","FALSE",...]
// AND[TRUE][BOTH] index-encoded (0=TRUE, 2=BOTH)
console.log(NAMES[tables.seven.and[0][2]]); // → "BOTH" (seven-logic Dfumt8Truth)
console.log(NAMES[tables.verilog.and[0][2]]); // → "TRUE" (Verilog Dfumt8InfoHybrid) ← 齟齬 = Route C 併存 の 実例
# Python
import json, urllib.request
data = json.loads(urllib.request.urlopen('https://rei-aios.pages.dev/data/d8/tables-latest.json').read())
seven_and = data['seven']['and'] # 8x8 nested list
verilog_and = data['verilog']['and']
diff_count = sum(1 for a in range(8) for b in range(8) if seven_and[a][b] != verilog_and[a][b])
# → 39 for AND alone (半分 of 78 total AND+OR diff)
canonical JSON から embed
| 指標 | 数値 | source |
|---|---|---|
| Total entries | 136 | AND 64 + OR 64 + NOT 8 |
| Diff entries | 78 (57.4%) | STEP 1772 実測 + chat-Claude 2026-09-07 独立 verify 一致 |
| 4-value subset diff | 12 / 32 (37.5%) | {T,F,B,N}² AND+OR (Region A) |
| Region B (higher tier) | 14 / 32 (43.8%) | {∞,〇,～,⟲}² AND+OR、STEP 1874 audit INTENTIONAL |
| Region C (cross-tier) | 52 / 64 (81.2%) | documented choice INTENTIONAL |
| NOT unary | 0 / 8 (0%) | 両代数 完全一致 AGREEMENT |
Role-swap (chat-Claude 2026-09-07 独立走査 発見):
| role | seven-logic (Dfumt8Truth) | Verilog (Dfumt8InfoHybrid) |
|---|---|---|
| ∧ の 両側単位元 | ⊤ (TRUE) | ∞ (INFINITY) |
| ∧ の 両側吸収元 | 〇 (ZERO) | N (NEITHER) |
| ∨ の 両側吸収元 | 〇 (ZERO) | B (BOTH) |
1.x.x は 後方互換 保証、2.0.0 で breaking change 予告
| version | range | 保証範囲 |
|---|---|---|
| 1.0.0 | initial | 2026-09-07 初期 canonical dump、STEP 1772 audit + chat-Claude 独立 verify 両方で 一致 |
| 1.x.x | 後方互換 | schema 追加 field は OK、既存 field 削除・意味変更 不可 |
| 2.0.0+ | breaking change | 予告時のみ、moduleInfo.version 参照で consumer 側 分岐 |
| STEP | arc | site page |
|---|---|---|
| 1772 | Route D 一次資料 audit (rei-aios-f4/a6 tab) | — |
| 1773 | Route C 決定 (2 algebra 併存、code 変更ゼロ) | /tools/step-1773/ |
| 1775 | Dfumt8InfoHybrid 命名 + T×F carve-out 発見 | — |
| 1853 | 却下率エンジン A/B/D site 反映 | /tools/step-1853-kyakka-engine-abd/ |
| 1859 | 力学差 反証仮説検定 (STABLE_NEITHER) | /tools/step-1859-dynamics-comparison/ |
| 1865 | Survival bias 精査 (MIXED) | /tools/step-1865-survival-bias/ |
| 1866 | Route D T×F carve-out 意図 audit (UNDETERMINED, γ 採択) | /tools/step-1866-route-d-txf-audit/ |
| 1872 | 本 STEP: canonical JSON path β 実装 | 本 page |
| 1873 | 命名 discipline (rewrite rule 軸) + 3 file header 更新 | — |
| 1874 | Region B/C/NOT audit (INTENTIONAL 66/66) | /tools/step-1874-region-b-audit/ |
| 1875 | 2 代数比較器 tool 化 (canonical JSON consumer) | — |
原 artifact (chat-Claude 2026-09-07 更新版、2 表 埋め込み走査 + algebra toggle + 反証の記録 section): https://claude.ai/code/artifact/c587e04c-5020-4f32-ae8d-4144e647ab1c。 本 canonical JSON が 完成した 今、consumer 化 (fetch 経由で 2 表 取得) が 可能に。
Cross-flow ban (再掲、footer 前)
本 canonical JSON は 実装通り の 表 dump のみ。 T×F carve-out の 意図 (silicon 互換性 vs 実装 bug) は 一次資料 audit で UNDETERMINED (STEP 1866 γ 採択)。 力学差 実測 (STEP 1859) は 意図判定 の 根拠に 使用禁止。 consumer 側 も この Cross-flow ban を 継承する 責任。 意図判定 は Route D の 継続 (別 STEP 候補、STEP 1866 arc の 後継)。