@ agenticprimitives/ 类型
部分 代理先导 ——代理应用程序的开源信任底板:可以签名的身份,行为时间检查权限,所有者携带的证据. 开发者工具包 • 妇女 所有软件包
共享类型词汇,保持30个包指向一个身份.
信任的底盘 生存或死亡 同意什么是身份 实值。 。 。 . types 将协议写成编译者的问题:Address, (中文(简体) ), Hex, (中文(简体) ), ChainId, (中文(简体) ), Caip10Address)和交叉身份形状(CanonicalAgentIdentity, (中文(简体) ), AgentType, (中文(简体) ), AgentSession, (中文(简体) ), CredentialPrincipal, (中文(简体) ), Assurance每一个 @agenticprimitives/* 软件包共享。 由于品牌是奇幻类型,一个生的字符串不能伪装成地址,一个CAIP-10主题不能与一个赤裸的EVM地址相混淆——跨越软件包边界,在编译时间,零运行时间成本.
这也是学说变成一种类型的地方. CanonicalAgentIdentity 是ADR-0010规则——代理的身份是其智能代理地址——作为以下的别名: Address,以及 AgentSession 故意的 故意的 没有 owner 字段 (ADR-0016):SSO会话给代理本身取名,从来不是销售方所有者. 只有类型,零依赖,没有运行时间代码;它是叶子所有其他包所依赖,依赖图没有后缘的原因.
部分 代理原始产品 ——代理经济的信托基底:一个有监护,授权,命名,证书,审计证据的犬类智能代理身份,设计成一个系统.
安装
pnpm add @agenticprimitives/types
出口
import type { Address, Hex, ChainId, BrandedId } from '@agenticprimitives/types';
type SessionId = BrandedId<'SessionId'>;
const chain: ChainId = 1 as ChainId;
const account: Address = '0x...';
也导出 : CanonicalAgentIdentity (ADR-0010别名 Address(三); Caip10Address, (中文(简体) ), CanonicalAgentId, (中文(简体) ), Caip10Parts (CAIP-10品牌——类型居住于此,运行时建设者居住于此 agent-profile(三); AgentType (单位:千美元)'person' | 'org' | 'service'和 NameContext (只播放注入形状);和SSO/会话形状 AgentSession, (中文(简体) ), CredentialPrincipal, (中文(简体) ), Assurance, (中文(简体) ), CredentialKind, (中文(简体) ), CredentialRole (第223/224段).
和典型的不一样 types 软件包
多数单曲 types 包是垃圾抽屉,它会成长到一切取决于一切。 此一经管:
- 录取规则: 当2个包裹消耗了它,它无法在更低的地方活下来时,类型才会在这里降落。 单消费者类型留在他们的包里.
- 没有运行时间,永远. 没有功能,没有常数和行为,没有副作用. 连CAIP-10也一样 构建器 被排除在外——只有品牌住在这里.
- 共享形状而不运行时间耦合 .
AgentSession住在这里就是这样identity-directory, (中文(简体) ),connect,而依赖站点的 SDK 可以在不相互导入的情况下商定符号形状.
结果是叶包小到足以在一个坐地中审计,强到足以使身份混淆成为编译错误.
状态
设计上最小——增加一种类型要求有2个消耗性包. 测试网/飞行员准备 生产启动在根部的公开核对表上进行 README.md 状况科 ——包括第三方合同审计和治理关键轮换. 追踪所有安全发现 docs/audits/findings.yaml。 。 。 .
校验
pnpm --filter @agenticprimitives/types typecheck
pnpm check:forbidden-terms