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: External services

External services · rule

package.provider_invalid

Provider file holds what it can't, or lacks protocol:.

Area 11, External services; not declinable; the next step is usually the agent's.

provider { } has one fixed set of keys, protocol: among them:

example
provider {    protocol: Protocol.json_http    host: "https://api.acme-couriers.example"}
text
error: `provider` has no key `host:` --> shared/providers/acme_couriers/v1/provider.jadpo:3:5  |3 |     host: "https://api.acme-couriers.example"  |     ^^^^ not a provider key  reason: `provider { }` has one fixed set of keys: `protocol:`, `hosts:`, `runs:`, `credential:`, `oauth:`, `idempotency:`, `error_code:`, `webhooks:`, `polls:`, `erasure:`, `max_concurrent:`, `settings:`, `imported:`, `description:`, `aws:`, `credential_header:` and `headers:`. Did you mean `hosts:`?  next: Use `hosts:` instead of `host:` (agent)  rule: package.provider_invalid  help: https://jadpo.dev/docs/errors/package.provider_invalidcheck failed: 1 error, 3 files

imported:'s reviewed: names the package's own types the agent has gone through (area 11, "Mapping imported types to standard types"), so a name that isn't one is a mistake:

example
/// Acme Couriers' tracking API.provider {    protocol: Protocol.json_http    hosts: {        live: "https://api.acme-couriers.example"    }    imported: {        file: "acme-couriers.json"        digest: "sha256:4f1c"        reviewed: [Delivry]    }}
text
error: `Delivry` in `reviewed:` isn't one of the package's types --> shared/providers/acme_couriers/v1/provider.jadpo:10:20   |10 |         reviewed: [Delivry]   |                    ^^^^^^^ not a type of the package  reason: `imported:` gives the description the package was imported from, `file:` and `digest:`, and `reviewed:`, the package's types the agent has gone through against the provider's documentation, each named once. The package declares no type `Delivry` in its `types/`.  next: Use `Delivery` instead of `Delivry` (agent)  rule: package.provider_invalid  help: https://jadpo.dev/docs/errors/package.provider_invalidcheck failed: 1 error, 4 files

Markdown for agents: /docs/errors/package.provider_invalid.md.Built from Jadpo main at a707efb.