# Carina Documentation — full index

## Carina

Local-first AI agent runtime with policy, hash-chained audit, and transactional rollback.

- URL: https://carina.nebutra.com/
- Markdown: https://carina.nebutra.com/index.md

## Agents overview

ReAct coding agent loop — model decides, kernel authorizes, Zig executes.

- URL: https://carina.nebutra.com/agents/overview/
- Markdown: https://carina.nebutra.com/agents/overview/index.md

## Sub-agents

Delegate work with SubagentSpawn and capability attenuation.

- URL: https://carina.nebutra.com/agents/sub-agents/
- Markdown: https://carina.nebutra.com/agents/sub-agents/index.md

## JSON-RPC reference

Curated method reference for the local JSON-RPC control plane.

- URL: https://carina.nebutra.com/api/json-rpc/
- Markdown: https://carina.nebutra.com/api/json-rpc/index.md

## Method catalog

Protocol-driven JSON-RPC method catalog synced from protocol/jsonrpc/methods.json.

- URL: https://carina.nebutra.com/api/methods/
- Markdown: https://carina.nebutra.com/api/methods/index.md

## Method catalog (next)

Preview JSON-RPC catalog synced from the current in-repo protocol registry.

- URL: https://carina.nebutra.com/api/methods/next/
- Markdown: https://carina.nebutra.com/api/methods/next/index.md

## Runtime API overview

JSON-RPC over unix socket/stdio, optional Gateway, scopes, and SDK surfaces.

- URL: https://carina.nebutra.com/api/overview/
- Markdown: https://carina.nebutra.com/api/overview/index.md

## Sessions

Create, control, stream, and export Carina sessions.

- URL: https://carina.nebutra.com/api/sessions/
- Markdown: https://carina.nebutra.com/api/sessions/index.md

## API versions

How Carina docs version channels map to protocol catalogs and the 0.8 release line.

- URL: https://carina.nebutra.com/api/versions/
- Markdown: https://carina.nebutra.com/api/versions/index.md

## Audit & rollback

Append-only event log, hash-chain verification, transactional patches — explain and undo agent work.

- URL: https://carina.nebutra.com/concepts/audit/
- Markdown: https://carina.nebutra.com/concepts/audit/index.md

## Policy & capabilities

Capability types, permission profiles, command risk levels — policy before every side effect.

- URL: https://carina.nebutra.com/concepts/policy/
- Markdown: https://carina.nebutra.com/concepts/policy/index.md

## Runtime model

Layered architecture — client surfaces, Go control plane, Rust capability kernel, Zig tools.

- URL: https://carina.nebutra.com/concepts/runtime/
- Markdown: https://carina.nebutra.com/concepts/runtime/index.md

## FAQ

Product boundaries, security, offline use, and docs site tokens.

- URL: https://carina.nebutra.com/deployment/faq/
- Markdown: https://carina.nebutra.com/deployment/faq/index.md

## Local install

Run the daemon, CLI, and native tools on a developer machine.

- URL: https://carina.nebutra.com/deployment/local/
- Markdown: https://carina.nebutra.com/deployment/local/index.md

## Workers

Lease-based remote workers, production profile, drain, and containers.

- URL: https://carina.nebutra.com/deployment/workers/
- Markdown: https://carina.nebutra.com/deployment/workers/index.md

## Common workflows

Short recipes aligned with the live CLI — first session, fix tests, audit, rollback, embed.

- URL: https://carina.nebutra.com/getting-started/common-workflows/
- Markdown: https://carina.nebutra.com/getting-started/common-workflows/index.md

## Install

Install the Carina CLI and daemon — shell installer, Homebrew, npm, or source.

- URL: https://carina.nebutra.com/getting-started/installation/
- Markdown: https://carina.nebutra.com/getting-started/installation/index.md

## Overview

Carina is the local-first runtime for coding agents — policy, hash-chained audit, and transactional rollback.

- URL: https://carina.nebutra.com/getting-started/introduction/
- Markdown: https://carina.nebutra.com/getting-started/introduction/index.md

## Math notation

Moved to Reference — KaTeX LaTeX support.

- URL: https://carina.nebutra.com/getting-started/math/
- Markdown: https://carina.nebutra.com/getting-started/math/index.md

## Quickstart

doctor → run → audit verify → patch rollback — first governed session in minutes.

- URL: https://carina.nebutra.com/getting-started/quickstart/
- Markdown: https://carina.nebutra.com/getting-started/quickstart/index.md

## Memory overview

Governed local memory, MemoryWrite capability, and optional HMS projection.

- URL: https://carina.nebutra.com/memory/overview/
- Markdown: https://carina.nebutra.com/memory/overview/index.md

## Traces & audit

Event log, item stream, cost attribution, and hash-chain verification.

- URL: https://carina.nebutra.com/observability/traces/
- Markdown: https://carina.nebutra.com/observability/traces/index.md

## CLI reference

carina command surface — daemon, run, sessions, audit, patch, workflow, workers, and more.

