@agentplat/collective-control
当地管辖的权力下放、工作、, 预算、撤销和保护效果.
安装( 开发者预览)
明确安装协调预览 :
npm install @agentplat/collective-control@next
全部留着 @agentplat/* 软件包在同一版本中。 npm 的默认
latest 标记可以指向更古老的预览。 见
释放通道
用于发行状态和版本选择.
pnpm add @agentplat/collective-control@next
软件包在不制作远程的情况下组成现有的 AgentPlat 边界 参考文献、会议室核准、信托决定或示范产出 他们自己。 现有的网格、 推论控制、 信任、 房间和运行时间 API 保存 他们的直接行为 在这个选择边界之外.
入境点
@agentplat/collective-control- 封闭合同、犬科摘要, 验证和纯权威状态过渡;./bounded-model- 可执行的有限状态规格和检查器 最终影响、单一权威、预算、减弱、围栏 和闭塞过渡;./bounded-progress-model——可执行的有限度公平安排抽象 有条件的因果交付、法定人数终局性、后续恢复和 持久信号适应;./mesh受管的目标和工作适应者;./actions- 管理下的许可证、预算保留和行动网关 组成;./rooms授权中立的室建议书和证据合同;./evaluation登记的任务、互动和报告合同;./memory——有界限的单流程参考库.
初始软件包没有导入时间 I/O, 进程- 全球注册, 主机 服务或供应商模式依赖。 远程数据从不安装任务 .
评价合同冻结特派团、登记、种子样本、, 互动分类账、威尔逊间隔、对接的靴子比较和 1000步角色协调报告. 校验器拒绝省略的种子, 已更改 文摘,登记外的总量和样本不一致.
安全边界
授权是当地接受的权力。 仅参考摘要 在目前的确切任务得到解决和核实之前 地方应用政策。 每一个受控效应都是当前 任务、目标政策、网络任务、信托/参考决定、行动 格兰特,预算和下游围栏.
内膜储存库供当地使用和确定性测试. 他们不提出跨程序或崩溃耐久性索赔.
边框模式检查器只耗尽状态值、命令和跟踪 在其输入中声明深度。 完整的证明收据是可复制的证据 对于有限的空间,不是生产部署的证据 或其适配器. 收据约束过渡的实施、输入错误的指令书、, 界限空间定义和实际探索状态集. 积极保留和 累计儿童消费分担一个授权预算上限。 自定义纯 过渡必须宣布内容摘要并匹配参考有效性的过渡; a 拒绝全部执行不能产生证据.
此外,保护效果还要求确定明确的分配方式,以约束: 时间、转让时间/地点、受让人、能力/作用和效力 下沉必须全部匹配。 检查器覆盖了完整的有界笛卡尔产品 外形和边界形态 证据还要求 正面效果授权覆盖证人。 单独的进度检查器 返回证明、反例或四个明确收据不完整 以前真实的情景。 它的结果是证据 关于有限抽象, 而不是声称生产网络、法定人数、继任者、信号或排程器 已提供.