Research paper · about

The Reality Code Engine: One Lossless Form for Native, Verified, Low-Energy Programming

This paper describes the Reality Code Engine (RCE), a system in which a program is written once as a state machine, called a Form, and code in other languages is generated from it. It reports what was measured on 10,000 Forms and on public bug datasets, and states how the claims could be shown false.

In plain words

  1. A program is written once, in one precise form, and the computer produces the same program in many languages from it.
  2. Because the form only allows what was declared, broken input is rejected at the door instead of being fixed later.
  3. A fix that passes the checks is saved and reused, so the same problem does not cost time or energy twice.
RCE overview: source, checker, Form P = (S, E, delta, D, lambda), hash-chained log D, emit targets Rust, Scala, Haskell, Julia and wasm, host and compute fabrics
RCE at a glance. The checker accepts a program or names the rule it breaks; an accepted program is a Form; every step is appended to the log D; emitters project it to other languages; a host runs it. Open full size · PNG. More figures: openIE-dev/rce docs/figures.
Status chart: Scala code generation 55 of 55 tests; Haskell code checked by the Glasgow Haskell Compiler, 451,037 of 451,037 cases agree; Julia differential probe 0 mismatches in 200,000; editor (integrated development environment) test suite 811 tests pass
Test and differential results, October 2026. Open full size · PNG.
Read → /papers/rce/ Download PDF ← Catalog