- URL: https://carina.nebutra.com/reference/cli/
- Markdown: https://carina.nebutra.com/reference/cli/index.md

## Glossary

Carina terms — session, profile, capability, patch, worker, and more.

- URL: https://carina.nebutra.com/reference/glossary/
- Markdown: https://carina.nebutra.com/reference/glossary/index.md

## Math notation

KaTeX-powered LaTeX in Carina docs — inline, display, matrices, and complex AMS layouts.

- URL: https://carina.nebutra.com/reference/math/
- Markdown: https://carina.nebutra.com/reference/math/index.md

## MCP integrations

Governed MCP client/server without leaking unconstrained authority.

- URL: https://carina.nebutra.com/tools/mcp/
- Markdown: https://carina.nebutra.com/tools/mcp/index.md

## Tools overview

Built-in agent tools, Zig toolchain, and capability mediation.

- URL: https://carina.nebutra.com/tools/overview/
- Markdown: https://carina.nebutra.com/tools/overview/index.md

## CLI & TUI

Drive Carina from the terminal — CLI golden path and interactive TUI surface.

- URL: https://carina.nebutra.com/use/cli-tui/
- Markdown: https://carina.nebutra.com/use/cli-tui/index.md

## Import conversations

Bring local Claude Code and Codex conversations into Carina without changing the source history.

- URL: https://carina.nebutra.com/use/import-conversations/
- Markdown: https://carina.nebutra.com/use/import-conversations/index.md

## Workflows overview

Declarative multi-step agent DAGs with attenuated subagents.

- URL: https://carina.nebutra.com/workflows/overview/
- Markdown: https://carina.nebutra.com/workflows/overview/index.md

## Tutorial: review pipeline

Run the in-repo review workflow with parallel reviewers and a synthesis step.

- URL: https://carina.nebutra.com/workflows/tutorial-review/
- Markdown: https://carina.nebutra.com/workflows/tutorial-review/index.md

## Carina

本地优先的 AI Agent 运行时：策略门控、哈希链审计、可事务回滚。

- URL: https://carina.nebutra.com/zh-cn/
- Markdown: https://carina.nebutra.com/zh-cn/index.md

## Agents 概览

ReAct 编程 Agent — 模型决策、内核授权、Zig 执行。

- URL: https://carina.nebutra.com/zh-cn/agents/overview/
- Markdown: https://carina.nebutra.com/zh-cn/agents/overview/index.md

## 子 Agent

使用 SubagentSpawn 和能力衰减安全地委派工作。

- URL: https://carina.nebutra.com/zh-cn/agents/sub-agents/
- Markdown: https://carina.nebutra.com/zh-cn/agents/sub-agents/index.md

## JSON-RPC 参考

本地 JSON-RPC 控制平面的核心方法、参数和安全边界。

- URL: https://carina.nebutra.com/zh-cn/api/json-rpc/
- Markdown: https://carina.nebutra.com/zh-cn/api/json-rpc/index.md

## 方法目录

由 protocol/jsonrpc/methods.json 同步的 JSON-RPC 方法目录。

- URL: https://carina.nebutra.com/zh-cn/api/methods/
- Markdown: https://carina.nebutra.com/zh-cn/api/methods/index.md

## 方法目录（next）

从仓库当前协议注册表同步的预览版 JSON-RPC 方法目录。

- URL: https://carina.nebutra.com/zh-cn/api/methods/next/
- Markdown: https://carina.nebutra.com/zh-cn/api/methods/next/index.md

## Runtime API 概览

JSON-RPC、本地与可选 Gateway 传输、作用域和 SDK 接入面。

- URL: https://carina.nebutra.com/zh-cn/api/overview/
- Markdown: https://carina.nebutra.com/zh-cn/api/overview/index.md

## 会话

创建、控制、流式读取与导出 Carina 会话。

- URL: https://carina.nebutra.com/zh-cn/api/sessions/
- Markdown: https://carina.nebutra.com/zh-cn/api/sessions/index.md

## API 版本通道

文档 0.8.x / next 通道与协议目录的对应关系。

- URL: https://carina.nebutra.com/zh-cn/api/versions/
- Markdown: https://carina.nebutra.com/zh-cn/api/versions/index.md

## 审计与回滚

追加写事件日志、哈希链校验、事务补丁 — 解释并撤销 Agent 工作。

- URL: https://carina.nebutra.com/zh-cn/concepts/audit/
- Markdown: https://carina.nebutra.com/zh-cn/concepts/audit/index.md

## 策略与能力

能力类型、权限配置、命令风险等级 — 每次副作用前先策略。

- URL: https://carina.nebutra.com/zh-cn/concepts/policy/
- Markdown: https://carina.nebutra.com/zh-cn/concepts/policy/index.md

## 运行时模型

客户端、Go 控制面、Rust 能力内核与 Zig 工具链组成的分层架构。

- URL: https://carina.nebutra.com/zh-cn/concepts/runtime/
- Markdown: https://carina.nebutra.com/zh-cn/concepts/runtime/index.md

