auto

p6.md

@@ -159,6 +159,16 @@ only by `Apply()` calls. These calls are immediate for
 non-transactional updates, but *calls for transactional updates are
 delayed until a transaction is known to have committed*.
 
+## Details
+- Start/finish transaction commands should have *oids* matching their *tids*.
+- Distinct transactions should have distinct *tids*.
+- KV and transaction objects should have *oids* should be greater than 0, and of
+  course should be unique across the space of all KV objects and
+  transactions.
+- The leader election record will have *oid* 0. It should be treated
+  the same as any other record by the tango runtime, but will never be
+  the cause of an `apply()` upcall since there are no KV objects w/
+  *oid* 0.
 
 ## Something Else
 Build some other distributed data type on tango. Or do something else cool w/ Raft.