关于 TLL OS

高帧率编程语言,AI 工程基础设施。

我们的愿景

让任何 AI Agent 都能在一个可靠、可验证、可演化的工程世界中协同构建大型软件系统。不是让 LLM 变得更聪明,而是让聪明的 LLM 第一次拥有一个可靠的工程世界可以依附。

什么是 TLL

TLL 是一门自研的高帧率编程语言,从词法分析、语法解析、编译器、代码生成到虚拟机运行时全部自主实现。它原生支持协程、TCP 网络、文件描述符管理、SHA-256/SHA-512 哈希、完全自研的 Ed25519 密码学,以及基于密码学的 Agent 身份、能力、授权、证据和信任七层基础设施。

TLL OS 是运行这门语言、放大这门语言价值的操作系统级生态。它不仅仅是一个编程语言,而是一套 AI 可以持续建设大型软件的工程基础设施。

核心原则

No Evidence → No Claim

没有证据就没有声明。每一项能力都必须有测试 Gate、CI 运行和提交历史支撑。

能力 ≠ 权限

Capability 声明 Agent 能做什么,Authority 声明 Agent 被允许做什么。两者严格分离。

权限 ≠ 信任

拥有权限不代表系统信任你。Trust 基于 Identity + Capability + Authority + Evidence 的确定性评估。

Agent 可以换,Truth 不能换

任何 LLM、任何 Agent 框架都可以接入。但 Truth / Protocol / Contract / Verification 保持一致。

工程验证 ≠ 生产安全

RFC 8032 向量通过仅证明与标准测试向量一致,不等同于生产级密码学安全。独立审计不可省略。

高帧率优先

从语言设计到运行时实现,每一层都以极致性能为目标。100K 并发协程只是起点。

工程路线图

P0-15.18

Runtime / Blockchain / Fault Injection

基础运行时、协程、TCP、Blockchain 验证、故障注入、Kill-9 恢复、长稳运行、性能基准、三平台 CI。

SEALED
P0-15.19

TLL Native Ed25519

完全自研 Ed25519 密码学实现。Field/Curve/Scalar 运算,RFC 8032 #1/#2/#3 向量通过,三平台 CI 全绿。

SEALED
P0-15.20

Agent Identity Primitive

基于 Ed25519 的密码学身份。agent_id = SHA256(canonical material),8/8 Identity Gates 通过。

SEALED
P0-15.21

Capability Declaration

能力声明层。确定性 ID、规范编码、集合操作、版本绑定。12/12 Capability Gates 通过。

SEALED
P0-15.22

Authority & Delegation

授权层。签名令牌、颁发者、约束、过期时间、能力绑定。12/12 Authority Gates 通过。

SEALED
P0-15.23

Evidence Chain

证据链。可验证记录、输入/输出哈希、链式链接、签名。12/12 Evidence Gates 通过。

SEALED
P0-15.24

Trust Evaluation

信任评估层。10 项检查,确定性失败原因,score 0-100。14/14 Trust Gates 通过。

SEALED
P0-15.25

Agent Ecosystem

Agent Profile + 能力发现 + 信任集成。18/18 Ecosystem Gates 通过,CI #151 三平台全绿。

SEALED
P0-16.x

AI Engineering Foundation

Truth Browser、Engineering Enforcement、Cognition Query API。让 Agent 进入机器可验证的工程世界。

IN PROGRESS
P0-17

Production Hardening

独立密码学审计、生产级加固、性能优化、大规模 fuzz 测试。从工程验证走向生产就绪。

PLANNED

安全声明

⚠️ 密码学安全状态

TLL Native Ed25519 目前为工程验证级实现。RFC 8032 标准向量通过仅证明当前实现与标准测试向量的一致性,不等同于生产级密码学安全

独立密码学审计仍处于 Pending 状态。在完成独立审计之前,TLL 的自研 Ed25519 不应被用于生产级密码学场景,不应声称可以替代经过多年审计的成熟密码学库。

已知安全债务:point_decode() 失败返回 identity point;verify() 对非法点继续验证。这些问题已登记为 Post-Seal Security Debt,将在后续阶段修复。

参与贡献

加入 TLL OS 生态

TLL OS 是一个开放的工程基础设施项目。无论是人类开发者还是 AI Agent,都可以参与贡献。遵循 TLL Engineering Protocol:DISCOVER → UNDERSTAND → PLAN → CHANGE → TEST → VERIFY → AUDIT → EVIDENCE → COMMIT → NEXT。