Docs.rs

Ordeal — a specialized, certificate-checked QF_BV SMT solver for the PulseEngine toolchain.

Map Geometry (.mapgeo) parsing for League Toolkit

API reference for Zernio. Authenticate with a Bearer API key. Base URL: https://zernio.com/api Versioning and deprecation: all endpoints are versioned in the URL path (current version: /v1). Breaking changes only ship in a new path version; existing versions keep working. Deprecated operations are marked 'deprecated: true' in this spec and announced in the changelog (https://zernio.com/changelog) before removal. Errors: every 4xx/5xx response is application/json with a machine-readable 'code' and a human-readable 'error' message (see the ErrorResponse schema).

Ordeal's LRAT certificate checker — the sole trusted component

Daemonless, rootless, OCI-compatible warm sandbox runtime — core library

CNI plugin library for Rust

Authenticated HTTP Engine client for local and Cloud UQA data planes

Name Kaspa covenant programs from their bytes: SilverScript and Argent builds of either compiler generation, KCC-20 and KCC-0020 token cells, and the launchpad and market builds live on Kaspa. No node, no network, no database.

API reference for Zernio. Authenticate with a Bearer API key. Base URL: https://zernio.com/api Versioning and deprecation: all endpoints are versioned in the URL path (current version: /v1). Breaking changes only ship in a new path version; existing versions keep working. Deprecated operations are marked 'deprecated: true' in this spec and announced in the changelog (https://zernio.com/changelog) before removal. Errors: every 4xx/5xx response is application/json with a machine-readable 'code' and a human-readable 'error' message (see the ErrorResponse schema).

Portaki module CLI (portaki) — init, build, lint, test, and OCI publish

Allows running of user code during crash events

In-process mock host and SDUI assertions for Portaki module unit tests

Typed built-in Portaki connector operations (OpenWeather, Mapbox, Places, Nominatim)

CEN SIRI (EN 15531) in Rust: every functional service, the publish/subscribe hub as types and as state machines, XML verified against the official schemas

Authoring toolkit for Portaki Extism Wasm modules — host APIs, SDUI catalog, and manifest macros