The Store Owns Its Keys

Prove the ownership rule: kv_put must copy the caller's bytes. The store's observable behavior must not change when the caller's buffer is modified or reused after the put.

Difficulty: intermediate