01
parse
Detect the source language and harvest the contracted input surface.
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 July 1, 2026 with the verified routes available then; hardening continues independently.
evidence12/12 valid
shipping7 active pair edges
cost model2n, not n²
inventory30 tracked languages
§ 00 · Deterministic code translation platform
n2pairwise generators
via Lispex
one pivot
2nIR interpreters
n² becomes 2n.
Every language pair pivots through Lispex. Adding a language costs one input interpreter and one output interpreter, not n².
§ 01 · pipeline
Five stages every language passes through.
Inputs are normalized onto Lispex, validated against behavior gates, then woven into the target language.
02
marinate
Normalize syntax onto Lispex 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 intermediate representation.
05
serve
Return the compiled result with deterministic evidence attached.
12/12Derived from reports/evidence-ledger.json: 12 PASS tracks out of 12 tracked evidence tracks.
evidence-ledger tracks valid
7Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
verified pair routes - 2 round-trip, 2 2-way, 3 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
§ 02 · pair availability
Matrix. Verified routes only.
Rows are inputs, columns are outputs. 7 verified pair routes ship today: 2 round-trip, 2 2-way, and 3 one-way. Every other pair is not public yet.
| input \ output | LSPXLispex | TPZTopaz | JSJavaScript | TSTypeScript | PYPython |
|---|---|---|---|---|---|
| LSPXLispex | roundtriproundtrip/lispex | 2-waytranspile/lispex-topaz | one-waytranspile/lispex-javascript | one-waytranspile/lispex-typescript | one-waytranspile/lispex-python |
| TPZTopaz | 2-waytranspile/topaz-lispex | roundtriproundtrip/topaz | 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
2Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
Verified round-trip
2Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
Verified one-way
3Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
Not public
893Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering; language matrix projection: 30 languages squared into 900 possible pair cells.
/ 900
7 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.
5 active-route languages · 25 not public yet
7 verified routes define the public surface
Input + output in verified routes
2- Lispex
- Topaz
Output in verified routes
3- JavaScript
- TypeScript
- Python
Use the pair matrix for authority. A language role only explains how that language appears inside today’s verified routes.
§ 03 · scenarios
Today's verified routes.
Pick a verified pair to inspect sanitized Chef pipeline output: code blocks only, no internal paths.
7 verified sample pairs
Only active verified-route samples are shown.
S6 · roundtrip/lispex
PASSverified 2026-05-19
Lispex roundtrip
Lispex parser/emitter roundtrip sample.
Lispexinput
(define x 10)
(define y 20)
(define (max2 a b)
(if (> a b)
a
b))
Lispexoutput
(define x 10)
(define y 20)
(define (max2 a b)
(if (> a b)
a
b))
§ 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.
§ 05 · cta
Translation is not inference. It's a compiler pipeline.
Launch the editor, choose a pair, and run the deterministic path through Lispex.