One discovery/auth convention for Right Suite local services: service.json, ranking and takeover, current-user-only Unix socket / named pipe, per-app request…
Reference command-line rollout runner over wickra-gym-core: load a spec + candle dataset, drive a fixed deterministic policy through the environment, and print…
Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a…
The Kairos host port: one OS thread per task with a strict single-permit handoff, so a task written in C gets a REAL stack on a laptop. The shape FreeRTOS's…
The Kairos Cortex-M port: critical sections, the yield, the tick, stack initialisation and the PendSV context switch. One of the two crates in the family…
Virtual hardware-in-the-loop runtime: run unmodified firmware on an emulated MCU with every peripheral, chip model and unit of virtual time in Rust, and a fork…
Shared Tauri desktop shell for Right Suite apps: webview hardening, window state, native menu, tray, single instance, deep links, autostart, rich clipboard,…