ENVIRONMENT LAYER
Lispex
Expression surface. The readable layer that exposes the shared deterministic structure.
Launch status: the compiler foundation and evidence system are live. Public routes are intentionally limited to verified pairs while each language is hardened and reopened. Pro opens after the verification architecture gate is satisfied, with the verified routes available then; hardening continues independently.
evidence15/15 valid
shipping0 active pair edges
cost model2n, not n²
inventory30 tracked languages
// 00 - Deterministic code translation platform
n2pairwise generators
CSKernel™
2nenvironment adapters
n² becomes 2n.
Lena Code does not translate language to language. It routes code through the CSKernel™ engine, where deterministic structure is checked and Lena AI review stays inside the product workflow.
// 02 - pipeline
Five stages every language passes through.
Inputs are normalized through the CSKernel™ engine, validated against behavior gates, then woven into the target language.
01
parse
Detect the source language and harvest the contracted input surface.
02
marinate
Map syntax onto the expression surface without widening unsupported behavior.
03
validate
Check AST shape, behavior gates, and unsupported fail-closed boundaries.
04
roast
Emit the target language from the same semantic environment.
05
serve
Return the compiled result with deterministic evidence attached.
15/15Derived from reports/evidence-ledger.json: 15 PASS tracks out of 15 tracked evidence tracks.
evidence-ledger tracks valid
0Derived from reports/manifest/pairs.json: 0 public active pairs after hardened && valid && coverage-verified filtering.
verified pair routes - 0 round-trip, 0 2-way, 0 one-way
2n
language cost model instead of n² pair generators
30Derived from language status manifest: 30 tracked language inventory entries.
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 boundarySubmitted source not persisted
Source code is handled only during the request lifecycle in LENA 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 - pair availability
Matrix. Verified routes only.
Rows are inputs, columns are outputs. 0 verified pair routes ship today: 0 round-trip, 0 2-way, and 0 one-way. Every other pair is not public yet.
| input \ output | LSPXLispex | TPZTopaz | JSJavaScript | TSTypeScript | PYPython |
|---|---|---|---|---|---|
| LSPXLispex | not public | not public | not public | not public | not public |
| TPZTopaz | not public | not public | not public | not public | not public |
| JSJavaScript | not public | not public | not public | not public | not public |
| TSTypeScript | not public | not public | not public | not public | not public |
| PYPython | not public | not public | not public | not public | not public |
Pair availability
Matrix capacity 900Derived from language matrix projection: 30 languages squared into 900 possible pair cells.
Pair availability (900 pair capacity)
Verified 2-way
0Derived from reports/manifest/pairs.json: 0 public active pairs after hardened && valid && coverage-verified filtering.
/ 900
Verified round-trip
0Derived from reports/manifest/pairs.json: 0 public active pairs after hardened && valid && coverage-verified filtering.
/ 900
Verified one-way
0Derived from reports/manifest/pairs.json: 0 public active pairs after hardened && valid && coverage-verified filtering.
/ 900
Not public
900Derived from reports/manifest/pairs.json: 0 public active pairs after hardened && valid && coverage-verified filtering; language matrix projection: 30 languages squared into 900 possible pair cells.
/ 900
0 verified routes
Role in verified routes
These chips are only a projection of the verified pair routes above. They do not promise an outer-product of every input to every output.
0 active-route languages · 30 not public yet
0 verified routes define the public surface
Use the pair matrix for authority. A language role only explains how that language appears inside today’s verified routes.
// 04 - scenarios
Today's verified routes.
Pick a verified pair to inspect sanitized Chef pipeline output: code blocks only, no internal paths.
hardening
No verified routes are public yet.
The compiler foundation and evidence system remain live. Routes reopen here only after their coverage contract is verified.
// 05 - personas
Who this is for.
The interface is shaped for people who need traceable translation, not a chat-shaped guess.
P1
Polyglot engineer
Fast comparison across languages with intent preserved.
P2
Migration team
Risk reduction and traceability for moving old stacks into production targets.
P3
Learner and educator
Side-by-side concepts for teaching how the same pattern appears in another language.
P4
Modernization lead
Matrix visibility and roadmap confidence before a rewrite is planned.
// 06 - 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.