microByte Dynamic Template Inflation - Multi-Language Proof Executables
This directory contains functional, logically equivalent implementations of the microByte Dynamic Template Inflation proof across 23 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
🛠️ System Prerequisites
Ensure you have the appropriate toolchains installed for the languages you wish to build or run:
| Language | Runtime/Compiler | Minimum Version | Package Manager / Notes |
|---|---|---|---|
| Python | Python 3 interpreter | >= 3.8 |
standard library only |
| Go | Go compiler | >= 1.16 |
standard library only |
| Rust | Rustc / Cargo compiler | >= 1.56 |
standard library only |
| Java | JDK (Java Development Kit) | >= 11 |
standard library only |
| TypeScript | Node.js & TypeScript Compiler | Node >= 14, TS >= 4.0 |
Runs via node (JS output) |
| C++ | C++ compiler (g++, clang++, MSVC) | C++17 support | standard library only |
| Swift | Swift compiler / runtime | >= 5.0 |
standard library only |
| Pure C | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
| Lua | Lua interpreter (lua, luajit) | >= 5.1 |
standard library only |
| Zig | Zig compiler | >= 0.11 |
standard library only |
| C# | .NET SDK / csc compiler | .NET >= 6.0 |
standard library only |
| Kotlin | Kotlin compiler / JVM runtime | >= 1.5 |
standard library only |
| Bash | Bash Shell interpreter | Bash >= 4.0 |
standard system core utilities |
| Julia | Julia runtime | >= 1.6 |
standard library only |
| Dart | Dart SDK | >= 2.12 |
standard library only |
| Elixir | Elixir/Erlang OTP | Elixir >= 1.12, OTP >= 24 |
standard library only |
| Haskell | GHC / GHCi | >= 8.8 |
standard library only |
| PowerShell | PowerShell Core / Desktop | >= 5.1 |
Windows or Cross-platform |
| MATLAB | MATLAB / GNU Octave runtime | Octave >= 6.0 |
standard library only |
| GLSL | glslang / Vulkan SDK | Vulkan >= 1.1 |
GPU shader validator |
| Faust | Faust compiler | >= 2.0 |
sound DSP compiler |
| Assembly | NASM Assembler / Linker | NASM >= 2.15 |
x86-64 NASM assembler |
| WAT | wabt (wat2wasm) / Wasmtime | Wasmtime >= 1.0 |
WebAssembly Text Compiler |
🚀 Build and Run Instructions
1. Python (Interpreted)
cd python
python proof.py
2. Go (Compiled/Interpreted)
cd go
go run proof.go
3. Rust (Compiled)
cd rust
cargo run --quiet
4. Java (Compiled JVM)
cd java
javac Proof.java
java Proof
5. TypeScript (Compiled JS)
cd typescript
tsc proof.ts && node proof.js
6. C++ (Compiled Native)
cd cpp
g++ -std=c++17 proof.cpp -o proof && ./proof
7. Swift (Compiled/Interpreted)
cd swift
swift proof.swift
8. Pure C (Compiled Native)
cd c
gcc -std=c11 proof.c -o proof && ./proof
9. Lua (Interpreted)
cd lua
lua proof.lua
10. Zig (Compiled Native)
cd zig
zig run proof.zig
11. C# (Compiled Native/JVM)
cd csharp
csc proof.cs && ./proof.exe
# Or using dotnet:
# dotnet run proof.cs
12. Kotlin (Compiled JVM)
cd kotlin
kotlinc proof.kt -include-runtime -d proof.jar
java -jar proof.jar
13. Bash (Interpreted Script)
cd bash
bash proof.sh
14. Julia (Interpreted)
cd julia
julia proof.jl
15. Dart (Interpreted/Compiled)
cd dart
dart run proof.dart
16. Elixir (Interpreted Script)
cd elixir
elixir proof.exs
17. Haskell (Compiled/Interpreted)
cd haskell
runhaskell proof.hs
18. PowerShell (Interpreted Script)
cd powershell
powershell -ExecutionPolicy Bypass -File proof.ps1
19. MATLAB/Octave (Interpreted)
cd matlab
octave proof.m
20. GLSL (Shader validation)
cd glsl
glslangValidator proof.glsl
21. Faust (Compiled/Simulated DSP)
cd faust
faust -vec proof.dsp
22. Assembly (Compiled Native)
cd assembly
nasm -f win64 proof.asm -o proof.obj
# Link on Windows or Linux:
# link /subsystem:console /entry:_start proof.obj
23. WAT (Compiled WebAssembly)
cd wat
wat2wasm proof.wat -o proof.wasm
wasmtime proof.wasm
✅ Verification and Anchors
Upon successful execution, each language implementation is guaranteed to print a unique verification anchor indicating system integrity.
Expected Output Signature
Each implementation will output standard diagnostic logs followed by the following verification signature:
[VERIFICATION] microByte dynamic template inflation verified.
If this signature is printed and the program exits with code 0, the logic has been successfully validated.
🧹 Housekeeping & Pruning
To maintain a clean master repository, temporary build outputs (like .class files, transpiled .js files, .zig-cache/ folders, .jar files, and compiled C/C++/Go/Swift/C# binaries) should be cleaned after local test runs. You can delete them manually or use the automated clean targets.