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

Errors Logic · rule

`failure.outcome_unknown_arm`

Outcome arm names a failure the call cannot produce.

Area 3, Logic; not declinable; the next step is usually the agent's.

example

type LookupTimedOut = Failure {    kind: FailureKind.rejected}function unknown_failure(key: LookupKey) -> LookupResult {    return match lookup(key) {        success(value) -> value        LookupMissing -> "missing"        LookupRefused -> "refused"        LookupTimedOut -> "timed out"    }}

jadpo checkcheck failed: 1 error, 2 files

error lookup(...) can't fail with LookupTimedOut

--> main.jadpo:10:9

   |10 |         LookupTimedOut -> "timed out"   |         ^^^^^^^^^^^^^^ never happens here

reason: lookup(...) fails with LookupMissing and LookupRefused, so an arm for anything else never runs.
next: Remove this arm (agent)
rule: failure.outcome_unknown_arm
help: https://jadpo.dev/docs/errors/failure.outcome_unknown_arm

Markdown for agents: /docs/errors/failure.outcome_unknown_arm.md.Built from Jadpo main at aee2e8f.