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

`semantic.principal_variant_invalid`

Principal variant is not a subject and an optional active condition.

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

example

principal {    user: {        active: Member.suspended == false    }}entity Member {    id: Uuid    suspended: Bool}

jadpo checkcheck failed: 1 error, 1 file

error user: has no subject:

--> main.jadpo:2:5

  |2 |     user: {  |     ^^^^ no `subject:`

reason: A principal's variant names the unique field that identifies a caller, subject: <Entity>.<field>, and may say when a record counts as active, active: <condition>.
next: Add subject: <Entity>.<field>, naming a unique field (agent)
rule: semantic.principal_variant_invalid
help: https://jadpo.dev/docs/errors/semantic.principal_variant_invalid

Markdown for agents: /docs/errors/semantic.principal_variant_invalid.md.Built from Jadpo main at aee2e8f.