Automata Runs as Sheaves | Dark Hacker News