policy.membership_role_required
Membership doesn't say which field holds the role.
Area 9, Policy; not declinable; the next step is usually the agent's.
type Handle = Text { max_length: 40}entity User { id: Uuid handle: Handle { unique: true }}principal { user: { subject: User.handle }}type StaffRole = Enum { steward}entity StaffMembership { id: Uuid user_id: User.id { on_delete: OnDelete.cascade } role: StaffRole membership: { scope: MembershipScope.application member: user_id }}
error StaffMembership's membership has no role:
--> main.jadpo:29:5
|29 | membership: { | ^^^^^^^^^^ no `role:`
- reason
- A membership says where a role is held (
scope:), who holds it (member:) and which field holds it (role:);role:is which field holds the role, a field typed with the role's enum. - next
- Add
role:to the membership (agent) - rule
- policy.
membership_ role_ required - help
- https://jadpo.
dev/docs/errors/policy. membership_ role_ required
Markdown for agents: /docs/errors/policy.membership_role_required.md.Built from Jadpo main at aee2e8f.