Regen Engine

Execution is not implicit.

It is enforced. Valid actions commit.

Invalid actions are rejected.

Divergence halts execution.

Regen Engine enforces execution invariants.