Binary Search: From Finding a Number to Finding a Boundary

Deriving binary search through reasoning, mathematical proofs, loop invariants, and Boolean boundaries, from first principles.