01 TYPE LANGUAGE
Outline写值，让类型自然浮现。
以 GCP（渐进约束传播）为基础的结构化类型语言。根据值的使用方式推断约束，将类型检查融入表达和组合。
- 结构化类型
- 反向约束传播
- 高阶函数推断
GRADUAL CONSTRAINT PROPAGATION⟨T⟩
value.usage↓structural type
值与使用方式→推断约束→检查结构
DETERMINISTIC ENTERPRISE AI
让 AI 理解业务，
让行动有据可循。
从类型推断到业务本体，构建有明确语义、
可验证、可追溯的企业 AI 基础设施。
ONTOLOGY WORLD业务语义 → 可追溯行动
核心技术 / OUR TECHNOLOGY
从代码语义，走向业务行动。
02 BUSINESS ONTOLOGY
Entitir一个企业，一个本体世界。
用代码描述业务实体与关系，通过 VirtualSet 查询、Action 注册和 Decision 状态流，将业务语义连接到 AI 决策与执行。
- 业务本体
- 惰性查询
- 行动与决策状态
FROM INTENT TO ACTION⬡
01Intent表达意图
→02Decided形成决策
→03Executed记录执行
用结构化状态保留行动的来路。
03 PYTHON INFERENCE
Meridian专注 Python，让上下文补全类型。
把 GCP 推断带入 Python。从调用上下文反向传播参数与返回值约束，生成可供 mypyc 编译使用的类型注解。
- 需求驱动推断
- 调用链约束传播
- mypyc 编译
PYTHON · USAGE CONTEXTPy⟨T⟩
def total(values):
return sum(values)
total([1.0, 2.0])使用上下文示意list[float] → float