decline.not_declinable: Decline names a rule that can't be declined

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}

jadpo checkcheck failed: 1 error, 1 file

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, policy.call_ungranted, query.nearest_exact, rate_limits.counted_in_memory, step.late_failure, translation.field_unused, type.batch_order_updatable, type.standard_exists, type.unit_as_number 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_declinable