anchor.diff:  ----
   etc.  More to come.
   
  -== [[keys]] Keys, keychains, keylinks, and dogtags
  +
  +== [[keys]] keys, keychains, keylinks, and dogtags
   
   A keylink is a namespaced keyword, e.g. `:Foo/Bar`.  A vector of
   keylinks is a keychain, which corresponds to a datastore Key, which
  
positive.code: (entity-map! [:A] {:a 1 :b 2})          ;; kinded ctor (see below)
  (entity-map! [:A/B :C] {:a 1 :b 2})          ;; kinded ctor (see below)
  (entity-map! :force [:A/B] {:a 9 :b 10}) ;; force replacement
  ----
  
  == [[[axioms]]structural axioms
  
negative.code: * <<start,getting started>>
  * <<testing,testing>>
  * <<types,types>>
  * <<ctors,constructors>>
  * <<axioms,axioms>>
  * <<keys,Keys, keychains, keylinks, dogtags>>
  * <<kinds,kinds>>
  