Status: OUT
The combination of stdlib delegation (exact arithmetic, correct data structures) and construction techniques (sentinel initialization, streaming invariants) should compose to provide end-to-end correctness guarantees — no manual reimplementation means no reimplementation bugs, and construction eliminates boundary-condition errors.
Stdlib correctness and construction correctness compose in the interior of the input domain but fail at their interface — stdlib functions like min() crash on empty inputs that construction techniques failed to guard against, breaking the composition at boundary cases
Depends on (SL): stdlib-reinforces-exactness, correctness-by-construction-not-validation