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

ErrorsReads and writes · rule

query.section_unexpected

Query has a section its result does not take.

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}query book_by_id(book_id: Book.id) -> Book? {    from: Book    where: Book.id == book_id    order: [Book.title asc]}
jadpo checkcheck failed: 1 error, 1 file

error A query returning Book? takes no order:

--> main.jadpo:15:5

   |15 |     order: [Book.title asc]   |     ^^^^^ not for this result
reason
Book? is at most one record, found by a unique field, so there is nothing to order or limit.
next
Remove order: (agent)
rule
query.section_unexpected
help
https://jadpo.dev/docs/errors/query.section_unexpected

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