. . . . "Returns the (non-admin) members of a given space ref (space IRI + root definition), each with a ?validated flag. Pass the ref's root nanopub (root_np); the query resolves the ref via npa:rootNanopub and its space IRI, then returns every non-admin gen:RoleInstantiation naming that IRI from the raw npa:spacesGraph (member agent, role's regular/inverse property, instantiating nanopublication), with ?validated = true when that instantiation is also present in the trust-state-validated current space-state graph for this ref (i.e. the agent's key has a trust-approved AccountState from an accepted introduction), false otherwise. This shows all self-declared members while flagging the un-introduced/unvalidated ones, rather than hiding them." . . . "Get space members (ref-scoped, with validation flag)" . . "prefix npa: \nprefix npx: \nprefix gen: \n\nselect ?member ?regProp ?invProp ?np (\"^\" as ?np_label) ?validated where {\n values ?_root_np_multi_iri {}\n graph npa:spacesGraph {\n ?ref npa:rootNanopub ?_root_np_multi_iri ;\n npa:spaceIri ?spaceIri .\n }\n graph npa:spacesGraph {\n ?ri a gen:RoleInstantiation ;\n npa:forSpace ?spaceIri ;\n npa:forAgent ?member ;\n npa:viaNanopub ?np .\n optional { ?ri npa:regularProperty ?regProp }\n optional { ?ri npa:inverseProperty ?invProp }\n filter not exists { ?ri npa:inverseProperty gen:hasAdmin }\n }\n filter not exists { graph npa:graph { ?invNp npx:invalidates ?np . } }\n bind(exists {\n graph npa:graph { npa:thisRepo npa:hasCurrentSpaceState ?g . }\n graph ?g {\n ?vri a gen:RoleInstantiation ;\n npa:forSpaceRef ?ref ;\n npa:forAgent ?member ;\n npa:viaNanopub ?np .\n }\n } as ?validated)\n}" . . "Tobias Kuhn" . "2026-06-16T11:27:57Z"^^ . . . . "RSA" . "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCwUtewGCpT5vIfXYE1bmf/Uqu1ojqnWdYxv+ySO80ul8Gu7m8KoyPAwuvaPj0lvPtHrg000qMmkxzKhYknEjq8v7EerxZNYp5B3/3+5ZpuWOYAs78UnQVjbHSmDdmryr4D4VvvNIiUmd0yxci47dTFUj4DvfHnGd6hVe5+goqdcwIDAQAB" . "SbFWe81wPQS+kM7InGLHOFQChAXVVxhej+ABkxvTinqbj3NKTHty/hGKslgOceeBxDDZUqygsf+NoVud7br9SO4+Ycgnmy61IpwHaWAdtG+mVtXRcGPTNfQtNiMtdfrUzVHLsoTgPU5gPA/xgQL5cFKwHElhCG5W2x7wHYhM+J0=" . . .