Case 001

Summation (Σ) over an inclusive range

The canonical EML demo: an algebraic-sum intent compressed into one symbol.

ok: true — round-trip fixpoint reached (python1 == python2).updated 2026-06-30
Run in Playground →Open in Terminal →Raw markdown (agent layer) →

EML

eml
N^+100
Σ(i^2, i in [1:N]) => r
r^0

Python (deterministic transpilation)

python
N = 100
r = sum(i**2 for i in range(1, N+1))
print(r)

stdout (executed)

text
338350