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

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

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

example

authentication {    browser_session: {        cookie: "session"    }}

jadpo checkcheck failed: 1 error, 1 file

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_required

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