Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0

ReferenceErrors

`policy.role_unbound`

Grant names a role no membership holds.

Area 9, Policy; not declinable; the next step is usually the agent's.

A role exists only where a membership stores it; declaring the enum gives it to nobody:

example

type NoteRole = Enum {    owner}entity Note {    id: Uuid    policy: {        read: [NoteRole.owner]    }}

jadpo checkcheck failed: 1 error, 1 file

error No membership holds a NoteRole

--> main.jadpo:9:16

  |9 |         read: [NoteRole.owner]  |                ^^^^^^^^^^^^^^ a role nobody can hold

reason: A role exists only where it is stored: in a membership entity whose membership: names a field typed NoteRole as its role:. Declaring the enum alone gives the role to nobody.
next: Add a membership entity holding NoteRole, or name someone else in the grant (agent)
rule: policy.role_unbound
help: https://jadpo.dev/docs/errors/policy.role_unbound

Markdown for agents: /docs/errors/policy.role_unbound.md.Built from Jadpo main at aee2e8f.