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

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

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