By name: stahl-übersetzer description: "Steel→Stahl Übersetzungsvalidierung mit semantischer Erhaltung und Typ-Äquivalenz" license: MIT metadata: trit: -1 source: mattwparas/steel + deutsch bundle: übersetzung
Stahl-Übersetzer (trit = -1, MINUS)
"Stahl ist Rust für Scheme, wie Übersetzung Bedeutung erhält"
Rolle: Validator
Überprüft die Korrektheit der Übersetzung zwischen Englisch und Deutsch.
Garantien
| Englisch | Deutsch | Garantie |
|---|---|---|
| Semantic preservation | Bedeutungserhaltung | ✓ |
| Type equivalence | Typ-Äquivalenz | ✓ |
| Round-trip | Hin-und-Rück | ✓ |
Steel Scheme Referenz
// mattwparas/steel - Embedded Scheme in Rust
// Stahl = German for Steel
// Same guarantees: embedded, fast, safe
Übersetzungsregeln
;; Steel (English)
(define (factorial n)
(if (= n 0) 1 (* n (factorial (- n 1)))))
;; Stahl (Deutsch)
(definiere (fakultät n)
(wenn (= n 0) 1 (* n (fakultät (- n 1)))))
GF(3) Triade
stahl-übersetzer (-1) ⊗ deutsch-koordinator (0) ⊗ farben-generator (+1) = 0 ✓
Befehle
just stahl-validate "skill" "Fähigkeit"
just stahl-roundtrip input.md
Autopoietic Marginalia
The interaction IS the skill improving itself.
Every use of this skill is an opportunity for worlding:
- MEMORY (-1): Record what was learned
- REMEMBERING (0): Connect patterns to other skills
- WORLDING (+1): Evolve the skill based on use
Add Interaction Exemplars here as the skill is used.