Releases

Store abstraction and verification for Greentic components

Typed API error codes in the response body, for JSON-over-HTTP services on actix, axum, and poem

A fast, lightweight, cross-platform database client for PostgreSQL, MySQL, and SQLite.

actix-web middleware for treat: logger, request id, root span, OpenTelemetry

Bootstrap runtime core crate for the Greentic-X workspace.

axum middleware for treat: logs the API error carried by the response

Greentic-X CLI for catalog-driven composition, scaffolding, validation, and simulation.

tower middleware for treat on axum and poem: request id, root span, OpenTelemetry

Core implementation of the treat response envelope and typed errors; use the treat crate instead

Derive macros for treat typed error enums; re-exported by the treat crate's derive feature

Bootstrap flow execution crate for the Greentic-X workspace.

Write NSIS plug-ins in Rust, correct across every NSIS build variant

Manifest validation helpers for Greentic components

Ruby code intelligence: position→meaning, definition→references.

Headless core of the mathtex structural math editor: model, operations, navigation, selection, IR matching

proofchain library for the proofchain project.

Bootstrap event model crate for the Greentic-X workspace.

Bootstrap contract model crate for the Greentic-X workspace.

Command-line front ends: `ktrs` and flag-compatible `ktfmt` and `ktlint` (binaries: the root `ktrs` package)

Language server for Kotlin formatting and linting: ktlint diagnostics, fixes and suppressions, ktfmt or ktlint formatting

Bootstrap op model crate for the Greentic-X workspace.

Bootstrap shared type vocabulary crate for the Greentic-X workspace.

Shared Mothership docking protocol frame types and codecs

Fast Kotlin formatter and linter: ktfmt-identical formatting and ktlint-identical linting, with drop-in `ktfmt` and `ktlint` binaries

Port of mrmans0n/compose-rules (the ktlint rule set `compose`) over the ktrs-lint engine

Ephemeral SQL index over a local directory

Port of the ktlint 2.0 rule engine and standard rules over the ktrs mutable AST

Best-effort detection of the Kotlin formatter and linter a Gradle or Maven build configures

Kotlin formatter producing byte-identical output to ktfmt

Mutable Kotlin AST with IntelliJ TreeElement semantics, seeded from the ktrs syntax tree