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

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"}

jadpo checkcheck failed: 1 error, 3 files

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_invalid

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]    }}

jadpo checkcheck failed: 1 error, 4 files

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_invalid

erasure: { call: customers.delete by: CustomerId } names the operation that erases a person and the type of the key it takes. So call: is one of the package's operations with changes: true, and by: the type of exactly one field of its input, any other optional. Each of these is this error, such as `erasure:` can't call `customers.delete` with only a `Words` (Erasure at providers).

Related