Typed environments — compose N tatara-domain resources into one validated stack snapshot. Every catalog domain (gateway-api, cilium, prometheus-operator, ebpf,…
Interactive runbook for ikigai — guided, runnable demos as urn:runbook:* resources, rendered as htmx (HATEOAS) HTML in the browser or text in the TUI. One…
Org-mode agenda as ikigai ROC resources: urn:org:agenda:{period} reads date-fixed events (active timestamps, with repeater expansion) from org files and serves…
Env → IaC-platform-shaped manifests. The RENDER phase (THEORY §IV.3) of the eight-phase convergence loop. Each `Backend` impl is a morphism from the typescape…
Build + raw FFI bindings to baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — the Ozaki-scheme FP64 GEMM library that synthesizes a DGEMM from S² int8…
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).…
The work ledger for ikigai: NAMED ledgers — one named graph and one capability each — holding items, comments, labels, links and claims as RDF in a durable…
Raw C-ABI FFI surface for the vendored FlashInfer inference kernels (paged-KV decode, paged-KV append, cascade state merge, sort-free sampling). The launcher…
Video-conference scheduling as ikigai ROC resources: urn:meeting:schedule (a facade) dispatches to pluggable provider backends. Slice 0 ships a Zoom backend…
Hardware-clock source polymorphism as pipes: tick sources, wall-clock anchoring, and a coarse shared-time cell over the proxima-primitives Pipe algebra