Lena Code · Console

Launch status: Pro remains staged behind the verification architecture gate. 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 correctly1446 / 1666

Runs correctlyE3 1,382 / 2,249

Architecture2n shared engine, not n² pairs

Tracked languages30

// 00 - Deterministic code translation platform

n²pairwise generators

Lena Engine

2nlanguage adapters

Lena Code routes every language through one deterministic engine instead of building isolated pairwise translators. Every construct is verified before translation.

Hub Launch /code How the environment works

Verified progress

Reads correctly

1,446/ 1,666 verified

Source constructs read correctly

verified: 1,446 86.8%
Not yet verified: 220 13.2%

Source constructs read into the engine

Runs correctly

1,382/ 2,249 verified

Verified only when generated target code executes on our interpreter with matching output. No partial credit.

Internal roundtrip verified (E3): 1,382 61.4%
Canonical match (E2): 0 0.0%
Independent text match (E1): 0 0.0%
Proven self-referential (E0-S): 0 0.0%
Provenance unknown or unproven (E0-U): 867 38.6%

Target-runtime evidence (Node VM) · 24 cells · weighted 11 · not additive · mapped to this denominator 0

18 cells structurally inapplicable, outside the partition

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

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.

1,446/ 1,666 verified

Source constructs read into the engine

verified 1,446Not yet verified 220

1,382/ 2,249 verified

Runs correctly

E0-U 867Target-runtime evidence (Node VM) · 24 cells · weighted 11 · not additive · mapped to this denominator 0

2n shared adapters instead of n² translators

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 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 - Language verification matrix

Reading and execution status, language by language

Current totals

Reads correctly: 1446 / 1666

Runs correctly

E31,382 / 2,249

Internal roundtrip verified (E3): 1,382 61.4%
Canonical match (E2): 0 0.0%
Independent text match (E1): 0 0.0%
Proven self-referential (E0-S): 0 0.0%
Provenance unknown or unproven (E0-U): 867 38.6%

Sample text exists, not verified274 12.2%

No execution evidence593 26.4%

E3 + E2 + E1 + E0-S + E0-U = 2,249

18 cells structurally inapplicable, outside the partition

previous public basis, string-match allocation, retired · 1338 / 2249

Text match alone is not counted

Target-runtime evidence (Node VM) · 24 cells · weighted 11 · not additive · mapped to this denominator 0

Read verified · Runs correctly

Loading public measurement…

JavaScript

Read verifiedNot measured

E3 65/120 · E0-U 55

TypeScript

Read verifiedNot measured

E3 53/95 · E0-U 42

Python

Read verifiedNot measured

E3 59/99 · E0-U 40

C++

Read verifiedNot measured

E3 48/81 · E0-U 33

Java

Read verifiedNot measured

E3 50/77 · E0-U 27

Rust

Read verifiedNot measured

E3 47/78 · E0-U 31

Read verifiedNot measured

E3 58/100 · E0-U 42

Read verifiedNot measured

E3 44/76 · E0-U 32

PHP

Read verifiedNot measured

E3 54/85 · E0-U 31

Read verifiedNot measured

E3 34/52 · E0-U 18

Kotlin

Read verifiedNot measured

E3 53/84 · E0-U 31

Swift

Read verifiedNot measured

E3 56/93 · E0-U 37

Ruby

Read verifiedNot measured

E3 54/80 · E0-U 26

Dart

Read verifiedNot measured

E3 60/100 · E0-U 40

Read verifiedNot measured

E3 35/45 · E0-U 10

Scala

Read verifiedNot measured

E3 48/81 · E0-U 33

Objective-C

Read verifiedNot measured

E3 49/71 · E0-U 22

Lua

Read verifiedNot measured

E3 36/50 · E0-U 14

Solidity

Read verifiedNot measured

E3 38/60 · E0-U 22

Julia

Read verifiedNot measured

E3 52/90 · E0-U 38

Haskell

Read verifiedNot measured

E3 35/60 · E0-U 25

OCaml

Read verifiedNot measured

E3 40/69 · E0-U 29

Elixir

Read verifiedNot measured

E3 47/70 · E0-U 23

Zig

Read verifiedNot measured

E3 41/71 · E0-U 30

ReScript

Read verifiedNot measured

E3 43/74 · E0-U 31

Elm

Read verifiedNot measured

E3 29/51 · E0-U 22

CoffeeScript

Read verifiedNot measured

E3 52/90 · E0-U 38

Emacs Lisp

Read verifiedNot measured

E3 29/41 · E0-U 12

Lispex

Read verifiedNot measured

E3 25/35 · E0-U 10

Topaz

Read verifiedNot measured

E3 48/71 · E0-U 23

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.

// 04 - momentum

Execution verification over time

Reads correctly, recent updates

1,446/ 1,666 verified

verified: 1,446 86.8%
Not yet verified: 220 13.2%

window start 1037last 30 updatesnow 1446 verified

Runs correctly

E31,382 / 2,249

61.4%

E0-U 867Target-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

Output semantic-verified (0)

block

Input verified 28/30·Output implemented 30/30·Output semantic-verified 0/30

Generator ready, execution not yet proven

Input not yet verified: Elm · CoffeeScript

Output semantic-verified:

Full language lists

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

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

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

Output semantic-verified (0)

unary-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

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

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

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

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 22/30·Output implemented 26/30·Output semantic-verified 0/30

Generator ready, execution not yet proven

Input not yet verified: Rust · C · Solidity · Haskell · Zig · Elm · Emacs Lisp · Topaz

Output implementation missing: C · Zig · Elm · Topaz

Output semantic-verified:

Full language lists

Input verified (22) JavaScript · TypeScript · Python · C++ · Java · C# · Go · PHP · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · 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 25/30·Output implemented 30/30·Output semantic-verified 0/30

Generator ready, execution not yet proven

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

Output semantic-verified:

Full language lists

Input verified (25) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · Lua · Julia · OCaml · Zig · ReScript · CoffeeScript · Emacs Lisp · 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 28/30·Output implemented 29/30·Output semantic-verified 0/30

Generator ready, execution not yet proven

Input not yet verified: Lua · Lispex

Output implementation missing: C

Output semantic-verified:

Full language lists

Input verified (28) JavaScript · TypeScript · Python · C++ · Java · Rust · C# · Go · PHP · C · Kotlin · Swift · Ruby · Dart · R · Scala · Objective-C · 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.

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 implemented routes, explicit gaps, and separately reported semantic evidence.

Launch /code

n² becomes 2n.

The Lena Engine.

Lispex

CSKernel™

Lena AI

Meaning Graph

Behavior gates

How each language reaches verified translation

harvest

marinate

reduce

plate

serve

Ephemeral source handling

Submitted source not persisted

Generated results cache only

Provider boundary disclosed

Reading and execution status, language by language

Execution verification over time

Implemented and semantic-verified single-capability route previews.

literal

reference

block

call

function

binary-operator

unary-operator

branch

multi-branch

list-literal

set-literal

member-access

assignment

module-boundary

exception-handler

throw-statement

loop-statement

control-transfer

iterator-comprehension

object-model

map-entry

optional-chaining

regex-literal

default-parameter

closed-enum-case-declaration

yield-expression

defer-statement

assert-statement

record-update

Who this is for.

Polyglot engineer

Migration team

Learner and educator

Modernization lead

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