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: Project layout and modules

Project layout and modules · rule

decline.not_declinable

Decline names a rule that can't be declined.

Area 1, Project layout and modules; not declinable; the next step is usually the agent's.

Only judgement calls can be declined; a plain mistake is fixed. A rule id Jadpo doesn't have is reported the same way, naming the nearest declinable rule.

example
type Stock = Int {    min: 0}decline layout.unused_declaration: "Kept for next quarter"function cap_total(total: Stock) -> Stock {    return total}
text
error: `layout.unused_declaration` can't be declined --> main.jadpo:5:9  |5 | decline layout.unused_declaration: "Kept for next quarter"  |         ^^^^^^^^^^^^^^^^^^^^^^^^^ a plain mistake  reason: Only judgement calls can be declined: `constant.similar_exists`, `email.field_unused`, `email.health_problem`, `library.similar_exists`, `package.standard_candidate`, `query.nearest_exact`, `rate_limits.counted_in_memory`, `step.late_failure`, `translation.field_unused`, `type.batch_order_updatable`, `type.standard_exists` and `type.variant_retired`. `layout.unused_declaration` reports a mistake, which only a fix answers.  next: Remove the `decline` line, and fix what `layout.unused_declaration` reports if it fires (agent)  rule: decline.not_declinable  help: https://jadpo.dev/docs/errors/decline.not_declinablecheck failed: 1 error, 1 file

Markdown for agents: /docs/errors/decline.not_declinable.md.Built from Jadpo main at a707efb.