RCE engine demo · WebAssembly · 0 model calls · to write and check RCE programs, use the RCE playground (the reference checker)

The stack is not fixed.

RCE is a language and engine in which a program is written as a checked Form. You state intent once, RCE encodes it as a Form, and Rust, Python, XState, SCXML and WebAssembly are projections of that Form. The reported check ran on 10,000 generated Forms, and the Python projection printed the reference trace on 9,999 of them, so a projection can differ from the Form and the checks exist to catch that. Input that does not fit the declared shape is refused at entry; an order with a missing id is escalated, not refused. A handler that passes its checks joins the ecosystem and can serve later tasks. The growth curve below is a replay of a recorded, scripted run, not an open-ended improvement process.

Select a level of the stack to see what it guarantees. Its correction is computed by the engine in your browser and carries upward into every level above it, and the curves redraw. Choose open on a level to explore it in depth.