ExecContext.eval

Evaluates one subtree: the source leaf returns its frame; every other node first probes the memo, then evaluates over its child's result through the eager kernels and remembers the outcome. A throwing evaluation propagates and stores nothing - the first evaluation owns the error.