{"service":"WINDI-TRAVEL Identity Gate v1.3.0","gate_url":"/travel/gate","health_url":"/travel/health","register_url":"/travel/register","invariants":["I9","I11","I14"],"blocking_rule":"if(!did||!wallet){blockWorkspace()}"}