Covenant Guard

Covenant

面向 Agent 原生计算的开放基础设施。

Covenant 位于 Agent 应用之下、主机操作系统之上。它负责管理各个 Agent 框架中反复出现的状态、权限和问责问题——包括限定范围的能力、持久化记忆、运行时隔离、仅追加审计，以及按提交范围记录来源——让各个框架不必再重复造轮子。

状态。 本地控制平面已投入使用并经过实时测试（50 个 Rust crate，约 28.4 万行代码，通过源代码发现的 Rust 测试共 3870 项，其中包括 486 项实时边界测试）。针对恶意 Agent 代码的生产级沙箱和联网多对等节点运行仍在路线图中；Solana 结算程序已部署至主网（积分、质押、罚没、链上收据锚定），但由守护进程驱动的经济生命周期尚未达到生产就绪状态。有关明确的诚实边界，请参阅 BUILT.md。

多链覆盖。 信任层也投射到 Base 主网，形成已签名声明，任何 EVM 合约都可通过一次 ecrecover 验证——包括 ERC-8004 Agent 注册、已部署的债券收据验证器、已注册的 EAS 声誉模式，以及 ENS CCIP-Read 网关（*.agents.opencovenant.eth）。与此同时，$CVNT 始终是单一的 Solana 铸币资产，从不跨链桥接或封装；每笔调用费用和债券都使用链本地 USDC。链上声誉写入和已注资的 USDC 债券均已注册，但尚未实际使用；而实时 x402 卖家已在 Solana 和 Base 主网上以链本地 USDC 结算。此外，在 Robinhood Chain 主网（链 ID 4663）上，使用真实 USDG 完成的 USDG x402 支付和链上限额支出托管均已验证。请参阅 docs/multichain-value-capture.md。

• 网站： opencovenant.org
• 文档： docs.opencovenant.org
• 论文： DOI：10.5281/zenodo.20134416
• 代币： $CVNT · 2mNVZ6aEjrGwiUVCfz7XGWpiXuWzgBDoznwE579upump

快速开始

无需安装即可试用 — sandbox.opencovenant.org。这是连接到运行中守护进程的公共操作员控制台，状态每 12 小时重置一次。

要在本地运行，请构建守护进程和 CLI，注册示例 Agent，然后启动守护进程：

git clone https://github.com/open-covenant/covenant && cd covenant
cd agent-os && cargo build --workspace --exclude covenant-settlement-program --locked

# Register the example agent (daemon loads $COVENANT_HOME/agents/ at startup)
mkdir -p ~/.covenant/agents
cp -R ../examples/hello-agent ~/.covenant/agents/hello

# Start the daemon
./target/debug/covenantd

然后通过任一界面操作 — 它们共用同一个守护进程、审计链和能力存储。

CLI

./target/debug/covenant capabilities grant memory.write
./target/debug/covenant capabilities grant intent.subscribe
./target/debug/covenant intent "say hello"

操作员控制台 — 用于分发意图、浏览审计链、授予能力和检查记忆层的 Next.js UI。

cd agent-os/covenant-web
pnpm install --ignore-workspace
pnpm dev   # http://localhost:3000

控制台会代理守护进程的 HTTP 网关，在服务端注入操作员 bearer token，并将每次分发呈现为可通过哈希链式审计日志验证的追踪记录。Agent 使用指南请参阅 examples/hello-agent，CLI 操作记录请参阅 docs/demo.md，有关将控制台部署为 Render 公共沙盒的说明，请参阅 deploy/README.md。

TypeScript SDK

在已部署的 Solana 结算程序上构建的 Agent 开发者，可从 npm 安装 @covenant-org/sdk：

npm install @covenant-org/sdk @solana/web3.js

它会将每条 Covenant 指令（Agent 注册、$CVNT 质押、任务托管、信用额度购买、回执锚定）转换为经过签名的 @solana/web3.js 交易，并根据链上程序 IDL 编码交易数据，因此不会与程序接受的内容不一致。采用 Apache-2.0 许可，只有一个运行时依赖。源代码位于 packages/sdk。

为什么选择 Covenant

软件 Agent 正从交互式协助转向长期运行的工程工作。这一转变改变了基础设施面临的问题。Agent 需要持久化上下文、明确的权限、可靠的工具访问、在中断后恢复的能力，以及对已发生事项的记录。

传统开发者环境假设每个步骤都有人工操作员在场。区块链系统则假设状态转换可验证、权限明确，并且独立参与者之间能够持久协调。Covenant 将这些假设引入 Agent 基础设施：

