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.
§ 00 · Deterministic code translation platform
Every language pair pivots through Lispex. Adding a language costs one input interpreter and one output interpreter, not n².
§ 01 · pipeline
Inputs are normalized onto Lispex, validated against behavior gates, then woven into the target language.
01
Detect the source language and harvest the contracted input surface.
02
Normalize syntax onto Lispex without widening unsupported behavior.
03
Check AST shape, behavior gates, and unsupported fail-closed boundaries.
04
Emit the target language from the same intermediate representation.
05
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
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)
2Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
2Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
3Derived from reports/manifest/pairs.json: 7 public active pairs after hardened && valid filtering.
/ 900
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
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
Use the pair matrix for authority. A language role only explains how that language appears inside today’s verified routes.
§ 03 · scenarios
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
Lispex parser/emitter roundtrip sample.
(define x 10)
(define y 20)
(define (max2 a b)
(if (> a b)
a
b))
(define x 10)
(define y 20)
(define (max2 a b)
(if (> a b)
a
b))
§ 05 · personas
The interface is shaped for people who need traceable translation, not a chat-shaped guess.
P1
Fast comparison across languages with intent preserved.
P2
Risk reduction and traceability for moving old stacks into production targets.
P3
Side-by-side concepts for teaching how the same pattern appears in another language.
P4
Matrix visibility and roadmap confidence before a rewrite is planned.
§ 05 · cta
Launch the editor, choose a pair, and run the deterministic path through Lispex.