Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Identity

Identity · rule

type.principal_subject_invalid

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

Area 8, Identity; not declinable; the next step is usually the agent's.

example
principal {    user: {        subject: Member    }}entity Member {    id: Uuid}
text
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_invalidcheck failed: 1 error, 1 file

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