Context Manager

Read with as a scoped setup-and-cleanup contract, check what a library actually closes or commits, and distinguish cleanup from data correctness.