A campus operations engineer is studying the internal architecture that gives Arista EOS its consistency. Within the 'EOS Overview' foundational content, which component is described as the central state-sharing database that EOS is built around before its evolution into a broader data-lake model?