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

`type.principal_subject_invalid`

Principal's subject is not a field of a stored entity.

Area 8, Sign-in and identity; not declinable; the next step is usually the agent's.

example

principal {    user: {        subject: Member    }}entity Member {    id: Uuid}

jadpo checkcheck failed: 1 error, 1 file

error Member isn't an entity's field

--> main.jadpo:3:18

  |3 |         subject: Member  |                  ^^^^^^ not `<Entity>.<field>`

reason: A user is looked up by a unique field of the entity it is stored as, written <Entity>.<field>, such as User.email.
next: Name a unique field of the entity, such as User.email (agent)
rule: type.principal_subject_invalid
help: https://jadpo.dev/docs/errors/type.principal_subject_invalid

Markdown for agents: /docs/errors/type.principal_subject_invalid.md.Built from Jadpo main at aee2e8f.