The ikigai dynamically-loadable module format (Phase 1: in-process proof). A host-side ModuleSpace routes IRIs to a module over a ModuleTransport; the module's…
Inbound HTTP transport: serve an ikigai kernel over HTTP. Maps HTTP method↔verb, Accept↔conneg, path↔iri, and a capability-per-request (the multi-tenant door).…
Dependency-free, cross-platform USB device access in the spirit of libusb: enumeration, descriptors, synchronous and asynchronous transfers on Linux, macOS and…
Shared Tauri desktop shell for Right Suite apps: webview hardening, window state, native menu, tray, single instance, deep links, autostart, rich clipboard,…
Rust SDK for wuapi, a WhatsApp API for developers. Link numbers by QR or pairing code, send and receive messages, manage chats, contacts, groups and channels,…
Bluetooth adapters, devices and pairing over BlueZ, behind a backend trait with a mock so everything above the D-Bus client is testable on a machine with no…
Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of…
Weight provenance: per-file SHA-256 manifests of model weights, signed brain_manifest records on every load/swap, and drift verification — which manitou was in…
Bounded MPMC queues (Vyukov and SCQ), a Chase-Lev work-stealing deque and a work-stealing thread pool, with futex-based parking, verified with loom and Miri.
Audited reflex arc for autonomous agents: hard-bounded, sub-deliberative triggers that can brake, alert, or quarantine — but can never steer — every firing on…