Programmatic Tool Calling
将多轮 tool orchestration 编译为受限 Python program，而不下放 credential、approval 或 commit authority。
VinculumAuthority-governed agent programs
Harness 将工具编排下放为 generated programs；Host 仍持有权限、副作用、生命周期与证据语义。
Skip to content
One execution unit
Vinculum 将 Agent 生成程序与 Host 持有的 authority、effect semantics、runtime lifecycle 和 execution evidence 绑定为一个完整执行单元。
Agent / Harnesstask semantics · generated program · outcome oracle
Vinculum planesidentity · frozen capabilities · budgets · effects · receipts
Pysolate RuntimeCPython/WASI · wazero · prepared state · single-use COW
当前边界
Vinculum 是 Proposed architecture。Pysolate Runtime 提供 bounded Current foundations，但当前代码不等于完整 Vinculum 实现。精确映射见 Pysolate within Vinculum。
阅读路径
| 你想了解 | 从这里开始 |
|---|---|
| 系统边界、contract 与责任分工 | Canonical Architecture |
| 外部副作用、reconciliation 与 replay | Effects & Qualified Replay |
| Pysolate 已实现和未实现什么 | Pysolate Runtime 映射 |
| Harness 如何资格化外部环境 | Environment Crystallization |
| 机制命名与源码证据 | Concept Catalog |
| 研究问题、限制与 claim boundary | Research Questions & Risks |
声明纪律
replay(computation) ≠ repeat(real-world effects)。- 有日志不等于可信；有 hash 不等于 semantic proof。
- Compensation 不称为 rollback，provider readback 不称为 exactly-once。
- Unknown external systems 只能
record → infer → document uncertainty。 - Adaptive Harness 不得自动扩大 authority。