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

ErrorsFailures · rule

failure.code_format

Failure code is not lower_snake_case.

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

example
type Missing = Failure {    kind: FailureKind.not_found    code: "Not Found!"}
jadpo checkcheck failed: 1 error, 1 file

error The code Not Found! isn't lower_snake_case

--> main.jadpo:3:11

  |3 |     code: "Not Found!"  |           ^^^^^^^^^^^^ not lower_snake_case
reason
A failure's code is what clients branch on and translate by, so it is lower_snake_case, like a failure's name turned into one.
next
Write "not_found" (agent)
rule
failure.code_format
help
https://jadpo.dev/docs/errors/failure.code_format

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