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 Failures · rule

`failure.mapping_kind`

Mapped failure's kind does not fit its condition.

Area 4, Failures; not declinable; the next step is usually the agent's.

example

type Quantity = Int {    min: 1    max: 1000}type QuantityRefused = Failure {    kind: FailureKind.rejected}function doubled(quantity: Quantity) fails QuantityRefused -> Quantity {    var result: Quantity = attempt Quantity(quantity * 2) {        max: QuantityRefused    }    return result}

jadpo checkcheck failed: 1 error, 1 file

error max: needs an invalid_value failure, and QuantityRefused is rejected

--> main.jadpo:12:14

   |12 |         max: QuantityRefused   |              ^^^^^^^^^^^^^^^ kind `rejected`

reason: Each mapping's condition fixes the kind of failure it becomes: a value that breaks a type's rules is invalid_value, so the client gets the status that means.
next: Name an invalid_value failure here, or make QuantityRefused's kind FailureKind.invalid_value (agent)
rule: failure.mapping_kind
help: https://jadpo.dev/docs/errors/failure.mapping_kind

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