Rescue file from 10_Multi_Language_Runtimes/src/README.md
Browse files
11_Multi_Language_Runtimes_Yang/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 |
|
|
@@ -35,7 +35,6 @@ Ensure you have the appropriate toolchains installed for the languages you wish
|
|
| 35 |
| **Faust** | Faust compiler | `>= 2.0` | sound DSP compiler |
|
| 36 |
| **Assembly** | NASM Assembler / Linker | NASM `>= 2.15` | x86-64 NASM assembler |
|
| 37 |
| **WAT** | wabt (wat2wasm) / Wasmtime | Wasmtime `>= 1.0` | WebAssembly Text Compiler |
|
| 38 |
-
| **WebGL** | Modern Web Browser | WebGL 1.0 / 2.0 | Runs in browser (HTML/JS/GLSL) |
|
| 39 |
|
| 40 |
---
|
| 41 |
|
|
@@ -186,13 +185,6 @@ wat2wasm proof.wat -o proof.wasm
|
|
| 186 |
wasmtime proof.wasm
|
| 187 |
```
|
| 188 |
|
| 189 |
-
### 24. WebGL (Browser/Graphics)
|
| 190 |
-
```bash
|
| 191 |
-
cd webgl
|
| 192 |
-
# Open proof.html in any modern web browser
|
| 193 |
-
start proof.html
|
| 194 |
-
```
|
| 195 |
-
|
| 196 |
---
|
| 197 |
|
| 198 |
## ✅ Verification and Anchors
|
|
|
|
| 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 23 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 |
|
|
|
|
| 35 |
| **Faust** | Faust compiler | `>= 2.0` | sound DSP compiler |
|
| 36 |
| **Assembly** | NASM Assembler / Linker | NASM `>= 2.15` | x86-64 NASM assembler |
|
| 37 |
| **WAT** | wabt (wat2wasm) / Wasmtime | Wasmtime `>= 1.0` | WebAssembly Text Compiler |
|
|
|
|
| 38 |
|
| 39 |
---
|
| 40 |
|
|
|
|
| 185 |
wasmtime proof.wasm
|
| 186 |
```
|
| 187 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 188 |
---
|
| 189 |
|
| 190 |
## ✅ Verification and Anchors
|