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

ErrorsHTTP · rule

api.idempotency_invalid

API idempotency is not an Idempotency.

Area 7, HTTP; not declinable; the next step is usually the agent's.

An API that refuses writes without an Idempotency-Key says so with an Idempotency:

example
application {    apis: {        main: {            prefix: /v1            idempotency: true        }    }}
jadpo checkcheck failed: 1 error, 1 file

error true isn't an Idempotency

--> app.jadpo:5:26

  |5 |             idempotency: true  |                          ^^^^ not an `Idempotency`
reason
idempotency: takes Idempotency.required, so a write without an Idempotency-Key header is refused, or Idempotency.optional, the default, where a client may send one.
next
Write Idempotency.required, or leave idempotency: out (agent)
rule
api.idempotency_invalid
help
https://jadpo.dev/docs/errors/api.idempotency_invalid

Markdown for agents: /docs/errors/api.idempotency_invalid.md.Built from Jadpo main at aee2e8f.