文档助手

默认在本地检索本站文档;配置回答服务后可生成答案。

可询问有关 当前页面 或 Carina 文档的问题,例如:“如何回滚补丁?”

llms.txt

跳到内容

Markdown

术语表

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

文档中常用词的短定义。产品定位见 简介

绑定 工作区根权限配置 的持久工作单元。通过 session.create 创建,承载任务、事件与审计历史。

会话允许触达的仓库/目录树。在创建会话时绑定;策略按此解析路径。

命名的权限包(如 safe-editread-only),由能力内核对每次副作用求值。

十四种门控动作类型之一(FileRead、CommandExec、PatchApply、MemoryWrite、SubagentSpawn …)。有意义的副作用都映射到能力检查。

内核结果:allow / deny / require-approval。写入审计,并被副作用事件引用。

ReAct 式:模型提出动作 → 内核授权 → 工具执行 → 观察回传。模型只决策,不绕过内核。

能力 衰减 后的隔离子运行(绝不超过父会话)。经 SubagentSpawn / spawn 拉起。

在凭证与租约围栏下拉取工作的执行进程。见 Workers

带出处与回滚指针的事务化文件变更。safe-edit 下优先写路径(PatchApply)。

会话级追加写日志,支持哈希链校验(carina audit verify)。

供 UI/SDK 使用的归一化会话投影(有别于原始审计回放)。

本地进程(carina-daemon),持有会话、策略评估与审计存储。

可选 HTTP 面,显式开启后暴露受限 JSON-RPC / agent API;本地 TUI 非必须。

由 Carina 中介的 Model Context Protocol,外部工具仍走策略与审计。

可选身份/同步层。执行与策略的权威仍在本机。

这个页面有帮助吗?

本次会话中每个页面仅记录一次投票。