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 verified640 / 3531

output cells verified463 / 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.

640 / 3531

input language nodes verified

463 / 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 292last 30 updatesnow 640 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

30 sources→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

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

call

function

30 sources→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

branch

29 sources→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

list-literal

member-access

assignment

25 sources→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

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

module-boundary

18 sources→JavaScript · TypeScript · Python · C++ · Java · Rust · PHP · Kotlin · Dart · Scala · Solidity · Julia · Haskell · Elixir · Elm · CoffeeScript

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

exception-handler

18 sources→JavaScript · TypeScript · Python · C++ · Java · C# · PHP · Kotlin · Swift · Ruby · Dart · Scala · Objective-C · Julia · OCaml · Elixir · ReScript · CoffeeScript · Emacs Lisp

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

iterator-comprehension

8 sources→Python · C# · Dart · Scala · Julia · Haskell · Elixir · CoffeeScript

Python · C# · R · Julia · Haskell · Elixir · CoffeeScript · Topaz

object-model

23 sources→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

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

Not verified end-to-end yet

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

binding · block · unary-operator · multi-branch · template-literal · async-await · lexical-scope · throw-statement · loop-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™

Lena 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

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.