Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Reads and writes

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}
text
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_fieldcheck failed: 1 error, 1 file

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