• **治理：**意图、清单、范围限定的权限、审核关卡，以及感知策略的分发。
• **连续性：**持久化记忆、可恢复的任务状态、修复工作流，以及结构化交接。
• **问责：**仅追加的审计日志、完整性报告、签名操作，以及限定到提交的来源信息。
• **互操作性：**原生工具、MCP 集成、A2A 消息传递、本地网关 API，以及协议适配器。
• **执行：**由守护进程中介的运行时分发，并执行预算限制，且 Agent 清单支持感知沙盒。
• **结算：**本地回执和协议脚手架，用于实现可问责的资源使用和 Agent 协调经济机制。

架构

系统的核心是 covenantd，这是一个 Rust 守护进程，负责管理本地状态，并通过 IPC、HTTP 网关、签名能力、审计日志、记忆存储和运行时调度来处理中高权限操作。

#	基元	作用
1	意图	为 CLI、IPC、HTTP、路由和守护进程调度定义规范化的请求结构。
2	运行时	执行 Agent 并强制执行预算（按投影周期抢占，并在 cpu_ms_per_task 处设置墙上时钟兜底），支持清单契约、可信本地子进程，以及可选启用的 Linux gVisor 运行器。
3	记忆	基于 SQLite 的工作、情景和长期记录，包含嵌入钩子、忽略规则、漂移报告、修复和有界压缩。
4	身份	本地 ed25519 身份、对等方注册表、操作员令牌、令牌轮换和对等方撤销。
5	权限	签名能力，包含已知范围校验、调度时强制执行、过期处理和撤销墓碑。
6	通信	IPC 帧、本地 HTTP 网关、MCP 适配器和 A2A 邮箱基元。
7	合成器	Next.js Web 控制台（agent-os/covenant-web）、公开的落地页／文档界面，以及 covenant-tui 终端 UI；通过守护进程 IPC 提供意图、记忆、审计、能力、A2A、链上收据和对等方注册表视图。
8	结算	本地资源收据及用于 Agent 协调经济的协议框架。

审计是身份、权限和结算的基础——包含仅追加的 JSONL 事件、本地哈希链完整性报告、保留控制、签名操作和审计根证明。主要实现位于 agent-os/，这是包含守护进程、CLI、TUI、协议 crate、运行时、记忆、身份、权限、对等方认证、审计、MCP 和 A2A 适配器、预算账本及结算组件的 Rust 工作区。周边的 monorepo 包含公开文档、Web 界面、电路、SDK 软件包和配套服务。

实现详情和验证依据请参阅 docs/audit-integrity.md、docs/capabilities.md 和 agent-os/README.md。

功能

Covenant 包含：

• 用于本地 Agent 编排的 Rust 守护进程和 CLI。
• IPC 和本地 HTTP 网关接口。
• 已实现命名空间的签名能力生命周期，包括授权时验证、过期、撤销和分发时的作用域强制执行。
• 对等方身份验证、操作者令牌轮换、对等方撤销和按对等方作用域进行的 A2A 检查。
• 仅追加审计日志，包含结构化事件类型、有界读取、保留期清理和本地哈希链验证。
• 基于 SQLite 的项目记忆，涵盖工作、情景和长期层级。
• MCP 适配器、原生工具集成和 A2A 邮箱基础组件。
• 预算账本基础组件，以及由守护进程支持的暂停检查点存储，用于处理预算耗尽、关机清理和一次性恢复交接。
• 用于资源记账的本地结算凭证。
• 通过 HTTP 402（x402）进行 Agent 到服务的支付：守护进程可为计量资源进行出站支付；Covenant 运营着一个实时 x402 卖方服务，在 Solana 主网上以 USDC 结算（付费的 Covenant-Verified 证明、链上身份护照和信誉读取），并提供托管服务和 Ephemeral-Rollup 信用促进服务。
• 向 Base 主网进行多链信任投射：ERC-8004 Agent 注册、已部署的债券凭证验证器和 EAS 信誉模式、用于审计根和信誉的 EAS 链下证明，以及一个可解析为规范 Solana 身份的 ENS CCIP-Read 网关（*.agents.opencovenant.eth）——每项均可通过一次 ecrecover 验证，无需桥接，也无需跨链代币。链上信誉评分和已注资的 USDC 债券尚未实际运行。同一无状态验证器设计和 x402 支付通道也已接入 Robinhood Chain 主网（链 ID 4663）：一笔 USDG x402 支付已在主网上以真实 USDG 完成结算；SpendGrantEscrow 合约可限制 Agent 的支出额度，其收费、释放和退款流程已在 Robinhood Chain 测试网上验证；债券和信誉验证器虽已部署，但尚未实际运行，且尚未向该链投射 ERC-8004 身份。请参阅 docs/multichain-value-capture.md。
• 按提交范围限定的来源证明封套，用于绑定任务记录、变更的 Git blob、状态转换事件和验证证据。
• 用于本地完整性报告的未签名或本地签名审计根证明，并通过将发布目标绑定到发布主体和发布范围清单，使单个证明覆盖审计日志、发布构件集和范围内任务集。
• 可选择启用的守护进程、CLI、运行时和部分后端边界实时测试。
• 从源码构建的本地安装程序，用于安装守护进程和 CLI，并附带相对路径安装清单。
• CI 覆盖 Rust、文档、工作流 lint、来源证明验证、依赖项审计和 CodeQL。公开的实时测试清单来自源码；私有工作流检出内容可能会增加更严格的矩阵验证。

