AETRE & The Governed Agent

AETRE & 受治理的 Agent：统一决策理论操作系统

“在丰裕时代治理自主智能。”
一个高性能、数学上统一的决策理论操作系统，将宏观经济提案／投资组合分流（AETRE）与微观经济执行治理（受治理的 Agent）融为一体。

发布状态：实验性公开 Alpha。 软件和数学模拟可供测试，但演示记录为合成数据，不能证明其在实际会议、资助或投资工作流中的前瞻有效性。请将输出用作决策支持诊断，而非自主接受、拒绝、资助或投资决策。

基于 Clayton Gray（2026）的研究系列：

1. 创新吸收差距：人工智能如何加速创意产出，使其快于互补性制度的适应速度
   Clayton Gray（2026a） — SSRN: 7161458
2. 准入前沿：面向自主 Agent 的经济调控型决策理论运行时与失败关闭验证门
   Clayton Gray（2026d） — 收录于复现资料包 实现前沿：资本配置、审慎停止与经验证的 Agent 把关（Zenodo: 10.5281/zenodo.22814799）

本软件以独立 DOI 归档，与上述论文分开： AETRE：自适应认知分流与召回引擎（Zenodo: 10.5281/zenodo.22098366）。

---

问题：创新吸收差距

当人工智能使创意和行动生成的成本变得低廉（$c_{\text{gen}} \to 0$）时，提案和执行量（$N$）会激增。然而，下游评估、实验室验证、代码审查和人工把关能力（$K$）仍严格有限。

这会造成三种关键的流程病理：

1. Kingman 延迟激增： 当评估者利用率 $\rho = \lambda / \mu$ 接近饱和（$\rho > 0.85$）时，根据 Kingman 重负载方程，等待时间会非线性地急剧上升： $$E[W_q] \approx \frac{\rho}{1-\rho} \cdot \frac{c_a^2 + c_s^2}{2} \cdot \frac{1}{\mu}$$
2. 非对称收益陷阱： 在风险收益呈重尾分布的领域，例如风险投资、突破性发现和 Agent 式代码补丁（帕累托指数 $\alpha \approx 1.25$），寻求共识的评分系统会偏好安全、渐进式提案，并惩罚高方差、变革性的异类方案。
3. 有限容量下的召回率上限（命题 1）： 如果没有主动的认知分流，随着到达率激增，真正突破性成果的召回率会渐近衰减至零： $$R_N \le \min\left(1, \frac{K_N}{H_N}\right) \to 0 \quad \text{as } N \to \infty$$

---

双层决策理论架构

AETRE 将宏观经济流程分流（管理机构审查带宽和投资组合召回率）与微观经济执行治理（保障 Agent 执行运行时和拉取请求验证）融为一体。

========================================================================================
 MACRO LEVEL: Institutional Proposal & Portfolio Triage (AETRE / Gray 2026a)
========================================================================================
                     Incoming Submissions / Dealflow (N)
                                     │
                                     ▼
        ┌─────────────────────────────────────────────────────────┐
        │ 1. Bayesian Value-of-Information (VOI) Engine           │
        │    - Closed-form normal VOI & Pareto heavy-tailed VOI   │
        │    - Direct-Pass, Fast-Drop, or Deep-Review allocation  │
        └─────────────────────────────────────────────────────────┘
                                     │
                                     ▼
        ┌─────────────────────────────────────────────────────────┐
        │ 2. Kingman Heavy-Traffic Capacity Governor              │
        │    - Dynamic queue throttling when ρ → 1.0              │
        │    - Preserves reviewer quality; deters burnout         │
        └─────────────────────────────────────────────────────────┘
                  │                                     │
                  ▼                                     ▼
        [ Admitted Cohort (K) ]             [ Exploration Audit Pool ]
        Optimal Conviction Allocation       Horvitz-Thompson H_hat_D Unbiased Audit

========================================================================================
 MICRO LEVEL: Autonomous Execution & Verification Gate (Governed Agent / Gray 2026d)
========================================================================================
                     Autonomous PRs / Candidate Actions
                                     │
                                     ▼
        ┌─────────────────────────────────────────────────────────┐
        │ 3. Tripartite Review Boundary & Bellman DP (Road A)     │
        │    - Computes Expected Value of Verification (V*)       │
        │    - Classifies AUTO_EXECUTE, REQUIRE_REVIEW, or REJECT │
        │    - Fail-Closed: Rejects on malformed input/divergence │
        └─────────────────────────────────────────────────────────┘
                                     │
                                     ▼
        ┌─────────────────────────────────────────────────────────┐
        │ 4. Heterogeneous cμ-Rule Knapsack Controller            │
        │    - Value density sorting: ρ_i = Δu_i / c_i            │
        │    - Budget-constrained admission under shadow prices   │
        └─────────────────────────────────────────────────────────┘
                  │                                     │
                  ▼                                     ▼
        [ Auto-Merged / Dispatched ]        [ Escalated to Human Gatekeeper ]

