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_unexpected

Write has a section it doesn't take.

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

A create takes set: and conflict:, an update set: or patch: (with when_supplied:) and conflict:, a delete conflict:, each once. A record that isn't there reports the entity's not-found failure itself:

example
type ItemName = Text {    max_length: 80}entity Item {    id: Uuid    name: ItemName}type ItemMissing = Failure {    kind: FailureKind.not_found}action rename(item_id: Item.id, name: Item.name) fails ItemNotFound -> Item {    return attempt Item.update(item_id) {        set: {            name: name        }        missing: ItemMissing    }}
text
error: `Item.update` takes no `missing:` --> main.jadpo:19:9   |19 |         missing: ItemMissing   |         ^^^^^^^ not a section here  reason: A record that isn't there reports `ItemNotFound` itself; `missing:` maps a query's "nothing matched".  next: Remove `missing: ...` (agent)  rule: data.write_section_unexpected  help: https://jadpo.dev/docs/errors/data.write_section_unexpectedcheck failed: 1 error, 1 file

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