Chapter 12 — Binary Search Trees

This is the canonical CLRS fourth-edition chapter guide during the migration period.

Current source

Sections 12.1--12.3 are native fourth-edition sections, sourced from the single Section 12.1 module (what is a binary search tree, querying a binary search tree, and insertion and deletion share the one theorem-bearing body). Declarations retain the CLRS.Chapter12 namespace during the compatibility period; the third-edition-numbered imports CLRSLean.Chapter_12 and CLRSLean.Chapter_12.Section_12_* forward to this source.

Coverage boundary

The existing functional binary-search-tree development is reused across the fourth-edition three-section organization.

See docs/clrs-fourth-edition-map.csv for the section-level mapping and docs/migrations/clrs4.md for compatibility and deprecation policy.