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

Sign-in method is not one the language has.

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

Passwords are out of scope: checking the person is the application's job, and a session starts once it has (sessions.start):

example
authentication {    password: {}}
jadpo checkcheck failed: 1 error, 1 file

error password isn't a way to sign in

--> main.jadpo:2:5

  |2 |     password: {}  |     ^^^^^^^^ not a sign-in method
reason
A caller signs in with one of the language's methods: browser_session, api_token, external_token, service_key and oauth_token. Each decides where its credential travels and how it is checked.
next
Remove password: (agent)
rule
semantic.auth_method_unknown
help
https://jadpo.dev/docs/errors/semantic.auth_method_unknown

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