‹ all cards
Key-Value Store — service cell
a published interface (put · delete · get) routed through the verified DFA
store version:
4
reg 1:
10
put
del
reg 2:
20
put
del
reg 3:
30
put
del
reg 4:
40
put
del
loading the in-tab verified executor…