Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsProject layout and modules · rule

decline.no_reason

Decline gives no reason.

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

A decline says why the finding is right to leave, so a reviewer can agree or not.

example
type Stock = Int {    min: 0}library rounding {    /// The amount, capped at a thousand.    function capped(amount: Stock) -> Stock {        if (amount > Stock(1000)) {            return Stock(1000)        }        return amount    }}decline library.similar_exists: ""function cap_total(total: Stock) -> Stock {    if (total > Stock(1000)) {        return Stock(1000)    }    return total}
jadpo checkcheck failed: 1 error, 1 file

error This decline gives no reason

--> main.jadpo:15:1

   |15 | decline library.similar_exists: ""   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ reason needed
reason
A decline is reviewed like the code it sits on: its reason says why the finding is right to leave, so a reviewer can agree or not.
next
Write why in the quotes: decline library.similar_exists: "<why>" (agent)
rule
decline.no_reason
help
https://jadpo.dev/docs/errors/decline.no_reason

Markdown for agents: /docs/errors/decline.no_reason.md.Built from Jadpo main at aee2e8f.