Function claim_predicate_to_js 

pub fn claim_predicate_to_js(pred: &ClaimPredicate, claims_var: &str) -> String

Lower a claim predicate to a JavaScript boolean expression over claims_var (the verified claims object, Record<string, unknown>). Used by the emitter for the refinement seam’s 403 check.