Strict vs Lax Error Propagation

Evaluate the design trade-offs between bubbling up errors versus local recovery.