1 Working memory
(make-element class attr val ...) -> element? |
(element-class e) -> symbol? |
(element-ref e attr) -> any/c |
(engine-assert! e class attr val ...) -> element? |
(engine-elements e) -> (listof element?) |
(engine-count-of-class e class) -> exact-nonnegative-integer? |
An element is a flat datum — (monkey location tree1 holds nil) — with a unique id and a logical time stamp. The clock is global and monotonic; time stamps feed recency, the first conflict-resolution criterion.