# Efficient New Language / EML

> EML is a deterministic semantic-overlay programming layer: it compresses high-frequency program
> intent into compact symbols and transpiles, rule-based and reversibly, to standard languages
> (canonical target: Python), preserving executable truth through parsing, transpilation,
> interpretation, eml-trace-v1 trace generation, and round-trip fixpoint validation. It is not
> a replacement language — it is an overlay for humans and AI agents alike. No LLM in the core
> transpilation chain.

Canonical site: https://efficientnewlanguage.org/
Maintainer: Neo.K / EveMissLab
License: Apache-2.0 · Patent: Taiwan Utility Model M672933 (Taiwan only)
Spec: EML-LANG-2026-v1.0 · AI layer: 0.1.0

## Entrypoints

- Human site: /
- Playground (in-browser, runs the real toolchain): /app
- Docs: /docs
- Origins / EML-U (the original, broader vision — human + AI page): /origins
- Related languages & specifications (sibling EveMissLab projects, not EML): /related
  - CAIR — Canonical Authoritative Intermediate Representation (authoritative program
    ontology, multi-projection, candidate write-back; v1.0 frozen): /related/cair
  - ICNS — Interpretation-Complete Numeral Specification (declare a numeral's carrier,
    grammar, ordering, resolution and successor before use; v1.0 frozen): /related/icns
  - MNVP — Multi-layer Numerical Visualization Protocol (the display tier above ICNS:
    every render declares what it preserved, omitted and whether it stayed faithful;
    v1.0 frozen): /related/mnvp
- AI-native interface: /ai/index.md
- Machine manifest: /ai/manifest.json
- Version: /ai/version.json

## Specification

- Current spec (digest): /ai/specs/eml-v1.md
- Self-contained AI-semantic spec (status vocabulary, twelve-loop taxonomy, bug/repair/criticality
  models): /ai/specs/eml-semantic-model-v1.5.md
- Grammar (EBNF, normative): /ai/specs/eml-grammar.ebnf
- AST schema: /ai/specs/eml-ast-schema.json
- Trace schema (eml-trace-v1): /ai/specs/eml-trace-schema.json
- Error / diagnostics schema: /ai/specs/eml-error-schema.json

## Corpus

- Origin / genealogy: /ai/corpus/eml-origin.md
- EML-U (universal semantic profile — the original, broader vision): /ai/corpus/eml-u-profile.md
- EML-P ↔ EML-U compatibility (projection function, no-silent-loss rule): /ai/corpus/eml-p-eml-u-compatibility.md
- Current implementation: /ai/corpus/eml-current.md
- Design history: /ai/corpus/eml-design-history.md
- Engineering notes (invariants): /ai/corpus/eml-engineering-notes.md

## Examples

- /ai/examples/000-arithmetic.eml.md
- /ai/examples/001-summation.eml.md
- /ai/examples/002-conditional.eml.md
- /ai/examples/003-coldhot.eml.md
- /ai/examples/004-closure.eml.md
- /ai/examples/005-recursion.eml.md

## Tools (bounded, machine-callable)

- Tools guide: /ai/tools/tools.md
- Tool catalog: /ai/tools/tool-catalog.json
- OpenAPI 3.1: /ai/tools/openapi.json
- POST /ai/tools/parse · /ai/tools/transpile-python · /ai/tools/transpile-eml ·
  /ai/tools/interpret · /ai/tools/trace · /ai/tools/roundtrip
- GET /ai/tools/health

## Recommended reading order for LLMs

1. /ai/index.md
2. /ai/corpus/eml-origin.md
3. /ai/corpus/eml-u-profile.md
4. /ai/corpus/eml-current.md
5. /ai/specs/eml-v1.md
6. /ai/specs/eml-grammar.ebnf
7. /ai/examples/001-summation.eml.md
8. /ai/tools/tool-catalog.json

## Status

EML is an active experimental language substrate and AI-agent-readable semantic interface.