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

`configuration.unknown_option`

Setting option is not one a setting takes.

Area 10, Configuration; not declinable; the next step is usually the agent's.

example

config {    mail_sender: Email {        binding: "MAIL_SENDER"        required: true    }}

jadpo checkcheck failed: 1 error, 1 file

error required isn't an option a setting takes

--> main.jadpo:4:9

  |4 |         required: true  |         ^^^^^^^^ unknown option

reason: mail_sender can say secret:, default:, binding: and test:. A setting is required unless it has a default:; there are no optional settings, so give a default or leave the setting required.
next: Remove required (agent)
rule: configuration.unknown_option
help: https://jadpo.dev/docs/errors/configuration.unknown_option

Markdown for agents: /docs/errors/configuration.unknown_option.md.Built from Jadpo main at aee2e8f.