Explain
Understand what the code does and how its functions, data, and control flow fit together.
Lena Code is becoming a code analysis platform built on a deterministic pipeline.
§ 00 · Understand. Improve. Transform.
Code analysis, built on a deterministic pipeline.
A workspace to understand, improve, and transform code across 30 languages.
Work in the language you already use. Choose another language only when you convert.
§ 01 · Tasks
Three ways to work with your code.
Review
Consider possible issues and improvements in the language you already use.
Convert
Move supported code to another language and inspect the result before using it.
§ 02 · Workflow
Start with your code. Choose the work.
01
Add your code
Start with your code and its source language.
02
Choose the task
Choose Explain, Review, or Convert. A target language is needed only for Convert.
03
Work with the result
Read the explanation, consider review suggestions, or inspect converted code for your project.
§ 04 · Code at work
More ways to work with your code.
From understanding unfamiliar code to considering changes and comparing languages.
P1
Understand unfamiliar code
Follow functions, data, and control flow in the language you already use.
P2
Consider a change
Examine possible issues and improvements before changing your code.
P3
Learn through structure
Connect language constructs with the role they play in a piece of code.
P4
Compare languages
Review supported conversions and language differences before using the result.
§ 05 · CodeImage
Code has another form.
Create images from code and restore code from images with CodeImage. A free companion to your code workspace.
- An image restores normalized source for supported codecs.
- Keep the matching restoration key for original-byte restoration.
Questions, answered.
What is Lena Code for?
Lena Code is a code analysis platform built on a deterministic pipeline. Explain covers what code does, Review considers issues and improvements, and Convert moves supported code to another language.
Do I need to change languages?
Explain and Review focus on code in its current language. A target language belongs to Convert.
What does the pipeline check?
Lena and Facet IR support structural analysis and conversion. Checks depend on the language, construct, and recorded execution evidence. Review suggestions are separate from verified facts. No result guarantees equivalent behavior.
What is free?
CodeImage image creation and restoration are free for supported codecs. Existing engine conversion remains subject to account limits. Paid checkout for code tasks is unavailable.
Which languages can I use?
The platform tracks 30 languages. Support varies by task, language, and construct. This is not equal support for every task in all 30 languages. Text conversion and image codecs have separate boundaries. Unsupported operations return an explicit error.
Can I use the API or MCP?
Existing API and MCP contracts remain in the developer guide. They use the existing adapter engine and do not expose the new code tasks. MCP conversion has runtime limitations.
Explore the engineering
§ 06 · Verification evidence summary
The conversion engine, in detail.
Source constructs read correctly1455 / 1666
Internal roundtrip verifiedE3 1,999 / 2,249
Architecture2n shared engine, not n² pairs
Tracked languages30
n2pairwise generators
Lena Engine
2nlanguage adapters
§ 07 · Analysis pipeline
The pipeline behind code analysis
Chef coordinates source reading and normalization into Lena IR and Facet IR. This shared structure supports analysis. Conversion uses direct target adapters within supported constructs.
Source
01
Read source
Read the supported syntax and structure of the source code.
Structure
02
Form a shared representation
Express supported language structures in Lena IR.
Analysis
03
Normalize structure
Normalize the representation within the supported analysis boundary.
Conversion
04
Convert when needed
Target adapters express supported constructs in the target language.
Result
05
Inspect the result
Review the result and its reported support boundaries.
Source analysis
Chef coordinates source reading and normalization into the shared representation.
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
§ 08 · Language verification matrix
Reading and execution status, language by language
Input acceptance and output evidence are measured separately for the conversion engine. Support varies by language and construct.
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.
§ 09 · momentum
Execution verification over time
Recorded input updates and the current output evidence retain their own measurement scope.
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
§ 10 · Conversion evidence
Conversion evidence by construct.
Each entry separates source acceptance, target implementation, and semantic evidence for an individual construct.
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.
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.
§ 11 · Your code
Start with your code.
Understand it. Consider improvements. Convert when needed.