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

`type.optional_outside_input`

Optional or default field outside an Input.

Area 2, Values and types; not declinable; the next step is usually the agent's.

example

type Nickname = Text {    max_length: 30}type Profile = Object {    nickname: Nickname {        optional: true    }}

jadpo checkcheck failed: 1 error, 1 file

error Profile isn't an Input, so its fields are always given

--> main.jadpo:7:9

  |7 |         optional: true  |         ^^^^^^^^ only for an `Input`

reason: Only a request arriving from outside may leave fields out or have them filled by default; an object built inside the application states every field, using none for a field declared T?.
next: Remove the setting, or make the field's type T? if it may be absent (agent)
rule: type.optional_outside_input
help: https://jadpo.dev/docs/errors/type.optional_outside_input

Markdown for agents: /docs/errors/type.optional_outside_input.md.Built from Jadpo main at aee2e8f.