Joey
12/20/2022, 4:07 AMdabeast
12/20/2022, 4:20 AMdabeast
12/20/2022, 4:20 AMJoey
12/20/2022, 4:22 AMdefinition user {
relation member_group : group
Joey
12/20/2022, 4:22 AMmember_group
needs to be written as welldabeast
12/20/2022, 4:22 AMdabeast
12/20/2022, 4:23 AMdefinition user {
relation member_group: group
permission can_be_viewed = member_group->manager
}
Joey
12/20/2022, 4:25 AMmember_group
dabeast
12/20/2022, 4:29 AMdabeast
12/20/2022, 4:30 AMJoey
12/20/2022, 4:42 AMpermission can_be_viewed = member_group->view_member
Joey
12/20/2022, 4:42 AM->manager
dabeast
12/20/2022, 4:46 AMdabeast
12/20/2022, 4:46 AMdefinition group {
relation manager: user
relation member: user
permission view_member = manager + member
}
definition user {
relation member_group: group
permission can_be_viewed = member_group->view_member
}
dabeast
12/20/2022, 4:47 AMdabeast
12/20/2022, 4:47 AMrelationships: |-
group:x#member@user:a
group:x#manager@user:b
user:b#member_group@group:x
user:a#member_group@group:x
dabeast
12/20/2022, 4:47 AMdabeast
12/20/2022, 4:48 AM192:~ $ zed permission lookup-resources group view_member user:b
x
192:~ $ zed permission lookup-resources group view_member user:a
x
Joey
12/20/2022, 4:57 AMJoey
12/20/2022, 4:57 AMx
Joey
12/20/2022, 4:57 AMJoey
12/20/2022, 4:57 AM{x}
dabeast
12/20/2022, 5:12 AM192:~ $ zed permission lookup-resources user can_be_viewed user:a
b
a
192:~ $ zed permission lookup-resources user can_be_viewed user:b
a
b
dabeast
12/20/2022, 5:14 AMdabeast
12/20/2022, 5:14 AMJoey
12/20/2022, 5:16 AMdabeast
12/20/2022, 5:20 AMdabeast
12/20/2022, 5:25 AM192:~ $ zed permission lookup-resources user can_be_viewed user:a
192:~ $ zed permission lookup-resources user can_be_viewed user:b
b
aJoey
12/20/2022, 5:25 AMdabeast
12/20/2022, 5:26 AM