Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 4 Nov 2026. What's built · Install 0.2.0
jadpo
ReferenceSoftware

LanguageValues and typesStandard types

Software

Versions, package and licence identifiers, traces, file names and unique IDs.

Topics

Software types

The software types are the values tools and build systems pass around: version numbers and ranges, git refs, package and container names, licences, trace ids, file names and paths.

Types

TypeWhat it is
SemanticVersionA software version: 1.2.3-alpha.1+build.5.
VersionRangeA range of versions: ^1.2.3, >=1.0.0 <2.0.0.
GitRefA git branch, tag, full ref or commit hash: main, refs/tags/v1.2.0.
PackageUrlA package's address, the same across package managers: pkg:npm/left-pad@1.3.0.
CveA security vulnerability's id: CVE-2021-44228.
SpdxLicenceA software licence as SPDX writes it: MIT OR Apache-2.0.
TraceIdA whole trace's id: 32 lower-case hexadecimal digits, not all zero.
SpanIdOne step's id in a trace: 16 lower-case hexadecimal digits, not all zero.
TraceParentA traceparent header's value, which links a request to its trace.
LogLevelHow severe a log record is: TRACE, DEBUG, INFO, WARN, ERROR or FATAL.
FilePathA portable file path: /var/lib/acme/uploads, reports/2026/october.csv.
FileNameA file's name that every common file system takes: report.pdf.
RegularExpressionA pattern for matching text: [A-Z]{2}[0-9]{2}.
ContainerImageA container image's whole name: docker.io/library/nginx:1.27.
DigestA content digest, with its algorithm: sha256: and 64 hexadecimal digits.
UuidA universally unique identifier, in lower case with hyphens.
UlidA sortable unique identifier: 26 capital letters and digits.
IdempotencyKeyA key a client sends so that a retried request isn't applied twice.
DoiA digital object identifier, naming a paper or a dataset: 10.1038/nphys1170.

Markdown for agents: /docs/types-software.md.Built from Jadpo main at 6cc3cb4.