Skip to main content

claim_witness_js

Function claim_witness_js 

Source
pub fn claim_witness_js(pred: &ClaimPredicate) -> Option<String>
Expand description

#2019: a JavaScript object literal of JWT claims that satisfies a refinement actor’s predicate, for the system-tier test driver to sign next to sub when a case acts as that refinement (by Admin("root")): hasClaim("admin") → { "admin": true }, claimEquals("role", "ops") → { "role": "ops" }. The Worker’s seam then checks the predicate against the verified claims exactly as it would a real token’s. A Truthy need signs true: a boolean is never === a string, so it also lies outside every excluded value. An absent claim meets Falsy and NotEquals, so those sign nothing. The search is exact over the closed vocabulary, so None means no claim set satisfies the predicate (hasClaim("a") && !hasClaim("a")).