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
ReferenceSecurity

LanguageValues and typesStandard types

Security

Passwords, hashes, tokens, keys and credentials.

Topics

Security records

These are the types for what security code keeps and checks: digests, signatures and sealed values, a password policy, passkeys and certificates.

Secret values

A secret value is a password, key, token or code that your app receives and checks, but never sends, logs, stores or shows.

Types

TypeWhat it is
PasswordA password as a person types it: 8 to 256 characters.
PasswordHashA password's hash, ready to store.
PasswordPolicyThe rules a password must meet: how short, how long, and whether to check breached lists.
HashA SHA-256 digest: the 32 bytes hash.sha256 gives.
HmacAn HMAC-SHA-256 tag, such as a webhook's signature.
JwtA signed token: three parts joined by ..
JwtClaimsWhat a checked token says: who issued it, who it is about and when it expires.
JwkA public key that a token is checked against, as an identity provider publishes it.
PublicKeyAn Ed25519 public key: 32 bytes as Base64url.
CertificateAn X.509 certificate, the kind that secures a website.
TotpSecretThe shared secret behind an authenticator app.
OneTimeCodeA code a person types from an app, a text or an email: six to eight digits.
ApiKeyA key for an API: up to 512 characters with no spaces.
SecretTextAny other secret text, up to 8,192 characters.
BearerTokenAn access token sent as Authorization: Bearer.
OAuthScopeOne permission an OAuth token grants: todos:read.
OidcClaimsWho an identity provider says signed in.
WebAuthnCredentialA passkey a person registered.
EncryptedValueA value sealed by crypto.encrypt.
PasswordCheckWhat checking a password says: wrong, correct or correct_outdated.

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