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_not_unique`

Principal's subject field is not unique.

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

example

principal {    user: {        subject: Member.handle    }}type Handle = Text {    max_length: 40}entity Member {    id: Uuid    handle: Handle}

jadpo checkcheck failed: 1 error, 1 file

error Member.handle doesn't identify one user

--> main.jadpo:3:18

  |3 |         subject: Member.handle  |                  ^^^^^^^^^^^^^ not unique

reason: A caller is looked up by its subject, so the subject names exactly one record: Member.handle isn't unique: true.
next: Make handle a required field with unique: true, or name one that is (agent)
rule: type.principal_subject_not_unique
help: https://jadpo.dev/docs/errors/type.principal_subject_not_unique

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