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

ErrorsExternal services · rule

package.index_invalid

Package's index is missing, or holds what an index can't.

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

A package's index is a /// description, licence: and jadpo:, and publisher: when it is published. Packages have no dependencies, so it has no requires::

example
/// Acme Couriers' booking API.package AcmeCouriers.v1 {    licence: Licence.mit    jadpo: "1.0"    requires: [Postcodes.v2]}
jadpo checkcheck failed: 1 error, 2 files

error A package's index can't hold requires:

--> shared/providers/acme_couriers/v1/package.jadpo:5:5

  |5 |     requires: [Postcodes.v2]  |     ^^^^^^^^^^^^^^^^^^^^^^^^ not an index key
reason
Packages have no dependencies: a package that needs another's code carries a copy, so installing one is one folder and one line in the lock.
next
Remove requires:, and copy what the package needs into it (agent)
rule
package.index_invalid
help
https://jadpo.dev/docs/errors/package.index_invalid

Markdown for agents: /docs/errors/package.index_invalid.md.Built from Jadpo main at aee2e8f.