pub fn valid_chain_action<'a>(author: HoloHash<Agent>) -> impl Fact<'a, Action>