---

仓库结构

.
├── Cargo.toml                  # Workspace manifest (AGPL-3.0)
├── crates/
│   ├── aetre-core/             # Pure Rust decision engine:
│   │   ├── src/voi.rs          #   - Bayesian VOI & heavy-tailed Pareto
│   │   ├── src/governor.rs     #   - Bellman DP & Tripartite Review Boundary (Road A)
│   │   ├── src/knapsack.rs     #   - Heterogeneous cμ-rule knapsack controller
│   │   ├── src/queues.rs       #   - Kingman heavy-traffic capacity governor
│   │   ├── src/audit.rs        #   - Horvitz-Thompson exploration audit
│   │   └── src/staking.rs      #   - Super-linear anti-sybil staking
│   ├── aetre-cli/              # Native CLI for simulations, bounds & backtests
│   └── aetre-mcp/              # Model Context Protocol server (24 tools, 4 resources, 3 prompts)
├── python/
│   └── governed_agent/         # Python reference runtime for agent execution governance
├── scripts/
│   └── pre-commit-governed-gate.py  # Standalone pre-commit verification gatekeeper
├── tests/                      # Python unit & regression suite (79 tests)
├── benchmarks/                 # Verification benchmarks and institutional queue sweeps
├── examples/
│   ├── datasets/               # Held-out review and dealflow test splits
│   ├── proposals.json          # Benchmark evaluation candidates
│   └── mcp_config.json         # Claude Desktop & Cursor connection template
├── .pre-commit-hooks.yaml      # Pre-commit hook definition for git integration
├── .github/workflows/
│   ├── ci.yml                  # Rust & MCP server automated verification
│   └── governed-gate-template.yml # Reusable GitHub Actions agent PR gating workflow
├── CITATION.cff                # Dual academic citation metadata
├── Dockerfile                  # Production container definition
├── fly.toml                    # Serverless Cloud deployment config
├── DATASETS.md                 # Fixture provenance and third-party data guidance
├── LICENSE                     # GNU Affero General Public License v3.0 text
├── LICENSING.md                # AGPL licensing and publication status
└── README.md

---

快速入门与 CLI 用法

1. 运行 Rust 测试套件与验证

cargo test --workspace
cargo clippy --workspace --all-targets -- -D warnings

2. 运行 Python 参考治理套件

python -m unittest discover -s tests

3. 运行独立的受治理 Agent 提交前门禁

用于 Agent 代码修改的快速、失败关闭验证门禁：

python scripts/pre-commit-governed-gate.py --all-files

4. 运行宏观蒙特卡洛与项目流基准测试

# Multi-regime academic triage simulation (500 replications)
cargo run -p aetre-cli -- benchmark --replications 500

# Venture Capital Pareto dealflow benchmark (10,000 deals, α = 1.25)
cargo run -p aetre-cli -- vc-benchmark --deals 10000 --budget 100 --alpha 1.25

# Theoretical Proposition 1 recall ceiling bound
cargo run -p aetre-cli -- bound --arrivals 5000 --capacity 200 --high-rate 0.067 --csv

5. 模拟机构异质 Agent 队列

模拟密度优先的 $c\mu$ 规则背包与 FIFO，在不同机构审核能力下的表现：

python evaluate_institutional_queues.py

---

模型上下文协议（MCP）集成

AETRE 提供高性能原生 JSON-RPC 2.0 模型上下文协议（MCP）服务，为 Claude Desktop、Cursor 和自主 Agent 辅助进程实现了 24 个工具、4 个资源和 3 个预配置提示词。

配置（Claude Desktop / Cursor）

安装二进制文件（cargo install aetre-mcp）， 然后将其添加到 claude_desktop_config.json。该服务默认通过 stdio 通信：

{
  "mcpServers": {
    "aetre": {
      "command": "aetre-mcp"
    }
  }
}

本地 HTTP / 容器模式

cargo run -p aetre-mcp -- --serve --headless

HTTP 模式默认绑定到 127.0.0.1:8080，且不会启用跨源浏览器访问。对于容器部署，请设置 AETRE_BIND_ADDRESS=0.0.0.0 并设置强度足够的 AETRE_HTTP_SERVER_TOKEN。如果未设置此令牌，非环回地址启动将失败关闭。POST 客户端必须在 X-AETRE-Server-Token 标头中发送该令牌。此外，请将服务置于 TLS 反向代理之后。随附的 Dockerfile 会提供绑定地址，并以非 root 用户身份运行。

完整的 24 工具目录

宏观经济流程与投资组合工具（AETRE）

