Case 000

Arithmetic & augmented assign

Demonstrates the two-stage ^+ rule (declare then augment) and ^* / ^0.

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

EML

eml
x^+100
x^+10
x^*2
x^0

Python (deterministic transpilation)

python
x = 100
x += 10
x *= 2
print(x)

stdout (executed)

text
220

Trace event types

eml:run:starteml:assigneml:augmenteml:augmenteml:outputeml:run:done