Status: IN
Early-exit patterns eliminate branch code for post-violation states (computation end), while sentinel initialization eliminates branch code for first-iteration special cases (computation start) — together they remove boundary-handling logic from both ends of the computation, leaving only the core invariant-maintaining loop body.
both eliminate boundary code but from opposite ends of computation; combining reveals the core loop body is free of all boundary logic
Depends on (SL): early-exit-optimizations-pervasive, sentinel-initialization-encodes-boundary-conditions