高帧率编程语言,AI 工程基础设施。
让任何 AI Agent 都能在一个可靠、可验证、可演化的工程世界中协同构建大型软件系统。不是让 LLM 变得更聪明,而是让聪明的 LLM 第一次拥有一个可靠的工程世界可以依附。
TLL 是一门自研的高帧率编程语言,从词法分析、语法解析、编译器、代码生成到虚拟机运行时全部自主实现。它原生支持协程、TCP 网络、文件描述符管理、SHA-256/SHA-512 哈希、完全自研的 Ed25519 密码学,以及基于密码学的 Agent 身份、能力、授权、证据和信任七层基础设施。
TLL OS 是运行这门语言、放大这门语言价值的操作系统级生态。它不仅仅是一个编程语言,而是一套 AI 可以持续建设大型软件的工程基础设施。
没有证据就没有声明。每一项能力都必须有测试 Gate、CI 运行和提交历史支撑。
Capability 声明 Agent 能做什么,Authority 声明 Agent 被允许做什么。两者严格分离。
拥有权限不代表系统信任你。Trust 基于 Identity + Capability + Authority + Evidence 的确定性评估。
任何 LLM、任何 Agent 框架都可以接入。但 Truth / Protocol / Contract / Verification 保持一致。
RFC 8032 向量通过仅证明与标准测试向量一致,不等同于生产级密码学安全。独立审计不可省略。
从语言设计到运行时实现,每一层都以极致性能为目标。100K 并发协程只是起点。
基础运行时、协程、TCP、Blockchain 验证、故障注入、Kill-9 恢复、长稳运行、性能基准、三平台 CI。
完全自研 Ed25519 密码学实现。Field/Curve/Scalar 运算,RFC 8032 #1/#2/#3 向量通过,三平台 CI 全绿。
基于 Ed25519 的密码学身份。agent_id = SHA256(canonical material),8/8 Identity Gates 通过。
能力声明层。确定性 ID、规范编码、集合操作、版本绑定。12/12 Capability Gates 通过。
授权层。签名令牌、颁发者、约束、过期时间、能力绑定。12/12 Authority Gates 通过。
证据链。可验证记录、输入/输出哈希、链式链接、签名。12/12 Evidence Gates 通过。
信任评估层。10 项检查,确定性失败原因,score 0-100。14/14 Trust Gates 通过。
Agent Profile + 能力发现 + 信任集成。18/18 Ecosystem Gates 通过,CI #151 三平台全绿。
Truth Browser、Engineering Enforcement、Cognition Query API。让 Agent 进入机器可验证的工程世界。
独立密码学审计、生产级加固、性能优化、大规模 fuzz 测试。从工程验证走向生产就绪。
TLL Native Ed25519 目前为工程验证级实现。RFC 8032 标准向量通过仅证明当前实现与标准测试向量的一致性,不等同于生产级密码学安全。
独立密码学审计仍处于 Pending 状态。在完成独立审计之前,TLL 的自研 Ed25519 不应被用于生产级密码学场景,不应声称可以替代经过多年审计的成熟密码学库。
已知安全债务:point_decode() 失败返回 identity point;verify() 对非法点继续验证。这些问题已登记为 Post-Seal Security Debt,将在后续阶段修复。
TLL OS 是一个开放的工程基础设施项目。无论是人类开发者还是 AI Agent,都可以参与贡献。遵循 TLL Engineering Protocol:DISCOVER → UNDERSTAND → PLAN → CHANGE → TEST → VERIFY → AUDIT → EVIDENCE → COMMIT → NEXT。