Lena Code

Launch status: verified conversion is live on paths with current input and output evidence. Unverified paths fail closed with explicit gaps while the new verification system reopens implemented surfaces step by step.

input nodes verified644 / 2405

output cells verified507.678788 / 1993

cost model2n, not n²

tracked languages30

§ 00 · Deterministic code translation platform

n²pairwise generators

CSKernel™

2nenvironment adapters

Lena Code does not translate language to language. One kitchen coordinates the whole route: code runs through the CSKernel™ engine, where deterministic structure is checked before anything is served.

Hub Launch /code How the environment works

§ 02 · pipeline

Five stages every language passes through.

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

harvest

Take in source code from any supported language, however it is written.

shared base

marinate

Each language structure is steeped into one shared base.

verified only

reduce

Only verified structure is reduced into that shared base.

target line

plate

The verified base can be plated for a target language — a line that is just opening.

delivery

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.

644 / 2405

input language nodes verified

507.678788 / 1993

output cells verified

language cost model instead of n² pair generators

tracked language inventory, not public route count

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 boundary

Submitted 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 · verified transformations

Verified coverage for every source and target language.

Each of the 30 languages is measured twice and independently: what it can accept on input, and what it can emit on output. That is 2N half-routes — not N² pairs. Verified end-to-end source-to-target combinations are derived from these and listed in the routes ledger below.

Input · Output

Loading verified coverage…

JavaScript

InputNot measured

OutputNot measured

TypeScript

InputNot measured

OutputNot measured

Python

InputNot measured

OutputNot measured

C++

InputNot measured

OutputNot measured

Java

InputNot measured

OutputNot measured

Rust

InputNot measured

OutputNot measured

InputNot measured

OutputNot measured

InputNot measured

OutputNot measured

PHP

InputNot measured

OutputNot measured

InputNot measured

OutputNot measured

Kotlin

InputNot measured

OutputNot measured

Swift

InputNot measured

OutputNot measured

Ruby

InputNot measured

OutputNot measured

Dart

InputNot measured

OutputNot measured

InputNot measured

OutputNot measured

Scala

InputNot measured

OutputNot measured

Objective-C

InputNot measured

OutputNot measured

Lua

InputNot measured

OutputNot measured

Solidity

InputNot measured

OutputNot measured

Julia

InputNot measured

OutputNot measured

Haskell

InputNot measured

OutputNot measured

OCaml

InputNot measured

OutputNot measured

Elixir

InputNot measured

OutputNot measured

Zig

InputNot measured

OutputNot measured

ReScript

InputNot measured

OutputNot measured

Elm

InputNot measured

OutputNot measured

CoffeeScript

InputNot measured

OutputNot measured

Emacs Lisp

InputNot measured

OutputNot measured

Lispex

InputNot measured

OutputNot measured

Topaz

InputNot measured

OutputNot measured

Input and output totals are verified counts over their current declared horizons. JavaScript and TypeScript remain separate public rows.

§ 04 · momentum

Recent verified-coverage updates.

The bars show verified coverage over the current declared input and output horizons. The charts keep the last 30 verified updates visible; if a horizon expands later, the percentage can move with it.

Input · acceptance

window start 491last 30 updatesnow 642 verified

Output · emission

§ 05 · routes

Verified single-capability route previews.

Each preview shows one capability that is accepted from at least one input and emitted by at least one output. It is not a full-program conversion promise.

Single-capability previews

These rows are examples of verified route ingredients. The primary progress metrics remain the input and output coverage horizons above.

literal

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

