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.conflict_unknown

Conflict mapping names no unique rule or reference.

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

example
entity Customer {    id: Uuid    email: Email {        unique: true    }}type EmailTaken = Failure {    kind: FailureKind.conflict}action register(email: Customer.email) fails EmailTaken -> Customer {    return attempt Customer.create {        set: {            email: email        }        conflict: {            Customer.mail: EmailTaken        }    }}
text
error: `Customer.mail` names no unique rule or reference --> main.jadpo:18:13   |18 |             Customer.mail: EmailTaken   |             ^^^^^^^^^^^^^ not a rule  reason: A `conflict:` arm is keyed by the rule the store refuses, written `Entity.name`: a field with `unique: true`, a rule named in `unique:`, a `restricted` reference that refuses a delete, or a lifecycle transition whose `when:` can refuse it. `Customer.create` can break `Customer.email`. Did you mean `Customer.email`?  next: Use `Customer.email` instead of `Customer.mail` (agent)  rule: data.conflict_unknown  help: https://jadpo.dev/docs/errors/data.conflict_unknowncheck failed: 1 error, 1 file

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