A proof runtime, not an arbitrary code host
The runtime executes known capabilities over explicit application state. It is not designed as a generic JavaScript escape hatch for any behavior the producer wishes to invent.
State, actions and derived data
Supported actions mutate declared state resources. Computations can produce derived resources without rewriting their source state. User events dispatch through explicit trigger topology.
Runtime support can be narrower than AppGraph
This is a deliberate architectural distinction. The broader application contract can remain useful while the proof runtime exposes a smaller, truthful execution subset during research.
Earlier prototype
The proof executor described here belongs to the earlier web prototype. Current Android image workflows remain available only in development debug builds.