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

data.write_section_required

Write doesn't say what it changes.

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

example
type ItemName = Text {    max_length: 80}entity Item {    id: Uuid    name: ItemName}action touch(item: Item) -> Item {    return Item.update(item)}
jadpo checkcheck failed: 1 error, 1 file

error Item.update doesn't say what it changes

--> main.jadpo:11:12

   |11 |     return Item.update(item)   |            ^^^^^^^^^^^ nothing to change
reason
An update gives the fields it changes in set:, or the request's changes with patch:.
next
Add set: { ... } with the fields it changes (agent)
rule
data.write_section_required
help
https://jadpo.dev/docs/errors/data.write_section_required

Markdown for agents: /docs/errors/data.write_section_required.md.Built from Jadpo main at aee2e8f.