Input (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 (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

reference

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

call

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

function

Input 30/30·Output 27/30

Output not yet verified: C · Solidity · Zig

Full language lists

Output (27) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Julia · Haskell · OCaml · Elixir · ReScript · Elm · CoffeeScript · Emacs Lisp · Lispex · Topaz

binary-operator

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

branch

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

list-literal

Input 30/30·Output 30/30

Verified across the 30-language measured inventory, on both input and output.

Full language lists

member-access

Input 29/30·Output 28/30

Input not yet verified: Lispex

Output not yet verified: Emacs Lisp · Lispex

Full language lists

Input (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 (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

assignment

Input 25/30·Output 27/30

Input not yet verified: Solidity · Haskell · Elixir · Zig · Elm

Output not yet verified: Haskell · Elixir · Elm

Full language lists

Input (25) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Julia · OCaml · ReScript · CoffeeScript · Emacs Lisp · Lispex · Topaz

Output (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

module-boundary

Input 18/30·Output 23/30

Input not yet verified: C++ · C · Ruby · Scala · Objective-C · Lua · Solidity · OCaml · Zig · Elm · Emacs Lisp · Topaz

Output not yet verified: C · Ruby · R · Lua · Emacs Lisp · Lispex · Topaz

Full language lists

Input (18) JavaScript · TypeScript · Python · Java · Rust · C# · Go · PHP · Kotlin · Swift · Dart · R · Julia · Haskell · Elixir · ReScript · CoffeeScript · Lispex

Output (23) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Dart · Scala · Objective-C · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript

exception-handler

Input 18/30·Output 20/30

Input not yet verified: Rust · Go · C · Scala · Objective-C · Lua · Solidity · Haskell · Zig · Elm · Lispex · Topaz

Output not yet verified: Rust · Go · C · R · Lua · Haskell · Zig · Elm · Lispex · Topaz

Full language lists

Input (18) JavaScript · TypeScript · Python · C++ · Java · C# · PHP · Kotlin · Swift · Ruby · Dart · R · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp

Output (20) JavaScript · TypeScript · Python · C++ · Java · C# · PHP · Kotlin · Swift · Ruby · Dart · Scala · Objective-C · Solidity · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp

loop-statement

Input 1/30·Output 27/30

Input verified: Topaz

Output not yet verified: Haskell · Elixir · Elm

Full language lists

Input (1) Topaz

iterator-comprehension

Input 8/30·Output 8/30

Input verified: Python · C# · R · Julia · Haskell · Elixir · CoffeeScript · Topaz

Output verified: Python · C# · Dart · Scala · Julia · Haskell · Elixir · CoffeeScript

Full language lists

Input (8) Python · C# · R · Julia · Haskell · Elixir · CoffeeScript · Topaz

Output (8) Python · C# · Dart · Scala · Julia · Haskell · Elixir · CoffeeScript

object-model

Input 22/30·Output 24/30

Input not yet verified: Lua · Solidity · Elixir · ReScript · Elm · Emacs Lisp · Lispex · Topaz

Output not yet verified: C · R · Lua · Emacs Lisp · Lispex · Topaz

Full language lists

Input (22) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Julia · Haskell · OCaml · Zig · CoffeeScript

Output (24) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · Scala · Objective-C · Solidity · Julia · Haskell · OCaml · Elixir · Zig · ReScript · Elm · CoffeeScript

Not verified end-to-end yet

13 capabilities are not routed end-to-end yet.

binding · block · unary-operator · multi-branch · template-literal · async-await · lexical-scope · throw-statement · control-transfer · destructuring-pattern · metadata-note · type-annotation · preserved-source

A preview needs both sides: the input has to accept the capability and the output has to emit it. New output support is the current route bottleneck.

§ 06 · personas

Who this is for.

The interface is shaped for people who need traceable translation, not a chat-shaped guess.

Polyglot engineer

Fast comparison across languages with intent preserved.

Migration team

Risk reduction and traceability for moving old stacks into production targets.

Learner and educator

Side-by-side concepts for teaching how the same pattern appears in another language.

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 routes and coverage status. Verified routes reopen as coverage completes.

Launch /code

n² becomes 2n.

CSKernel™ engine.

Lispex

CSKernel™

AI

USG

SAM-style gates

Five stages every language passes through.

harvest

marinate

reduce

plate

serve

Ephemeral source handling

Submitted source not persisted

Generated results cache only

Provider boundary disclosed

Verified coverage for every source and target language.

Recent verified-coverage updates.

Verified single-capability route previews.

literal

reference

call

function

binary-operator

branch

list-literal

member-access

assignment

module-boundary

exception-handler

loop-statement

iterator-comprehension

object-model

Who this is for.

Polyglot engineer

Migration team

Learner and educator

Modernization lead

Translation is not inference. It's a compiler pipeline.