What Is This?
// a totally normal programming language ecosystem. nothing to see here.
DungLang Federation 4.0 is the unified showcase of a fictional programming language ecosystem: part prototype compiler, part simulation demo, part extremely serious cave joke. It is built around a ridiculous premise: what if gorillas invented programming languages, and those languages were unified by a shared intermediate representation called Odor IR?
Four frontends โ DungLang ๐ฆ, ScatLang ๐ฉ, SeaIR ๐, and YakiimoIR ๐ โ all compile down to the same IR, get executed by the same CEK Cave Machine, and feed into a Civilization Stack where constitutions are enacted, elections are held, history gets rewritten, and everything eventually becomes myth.
It's absurd. It's meticulous. Somehow, it's both.
Architecture
// different notation on the surface. same plumbing underground.
DungLang ๐ฆ / ScatLang ๐ฉ / SeaIR ๐ / YakiimoIR ๐
OdorZeroExpr / OdorSuccExpr / Var / OdorAdd / โฆ
State(Control, Env, Kont) โ OdorSink
CivilizationStore โ ConstitutionFederation โ ElectionSystem โ MythGenerator โ CivilizationMetrics
Modules
// every layer of the stack, from cave to cosmos.
Odor IR + CEK Cave Machine
Multiple frontends compile to a shared IR, executed by a CEK-style machine that allegedly runs in a cave.
OdorSink / DiplomaticEvent ๐
Odor observation, cross-tribe diplomatic events, and banana garbage collection. Standard stuff.
Error Federation
Same IR โ same error shape across all frontends. A representative-case check, not a formal proof (we're gorillas, not proof assistants).
OdorOptimizer
Constant-folding pass on odor levels: zero_elim / local_only / diplomatic_violation_const.
Ghost Odor / BananaRewrite ๐ป๐
Two-phase commit ghost odor events; temporal history rewriting using banana tokens as currency.
OdorTypeInference / WitnessCouncil
Static odor type inference demo; artifact witness council with philosopher-gorilla exclusion clause.
Constitution Federation ๐
Four constitutional articles with violation events emitted on breach. Law and order in the cave.
Election System ๐ณ๏ธ
Council elections with policy factions; Ghost Odor verdict changes depending on the ruling coalition.
CivilizationMetrics ๐
Stability / diplomatic tension / philosophy pollution / myth pressure dashboard. Essential metrics for modern gorilla governance.
MythGenerator ๐ฅ๐
Erased official history โ legend โ myth โ religion pipeline. Because someone has to explain why the bananas disappeared.
Version History
// from humble cave paintings to full-blown theological systems.
Odor IR bridge ยท CEK Cave Machine ยท Error Federation representative cases.
The beginning. Fire was invented. Odor was measured.
OdorOptimizer ยท Kont Federation ยท History Federation.
Someone realized you could optimize smells. Progress.
Temporal Banana Rewrite ยท Ghost Odor Archaeology ยท Causality Leak Detector.
History became negotiable. Ghosts showed up. Bananas were involved.
OdorTypeInference ยท TwoPhaseCommit ยท WitnessCouncil.
Democracy, but for smells. Philosopher-gorillas excluded by constitutional amendment.
Constitution Federation ยท Election System ยท CivMetrics ยท MythGenerator.
Full governance stack achieved. Religion spawned from deleted logs.
Unified public showcase of all layers.
Everything, everywhere, all at once. One JSON to rule them all.
Report Output
// five sections of pure, unadulterated gorilla engineering.
meta
Version info, disclaimer, history. Also a very strong opinion about what counts as a programming language.
cek_demos
CEK machine runs across all four frontends. Same cave, different entrance.
odor_optimizer
Constant-fold results for representative odor levels. Smell engineering at its finest.
error_federation
Paired error-shape checks: trace_equal / error_equal / surface_diff.
civilization
The big one: full civilization run. Constitution violations. Elections. History rewrites. Metrics. Myths. Replay data. The complete gorilla experience.
Replay Viewer ๐ฌ
// watch history happen, then watch it get rewritten.
The Civilization Replay Viewer is a browser-based dual-pane timeline viewer for civilization events โ no server required, just open the HTML file.
Side-by-side official history vs secret log. Filter by event kind: odor ๐จ ยท diplomatic ๐ ยท ghost ๐ป ยท rewrite ๐๐ฅ ยท gc ๐. Configurable replay speed. Built for v2.1, compatible with Federation 4.0 event shapes.
Find it in Appendix โMottos
// words to carve into cave walls.
Same plumbing underground."
History disappears. Myth remains."
Scope & Limitations
// honesty is a virtue, even in the cave.
โ prototype / demo / showcase โ not a complete compiler or formal proof.
- 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. 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.