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.auth_principal_required

Sign-in method has no principal variant to sign in.

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

example
authentication {    browser_session: {        cookie: "session"    }}
text
error: `browser_session:` signs in users, but no `user:` is declared --> main.jadpo:2:5  |2 |     browser_session: {  |     ^^^^^^^^^^^^^^^ nobody to sign in  reason: A browser session signs in a user, looked up through the principal's `user:` in `app.jadpo`, which names the entity and the unique field that identify one.  next: Declare `principal { user: { subject: <Entity>.<field> } }` in `app.jadpo` (agent)  rule: semantic.auth_principal_required  help: https://jadpo.dev/docs/errors/semantic.auth_principal_requiredcheck failed: 1 error, 1 file

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