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: Data

Data · rule

migration.decision_invalid

Migration decision does not fit its change.

Area 5, Data; not declinable; the next step is usually the agent's.

example
migration {    Note.stars: {        backfill: 9    }}
text
error: The decision about `Note.stars` doesn't fit its change --> database/migrations/20261020T1401_add_stars/changes.jadpo:3:19  |3 |         backfill: 9  |                   ^ doesn't fit  reason: This value can't fill `Note.stars`: it is above the field's `max`.  next: Write `Note.stars: { backfill: <value> }` with a value of its type (agent)  rule: migration.decision_invalid  help: https://jadpo.dev/docs/errors/migration.decision_invalidcheck failed: 1 error, 4 files

Markdown for agents: /docs/errors/migration.decision_invalid.md.Built from Jadpo main at a707efb.