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
jadpo
ReferenceErrors

ErrorsSign-in and identity · rule

semantic.principal_variant_required

Principal declares neither a user nor a service.

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

example
principal {}
jadpo checkcheck failed: 1 error, 1 file

error The principal declares no kind of caller

--> main.jadpo:1:1

  |1 | principal {}  | ^^^^^^^^^ no `user:` or `service:`
reason
A principal says which entity a signed-in caller is: user: for a person, service: for another system, or both.
next
Add user: { subject: <Entity>.<field> } (agent)
rule
semantic.principal_variant_required
help
https://jadpo.dev/docs/errors/semantic.principal_variant_required

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