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

semantic.principal_variant_required

Principal declares neither a user nor a service.

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

example
principal {}
text
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_requiredcheck failed: 1 error, 1 file

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