Releases

SML 词法分析：tokenize、裸词强制转换、环境变量内联。

SML 模式语言（Loom 融入 SML）：L1 无回溯匹配引擎，免疫 ReDoS

SML 版本与特性系统（纯数据层）：Version、Feature/FeatureSet 及名字注册表。

Flashing and debugging tool for WCH CH32 RISC-V microcontrollers

SML 值模型：Value 类型、SML 文本表示（to_sml）与 serde 桥接。零依赖，可单独用于嵌入式场景。

Resource server enforcement and validation for the authkestra framework

An interactive git log and git show browser

Flash programming orchestration (erase/program/verify/confirm-run) for the ch32rv tool suite

Generated CH32 RISC-V device database (chip detection, flash geometry, option byte layouts) for the ch32rv tool suite

Run control, breakpoints, and GDB server for the ch32rv tool suite

WCH-Link USB protocol implementation (bulk protocol + IAP) for the ch32rv tool suite

OpenID Provider (OP) support for the authkestra framework — issue tokens and run the authorization code grant, rather than only consuming an external IdP

RISC-V Debug Module Interface layer for the ch32rv tool suite, with WCH-specific quirks isolated behind the DtmAccess boundary

USB device enumeration, probe selectors, per-device locking, and transaction capture for the ch32rv tool suite (nusb wrapper)

caixa-flux — typed renderer that emits FluxCD GitOps fragments from a Caixa manifest. Aggregator path: a single entry for the cluster's programs.yaml (consumed by lareira-fleet-programs). Cluster-bundle path: GitRepository + HelmRelease + Kustomization for one-time per-cluster wiring.

iac-forge Backend that emits tatara-lisp caixas from IacResource — the Lisp-native peer of pangea-forge.

TeiaManifest → iac-forge IR → HCL/JSON. The Lisp sibling of Pangea's `.build(synth, config)` path — typed all the way down.

flake.lisp — tatara-lisp expression of a Nix flake, with transpile-to-flake.nix for full Nix ecosystem interop.

iac-forge Backend that emits ferrite-typed Go OpenTofu provider source — GC-free generated providers from OpenAPI / IacResource specs.

Optional OpenAPI 3.1 document Plugin for explicitly bound Lenso HTTP Endpoints.

Access USB devices bound to WCH's stock Windows vendor driver (CH375-family DeviceIoControl) from 64-bit Rust — no WinUSB replacement, no WCHLinkDLL.dll

Unified authentication engine for the authkestra framework

Shared vocabulary for the ch32rv tool suite: exit codes, JSON result envelope, NDJSON progress events, operation policies

PostgreSQL WebAuthn passkey Plugin for Lenso.

General-purpose linked Rust HTTP Ingress Plugin for Lenso backends.

Auth actor extraction helpers for Lenso HTTP Endpoint providers.

Tatara-lisp abstract synthesizer — weaves (defteia) forms into iac_forge::IacResource. The Lisp-native sibling of Ruby's Pangea.

Git-only dependency resolver for caixas — clone, content-hash, transitive walk. Zig-style: no central registry.

Linter for tatara-lisp / caixa sources — rule engine + Ruby+Rust best-practice rulebook.

Internal cryptographic utilities for the authkestra framework, specifically for strict signature and key verification