1. aetre_system_catalog：已注册工具、资源和算法的诊断目录。
2. aetre_triage_proposal：完整的三路分流（FAST_DROP、VOI_QUEUE、AUTO_PASS）。
3. aetre_calculate_voi：高斯信息价值（$V^*$）的封闭形式计算。
4. aetre_check_governor：Kingman 重载队列延迟（$E[W_q]$）预测与容量节流。
5. aetre_exploration_audit：针对已拒绝池的 Horvitz-Thompson 无偏发现率估计量（$\hat{H}_D$）。
6. aetre_evaluate_staking：用于待处理提案的反女巫二次质押方案。
7. aetre_proposition_1_bound：渐近召回率上界（$R_N \le \min(1, K_N / H_N)$）验证。
8. aetre_correlated_posterior_update：多 Agent 审核者共识相关性去偏。
9. aetre_heavy_tailed_voi：极端结果的 Pareto 幂律（$\alpha \approx 1.25$）预期信息价值。
10. aetre_quadratic_staking：连续超线性存款曲线，用于消除数量型垃圾信息。
11. aetre_heterogeneous_queues：异质任务时长和多服务器队列延迟建模。
12. aetre_author_preflight_benchmark：稿件草稿的预检方差与审核风险诊断。
13. aetre_simulate_benchmark：端到端多策略机构流程蒙特卡洛模拟。
14. aetre_batch_triage：用于高通量投资组合操作的批量数据集分流。
15. aetre_recall_scaling_curve：不同到达量下的经验召回率缩放曲线。
16. aetre_congestion_matching：容量约束下的二分图审核者—候选对象匹配。
17. aetre_sequential_stopping_rule：Wald 序贯似然比多轮审核终止规则。
18. aetre_platt_calibrate：通过 Platt Sigmoid 变换进行经验评分重新校准。
19. aetre_empirical_bootstrap：分流策略的非参数自助法置信区间。
20. aetre_frontier_sweep：多维 ROC 与成本效用前沿扫描。

微观经济学 Agent 运行时治理工具（Governed Agent）

21. governed_bellman_triage：通过 Bellman 动态规划评估 Agent 操作分流，并计算验证的期望价值（$V^*$）。
22. governed_review_boundary：计算三分决策边界（$\Delta u = u_{\text{auto}} - u_{\text{review}}$），将候选项分类为 AUTO_EXECUTE、REQUIRE_REVIEW 或 REJECT。
23. governed_knapsack_admit：采用密度贪心 $c\mu$ 规则的背包控制器，依据价值密度（$\rho_i = \Delta u_i / c_i$）在预算 $K$ 内装入候选项。
24. governed_gate_pr：Road A 故障关闭式拉取请求门控器，用于评估验证、成本、影响范围和测试回归。

---

自主 Agent 提交前与 CI 集成

Governed Agent 门控器可集成到任何自主编码 Agent 流水线中（Claude Code、Cursor、GitHub Actions、pre-commit）：

提交前集成（.pre-commit-config.yaml）

repos:
  - repo: local
    hooks:
      - id: governed-gate
        name: Governed Agent Verification Gate (Road A)
        entry: python scripts/pre-commit-governed-gate.py
        language: python
        types: [python]

GitHub Actions 拉取请求门控

如需查看完整工作流，请参阅 .github/workflows/governed-gate-template.yml。该工作流会对任何未经验证的自主拉取请求采取故障关闭策略。

---

研究发布状态

AETRE 是一个独立的开源研究项目。目前不提供新的商业许可、付费试点、托管服务、咨询或付费支持。项目网站已暂停。可通过此仓库的 issues 提交报告和问题；私人安全报告请参阅 SECURITY.md。

代码仍依据 AGPL-3.0-or-later 提供，包括符合该许可证条款的商业用途。本发布状态不会撤销已授予的权利，也不会更改任何现有书面协议。

---

引用与学术参考

如果你在研究或生产系统中使用 AETRE 或 Governed Agent 运行时，请引用：

@article{gray2026innovation,
  title={The Innovation-Absorption Gap: How Artificial Intelligence Can Accelerate Idea Production Faster Than Complementary Institutions Adapt},
  author={Gray, Clayton},
  journal={SSRN Electronic Journal},
  year={2026},
  doi={10.2139/ssrn.7161458},
  url={https://ssrn.com/abstract=7161458}
}

@software{gray2026admission,
  title={The Admission Frontier: An Economically Regulated Decision-Theoretic Runtime and Fail-Closed Verification Gate for Autonomous Agents},
  author={Gray, Clayton},
  year={2026},
  publisher={Zenodo},
  doi={10.5281/zenodo.22814799},
  url={https://doi.org/10.5281/zenodo.22814799}
}

---

许可证与联系

代码依据 AGPL-3.0-or-later 授权，包括遵守其条款的商业用途。请参阅 LICENSING.md。 第三方组件仍受其各自条款约束；锁定的 Rust 依赖项清单和随附声明见 THIRD_PARTY_NOTICES.md。

随附的演示数据集是合成样例，并非实证验证语料。这包括机构队列示例和 15-task 门控器演示。有关其范围和来源，请参阅 DATASETS.md。评估指纹是可复现性标识符，并非外部验证的证明，也不保证执行安全。

• 作者与维护者： Clayton Gray
• 项目问题： GitHub issues
• 私人安全或隐私报告： [email protected]