## 常见问题

关于部署、安全与产品边界的常见问题。

- URL: https://carina.nebutra.com/zh-cn/deployment/faq/
- Markdown: https://carina.nebutra.com/zh-cn/deployment/faq/index.md

## 本地安装

在开发机上安装并运行 daemon、CLI 和原生工具。

- URL: https://carina.nebutra.com/zh-cn/deployment/local/
- Markdown: https://carina.nebutra.com/zh-cn/deployment/local/index.md

## Workers

基于租约的远程 worker、生产配置与排水升级。

- URL: https://carina.nebutra.com/zh-cn/deployment/workers/
- Markdown: https://carina.nebutra.com/zh-cn/deployment/workers/index.md

## 常用工作流

与真实 CLI 对齐的短配方 — 首次会话、修测试、审计、回滚、嵌入。

- URL: https://carina.nebutra.com/zh-cn/getting-started/common-workflows/
- Markdown: https://carina.nebutra.com/zh-cn/getting-started/common-workflows/index.md

## 安装

安装 Carina CLI 与 daemon — shell、Homebrew、npm 或源码。

- URL: https://carina.nebutra.com/zh-cn/getting-started/installation/
- Markdown: https://carina.nebutra.com/zh-cn/getting-started/installation/index.md

## 概览

Carina 是本地优先的 Agent 运行时 — 策略门控、哈希链审计、事务回滚。

- URL: https://carina.nebutra.com/zh-cn/getting-started/introduction/
- Markdown: https://carina.nebutra.com/zh-cn/getting-started/introduction/index.md

## 数学公式

已移至参考 — KaTeX LaTeX 支持。

- URL: https://carina.nebutra.com/zh-cn/getting-started/math/
- Markdown: https://carina.nebutra.com/zh-cn/getting-started/math/index.md

## 快速上手

doctor → run → audit verify → patch rollback — 几分钟内第一次受治理会话。

- URL: https://carina.nebutra.com/zh-cn/getting-started/quickstart/
- Markdown: https://carina.nebutra.com/zh-cn/getting-started/quickstart/index.md

## Memory 概览

受治理的本地长期记忆、MemoryWrite 能力和可选 HMS 投影。

- URL: https://carina.nebutra.com/zh-cn/memory/overview/
- Markdown: https://carina.nebutra.com/zh-cn/memory/overview/index.md

## 追踪与审计

检视轮次、成本与哈希链审计历史。

- URL: https://carina.nebutra.com/zh-cn/observability/traces/
- Markdown: https://carina.nebutra.com/zh-cn/observability/traces/index.md

## CLI 参考

carina 命令面 — daemon、run、sessions、audit、patch、workflow、workers 等。

- URL: https://carina.nebutra.com/zh-cn/reference/cli/
- Markdown: https://carina.nebutra.com/zh-cn/reference/cli/index.md

## 术语表

Carina 术语 — session、profile、capability、patch、worker 等。

- URL: https://carina.nebutra.com/zh-cn/reference/glossary/
- Markdown: https://carina.nebutra.com/zh-cn/reference/glossary/index.md

## 数学公式

Carina 文档的 KaTeX LaTeX 支持 — 行内、块级、矩阵与复杂 AMS 排版。

- URL: https://carina.nebutra.com/zh-cn/reference/math/
- Markdown: https://carina.nebutra.com/zh-cn/reference/math/index.md

## MCP 集成

接入 MCP 服务且不泄露无约束权限。

- URL: https://carina.nebutra.com/zh-cn/tools/mcp/
- Markdown: https://carina.nebutra.com/zh-cn/tools/mcp/index.md

## Tools 概览

由能力内核中介的内置工具、Zig 工具链与外部工具。

- URL: https://carina.nebutra.com/zh-cn/tools/overview/
- Markdown: https://carina.nebutra.com/zh-cn/tools/overview/index.md

## CLI 与 TUI

用终端操作 Carina — CLI 黄金路径与交互 TUI 表面。

- URL: https://carina.nebutra.com/zh-cn/use/cli-tui/
- Markdown: https://carina.nebutra.com/zh-cn/use/cli-tui/index.md

## 导入会话

将本地 Claude Code 与 Codex 会话导入 Carina，同时保持来源历史不变。

- URL: https://carina.nebutra.com/zh-cn/use/import-conversations/
- Markdown: https://carina.nebutra.com/zh-cn/use/import-conversations/index.md

## Workflows 概览

声明式多步 Agent DAG，使用能力衰减的隔离步骤。

- URL: https://carina.nebutra.com/zh-cn/workflows/overview/
- Markdown: https://carina.nebutra.com/zh-cn/workflows/overview/index.md

## 教程：审查流水线

运行并行 reviewer 和汇总步骤，并在任何写入前保留人工控制。

- URL: https://carina.nebutra.com/zh-cn/workflows/tutorial-review/
- Markdown: https://carina.nebutra.com/zh-cn/workflows/tutorial-review/index.md