Document consistency model

We need to settle on standard termnology on the headnode stuff: dirty/clean, frozen, locked... let's pick one.