route.api_unknown: Route group names an API the application doesn't declare

Route group names an API the application doesn't declare.

Area 7, HTTP; not declinable; the next step is usually the agent's.

A group names an API app.jadpo declares; with none declared there is one, main:

example

type Memo = Text {    max_length: 200}type MemoId = Uuid {}type AddMemo = Input {    text: Memo}type MemoView = Output {    text: Memo}action add_memo(input: AddMemo) -> MemoView {    return MemoView {        text: input.text    }}routes Memos {    prefix: /memos    api: admin    POST / {        authentication: RouteAuthentication.none        input: AddMemo        output: MemoView        run: add_memo(input)    }}

text

error: `Memos` belongs to API `admin`, which isn't declared --> main.jadpo:23:10   |23 |     api: admin   |          ^^^^^ not declared  reason: With no `apis:` in `app.jadpo` there is one API, `main`, at `/`.  next: Declare `admin` under `apis:` in `app.jadpo` (agent)  rule: route.api_unknown  help: https://jadpo.dev/docs/errors/route.api_unknowncheck failed: 1 error, 1 file