Lena Code

Launch status: the compiler foundation and evidence system are live. Public conversion stays closed until each path has current verification. Pro opens after the verification architecture gate is satisfied.

input verified318 / 3421Derived from public coverage measurement: verified-cell sum.

output verified431 / 660Derived from public coverage measurement: facet emission inventory.

cost model2n, not n²

tracked languages30Derived from public coverage measurement: tracked language inventory.

§ 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.

318 / 3421Derived from public coverage measurement: verified-cell sum.

input language nodes verified

431 / 660Derived from public coverage measurement: facet emission inventory.

output cells verified

language cost model instead of n² pair generators

30Derived from public coverage measurement: tracked language inventory.

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

Input—

Output—

TypeScript

Input—

Output—

Python

Input—

Output—

C++

Input—

Output—

Java

Input—

Output—

Rust

Input—

Output—

Input—

Output—

Input—

Output—

PHP

Input—

Output—

Input—

Output—

Kotlin

Input—

Output—

Swift

Input—

Output—

Ruby

Input—

Output—

Dart

Input—

Output—

Input—

Output—

Scala

Input—

Output—

Objective-C

Input—

Output—

Lua

Input—

Output—

Solidity

Input—

Output—

Julia

Input—

Output—

Haskell

Input—

Output—

OCaml

Input—

Output—

Elixir

Input—

Output—

Zig

Input—

Output—

ReScript

Input—

Output—

Elm

Input—

Output—

CoffeeScript

Input—

Output—

Emacs Lisp

Input—

Output—

Lispex

Input—

Output—

Topaz

Input—

Output—

§ 04 · momentum

Recent verified-coverage updates.

The input-verified count across its last 30 updates, climbing toward its full denominator of 3421. The chart is zoomed to this window so the per-update gains stay visible; the fill bar below shows the real proportion against the denominator.

verifieddenominator

Input · acceptance

window start 251last 30 updatesnow 318 / 3421

9.3% verified

Output · emission

65.3% verified

Output ceiling expanded 210 → 660 as the capability universe grew 7 → 22.

§ 05 · routes

Verified end-to-end routes.

A route counts only where one capability is accepted from the source and served by the target — a single-capability path, not a whole-program conversion. End-to-end counts are owned by the route ledger.

Capabilities transformable

9 / 22Derived from public coverage measurement: verified-cell intersection.

Targets reachable

30 / 30Derived from public coverage measurement: verified-cell intersection.

Sources accepted

25 / 30Derived from public coverage measurement: verified-cell intersection.

Source-to-target pairs

750 / 900Derived from public coverage measurement: verified-cell intersection.

literal

25 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 · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Elixir · Zig · ReScript · Elm · Emacs Lisp

reference

call

23 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 · Scala · Objective-C · Lua · Julia · OCaml · Elixir · Zig · ReScript · Emacs Lisp

function

19 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

JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Dart · Scala · Objective-C · Lua · Julia · Elixir · Emacs Lisp

binary-operator

22 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 · Dart · Scala · Objective-C · Lua · Solidity · Julia · OCaml · Elixir · Zig · Emacs Lisp

branch

14 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

JavaScript · TypeScript · Python · C++ · Rust · C# · Go · C · Lua · Julia · OCaml · Elixir · ReScript · Emacs Lisp

list-literal

JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · Scala · Lua · OCaml · Elixir · Zig · ReScript · Elm · Emacs Lisp

member-access

17 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 · Lispex · Topaz

JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · C · Swift · Ruby · Dart · Scala · Objective-C · Lua · Zig · Emacs Lisp

assignment

11 sources→JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Solidity · Julia · Zig · CoffeeScript · Emacs Lisp · Lispex · Topaz

JavaScript · TypeScript · C++ · Java · Rust · C# · Go · PHP · C · Lua · Emacs Lisp

Not verified end-to-end yet

13 of 22 capabilities · 0 routes

binding · block · template-literal · async-await · module-boundary · lexical-scope · exception-handler · iterator-comprehension · object-model · destructuring-pattern · metadata-note · type-annotation · preserved-source

0 of 30 targets · 0 routes

Input already accepts more capabilities than any target serves today. A route also needs the target to serve that capability, so output service is the current limit — progress comes from new output stations, not new Harvester intake.

§ 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 end-to-end routes.

literal

reference

call

function

binary-operator

branch

list-literal

member-access

assignment

Who this is for.

Polyglot engineer

Migration team

Learner and educator

Modernization lead

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