A manifestly covariant framework for causal set dynamics