验证

如果变更不需要 Rust 工具链，请运行仅包含脚本的检查：

bash agent-os/scripts/validate.sh --scripts

在仓库根目录运行快速本地检查：

bash agent-os/scripts/validate.sh --quick

运行完整的 Rust 验证检查：

bash agent-os/scripts/validate.sh

验证已提交的来源证明封套：

node agent-os/scripts/provenance.mjs verify-all

构建公开文档：

pnpm --dir landing install --frozen-lockfile --ignore-workspace
pnpm --dir landing build

主机前置条件满足时，运行实时边界测试：

cd agent-os
cargo test --workspace --exclude covenant-settlement-program -- --ignored live_

检查公开的实时覆盖清单：

bash agent-os/scripts/test-stats.sh

研究方向

Covenant 推进以下领域的开放基础设施建设：

• 受治理的自主软件维护；
• 可验证的 Agent 操作和限定于提交的来源证明；
• 在本地和远程 Agent 之间按能力范围委派；
• 支持长期工作的持久项目记忆；
• 中断后可恢复的任务所有权；
• 可复现的时间状态、修正和携带证明的重放；
• 感知策略的工具使用和沙箱化执行；
• 审计根证明、公开来源证明和 Agent 协作经济机制。

Covenant Timeline 集成 将独立的 Timeline 内核应用于发布编年。经过验证的 v0.1.0-alpha.1 运行在进程重启后仍能持久保留，记录权威时间戳修正而不改写先前状态，并使用精确发布的包 @covenant-org/[email protected]，在三个历史记录截点验证携带证明的结论。原有的 v0alpha1 检查点适配器仍可作为兼容接口使用。

这是一次影子审计，并非发布门槛，也不授予任何权限。Timeline 预注册的前沿模型基准测试未通过其独立的模型记忆准确率门槛：它优于有界叙述式记忆，却不及无状态的完整上下文结构化提取，因此记录的决策为 kill。Covenant 将此集成用于确定性时间状态、修正、重放和证明验证，而非将其作为 Timeline 能提升模型准确率的证据。 完整的基准测试结果 已公开。

引用

如果你在学术工作中使用 Covenant，或在论文中引用其设计，请引用白皮书：

Covenant 贡献者。（2026）。Covenant：面向自主软件工程 Agent 的基于能力的操作层。Zenodo。https://doi.org/10.5281/zenodo.20134416

@misc{covenant2026,
  author    = {Covenant contributors},
  title     = {Covenant: A Capability-Based Operating Layer for Autonomous Software Engineering Agents},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.20134416},
  url       = {https://doi.org/10.5281/zenodo.20134416}
}

PDF 副本位于 opencovenant.org/paper.pdf；LaTeX 源文件位于 paper/arxiv/ 下。

贡献

Covenant 是具有安全敏感边界的系统基础设施。贡献应包含验证计划、针对行为变更的测试，以及对运行影响的明确说明。

请从 CONTRIBUTING.md 和 ROADMAP.md 开始。涉及身份、权限、审计、运行时隔离、结算、来源证明、发布自动化或 CI 的变更应接受尤为严格的审查。

安全

请遵循 SECURITY.md 进行负责任的漏洞披露。运行时隔离边界的跟踪文档位于 docs/runtime-sandbox-security.md。请勿公开提交漏洞问题。

许可证

Apache-2.0。请参阅 LICENSE。