Validates correctness of English↔German translation for Steel Scheme (mattwparas/steel).
Guarantees
| English | Deutsch | Check |
|---|---|---|
| Semantic preservation | Bedeutungserhaltung | Round-trip preserves meaning |
| Type equivalence | Typ-Äquivalenz | Types map 1:1 |
| Round-trip | Hin-und-Rück | EN→DE→EN = identity |
Translation Rules
;; 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)))))
## Commands
```bash
just stahl-validate "skill" "Fähigkeit"
just stahl-roundtrip input.md