@ agenticprimitives/ agreements
部分 代理先导 ——代理应用程序的开源信任底板:可以签名的身份,行为时间检查权限,所有者携带的证据. 开发者工具包 • 妇女 所有软件包
两位探员达成协议 连锁店应该能够证明交易的存在和如何结束,而永远不知道是什么. 大多数的链上协议记录都是通过设计泄露的:当事人,条款,时间表,都永远可以读取. 这个包是SDK的 AgreementRegistry.sol,一个只承诺的登记册——链式存储在缔约方设定、签发者、条款和时间表上的keccak承诺,加上一个状态机(ACTIVE → COMPLETED / DISPUTED / REVOKED) (中文(简体) ). 人能读取的协议是各方在链外持有的W3C可核查的证书;链子仅能支撑和裁定.
地位过渡与登记一样严格:合同从承诺、目标地位和连锁取消中重新计算过渡摘要,要求当事方在重算价值上签字——决不是呼叫者提供的散列,也绝不是仅发行者撤销.
部分 代理原始产品 ——代理经济的信托基底:一个有监护,授权,命名,证书,审计证据的犬类智能代理身份,设计成一个系统.
今天的什么战舰
W1基础切片——承诺数学,类型机和有效载荷塑造合同依赖于:
- 承诺数学 —— 说
computeAgreementCommitment(...)(第241节),partySetCommitment(party1, party2), (中文(简体) ),issuerCommitment(issuer), (中文(简体) ),bytesCommitment(value)术语/时间表散列. STATUS歧视者匹配AgreementRegistry.STATUS_*(单位:千美元)NONE编号 :ACTIVE编号 :COMPLETED编号 :DISPUTED编号 :REVOKED) (中文(简体) ).TRANSITION_TYPEHASH+ 键transitionDigest(...)——文摘各方签署地位过渡.updateStatus在链上重算(RW1-3), ADR-0027 (英语)(三);chainId并且登记地址受交叉链回放(AGR-1)的约束.AGREEMENT_ISSUER_TYPEHASH+ 键issuerAttestationDigest(...)——发行人注册证明书,连锁(SC-1)重制并核实.nullifierFor(...)——每过渡一发一发即成的衍生出.- 有效载荷形状 —— 说
AgreementIssuancePayload, (中文(简体) ),StatusUpdatePayload(包括RW1-2披露方字段,合同用于重算承诺并检查每个签字人都是一方).
每个字节均匀 AgreementRegistry.sol 常数 – 由跨层执行 check:eip712-typehash-equality CI门.
计划以后每波 W1执行波计划页:1 AgreementCredential 形状(PD-22), AgreementRegistryClient 读取客户端,并使用联合连接网关帮助 attestations 核查协议的背对面者,然后加以确认.
怎么不一样
与埃及会计准则式的认证登记和电子签名平台相对应:
- 只有连锁承诺. 没有政党地址,没有条款,没有时间表
register(...)calldata——静态分析回归测试执行(AR-12). 即使是时间戳也是划时代的(241 第3.4节). 核证登记册公布债权;该登记册只公布其影子. - 链条重算; 它从来不信任. 过渡文摘和签发人证明从披露组件的链条上重新计算——泄露的签名不能在不同的协议、地位、链条或登记册部署上重放.
- 没有只发行者退出. 完成、争议和撤销遵循241 第5.4.1节的双边/任何一方矩阵。 公证协议的发行人不能单方面杀死协议(D-18).
- 合同和SDK是一件艺术品. Typehash等值是CI-gated的,因此客户端不能从链条上漂移——即悄悄地断开接接接签名堆的故障模式.
状态
基础(W1)——代码运出;不是生产执法. 上面的承诺数学、类型和有效载荷形状是真实的,并经过大门检查;认证形状、阅读客户端和网关在每波4中着陆 波浪计划。见 审计。 。 。 .
测试网/飞行员准备 生产启动在基础README的公开核对表上进行——包括第三方合同审计和治理关键轮换。 追踪所有安全发现
docs/audits/findings.yaml。 。 。 .
拥有脊柱层 : 第8层.
权威规格 : specs/241-agreement-commitment-registry.md 看到了吗 spec.md 为同音节。 外壳: CLAUDE.md + 键 capability.manifest.json。 。 。 .
构建
pnpm --filter @agenticprimitives/agreements typecheck
pnpm --filter @agenticprimitives/agreements test
pnpm --filter @agenticprimitives/agreements build