これは何か
// ごく普通のプログラミング言語エコシステム。だが、ただのおなら事件ではない。いつどこで誰に効いたかまで残る文明ログ。
DungLang Federation 4.0 は、複数のプロトタイプ群をひとつにまとめた統合デモで、出発点は単純。 「もしゴリラがプログラミング言語を発明したら？」
DungLang 🦍、 ScatLang 💩、 SeaIR 🌊、 YakiimoIR 🍠。 以上4つのフロントエンドは、すべて共通の中間表現 Odor IR に変換される。 生成されたIRは同じ CEK Cave Machine で実行される。 その結果は、憲法、選挙、歴史改変、神話生成からなる Civilization Stack (シミュレーション)へ流れ込む。
アーキテクチャ
// 表面は違っても、地下は同じ配管。
DungLang 🦍 / ScatLang 💩 / SeaIR 🌊 / YakiimoIR 🍠
OdorZeroExpr / OdorSuccExpr / Var / OdorAdd / …
State(Control, Env, Kont) → OdorSink
CivilizationStore → ConstitutionFederation → ElectionSystem → MythGenerator → CivilizationMetrics
モジュール
// 洞窟から神話まで。スタックの全階層。
Odor IR + CEK Cave Machine
複数のフロントエンドを共通IRへ変換し、CEKスタイルの実行機構で評価。舞台はもちろん洞窟である。
OdorSink / DiplomaticEvent 🌍
臭気ログ、部族外交イベント、Banana GC。実行中に起きた出来事を、文明イベントとして記録する層。
Error Federation
すべてのフロントエンドで同じIRを実行し、同じエラー構造へ到達するかを見る。いくつかの典型的ケースでは確認している。ただし完全な証明ではない。
OdorOptimizer
臭気レベルの計算を、実行前にできる範囲で簡単にする最適化パス。zero_elim / local_only / diplomatic_violation_const を実装。
Ghost Odor / BananaRewrite 👻🍌
公式の史実に残らなかったおなら臭気イベントを掘り起こし、バナナトークンを払って歴史を書き換える仕組み。
OdorTypeInference / WitnessCouncil
実行前にコードの臭気タイプを推測し、成果物を評議会で確認するデモ。哲学ゴリラが入ると話が終わらないので除外。
Constitution Federation 📜
文明内のルールを定義し、違反が起きたら憲法違反イベントとして記録する。洞窟にも法と秩序はある。
Election System 🗳️
選挙で政権が変わると、同じおなら臭気イベントでも判断が変わる。派閥ごとの選挙結果によって、臭気イベントの扱いが変わる。政権が変われば、昨日の違反も今日は合法。
CivilizationMetrics 📊
文明の安定性や混乱度を、外交・哲学・神話などの指標で見るダッシュボード。ゴリラ社会にもKPIがある。
MythGenerator 🔥📖
消去された公式史から、伝説、神話、宗教を生成するパイプライン。バナナが消えた理由は、誰かが語らねばならない。
バージョン履歴
// 素朴な洞窟壁画から本格的な神学体系まで。
Odor IRブリッジ · CEK Cave Machine · エラー連邦の代表的ケース。
始まり。火が発明された。臭気が計測された。
OdorOptimizer · Kont連邦 · History連邦。
臭いは最適化できると、誰かがそう気づいた。進歩いや進化だ。
時系列バナナ書き換え · ゴースト臭気考古学 · 因果リーク検出器。
歴史は交渉可能になった。幽霊が現れた。だいたいはバナナのせい。
OdorTypeInference · TwoPhaseCommit · WitnessCouncil。
臭いのための民主主義。哲学ゴリラは、憲法改正により除外。
Constitution連邦 · Election System · CivMetrics · MythGenerator。
ガバナンススタックに到達。宗教は、削除されたログから生まれた。
全層の統合公開デモ。
あらゆるものが、あらゆる場所で、一度に。すべてを支配する、ひとつのJSON。
出力レポート
// 純粋で混じりけのないゴリラエンジニアリング。5セクション。
meta
バージョン情報、免責事項、履歴。プログラミング言語とは何か、という強めの意見も入っている。
cek_demos
CEKマシンを4つのフロントエンドで実行。同じ洞窟、違う入口。
odor_optimizer
代表的な臭気レベルに対する定数畳み込み結果。臭い工学、ここに極まる。
error_federation
エラー形状のペアチェック。trace_equal / error_equal / surface_diff。
civilization
最大の出力。憲法違反、選挙、歴史の書き換え、メトリクス、神話、リプレイデータまで。
リプレイビューア 🎬
// 歴史が起きるのを見て、それが書き換えられるのを見る。
Civilization Replay Viewer は、文明イベントを表示するブラウザベースの2ペイン型タイムラインビューア。サーバーは不要。HTMLファイルを開くだけで動く。
公式史 と 秘密ログ を並べて表示。 odor 💨 · diplomatic 🌍 · ghost 👻 · rewrite 📜🔥 · gc 🍌 など、イベント種別で絞り込める。 再生速度も変更可能。v2.1向けだが、Federation 4.0のイベント形式にも対応している。
付録で確認する →モットー
// 洞窟の壁に刻む言葉。
地下は同じ配管。」
歴史は消える。神話は残る。」
制限事項
// 正直さは美徳だ。洞窟の中でも。
⚠ プロトタイプ / デモ展示 — 完全なコンパイラではない。完全な証明でもない。
- DungLangフロントエンドは、v0.7のイベント構造からOdor IRへのマッピング。完全なDungLangパーサーではない。
- Error Federation が確認するのは代表例のみ。異なる構文パーサー間の完全な形式的等価性証明ではない。
- Banana GC は、このデモではネイティブのCEK命令ではなく、実行後のSinkオペレーションとして動く。
- 哲学ゴリラ例外の比較は、2つのフロントエンド名で同じIRを実行するもの。クロスパーサーの証明ではなく、最小限の表面差分チェックにすぎない。