模型提出候选
理解意图，选择对象，提出断言、解释和候选动作。
VERIFIABLE SPATIOTEMPORAL TASK PROTOCOL
面向AI智能体的
可验证时空任务协议
GeoTask把自然语言中的空间、时间、证据、资源和行动约束转化为结构化任务，并通过本地确定性计算验证模型结果。
让模型负责理解与生成，让确定性路径负责计算与验证。
13公开应用案例
6本地确定性算子
1.0文档Schema
MITGeoTask Core许可
模型会回答，系统还要验证
一次Tool Calling能够调用函数，却不自动保证对象绑定、单位、证据状态、阻断输出和恢复条件始终一致。GeoTask提供任务级中间表示。
本地确定性执行
解析、规范化、验证引用，并用注册算子重新计算。
形成可信状态
标记verified、contradicted、需要证据、阻断或复核。
GT01—GT13渐进式案例
从一个5米距离开始，逐步进入三值逻辑、证据冲突、机器人协同、无人机安全余量和车辆空间包络。
1空间关系：对象、算子与边界语义
2时空组合：二维、高度与时间
3不确定性与证据：不知道以后怎么办
开放Core，连接时空智能生态
GeoTask开放通用任务格式、Canonical IR、确定性算子和验证机制，让开发者可以在统一协议上构建Agent、机器人、无人机、自动驾驶与行业应用。
Core提供稳定的公共协议和验证基础，Runtime与Domain Pack通过明确接口组合，形成可替换、可扩展的时空智能应用。
从理解到实现的文档体系
白皮书解释为什么，语言规范定义当前实现，Schema服务工具集成，案例手册提供渐进式学习路径。
中文白皮书
项目定位、核心架构、可信执行与典型应用模式。
阅读白皮书 →语言与执行规范
当前公共Core真正支持的字段、对象、算子、状态和执行语义。
查看规范 →中文快速入门
安装Core、运行第一个任务、查看算子并验证模型输出。
5分钟开始 →JSON Schema
用于IDE提示、YAML/JSON结构校验和CI一致性检查。
查看Schema →当前能力与演进方向
项目首页展示已经开放的能力，以及下一阶段面向社区持续建设的方向。
当前已开放
- 六类Canonical对象
- 六个本地确定性算子
- 解析、规范化、结构验证和执行
- 结果、状态和Assurance元数据
- CLI、JSON Schema、GT01—GT13与一致性测试
持续建设
- 更多时空对象与确定性算子
- Runtime接口与模型适配示例
- 可复用的行业Domain Pack规范
- 数据连接器与证据治理工具
- 更完整的评测基准和开发者工具