Function parse_predicate_spec 

pub fn parse_predicate_spec(spec: &str) -> GatePredicate

Parse a verify=...;disproof=... predicate spec (the value half of a CLI --pending-set-verify id=<spec> argument) into a GatePredicate.

Accepts ops_log: prefixes on the values (stripped) so the operator can write verify=ops_log:marker matching the plan vocabulary. set_at is not accepted here — it is stamped by the caller at write time.