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 Reads and writes · rule

`query.result_field`

Result type has a field the entity cannot fill.

Area 6, Reads and writes; not declinable; the next step is usually the agent's.

example

type Title = Text {    max_length: 80}entity Book {    id: Uuid    title: Title    subtitle: Title?    available: Bool}type BookCard = Output {    pick: [Book.id, Book.title]    author: Title}query cards() -> List<BookCard> {    from: Book    order: [Book.title asc]    limit: 20}

jadpo checkcheck failed: 1 error, 1 file

error BookCard.author isn't a field of Book, or an include

--> main.jadpo:17:18

   |17 | query cards() -> List<BookCard> {   |                  ^^^^^^^^^^^^^^ `author` can't be filled

reason: A query fills its result's fields from Book's fields of the same name (id, title, subtitle and available) and from its includes; nothing gives author.
next: Remove author from BookCard, or include records under it (agent)
rule: query.result_field
help: https://jadpo.dev/docs/errors/query.result_field

Markdown for agents: /docs/errors/query.result_field.md.Built from Jadpo main at aee2e8f.