ENVIRONMENT LAYER
Lispex
An independent deterministic Lisp. Lispex Vouch runs on its checked subset, and the language is one of Lena Code’s inputs.
Launch status: a paid plan raises daily conversion limits and nothing else. Registered direct-adapter implementation and semantic-verified output evidence are reported separately; exact-text regression never establishes semantic verification. Attemptable routes fail closed with explicit gaps.
Source constructs read correctly1455 / 1666
Internal roundtrip verifiedE3 1,999 / 2,249
Architecture2n shared engine, not n² pairs
Tracked languages30
§ 00 · Deterministic code translation platform
n2pairwise generators
Lena Engine
2nlanguage adapters
n² becomes 2n.
Lena Code routes every language through one deterministic engine instead of building isolated pairwise translators. Every construct is verified before translation.
§ 02 · pipeline
How each language reaches verified translation
Each language is harvested, marinated into one shared base, and reduced to only its verified structure. From that base it can be plated for a target language and served — the output line is just opening.
ingredient intake
01
harvest
Take in source code from any supported language, however it is written.
shared base
02
marinate
Each language structure is steeped into one shared base.
verified only
03
reduce
Only verified structure is reduced into that shared base.
target line
04
plate
The verified base can be plated for a target language — a line that is just opening.
delivery
05
serve
Deliver the finished result, with its verification evidence attached.
Chef route
One kitchen coordinates every station. A stage only becomes public when the evidence can follow it all the way to the table.
1,455/ 1,666 verified
Source constructs read into the engine
verified 1,455Not yet verified 211
1,999/ 2,249 verified
Internal roundtrip verified
E0-U 250Target-runtime evidence (Node VM) · 24 cells · weighted 11 · not additive · mapped to this denominator 0
Internal Facet interpreter execution evidence, not the target language runtime. Denominator 2249. Internal Facet interpreter verified 1999. Canonical match 0. Independent text match 0. Proven self-referential 0. Provenance unknown or unproven 250. 18 cells structurally inapplicable outside the partition. Auxiliary target-runtime evidence 24 cells weighted 11, not combined.
2n
2n shared adapters instead of n² translators
30
30 tracked languages, JS and TS counted separately
Privacy posture
Ephemeral source handling
Submitted source is processed for the request lifecycle only. Generated results may be cached briefly for rehydration; source bodies are not persisted.
See Privacy Policy §4.1 for AI provider boundarySubmitted source not persisted
Source code is handled only during the request lifecycle in Lena Code infrastructure.
Generated results cache only
Short-window hash-keyed cache stores AI-generated output, not source bodies.
Provider boundary disclosed
Redacted requests go to model providers under their own data terms.
§ 03 · Language verification matrix
Reading and execution status, language by language
Read verified · Internal roundtrip verified
Loading public measurement…
JavaScript
JavaScript
Read verifiedNot measured
E3 107/120 · E0-U 13
TypeScript
TypeScript
Read verifiedNot measured
E3 85/95 · E0-U 10
Python
Python
Read verifiedNot measured
E3 88/99 · E0-U 11
C++
C++
Read verifiedNot measured
E3 70/81 · E0-U 11
Java
Java
Read verifiedNot measured
E3 67/77 · E0-U 10
Rust
Rust
Read verifiedNot measured
E3 63/78 · E0-U 15
C#
C#
Read verifiedNot measured
E3 87/100 · E0-U 13
Go
Go
Read verifiedNot measured
E3 61/76 · E0-U 15
PHP
PHP
Read verifiedNot measured
E3 80/85 · E0-U 5
C
C
Read verifiedNot measured
E3 47/52 · E0-U 5
Kotlin
Kotlin
Read verifiedNot measured
E3 76/84 · E0-U 8
Swift
Swift
Read verifiedNot measured
E3 81/93 · E0-U 12
Ruby
Ruby
Read verifiedNot measured
E3 76/80 · E0-U 4
Dart
Dart
Read verifiedNot measured
E3 90/100 · E0-U 10
R
R
Read verifiedNot measured
E3 45/45 · E0-U 0
Scala
Scala
Read verifiedNot measured
E3 71/81 · E0-U 10
Objective-C
Objective-C
Read verifiedNot measured
E3 64/71 · E0-U 7
Lua
Lua
Read verifiedNot measured
E3 47/50 · E0-U 3
Solidity
Solidity
Read verifiedNot measured
E3 50/60 · E0-U 10
Julia
Julia
Read verifiedNot measured
E3 82/90 · E0-U 8
Haskell
Haskell
Read verifiedNot measured
E3 52/60 · E0-U 8
OCaml
OCaml
Read verifiedNot measured
E3 55/69 · E0-U 14
Elixir
Elixir
Read verifiedNot measured
E3 63/70 · E0-U 7
Zig
Zig
Read verifiedNot measured
E3 64/71 · E0-U 7
ReScript
ReScript
Read verifiedNot measured
E3 61/74 · E0-U 13
Elm
Elm
Read verifiedNot measured
E3 40/51 · E0-U 11
CoffeeScript
CoffeeScript
Read verifiedNot measured
E3 85/90 · E0-U 5
Emacs Lisp
Emacs Lisp
Read verifiedNot measured
E3 40/41 · E0-U 1
Lispex
Lispex
Read verifiedNot measured
E3 32/35 · E0-U 3
Topaz
Topaz
Read verifiedNot measured
E3 70/71 · E0-U 1
Input counts show constructs read correctly into the engine. Output counts show only constructs proven by full interpreter execution. Text matches without execution count as zero. JavaScript and TypeScript remain separate public rows.
Native execution verified
Native execution verified, language by language
Tracked checks that run generated code on the language runtime itself. Every language keeps a row, and a language with no tracked runtime check reads not measured.
Program-level checks, a different denominator from the 2,249-cell obligation partition. Nothing here credits a partition cell.
24 of 30 languages have runtime checks. 795 program checks measured, 795 match, 0 mismatch.
JavaScript. source. Native execution measured 331, match 331, mismatch 0.
JavaScript
measured 331 · match 331 · mismatch 0
source
TypeScript. Native execution not measured.
TypeScript
not measured
Python. target. Native execution measured 84, match 84, mismatch 0.
Python
measured 84 · match 84 · mismatch 0
target
C++. target. Native execution measured 20, match 20, mismatch 0.
C++
measured 20 · match 20 · mismatch 0
target
Java. target. Native execution measured 20, match 20, mismatch 0.
Java
measured 20 · match 20 · mismatch 0
target
Rust. target. Native execution measured 20, match 20, mismatch 0.
Rust
measured 20 · match 20 · mismatch 0
target
C#. target. Native execution measured 20, match 20, mismatch 0.
C#
measured 20 · match 20 · mismatch 0
target
Go. target. Native execution measured 20, match 20, mismatch 0.
Go
measured 20 · match 20 · mismatch 0
target
PHP. target. Native execution measured 21, match 21, mismatch 0.
PHP
measured 21 · match 21 · mismatch 0
target
C. target. Native execution measured 20, match 20, mismatch 0.
C
measured 20 · match 20 · mismatch 0
target
Kotlin. target. Native execution measured 13, match 13, mismatch 0.
Kotlin
measured 13 · match 13 · mismatch 0
target
Swift. target. Native execution measured 13, match 13, mismatch 0.
Swift
measured 13 · match 13 · mismatch 0
target
Ruby. target. Native execution measured 21, match 21, mismatch 0.
Ruby
measured 21 · match 21 · mismatch 0
target
Dart. target. Native execution measured 13, match 13, mismatch 0.
Dart
measured 13 · match 13 · mismatch 0
target
R. target. Native execution measured 17, match 17, mismatch 0.
R
measured 17 · match 17 · mismatch 0
target
Scala. target. Native execution measured 13, match 13, mismatch 0.
Scala
measured 13 · match 13 · mismatch 0
target
Objective-C. target. Native execution measured 20, match 20, mismatch 0.
Objective-C
measured 20 · match 20 · mismatch 0
target
Lua. target. Native execution measured 23, match 23, mismatch 0.
Lua
measured 23 · match 23 · mismatch 0
target
Solidity. Native execution not measured.
Solidity
not measured
Julia. target. Native execution measured 17, match 17, mismatch 0.
Julia
measured 17 · match 17 · mismatch 0
target
Haskell. target. Native execution measured 14, match 14, mismatch 0.
Haskell
measured 14 · match 14 · mismatch 0
target
OCaml. target. Native execution measured 14, match 14, mismatch 0.
OCaml
measured 14 · match 14 · mismatch 0
target
Elixir. target. Native execution measured 17, match 17, mismatch 0.
Elixir
measured 17 · match 17 · mismatch 0
target
Zig. target. Native execution measured 16, match 16, mismatch 0.
Zig
measured 16 · match 16 · mismatch 0
target
ReScript. target. Native execution measured 14, match 14, mismatch 0.
ReScript
measured 14 · match 14 · mismatch 0
target
Elm. target. Native execution measured 14, match 14, mismatch 0.
Elm
measured 14 · match 14 · mismatch 0
target
CoffeeScript. Native execution not measured.
CoffeeScript
not measured
Emacs Lisp. Native execution not measured.
Emacs Lisp
not measured
Lispex. Native execution not measured.
Lispex
not measured
Topaz. Native execution not measured.
Topaz
not measured
Native execution verified. Program-level checks on the language runtime, a different denominator from the 2,249-cell obligation partition. 24 of 30 languages measured. 795 program checks measured, 795 match, 0 mismatch. Languages with no tracked runtime check are listed as not measured.
§ 04 · momentum
Execution verification over time
Reads correctly, recent updates
1,456/ 1,666 verified
- verified
- 1,456 87.4%
- Not yet verified
- 210 12.6%
Internal roundtrip verified
E31,999 / 2,249
88.9%E0-U 250Target-runtime evidence (Node VM) · 24 cells · weighted 11 · not additive · mapped to this denominator 0
§ 05 · routes
Implemented and semantic-verified single-capability route previews.
Each preview separates verified input acceptance, registered output implementation, and admissible semantic output evidence. It is not a full-program conversion promise.
Single-capability previews
These rows keep output implementation and semantic verification separate. Exact-target-text regression can raise implementation only; it cannot create a semantic-verified route.
literal
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
reference
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
block
Input verified 29/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Elm
Output semantic-verified:
Full language lists
Input verified (29) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
call
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
function
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
binary-operator
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
unary-operator
Input verified 29/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Rust
Output semantic-verified:
Full language lists
Input verified (29) JavaScript · TypeScript · Python · C++ · Java · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
branch
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
multi-branch
Input verified 29/30·Output implemented 26/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Solidity
Output implementation missing: C++ · C · Objective-C · Solidity
Output semantic-verified:
Full language lists
Input verified (29) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (26) JavaScript · TypeScript · Python · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Lua · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
list-literal
Input verified 30/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
set-literal
Input verified 3/30·Output implemented 27/30·Output semantic-verified 1/30
Verified by execution
Input verified: Python · Dart · Topaz
Output implementation missing: TypeScript · C · Solidity
Output semantic-verified: JavaScript
Full language lists
Input verified (3) Python · Dart · Topaz
Output implemented (27) JavaScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (1) JavaScript
member-access
Input verified 29/30·Output implemented 28/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Lispex
Output implementation missing: Emacs Lisp · Lispex
Output semantic-verified:
Full language lists
Input verified (29) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Topaz
Output implemented (28) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Topaz
Output semantic-verified (0)
assignment
Input verified 27/30·Output implemented 28/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Haskell · Elixir · Elm
Output implementation missing: Haskell · Elm
Output semantic-verified:
Full language lists
Input verified (27) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Zig · ReScript · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (28) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Elixir · Zig · ReScript · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
module-boundary
Input verified 30/30·Output implemented 24/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Output implementation missing: C · Ruby · R · Lua · Emacs Lisp · Lispex
Output semantic-verified:
Full language lists
Input verified (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output implemented (24) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Dart · Scala · Objective-C · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Topaz
Output semantic-verified (0)
exception-handler
Input verified 22/30·Output implemented 20/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Rust · Go · C · Lua · Haskell · Zig · Elm · Topaz
Output implementation missing: Rust · Go · C · R · Lua · Haskell · Zig · Elm · Lispex · Topaz
Output semantic-verified:
Full language lists
Input verified (22) JavaScript · TypeScript · Python · C++ · Java · C# · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Solidity · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp · Lispex
Output implemented (20) JavaScript · TypeScript · Python · C++ · Java · C# · PHP · Kotlin · Swift · Ruby · Dart · Scala · Objective-C · Solidity · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp
Output semantic-verified (0)
throw-statement
Input verified 23/30·Output implemented 26/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Rust · C · Haskell · Zig · Elm · Emacs Lisp · Topaz
Output implementation missing: C · Zig · Elm · Topaz
Output semantic-verified:
Full language lists
Input verified (23) JavaScript · TypeScript · Python · C++ · Java · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Elixir · ReScript · CoffeeScript · Lispex
Output implemented (26) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp · Lispex
Output semantic-verified (0)
loop-statement
Input verified 26/30·Output implemented 30/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Haskell · Elixir · Elm · Lispex
Output semantic-verified:
Full language lists
Input verified (26) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Zig · ReScript · CoffeeScript · Emacs Lisp · Topaz
Output implemented (30) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
control-transfer
Input verified 23/30·Output implemented 23/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Haskell · OCaml · Elixir · ReScript · Elm · Emacs Lisp · Lispex
Output implementation missing: Haskell · OCaml · Elixir · ReScript · Elm · Emacs Lisp · Lispex
Output semantic-verified:
Full language lists
Input verified (23) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Zig · CoffeeScript · Topaz
Output implemented (23) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Zig · CoffeeScript · Topaz
Output semantic-verified (0)
iterator-comprehension
Input verified 10/30·Output implemented 10/30·Output semantic-verified 1/30
Verified by execution
Input verified: Python · C# · Dart · R · Scala · Julia · Haskell · Elixir · CoffeeScript · Topaz
Output implemented: JavaScript · Python · C# · Dart · Scala · Julia · Haskell · Elixir · CoffeeScript · Topaz
Output semantic-verified: JavaScript
Full language lists
Input verified (10) Python · C# · Dart · R · Scala · Julia · Haskell · Elixir · CoffeeScript · Topaz
Output implemented (10) JavaScript · Python · C# · Dart · Scala · Julia · Haskell · Elixir · CoffeeScript · Topaz
Output semantic-verified (1) JavaScript
object-model
Input verified 29/30·Output implemented 29/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input not yet verified: Lispex
Output implementation missing: C
Output semantic-verified:
Full language lists
Input verified (29) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Topaz
Output implemented (29) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (0)
map-entry
Input verified 8/30·Output implemented 10/30·Output semantic-verified 1/30
Verified by execution
Input verified: Python · Go · Swift · Ruby · Dart · Lua · Elixir · Topaz
Output implemented: JavaScript · Python · Go · PHP · Swift · Ruby · Dart · Lua · Elixir · Topaz
Output semantic-verified: JavaScript
Full language lists
Input verified (8) Python · Go · Swift · Ruby · Dart · Lua · Elixir · Topaz
Output implemented (10) JavaScript · Python · Go · PHP · Swift · Ruby · Dart · Lua · Elixir · Topaz
Output semantic-verified (1) JavaScript
optional-chaining
Input verified 7/30·Output implemented 10/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input verified: JavaScript · TypeScript · C# · PHP · Kotlin · Ruby · Dart
Output implemented: JavaScript · TypeScript · C# · PHP · Kotlin · Swift · Ruby · Dart · CoffeeScript · Topaz
Output semantic-verified:
Full language lists
Input verified (7) JavaScript · TypeScript · C# · PHP · Kotlin · Ruby · Dart
Output implemented (10) JavaScript · TypeScript · C# · PHP · Kotlin · Swift · Ruby · Dart · CoffeeScript · Topaz
Output semantic-verified (0)
regex-literal
Input verified 9/30·Output implemented 7/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input verified: JavaScript · TypeScript · Swift · Ruby · Julia · Elixir · ReScript · CoffeeScript · Topaz
Output implemented: JavaScript · TypeScript · Swift · Ruby · Julia · Elixir · CoffeeScript
Output semantic-verified:
Full language lists
Input verified (9) JavaScript · TypeScript · Swift · Ruby · Julia · Elixir · ReScript · CoffeeScript · Topaz
Output implemented (7) JavaScript · TypeScript · Swift · Ruby · Julia · Elixir · CoffeeScript
Output semantic-verified (0)
default-parameter
Input verified 12/30·Output implemented 12/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input verified: JavaScript · TypeScript · Python · PHP · Ruby · Dart · R · Julia · OCaml · Elixir · ReScript · CoffeeScript
Output implemented: JavaScript · TypeScript · Python · PHP · Ruby · Dart · R · Julia · OCaml · Elixir · ReScript · CoffeeScript
Output semantic-verified:
Full language lists
Input verified (12) JavaScript · TypeScript · Python · PHP · Ruby · Dart · R · Julia · OCaml · Elixir · ReScript · CoffeeScript
Output implemented (12) JavaScript · TypeScript · Python · PHP · Ruby · Dart · R · Julia · OCaml · Elixir · ReScript · CoffeeScript
Output semantic-verified (0)
closed-enum-case-declaration
Input verified 16/30·Output implemented 17/30·Output semantic-verified 1/30
Verified by execution
Input not yet verified: JavaScript · TypeScript · Python · Go · Ruby · R · Lua · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp · Lispex
Output implementation missing: TypeScript · Python · Go · Ruby · R · Lua · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp · Lispex
Output semantic-verified: JavaScript
Full language lists
Input verified (16) C++ · Java · Rust · C# · PHP · C · Kotlin · Swift · Dart · Scala · Objective-C · Solidity · Haskell · Zig · Elm · Topaz
Output implemented (17) JavaScript · C++ · Java · Rust · C# · PHP · C · Kotlin · Swift · Dart · Scala · Objective-C · Solidity · Haskell · Zig · Elm · Topaz
Output semantic-verified (1) JavaScript
yield-expression
Input verified 9/30·Output implemented 8/30·Output semantic-verified 0/30
Generator ready, execution not yet proven
Input verified: JavaScript · TypeScript · Python · C++ · C# · PHP · Swift · Dart · CoffeeScript
Output implemented: JavaScript · TypeScript · Python · C++ · C# · PHP · Dart · CoffeeScript
Output semantic-verified:
Full language lists
Input verified (9) JavaScript · TypeScript · Python · C++ · C# · PHP · Swift · Dart · CoffeeScript
Output implemented (8) JavaScript · TypeScript · Python · C++ · C# · PHP · Dart · CoffeeScript
Output semantic-verified (0)
defer-statement
Input verified 4/30·Output implemented 5/30·Output semantic-verified 1/30
Verified by execution
Input verified: Go · Swift · Zig · Topaz
Output implemented: JavaScript · Go · Swift · Zig · Topaz
Output semantic-verified: JavaScript
Full language lists
Input verified (4) Go · Swift · Zig · Topaz
Output implemented (5) JavaScript · Go · Swift · Zig · Topaz
Output semantic-verified (1) JavaScript
assert-statement
Input verified 3/30·Output implemented 29/30·Output semantic-verified 1/30
Verified by execution
Input verified: Python · Java · Dart
Output implementation missing: TypeScript
Output semantic-verified: JavaScript
Full language lists
Input verified (3) Python · Java · Dart
Output implemented (29) JavaScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz
Output semantic-verified (1) JavaScript
record-update
Input verified 17/30·Output implemented 13/30·Output semantic-verified 1/30
Verified by execution
Input not yet verified: C++ · Java · Go · C · Swift · Dart · R · Objective-C · Lua · Solidity · Zig · Emacs Lisp · Lispex
Output implemented: JavaScript · Python · C# · PHP · Ruby · Julia · Haskell · OCaml · Elixir · ReScript · Elm · CoffeeScript · Topaz
Output semantic-verified: JavaScript
Full language lists
Input verified (17) JavaScript · TypeScript · Python · Rust · C# · PHP · Kotlin · Ruby · Scala · Julia · Haskell · OCaml · Elixir · ReScript · Elm · CoffeeScript · Topaz
Output implemented (13) JavaScript · Python · C# · PHP · Ruby · Julia · Haskell · OCaml · Elixir · ReScript · Elm · CoffeeScript · Topaz
Output semantic-verified (1) JavaScript
Output implementation or semantic evidence pending
69 capabilities have no semantic-verified route yet.
literal · binding · reference · block · call · function · binary-operator · unary-operator · branch · multi-branch · list-literal · member-access · assignment · assignment-expression · template-literal · async-await · module-boundary · lexical-scope · exception-handler · throw-statement · loop-statement · control-transfer · object-model · destructuring-pattern · conditional-expression · index-access · tuple-literal · slice-expression · optional-chaining · spread-element · char-literal · regex-literal · symbol-literal · default-parameter · named-argument · declaration-annotation · labeled-statement · spread-argument · rest-parameter · augmented-assignment · increment-decrement · type-cast · type-test · yield-expression · object-spread · error-propagation · resource-block · non-null-assertion · monitor-lock · delete-statement · typeof-operator · sizeof-operator · void-operator · goto-statement · debugger-statement · fallthrough-statement · redo-statement · retry-statement · metadata-note · type-annotation · generic-surface · optional-union-surface · return-type · raw-string-classes · async-function-surface · promise-task-surface · field-declaration-surface · channel-primitive-surface · preserved-source
29 targets have no semantic-verified route preview yet.
A semantic-verified preview needs verified input acceptance and admissible semantic/runtime evidence for the output. Registered output implementation remains visible as a separate indicator.
§ 06 · personas
Who this is for.
The interface is shaped for people who need traceable translation, not a chat-shaped guess.
P1
Polyglot engineer
Fast comparison across languages with intent preserved.
P2
Migration team
Risk reduction and traceability for moving old stacks into production targets.
P3
Learner and educator
Side-by-side concepts for teaching how the same pattern appears in another language.
P4
Modernization lead
Matrix visibility and roadmap confidence before a rewrite is planned.
§ 07 · cta
Translation is not inference. It's a compiler pipeline.
Open the editor shell to inspect attemptable implemented routes, explicit gaps, and separately reported semantic evidence.