type.auth_principal_variant_unknown: Caller variant is not one the principal declares

Caller variant is not one the principal declares.

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

example

principal {    user: {        subject: Member.handle    }}authentication {    browser_session: {        cookie: "session"    }}type Handle = Text {    max_length: 40}entity Member {    id: Uuid    handle: Handle {        unique: true    }}type MemberView = Output {    handle: Handle}type MemberNotFound = Failure {    kind: FailureKind.not_found}query whoami(caller: Principal.user) fails MemberNotFound -> MemberView {    from: Member    where: Member.id == caller.id    missing: MemberNotFound}routes Members {    prefix: /members    GET /me {        output: MemberView        run: whoami(current_principal.service)    }}

jadpo checkcheck failed: 1 error, 1 file

error current_principal.service isn't a kind of caller

--> main.jadpo:43:39

   |43 |         run: whoami(current_principal.service)   |                                       ^^^^^^^ not declared

reason: principal { } declares no service:, so no service ever signs in; it declares user.
next: Write current_principal.user instead of current_principal.service (agent)
rule: type.auth_principal_variant_unknown
help: https://jadpo.dev/docs/errors/type.auth_principal_variant_unknown