Function zk_eligibility 

pub fn zk_eligibility(proof_verified: bool) -> Eligibility

Gate an obligation on a ZK proof’s verification result (O(p | ZK(...))). The proof is produced/verified by zk_proofs::ZkProofSystem (real Groth16); this maps that boolean to the deontic eligibility, keeping the attribute value itself private.