Releases

Ppoppo Chat System (PCS) session-face client -- receive-and-respond gRPC SDK for user-session apps (package ppoppo.chat.v1)

Ppoppo Accounts System (PAS) PLIMS Developer ops-face client -- gRPC client for ppnum lifecycle & inventory management

Command-line interface for Traverse — register, list, validate, and run governed capabilities

Simple but powerful data schemas (derive macro crate)

Ppoppo Accounts System (PAS) external SDK — OAuth2 PKCE, JWT verification port, Axum middleware, session liveness

Internal shared primitives for the Ppoppo SDK family (ppoppo-pas-external, ppoppo-pas-plims, ppoppo-pcs-external, ppoppo-pcs-session) — verifier port, audit trait, session liveness port, OIDC discovery, perimeter Bearer-auth Layer kit, identity types. Not a stable public API; do not depend on this crate directly. Consume the SDK crates that re-export from it (e.g. `ppoppo-pas-external`).

A high-performance library for extracting HWP/HWPX documents into structured Markdown

Model Context Protocol server for the Traverse capability runtime.

Tree-sitter-backed multi-language code analyzer with bundled LSP and MCP search-tool servers. Powers Brokk's `bifrost` binary.

JWT (RFC 9068, EdDSA) issuance + verification engine for the Ppoppo ecosystem. Single deep module with a small interface (issue, verify) hiding RFC 8725 mitigations M01-M45, JWKS handling, and substrate ports (epoch, session, replay).

Grafana Loki operations for Ironflow workflows

Backend-agnostic infrastructure traits for caching, queuing, and messaging

PCS public session-face wire contract (package ppoppo.chat.v1) — .proto SSOT + generated gRPC types

Principal-identity vocabulary for the ppoppo ecosystem — the Ppnum/PpnumId pair, the EntityType, LifecycleState and OAuth Scope value-sets, and the admin predicate, shared by the token engine, both services and every SDK

Argument loading and file rewriting utilities for mcp-proxy convert

PCS External API wire contract (package ppoppo.external.v1) — .proto SSOT + generated gRPC types

Parser for the ppoppo `@@/` chat sigil grammar — entity references, verbs, scopes, modifiers

Enum ↔ SQL CHECK anchor: compile-time exhaustiveness guard + DB-drift binding, shared by PAS (scaccounts) and PCS (scchat)

PAS PLIMS ops-face wire contract (packages pas.plims.v1 + ppnum) — .proto SSOT + generated gRPC types

Public Traverse platform embedder SDK for Rust hosts (Linux GTK and CLI clients), implementing embedder-api/1.0.0

Universal Clock + Timer port for ppoppo workspace — chat-as-infrastructure primitive

The DIG Network peer client: DigPeer::connect(peer, tls) drives dig-nat's full direct→relay traversal ladder, exposes typed RPC over dig-rpc-protocol, seals directed calls end-to-end to the peer's captured BLS-G1 identity (§5.4) on top of mTLS, and disconnects cleanly. The client mirror of dig-rpc's server; distinct from ChiaPeer.

Core execution engine for the Traverse capability runtime.

CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler

A Kubernetes TUI, reimagined in Rust

ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration

SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle)

Package set abstraction + nixpkgs bridge + tend-driven tatara-lisp mirror — the tatara equivalent of nixpkgs

RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth

NixOS-equivalent — typed SystemConfig deriving TataraDomain, activation synthesizer, Linux-kernel + bootloader + services + users + filesystems, composed via tatara-nix module fixpoint