Docs.rs

Kubernetes CRD wire formats for the caixa ecosystem — Caixa, Lacre, CaixaBuild.

caixa-mesh — typed renderer that emits cluster mesh primitives (programs.yaml fan-out, Cilium NetworkPolicies, Gateway/HTTPRoute) from an Aplicacao manifest.

Axum adapter for the CModel Error Contract

Framework-neutral HTTP support for the CModel Error Contract

caixa-helm — typed renderer that emits a per-program lareira-* Helm chart from a Caixa manifest. Mirrors the helmworks/charts/lareira-<name> shape (Chart.yaml + values.yaml depending on the pleme-computeunit library chart).

Shared Input/Reason/Act execution and sans-IO turn planning for Everruns hosts

Framework-neutral CModel Error Contract types

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.

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.

Shared Serde adapters for Baijimu wire contracts

Shared Baijimu Type contracts and pure immutable type resolution

Find, search, and read every AI coding session you've ever had - across Claude Code, Codex, Gemini CLI, OpenCode, Cline, and more.

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