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.not_locked

Installed package has no line in the lock.

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

packages/ holds only installed packages, each with its line in jadpo.lock:

example
/// UK postcodes.package Postcodes.v2 {    licence: Licence.mit    jadpo: "1.0"}
text
error: Package `Postcodes.v2` isn't in `jadpo.lock` --> packages/postcodes/v2/package.jadpo  reason: `packages/` holds only installed packages, each with its line in `jadpo.lock`: its version, digest and source. A package with no line was copied in rather than installed, so nothing says where it came from.  next: Install it with `jadpo package add`, or, if it is the app's own code, move it to `shared/providers/postcodes/v2/` (human)  rule: package.not_locked  help: https://jadpo.dev/docs/errors/package.not_lockedcheck failed: 1 error, 2 files

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