Binary search and boundary conventions

Knowledge package outline

Topic

Computation and software foundations

Purpose

Prevents off-by-one errors in ordered lookup.

Package contents

Half-open intervals; invariant traces; empty-input cases.

Dependencies

Sorted arrays.