DungLang Federation 4.0

prototype / demo / showcase — not a complete compiler or formal proof.

DungLang Federation 4.0 is a unified showcase version of the DungLang Federation prototype line. It combines the core Federation 1.0 bridge idea with the Civilization v2/v2.1/v3.0 simulation layers: event history, history rewriting, constitution, elections, civilization metrics, and myth generation.

Older versions are kept in /versions as development history.

---

Architecture

┌─────────────────────────────────────────────────────────┐
│  Frontends                                              │
│  DungLang 🦍  /  ScatLang 💩  /  SeaIR 🌊  /  YakiimoIR 🍠 │
└────────────────────────┬────────────────────────────────┘
                         ▼
┌─────────────────────────────────────────────────────────┐
│  Odor IR  (shared intermediate representation)          │
│  OdorZeroExpr / OdorSuccExpr / Var / OdorAdd / …        │
└────────────────────────┬────────────────────────────────┘
                         ▼
┌─────────────────────────────────────────────────────────┐
│  CEK Cave Machine                                       │
│  State(Control, Env, Kont) → OdorSink                   │
└────────────────────────┬────────────────────────────────┘
                         ▼
┌─────────────────────────────────────────────────────────┐
│  Civilization Stack                                     │
│  CivilizationStore → ConstitutionFederation             │
│  ElectionSystem → MythGenerator → CivilizationMetrics   │
└────────────────────────┬────────────────────────────────┘
                         ▼
              outputs/dunglang_federation_4_0_report.json

---

Modules

Module	From	Description
Odor IR + CEK Cave Machine	Federation 1.0	Multiple frontends compile to a shared IR, executed by a CEK-style machine
OdorSink / DiplomaticEvent	Federation 1.0	Odor observation, cross-tribe diplomatic events, banana GC
Error Federation	Federation 1.0	Representative-case check: same IR → same error shape across frontends
OdorOptimizer	Civilization v2.0	Constant-folding pass on odor levels (zero_elim / local_only / diplomatic_violation_const)
Ghost Odor / BananaRewrite	Civilization v2.1	2PC ghost odor events; temporal history rewriting with banana tokens
OdorTypeInference / WitnessCouncil	Civilization v2.2	Static odor type inference demo; artifact witness council with philosopher-gorilla exclusion
Constitution Federation	Civilization v3.0	Four constitutional articles; violation events emitted on breach
Election System	Civilization v3.0	Council elections with policy factions; verdict for Ghost Odor changes by ruling coalition
CivilizationMetrics	Civilization v3.0	Stability / diplomatic tension / philosophy pollution / myth pressure dashboard
MythGenerator	Civilization v3.0	Erased official history → legend → myth → religion pipeline

---

Version History

Version	Highlight
Federation 1.0	Odor IR bridge · CEK Cave Machine · Error Federation representative cases
Civilization v2.0	OdorOptimizer · Kont Federation · History Federation
Civilization v2.1	Temporal Banana Rewrite · Ghost Odor Archaeology · Causality Leak Detector
Civilization v2.2	OdorTypeInference · TwoPhaseCommit · WitnessCouncil
Civilization v3.0	Constitution Federation · Election System · CivMetrics · MythGenerator
Federation 4.0	Unified public showcase of all layers

Older versions are preserved in /versions.

---

Running

python dunglang_federation_4_0.py

Output: outputs/dunglang_federation_4_0_report.json

The report contains five top-level sections:

meta              version info, disclaimer, history
cek_demos         CEK machine runs across all four frontends
odor_optimizer    constant-fold results for representative odor levels
error_federation  paired error-shape checks (trace_equal / error_equal / surface_diff)
civilization      full civilization run: constitution, election, rewrites, metrics, myths, replay

---

Replay Viewer

dunglang_civilization_replay_viewer.html is a browser-based dual-pane timeline viewer for civilization events (built for v2.1, compatible with Federation 4.0 event shapes).

It shows official history and secret log side by side, with filter buttons per event kind (odor 💨, diplomatic 🌍, ghost 👻, rewrite 📜🔥, gc 🍌) and a configurable replay speed.

Open the file directly in a browser — no server needed.

---

Scope and Limitations

This project is a prototype / demo / showcase.

• The DungLang frontend is a mapping from v0.7 event structures to Odor IR — not a full DungLang parser.
• Error Federation checks representative cases only. It is not a full formal equivalence proof across distinct syntax parsers.
• BananaGC runs as a post-execution Sink operation in this demo, not as a native CEK instruction.
• The philosopher-gorilla exception comparison runs the same IR under two frontend names — a minimal surface-diff check, not a cross-parser proof.

---

Mottos

Different notation on the surface. Same plumbing underground. — ウホ 🪨

Success is the same. Failure is the same. History disappears. Myth remains. — ウホ 📜🔥