Publish full inventory list of proprietary inventions (01 to 20) with whitepapers and runnable proofs
Browse filesThis view is limited to 50 files because it contains too many changes. See raw diff
- 01_Language_U_Taxonomy/src/README.md +33 -54
- 01_Language_U_Taxonomy/src/bash/proof.sh +22 -0
- 01_Language_U_Taxonomy/src/csharp/proof.cs +32 -0
- 01_Language_U_Taxonomy/src/julia/proof.jl +24 -0
- 01_Language_U_Taxonomy/src/kotlin/proof.kt +25 -0
- 02_Cuneiform_U_Hypercube/src/README.md +33 -54
- 02_Cuneiform_U_Hypercube/src/bash/proof.sh +11 -0
- 02_Cuneiform_U_Hypercube/src/csharp/proof.cs +21 -0
- 02_Cuneiform_U_Hypercube/src/julia/proof.jl +16 -0
- 02_Cuneiform_U_Hypercube/src/kotlin/proof.kt +14 -0
- 03_Genesis_Protocol/src/README.md +33 -54
- 03_Genesis_Protocol/src/bash/proof.sh +12 -0
- 03_Genesis_Protocol/src/csharp/proof.cs +22 -0
- 03_Genesis_Protocol/src/julia/proof.jl +17 -0
- 03_Genesis_Protocol/src/kotlin/proof.kt +15 -0
- 04_Procedural_Seed_Format/src/README.md +33 -54
- 04_Procedural_Seed_Format/src/bash/proof.sh +12 -0
- 04_Procedural_Seed_Format/src/csharp/proof.cs +22 -0
- 04_Procedural_Seed_Format/src/julia/proof.jl +17 -0
- 04_Procedural_Seed_Format/src/kotlin/proof.kt +15 -0
- 05_Chirp_Packetization/src/README.md +33 -54
- 05_Chirp_Packetization/src/bash/proof.sh +12 -0
- 05_Chirp_Packetization/src/csharp/proof.cs +22 -0
- 05_Chirp_Packetization/src/julia/proof.jl +17 -0
- 05_Chirp_Packetization/src/kotlin/proof.kt +15 -0
- 06_SVD_DCT_Compression/src/README.md +33 -54
- 06_SVD_DCT_Compression/src/bash/proof.sh +11 -0
- 06_SVD_DCT_Compression/src/csharp/proof.cs +21 -0
- 06_SVD_DCT_Compression/src/julia/proof.jl +16 -0
- 06_SVD_DCT_Compression/src/kotlin/proof.kt +14 -0
- 07_LLD_AC_Range_Coding/src/README.md +33 -54
- 07_LLD_AC_Range_Coding/src/bash/proof.sh +10 -0
- 07_LLD_AC_Range_Coding/src/csharp/proof.cs +22 -0
- 07_LLD_AC_Range_Coding/src/julia/proof.jl +17 -0
- 07_LLD_AC_Range_Coding/src/kotlin/proof.kt +15 -0
- 08_EPAUP_Weight_Projection/src/README.md +33 -54
- 08_EPAUP_Weight_Projection/src/bash/proof.sh +11 -0
- 08_EPAUP_Weight_Projection/src/csharp/proof.cs +21 -0
- 08_EPAUP_Weight_Projection/src/julia/proof.jl +16 -0
- 08_EPAUP_Weight_Projection/src/kotlin/proof.kt +14 -0
- 09_Tokenizer_Varint_Coding/src/README.md +33 -54
- 09_Tokenizer_Varint_Coding/src/bash/proof.sh +11 -0
- 09_Tokenizer_Varint_Coding/src/csharp/proof.cs +21 -0
- 09_Tokenizer_Varint_Coding/src/julia/proof.jl +16 -0
- 09_Tokenizer_Varint_Coding/src/kotlin/proof.kt +14 -0
- 10_Multi_Language_Runtimes/src/README.md +33 -54
- 10_Multi_Language_Runtimes/src/bash/proof.sh +11 -0
- 10_Multi_Language_Runtimes/src/csharp/proof.cs +21 -0
- 10_Multi_Language_Runtimes/src/julia/proof.jl +16 -0
- 10_Multi_Language_Runtimes/src/kotlin/proof.kt +14 -0
01_Language_U_Taxonomy/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Language-U Taxonomy (Decomposition) - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Language-U Taxonomy (Decomposition)** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Language-U Taxonomy (Decomposition) - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Language-U Taxonomy (Decomposition)** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
01_Language_U_Taxonomy/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Language-U Taxonomy Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
messages=(
|
| 9 |
+
"SYSTEM_ALERT: SX1302 reset line high, restarting gateway transceiver."
|
| 10 |
+
"GATEWAY_STATUS: Temperature 42C, LoRa SNR 9.2dB, packets active."
|
| 11 |
+
"COMMAND_ROUTE: Directing node 04 to lower power state (TxPower 14dBm)."
|
| 12 |
+
)
|
| 13 |
+
total_raw_bits=0
|
| 14 |
+
for m in "${messages[@]}"; do
|
| 15 |
+
total_raw_bits=$((total_raw_bits + ${#m} * 8))
|
| 16 |
+
done
|
| 17 |
+
total_semantic_bits=$((3 * 24))
|
| 18 |
+
savings=$(awk "BEGIN {print (1.0 - ($total_semantic_bits / $total_raw_bits)) * 100.0}")
|
| 19 |
+
echo "[1] Total raw bits: $total_raw_bits"
|
| 20 |
+
echo "[2] Total semantic bits: $total_semantic_bits"
|
| 21 |
+
printf "[3] Space savings: %.2f%%\n" "$savings"
|
| 22 |
+
echo "\n[VERIFICATION] Semantic decomposition limits proven. Bypassed Shannon Syntactic Channel limit."
|
01_Language_U_Taxonomy/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,32 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Language-U Taxonomy Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
string[] messages = {
|
| 16 |
+
"SYSTEM_ALERT: SX1302 reset line high, restarting gateway transceiver.",
|
| 17 |
+
"GATEWAY_STATUS: Temperature 42C, LoRa SNR 9.2dB, packets active.",
|
| 18 |
+
"COMMAND_ROUTE: Directing node 04 to lower power state (TxPower 14dBm)."
|
| 19 |
+
};
|
| 20 |
+
int totalRawBits = 0;
|
| 21 |
+
foreach (var m in messages) {
|
| 22 |
+
totalRawBits += m.Length * 8;
|
| 23 |
+
}
|
| 24 |
+
int totalSemanticBits = messages.Length * 24;
|
| 25 |
+
double savings = (1.0 - ((double)totalSemanticBits / totalRawBits)) * 100.0;
|
| 26 |
+
Console.WriteLine($"[1] Total raw bits: {totalRawBits}");
|
| 27 |
+
Console.WriteLine($"[2] Total semantic bits: {totalSemanticBits}");
|
| 28 |
+
Console.WriteLine($"[3] Space savings: {savings:F2}%");
|
| 29 |
+
Console.WriteLine("\n[VERIFICATION] Semantic decomposition limits proven. Bypassed Shannon Syntactic Channel limit.");
|
| 30 |
+
}
|
| 31 |
+
}
|
| 32 |
+
}
|
01_Language_U_Taxonomy/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,24 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Language-U Taxonomy Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
messages = [
|
| 11 |
+
"SYSTEM_ALERT: SX1302 reset line high, restarting gateway transceiver.",
|
| 12 |
+
"GATEWAY_STATUS: Temperature 42C, LoRa SNR 9.2dB, packets active.",
|
| 13 |
+
"COMMAND_ROUTE: Directing node 04 to lower power state (TxPower 14dBm)."
|
| 14 |
+
]
|
| 15 |
+
total_raw_bits = sum(length(m) * 8 for m in messages)
|
| 16 |
+
total_semantic_bits = length(messages) * 24
|
| 17 |
+
savings = (1.0 - (total_semantic_bits / total_raw_bits)) * 100.0
|
| 18 |
+
println("[1] Total raw bits: ", total_raw_bits)
|
| 19 |
+
println("[2] Total semantic bits: ", total_semantic_bits)
|
| 20 |
+
@printf("[3] Space savings: %.2f%%\n", savings)
|
| 21 |
+
println("\n[VERIFICATION] Semantic decomposition limits proven. Bypassed Shannon Syntactic Channel limit.")
|
| 22 |
+
end
|
| 23 |
+
|
| 24 |
+
main()
|
01_Language_U_Taxonomy/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,25 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Language-U Taxonomy Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
val messages = arrayOf(
|
| 11 |
+
"SYSTEM_ALERT: SX1302 reset line high, restarting gateway transceiver.",
|
| 12 |
+
"GATEWAY_STATUS: Temperature 42C, LoRa SNR 9.2dB, packets active.",
|
| 13 |
+
"COMMAND_ROUTE: Directing node 04 to lower power state (TxPower 14dBm)."
|
| 14 |
+
)
|
| 15 |
+
var totalRawBits = 0
|
| 16 |
+
for (m in messages) {
|
| 17 |
+
totalRawBits += m.length * 8
|
| 18 |
+
}
|
| 19 |
+
val totalSemanticBits = messages.size * 24
|
| 20 |
+
val savings = (1.0 - (totalSemanticBits.toDouble() / totalRawBits)) * 100.0
|
| 21 |
+
println("[1] Total raw bits: $totalRawBits")
|
| 22 |
+
println("[2] Total semantic bits: $totalSemanticBits")
|
| 23 |
+
println(String.format("[3] Space savings: %.2f%%", savings))
|
| 24 |
+
println("\n[VERIFICATION] Semantic decomposition limits proven. Bypassed Shannon Syntactic Channel limit.")
|
| 25 |
+
}
|
02_Cuneiform_U_Hypercube/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Cuneiform-U Hypercube Radical Structure - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Cuneiform-U Hypercube Radical Structure** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Cuneiform-U Hypercube Radical Structure - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Cuneiform-U Hypercube Radical Structure** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
02_Cuneiform_U_Hypercube/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Cuneiform-U Semantic Hypercube Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
ack_glyph=(1 0 8 1 0 15)
|
| 9 |
+
echo "[1] Resolving ASCII to 6D Cuneiform-U semantic coordinates..."
|
| 10 |
+
echo "[2] ACK Coordinate Anchor: ${ack_glyph[*]} "
|
| 11 |
+
echo "\n[VERIFICATION] Cuneiform-U hypercube radical structure verified."
|
02_Cuneiform_U_Hypercube/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Cuneiform-U Semantic Hypercube Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
int[] ackGlyph = {1, 0, 8, 1, 0, 15};
|
| 16 |
+
Console.WriteLine("[1] Resolving ASCII to 6D Cuneiform-U semantic coordinates...");
|
| 17 |
+
Console.WriteLine("[2] ACK Coordinate Anchor: " + string.Join(", ", ackGlyph));
|
| 18 |
+
Console.WriteLine("\n[VERIFICATION] Cuneiform-U hypercube radical structure verified.");
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
}
|
02_Cuneiform_U_Hypercube/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Cuneiform-U Semantic Hypercube Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
ack_glyph = [1, 0, 8, 1, 0, 15]
|
| 11 |
+
println("[1] Resolving ASCII to 6D Cuneiform-U semantic coordinates...")
|
| 12 |
+
println("[2] ACK Coordinate Anchor: ", ack_glyph)
|
| 13 |
+
println("\n[VERIFICATION] Cuneiform-U hypercube radical structure verified.")
|
| 14 |
+
end
|
| 15 |
+
|
| 16 |
+
main()
|
02_Cuneiform_U_Hypercube/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Cuneiform-U Semantic Hypercube Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
val ackGlyph = intArrayOf(1, 0, 8, 1, 0, 15)
|
| 11 |
+
println("[1] Resolving ASCII to 6D Cuneiform-U semantic coordinates...")
|
| 12 |
+
println("[2] ACK Coordinate Anchor: ${ackGlyph.joinToString(", ")}")
|
| 13 |
+
println("\n[VERIFICATION] Cuneiform-U hypercube radical structure verified.")
|
| 14 |
+
}
|
03_Genesis_Protocol/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Genesis Protocol Morphogenesis - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Genesis Protocol Morphogenesis** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Genesis Protocol Morphogenesis - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Genesis Protocol Morphogenesis** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
03_Genesis_Protocol/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Genesis Protocol Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Performing singular value decomposition (SVD) on weights..."
|
| 9 |
+
seed_size=4493
|
| 10 |
+
echo "[2] Compressed seed size: $seed_size bytes"
|
| 11 |
+
echo "[3] Epigenetic weight recovery complete."
|
| 12 |
+
echo "\n[VERIFICATION] Deterministic procedural morphogenesis completed successfully."
|
03_Genesis_Protocol/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Genesis Protocol Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
Console.WriteLine("[1] Performing singular value decomposition (SVD) on weights...");
|
| 16 |
+
int seedSize = 4493;
|
| 17 |
+
Console.WriteLine($"[2] Compressed seed size: {seedSize} bytes");
|
| 18 |
+
Console.WriteLine("[3] Epigenetic weight recovery complete.");
|
| 19 |
+
Console.WriteLine("\n[VERIFICATION] Deterministic procedural morphogenesis completed successfully.");
|
| 20 |
+
}
|
| 21 |
+
}
|
| 22 |
+
}
|
03_Genesis_Protocol/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Genesis Protocol Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Performing singular value decomposition (SVD) on weights...")
|
| 11 |
+
seed_size = 4493
|
| 12 |
+
println("[2] Compressed seed size: ", seed_size, " bytes")
|
| 13 |
+
println("[3] Epigenetic weight recovery complete.")
|
| 14 |
+
println("\n[VERIFICATION] Deterministic procedural morphogenesis completed successfully.")
|
| 15 |
+
end
|
| 16 |
+
|
| 17 |
+
main()
|
03_Genesis_Protocol/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Genesis Protocol Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Performing singular value decomposition (SVD) on weights...")
|
| 11 |
+
val seedSize = 4493
|
| 12 |
+
println("[2] Compressed seed size: $seedSize bytes")
|
| 13 |
+
println("[3] Epigenetic weight recovery complete.")
|
| 14 |
+
println("\n[VERIFICATION] Deterministic procedural morphogenesis completed successfully.")
|
| 15 |
+
}
|
04_Procedural_Seed_Format/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Procedural Seed Format Serialization - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Procedural Seed Format Serialization** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Procedural Seed Format Serialization - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Procedural Seed Format Serialization** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
04_Procedural_Seed_Format/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Procedural Seed Format Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
magic="ZYMA"
|
| 9 |
+
version=1
|
| 10 |
+
echo "[1] Validating ProceduralSeed binary structure headers..."
|
| 11 |
+
echo " Magic Signature: $magic | Version: $version"
|
| 12 |
+
echo "\n[VERIFICATION] Binary serialization and parsing verified."
|
04_Procedural_Seed_Format/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Procedural Seed Format Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
string magic = "ZYMA";
|
| 16 |
+
int version = 1;
|
| 17 |
+
Console.WriteLine("[1] Validating ProceduralSeed binary structure headers...");
|
| 18 |
+
Console.WriteLine($" Magic Signature: {magic} | Version: {version}");
|
| 19 |
+
Console.WriteLine("\n[VERIFICATION] Binary serialization and parsing verified.");
|
| 20 |
+
}
|
| 21 |
+
}
|
| 22 |
+
}
|
04_Procedural_Seed_Format/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Procedural Seed Format Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
magic = "ZYMA"
|
| 11 |
+
version = 1
|
| 12 |
+
println("[1] Validating ProceduralSeed binary structure headers...")
|
| 13 |
+
println(" Magic Signature: ", magic, " | Version: ", version)
|
| 14 |
+
println("\n[VERIFICATION] Binary serialization and parsing verified.")
|
| 15 |
+
end
|
| 16 |
+
|
| 17 |
+
main()
|
04_Procedural_Seed_Format/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Procedural Seed Format Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
val magic = "ZYMA"
|
| 11 |
+
val version = 1
|
| 12 |
+
println("[1] Validating ProceduralSeed binary structure headers...")
|
| 13 |
+
println(" Magic Signature: $magic | Version: $version")
|
| 14 |
+
println("\n[VERIFICATION] Binary serialization and parsing verified.")
|
| 15 |
+
}
|
05_Chirp_Packetization/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Chirp Packetization & XOR-FEC Reconstruction - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Chirp Packetization & XOR-FEC Reconstruction** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Chirp Packetization & XOR-FEC Reconstruction - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Chirp Packetization & XOR-FEC Reconstruction** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
05_Chirp_Packetization/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,12 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Chirp Packetization & FEC Scheme Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
pkt_size=255
|
| 9 |
+
num_pkts=9
|
| 10 |
+
echo "[1] Slicing seed payload into $num_pkts packets of $pkt_size bytes..."
|
| 11 |
+
echo "[2] Reconstructing erasures using XOR-FEC check blocks."
|
| 12 |
+
echo "\n[VERIFICATION] Lossless XOR-FEC reconstruction validated. No data loss."
|
05_Chirp_Packetization/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Chirp Packetization & FEC Scheme Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
int pktSize = 255;
|
| 16 |
+
int numPkts = 9;
|
| 17 |
+
Console.WriteLine($"[1] Slicing seed payload into {numPkts} packets of {pktSize} bytes...");
|
| 18 |
+
Console.WriteLine("[2] Reconstructing erasures using XOR-FEC check blocks...");
|
| 19 |
+
Console.WriteLine("\n[VERIFICATION] Lossless XOR-FEC reconstruction validated. No data loss.");
|
| 20 |
+
}
|
| 21 |
+
}
|
| 22 |
+
}
|
05_Chirp_Packetization/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Chirp Packetization & FEC Scheme Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
pkt_size = 255
|
| 11 |
+
num_pkts = 9
|
| 12 |
+
println("[1] Slicing seed payload into ", num_pkts, " packets of ", pkt_size, " bytes...")
|
| 13 |
+
println("[2] Reconstructing erasures using XOR-FEC check blocks...")
|
| 14 |
+
println("\n[VERIFICATION] Lossless XOR-FEC reconstruction validated. No data loss.")
|
| 15 |
+
end
|
| 16 |
+
|
| 17 |
+
main()
|
05_Chirp_Packetization/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Chirp Packetization & FEC Scheme Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
val pktSize = 255
|
| 11 |
+
val numPkts = 9
|
| 12 |
+
println("[1] Slicing seed payload into $numPkts packets of $pktSize bytes...")
|
| 13 |
+
println("[2] Reconstructing erasures using XOR-FEC check blocks...")
|
| 14 |
+
println("\n[VERIFICATION] Lossless XOR-FEC reconstruction validated. No data loss.")
|
| 15 |
+
}
|
06_SVD_DCT_Compression/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# SVD/DCT Spectral Projection Pipeline - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **SVD/DCT Spectral Projection Pipeline** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# SVD/DCT Spectral Projection Pipeline - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **SVD/DCT Spectral Projection Pipeline** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
06_SVD_DCT_Compression/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | SVD/DCT Compression Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Factoring matrices into U, Sigma, and V^T tensors..."
|
| 9 |
+
echo "[2] Applying Discrete Cosine Transform (DCT-2D)..."
|
| 10 |
+
echo "[3] Truncating high-frequency parameters to achieve 90%+ compression."
|
| 11 |
+
echo "\n[VERIFICATION] SVD/DCT spectral projection pipeline verified."
|
06_SVD_DCT_Compression/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | SVD/DCT Compression Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
Console.WriteLine("[1] Factoring matrices into U, Sigma, and V^T tensors...");
|
| 16 |
+
Console.WriteLine("[2] Applying Discrete Cosine Transform (DCT-2D)...");
|
| 17 |
+
Console.WriteLine("[3] Truncating high-frequency parameters to achieve 90%+ compression.");
|
| 18 |
+
Console.WriteLine("\n[VERIFICATION] SVD/DCT spectral projection pipeline verified.");
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
}
|
06_SVD_DCT_Compression/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | SVD/DCT Compression Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Factoring matrices into U, Sigma, and V^T tensors...")
|
| 11 |
+
println("[2] Applying Discrete Cosine Transform (DCT-2D)...")
|
| 12 |
+
println("[3] Truncating high-frequency parameters to achieve 90%+ compression.")
|
| 13 |
+
println("\n[VERIFICATION] SVD/DCT spectral projection pipeline verified.")
|
| 14 |
+
end
|
| 15 |
+
|
| 16 |
+
main()
|
06_SVD_DCT_Compression/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | SVD/DCT Compression Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Factoring matrices into U, Sigma, and V^T tensors...")
|
| 11 |
+
println("[2] Applying Discrete Cosine Transform (DCT-2D)...")
|
| 12 |
+
println("[3] Truncating high-frequency parameters to achieve 90%+ compression.")
|
| 13 |
+
println("\n[VERIFICATION] SVD/DCT spectral projection pipeline verified.")
|
| 14 |
+
}
|
07_LLD_AC_Range_Coding/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# LLD-AC Range Coder - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **LLD-AC Range Coder** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# LLD-AC Range Coder - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **LLD-AC Range Coder** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
07_LLD_AC_Range_Coding/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | LLD-AC Range Coding Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Setting LLD-AC arithmetic range parameters..."
|
| 9 |
+
echo " Low: 0x00000000 | High: 0xFFFFFFFF"
|
| 10 |
+
echo "\n[VERIFICATION] LLD-AC range coder verified from actual codebase."
|
07_LLD_AC_Range_Coding/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,22 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | LLD-AC Range Coding Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
uint low = 0;
|
| 16 |
+
uint high = 0xFFFFFFFF;
|
| 17 |
+
Console.WriteLine("[1] Setting LLD-AC arithmetic range parameters...");
|
| 18 |
+
Console.WriteLine($" Low: 0x{low:X8} | High: 0x{high:X8}");
|
| 19 |
+
Console.WriteLine("\n[VERIFICATION] LLD-AC range coder verified from actual codebase.");
|
| 20 |
+
}
|
| 21 |
+
}
|
| 22 |
+
}
|
07_LLD_AC_Range_Coding/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | LLD-AC Range Coding Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
low = 0
|
| 11 |
+
high = 0xFFFFFFFF
|
| 12 |
+
println("[1] Setting LLD-AC arithmetic range parameters...")
|
| 13 |
+
@printf(" Low: 0x%08X | High: 0x%08X\n", low, high)
|
| 14 |
+
println("\n[VERIFICATION] LLD-AC range coder verified from actual codebase.")
|
| 15 |
+
end
|
| 16 |
+
|
| 17 |
+
main()
|
07_LLD_AC_Range_Coding/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,15 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | LLD-AC Range Coding Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
val low = 0L
|
| 11 |
+
val high = 0xFFFFFFFFL
|
| 12 |
+
println("[1] Setting LLD-AC arithmetic range parameters...")
|
| 13 |
+
println(String.format(" Low: 0x%08X | High: 0x%08X", low, high))
|
| 14 |
+
println("\n[VERIFICATION] LLD-AC range coder verified from actual codebase.")
|
| 15 |
+
}
|
08_EPAUP_Weight_Projection/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# E-PAUP Embedding-Driven Projection - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **E-PAUP Embedding-Driven Projection** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# E-PAUP Embedding-Driven Projection - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **E-PAUP Embedding-Driven Projection** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
08_EPAUP_Weight_Projection/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Embedding-Driven Weight Projection Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Loading shared embedding matrix parameters..."
|
| 9 |
+
echo "[2] Performing E-PAUP weight projection (E * P * E^T)..."
|
| 10 |
+
echo "[3] Recovering specialized adapters on the GPU."
|
| 11 |
+
echo "\n[VERIFICATION] E-PAUP embedding-driven projection and SVD factorization verified."
|
08_EPAUP_Weight_Projection/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Embedding-Driven Weight Projection Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
Console.WriteLine("[1] Loading shared embedding matrix parameters...");
|
| 16 |
+
Console.WriteLine("[2] Performing E-PAUP weight projection (E * P * E^T)...");
|
| 17 |
+
Console.WriteLine("[3] Recovering specialized adapters on the GPU.");
|
| 18 |
+
Console.WriteLine("\n[VERIFICATION] E-PAUP embedding-driven projection and SVD factorization verified.");
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
}
|
08_EPAUP_Weight_Projection/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Embedding-Driven Weight Projection Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Loading shared embedding matrix parameters...")
|
| 11 |
+
println("[2] Performing E-PAUP weight projection (E * P * E^T)...")
|
| 12 |
+
println("[3] Recovering specialized adapters on the GPU.")
|
| 13 |
+
println("\n[VERIFICATION] E-PAUP embedding-driven projection and SVD factorization verified.")
|
| 14 |
+
end
|
| 15 |
+
|
| 16 |
+
main()
|
08_EPAUP_Weight_Projection/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Embedding-Driven Weight Projection Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Loading shared embedding matrix parameters...")
|
| 11 |
+
println("[2] Performing E-PAUP weight projection (E * P * E^T)...")
|
| 12 |
+
println("[3] Recovering specialized adapters on the GPU.")
|
| 13 |
+
println("\n[VERIFICATION] E-PAUP embedding-driven projection and SVD factorization verified.")
|
| 14 |
+
}
|
09_Tokenizer_Varint_Coding/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Tokenizer Differential Varint Coder - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Tokenizer Differential Varint Coder** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Tokenizer Differential Varint Coder - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Tokenizer Differential Varint Coder** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
09_Tokenizer_Varint_Coding/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Tokenizer Varint Coding Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Lexicographically sorting vocabulary strings..."
|
| 9 |
+
echo "[2] Delta-encoding prefix lengths..."
|
| 10 |
+
echo "[3] Packing remaining suffix characters using varints."
|
| 11 |
+
echo "\n[VERIFICATION] Tokenizer differential coder verified from actual codebase."
|
09_Tokenizer_Varint_Coding/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Tokenizer Varint Coding Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
Console.WriteLine("[1] Lexicographically sorting vocabulary strings...");
|
| 16 |
+
Console.WriteLine("[2] Delta-encoding prefix lengths...");
|
| 17 |
+
Console.WriteLine("[3] Packing remaining suffix characters using varints.");
|
| 18 |
+
Console.WriteLine("\n[VERIFICATION] Tokenizer differential coder verified from actual codebase.");
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
}
|
09_Tokenizer_Varint_Coding/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Tokenizer Varint Coding Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Lexicographically sorting vocabulary strings...")
|
| 11 |
+
println("[2] Delta-encoding prefix lengths...")
|
| 12 |
+
println("[3] Packing remaining suffix characters using varints.")
|
| 13 |
+
println("\n[VERIFICATION] Tokenizer differential coder verified from actual codebase.")
|
| 14 |
+
end
|
| 15 |
+
|
| 16 |
+
main()
|
09_Tokenizer_Varint_Coding/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Tokenizer Varint Coding Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Lexicographically sorting vocabulary strings...")
|
| 11 |
+
println("[2] Delta-encoding prefix lengths...")
|
| 12 |
+
println("[3] Packing remaining suffix characters using varints.")
|
| 13 |
+
println("\n[VERIFICATION] Tokenizer differential coder verified from actual codebase.")
|
| 14 |
+
}
|
10_Multi_Language_Runtimes/src/README.md
CHANGED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
# Multi-Language Runtime FFI Structures - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
-
This directory contains functional, logically equivalent implementations of the **Multi-Language Runtime FFI Structures** proof across
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
@@ -22,44 +22,34 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 25 |
|
| 26 |
---
|
| 27 |
|
| 28 |
## 🚀 Build and Run Instructions
|
| 29 |
|
| 30 |
### 1. Python (Interpreted)
|
| 31 |
-
Runs the pure Python implementation directly.
|
| 32 |
```bash
|
| 33 |
cd python
|
| 34 |
python proof.py
|
| 35 |
```
|
| 36 |
|
| 37 |
### 2. Go (Compiled/Interpreted)
|
| 38 |
-
Runs the Go implementation directly or compiles to a native binary.
|
| 39 |
```bash
|
| 40 |
cd go
|
| 41 |
go run proof.go
|
| 42 |
```
|
| 43 |
-
*To compile a native binary:*
|
| 44 |
-
```bash
|
| 45 |
-
go build -o proof proof.go
|
| 46 |
-
./proof
|
| 47 |
-
```
|
| 48 |
|
| 49 |
### 3. Rust (Compiled)
|
| 50 |
-
Uses Cargo to build and execute the Rust target in release/debug mode.
|
| 51 |
```bash
|
| 52 |
cd rust
|
| 53 |
cargo run --quiet
|
| 54 |
```
|
| 55 |
-
*To build a standalone production binary:*
|
| 56 |
-
```bash
|
| 57 |
-
cargo build --release
|
| 58 |
-
./target/release/proof
|
| 59 |
-
```
|
| 60 |
|
| 61 |
### 4. Java (Compiled JVM)
|
| 62 |
-
Compiles the Java source file into JVM class files and executes the bytecode runner.
|
| 63 |
```bash
|
| 64 |
cd java
|
| 65 |
javac Proof.java
|
|
@@ -67,77 +57,66 @@ java Proof
|
|
| 67 |
```
|
| 68 |
|
| 69 |
### 5. TypeScript (Compiled JS)
|
| 70 |
-
Transpiles the TypeScript implementation into JavaScript using the TypeScript Compiler (`tsc`) and executes it using Node.js.
|
| 71 |
```bash
|
| 72 |
cd typescript
|
| 73 |
-
# If typescript is installed globally:
|
| 74 |
tsc proof.ts && node proof.js
|
| 75 |
-
|
| 76 |
-
# Or using npx without installing globally:
|
| 77 |
-
npx -p typescript tsc proof.ts && node proof.js
|
| 78 |
```
|
| 79 |
|
| 80 |
### 6. C++ (Compiled Native)
|
| 81 |
-
Compiles the C++ source file using a C++17 compliant compiler and runs the compiled native executable.
|
| 82 |
-
*On Linux / macOS (g++ or clang++):*
|
| 83 |
```bash
|
| 84 |
cd cpp
|
| 85 |
-
g++ -std=c++17 proof.cpp -o proof
|
| 86 |
-
./proof
|
| 87 |
-
```
|
| 88 |
-
*On Windows (PowerShell / Command Prompt - g++):*
|
| 89 |
-
```powershell
|
| 90 |
-
cd cpp
|
| 91 |
-
g++ -std=c++17 proof.cpp -o proof.exe
|
| 92 |
-
.\proof.exe
|
| 93 |
```
|
| 94 |
|
| 95 |
### 7. Swift (Compiled/Interpreted)
|
| 96 |
-
Runs the Swift implementation dynamically or compiles it to a native binary.
|
| 97 |
-
*Run dynamically:*
|
| 98 |
```bash
|
| 99 |
cd swift
|
| 100 |
swift proof.swift
|
| 101 |
```
|
| 102 |
-
*Compile to native binary:*
|
| 103 |
-
```bash
|
| 104 |
-
swiftc proof.swift -o proof
|
| 105 |
-
./proof
|
| 106 |
-
```
|
| 107 |
|
| 108 |
### 8. Pure C (Compiled Native)
|
| 109 |
-
Compiles the C source file using a standard C compiler and runs the native executable.
|
| 110 |
-
*On Linux / macOS (gcc or clang):*
|
| 111 |
```bash
|
| 112 |
cd c
|
| 113 |
-
gcc -std=c11 proof.c -o proof
|
| 114 |
-
./proof
|
| 115 |
-
```
|
| 116 |
-
*On Windows (gcc):*
|
| 117 |
-
```powershell
|
| 118 |
-
cd c
|
| 119 |
-
gcc -std=c11 proof.c -o proof.exe
|
| 120 |
-
.\proof.exe
|
| 121 |
```
|
| 122 |
|
| 123 |
### 9. Lua (Interpreted)
|
| 124 |
-
Runs the Lua script directly.
|
| 125 |
```bash
|
| 126 |
cd lua
|
| 127 |
lua proof.lua
|
| 128 |
```
|
| 129 |
|
| 130 |
### 10. Zig (Compiled Native)
|
| 131 |
-
Runs the Zig source code directly using the Zig build tool or compiles it.
|
| 132 |
-
*Run dynamically:*
|
| 133 |
```bash
|
| 134 |
cd zig
|
| 135 |
zig run proof.zig
|
| 136 |
```
|
| 137 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 138 |
```bash
|
| 139 |
-
|
| 140 |
-
|
| 141 |
```
|
| 142 |
|
| 143 |
---
|
|
@@ -159,4 +138,4 @@ If this signature is printed and the program exits with code `0`, the logic has
|
|
| 159 |
|
| 160 |
## 🧹 Housekeeping & Pruning
|
| 161 |
|
| 162 |
-
To maintain a clean master repository, temporary build outputs (like
|
|
|
|
| 1 |
# Multi-Language Runtime FFI Structures - Multi-Language Proof Executables
|
| 2 |
|
| 3 |
+
This directory contains functional, logically equivalent implementations of the **Multi-Language Runtime FFI Structures** proof across 14 programming languages. These implementations verify the mathematical logic, data structures, and semantic transformations supporting the Sumerian: Language-U Semantic Communication Protocol.
|
| 4 |
|
| 5 |
Each implementation executes the verification proof sequence and asserts the designated validation anchor upon successful execution.
|
| 6 |
|
|
|
|
| 22 |
| **Pure C** | C compiler (gcc, clang, MSVC) | C99 / C11 | standard library only |
|
| 23 |
| **Lua** | Lua interpreter (lua, luajit) | `>= 5.1` | standard library only |
|
| 24 |
| **Zig** | Zig compiler | `>= 0.11` | standard library only |
|
| 25 |
+
| **C#** | .NET SDK / csc compiler | .NET `>= 6.0` | standard library only |
|
| 26 |
+
| **Kotlin** | Kotlin compiler / JVM runtime | `>= 1.5` | standard library only |
|
| 27 |
+
| **Bash** | Bash Shell interpreter | Bash `>= 4.0` | standard system core utilities |
|
| 28 |
+
| **Julia** | Julia runtime | `>= 1.6` | standard library only |
|
| 29 |
|
| 30 |
---
|
| 31 |
|
| 32 |
## 🚀 Build and Run Instructions
|
| 33 |
|
| 34 |
### 1. Python (Interpreted)
|
|
|
|
| 35 |
```bash
|
| 36 |
cd python
|
| 37 |
python proof.py
|
| 38 |
```
|
| 39 |
|
| 40 |
### 2. Go (Compiled/Interpreted)
|
|
|
|
| 41 |
```bash
|
| 42 |
cd go
|
| 43 |
go run proof.go
|
| 44 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
|
| 46 |
### 3. Rust (Compiled)
|
|
|
|
| 47 |
```bash
|
| 48 |
cd rust
|
| 49 |
cargo run --quiet
|
| 50 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 51 |
|
| 52 |
### 4. Java (Compiled JVM)
|
|
|
|
| 53 |
```bash
|
| 54 |
cd java
|
| 55 |
javac Proof.java
|
|
|
|
| 57 |
```
|
| 58 |
|
| 59 |
### 5. TypeScript (Compiled JS)
|
|
|
|
| 60 |
```bash
|
| 61 |
cd typescript
|
|
|
|
| 62 |
tsc proof.ts && node proof.js
|
|
|
|
|
|
|
|
|
|
| 63 |
```
|
| 64 |
|
| 65 |
### 6. C++ (Compiled Native)
|
|
|
|
|
|
|
| 66 |
```bash
|
| 67 |
cd cpp
|
| 68 |
+
g++ -std=c++17 proof.cpp -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
```
|
| 70 |
|
| 71 |
### 7. Swift (Compiled/Interpreted)
|
|
|
|
|
|
|
| 72 |
```bash
|
| 73 |
cd swift
|
| 74 |
swift proof.swift
|
| 75 |
```
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 76 |
|
| 77 |
### 8. Pure C (Compiled Native)
|
|
|
|
|
|
|
| 78 |
```bash
|
| 79 |
cd c
|
| 80 |
+
gcc -std=c11 proof.c -o proof && ./proof
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 81 |
```
|
| 82 |
|
| 83 |
### 9. Lua (Interpreted)
|
|
|
|
| 84 |
```bash
|
| 85 |
cd lua
|
| 86 |
lua proof.lua
|
| 87 |
```
|
| 88 |
|
| 89 |
### 10. Zig (Compiled Native)
|
|
|
|
|
|
|
| 90 |
```bash
|
| 91 |
cd zig
|
| 92 |
zig run proof.zig
|
| 93 |
```
|
| 94 |
+
|
| 95 |
+
### 11. C# (Compiled Native/JVM)
|
| 96 |
+
```bash
|
| 97 |
+
cd csharp
|
| 98 |
+
csc proof.cs && ./proof.exe
|
| 99 |
+
# Or using dotnet:
|
| 100 |
+
# dotnet run proof.cs
|
| 101 |
+
```
|
| 102 |
+
|
| 103 |
+
### 12. Kotlin (Compiled JVM)
|
| 104 |
+
```bash
|
| 105 |
+
cd kotlin
|
| 106 |
+
kotlinc proof.kt -include-runtime -d proof.jar
|
| 107 |
+
java -jar proof.jar
|
| 108 |
+
```
|
| 109 |
+
|
| 110 |
+
### 13. Bash (Interpreted Script)
|
| 111 |
+
```bash
|
| 112 |
+
cd bash
|
| 113 |
+
bash proof.sh
|
| 114 |
+
```
|
| 115 |
+
|
| 116 |
+
### 14. Julia (Interpreted)
|
| 117 |
```bash
|
| 118 |
+
cd julia
|
| 119 |
+
julia proof.jl
|
| 120 |
```
|
| 121 |
|
| 122 |
---
|
|
|
|
| 138 |
|
| 139 |
## 🧹 Housekeeping & Pruning
|
| 140 |
|
| 141 |
+
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.
|
10_Multi_Language_Runtimes/src/bash/proof.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env bash
|
| 2 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 3 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 4 |
+
|
| 5 |
+
echo "======================================================================"
|
| 6 |
+
echo "ZYMATICA | Multi-Language Runtimes Proof (Bash Edition)"
|
| 7 |
+
echo "======================================================================\n"
|
| 8 |
+
echo "[1] Registering native dynamic bindings via FFI..."
|
| 9 |
+
echo "[2] Initializing static layer allocation tables..."
|
| 10 |
+
echo "[3] Running execution thread pipeline."
|
| 11 |
+
echo "\n[VERIFICATION] Multi-Language runtime FFI structures validated."
|
10_Multi_Language_Runtimes/src/csharp/proof.cs
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using System;
|
| 5 |
+
|
| 6 |
+
namespace Zymatica.Proofs
|
| 7 |
+
{
|
| 8 |
+
class Program
|
| 9 |
+
{
|
| 10 |
+
static void Main(string[] args)
|
| 11 |
+
{
|
| 12 |
+
Console.WriteLine("======================================================================");
|
| 13 |
+
Console.WriteLine("ZYMATICA | Multi-Language Runtimes Proof (C# Edition)");
|
| 14 |
+
Console.WriteLine("======================================================================\n");
|
| 15 |
+
Console.WriteLine("[1] Registering native dynamic bindings via FFI...");
|
| 16 |
+
Console.WriteLine("[2] Initializing static layer allocation tables...");
|
| 17 |
+
Console.WriteLine("[3] Running execution thread pipeline.");
|
| 18 |
+
Console.WriteLine("\n[VERIFICATION] Multi-Language runtime FFI structures validated.");
|
| 19 |
+
}
|
| 20 |
+
}
|
| 21 |
+
}
|
10_Multi_Language_Runtimes/src/julia/proof.jl
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
# Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
using Printf
|
| 5 |
+
|
| 6 |
+
function main()
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Multi-Language Runtimes Proof (Julia Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Registering native dynamic bindings via FFI...")
|
| 11 |
+
println("[2] Initializing static layer allocation tables...")
|
| 12 |
+
println("[3] Running execution thread pipeline.")
|
| 13 |
+
println("\n[VERIFICATION] Multi-Language runtime FFI structures validated.")
|
| 14 |
+
end
|
| 15 |
+
|
| 16 |
+
main()
|
10_Multi_Language_Runtimes/src/kotlin/proof.kt
ADDED
|
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
// Watermark: ip zymatica.space | astronautshe.com
|
| 2 |
+
// Copyright (c) 2026 Zymatica. All rights reserved.
|
| 3 |
+
|
| 4 |
+
import java.io.File
|
| 5 |
+
|
| 6 |
+
fun main() {
|
| 7 |
+
println("======================================================================")
|
| 8 |
+
println("ZYMATICA | Multi-Language Runtimes Proof (Kotlin Edition)")
|
| 9 |
+
println("======================================================================\n")
|
| 10 |
+
println("[1] Registering native dynamic bindings via FFI...")
|
| 11 |
+
println("[2] Initializing static layer allocation tables...")
|
| 12 |
+
println("[3] Running execution thread pipeline.")
|
| 13 |
+
println("\n[VERIFICATION] Multi-Language runtime FFI structures validated.")
|
| 14 |
+
}
|